Structural isomorphism of meaning and synonymy.

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86089930" target="_blank" >RIV/61989100:27240/14:86089930 - isvavai.cz</a>

Výsledek na webu

<a href="http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/2018/1919" target="_blank" >http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/2018/1919</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.13053/CyS-18-3-2018" target="_blank" >10.13053/CyS-18-3-2018</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Structural isomorphism of meaning and synonymy.

Popis výsledku v původním jazyce

In this paper I am going to deal with the phenomenon of synonymy from the logical point of view. In Transparent Intensional Logic (TIL), which is my background theory, the sense of an expression is an algorithmically structured procedure detailing what operations to apply to what procedural constituents to arrive at the object (if any) denoted by the expression. Such procedures are rigorously defined as TIL constructions. In this new orthodoxy of structured meanings and procedural semantics we encounterthe problem of the granularity of procedure individuation. Though the identity of TIL constructions is rigorously defined, they are a bit too fine-grained from the procedural point of view. In an effort to solve the problem we introduced the notion of procedural isomorphism. Any two terms or expressions whose respective meanings are procedurally isomorphic are deemed semantically indistinguishable, hence synonymous and thus substitutable in any context, whether extensional, intensional

Název v anglickém jazyce

Structural isomorphism of meaning and synonymy.

Popis výsledku anglicky

In this paper I am going to deal with the phenomenon of synonymy from the logical point of view. In Transparent Intensional Logic (TIL), which is my background theory, the sense of an expression is an algorithmically structured procedure detailing what operations to apply to what procedural constituents to arrive at the object (if any) denoted by the expression. Such procedures are rigorously defined as TIL constructions. In this new orthodoxy of structured meanings and procedural semantics we encounterthe problem of the granularity of procedure individuation. Though the identity of TIL constructions is rigorously defined, they are a bit too fine-grained from the procedural point of view. In an effort to solve the problem we introduced the notion of procedural isomorphism. Any two terms or expressions whose respective meanings are procedurally isomorphic are deemed semantically indistinguishable, hence synonymous and thus substitutable in any context, whether extensional, intensional

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Computacion y Sistemas

ISSN

1405-5546

e-ISSN

—

Svazek periodika

18

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

MX - Spojené státy mexické

Počet stran výsledku

15

Strana od-do

"439-453"

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—