Procedural isomorphism and synonymy

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Procedural isomorphism and synonymy

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Procedural isomorphism and synonymy

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

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 statě ve sborníku

The Logica Yearbook 2013

ISBN

978-1-84890-144-5

ISSN

—

e-ISSN

—

Počet stran výsledku

19

Strana od-do

15-33

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Hejnice

Datum konání akce

17. 6. 2013

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000349722400002