Structural isomorphism of meaning and synonymy.

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Structural isomorphism of meaning and synonymy.
Original language description
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
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—

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

Similar results(10)