Procedural isomorphism and synonymy

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86086807" target="_blank" >RIV/61989100:27240/14:86086807 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Procedural isomorphism and synonymy
Original language description
Expressions are synonymous iff they have the same meaning. This simple definition evokes many problems including, inter alia, questions like what is the meaning of an expression and how fine-grained meanings should be. In TIL, which is our 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. However, in this new orthodoxy of procedural semantics we encounter the problem of the granularity of the individuation of procedures, because from the procedural point of view TIL constructions are a bit too fine-grained. In an effort to solvethe problem we introduced the notion of procedural isomorphism. Procedural isomorphism is a nod to Carnap's intensional isomorphism and Church's synonymous isomorphism. Any two terms or expressions whose respective meanings are procedural
Czech name
—
Czech description
—

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)