Procedural isomorphism, analytic information, and beta-conversion by value

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F13%3A86082064" target="_blank" >RIV/61989100:27240/13:86082064 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1093/jigpal/jzs044" target="_blank" >http://dx.doi.org/10.1093/jigpal/jzs044</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1093/jigpal/jzs044" target="_blank" >10.1093/jigpal/jzs044</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Procedural isomorphism, analytic information, and beta-conversion by value

Popis výsledku v původním jazyce

This paper solves, in a logically rigorous manner, a problem discussed in a 2004 paper by Stephen Neale. John loves his wife, and so does Peter. Hence John and Peter share a property. But which one? (1) Loving John?s wife: then John and Peter love the same woman. (2) Loving one's own wife: then, unless they are married to the same woman, John loves one woman and Peter loves another woman. Since "John loves his wife" is ambiguous between attributing (1) or (2) to John, "So does Peter" is also ambiguous between attributing (1) or (2) to Peter. With unrestricted beta-reduction, the lambda-term counterparts of the attributions of (1) to John and of (2) to John beta-reduce to the former. Which they should not. With suitably restricted beta-conversion, the two redexes do not reduce to the same contractum and can be reconstructed from their respective contracta. This paper details how to apply this restricted rule of beta-conversion to contexts containing anaphora such as his? and 'so does'.

Název v anglickém jazyce

Procedural isomorphism, analytic information, and beta-conversion by value

Popis výsledku anglicky

This paper solves, in a logically rigorous manner, a problem discussed in a 2004 paper by Stephen Neale. John loves his wife, and so does Peter. Hence John and Peter share a property. But which one? (1) Loving John?s wife: then John and Peter love the same woman. (2) Loving one's own wife: then, unless they are married to the same woman, John loves one woman and Peter loves another woman. Since "John loves his wife" is ambiguous between attributing (1) or (2) to John, "So does Peter" is also ambiguous between attributing (1) or (2) to Peter. With unrestricted beta-reduction, the lambda-term counterparts of the attributions of (1) to John and of (2) to John beta-reduce to the former. Which they should not. With suitably restricted beta-conversion, the two redexes do not reduce to the same contractum and can be reconstructed from their respective contracta. This paper details how to apply this restricted rule of beta-conversion to contexts containing anaphora such as his? and 'so does'.

Druh

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

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2013

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

Logic journal of IGPL

ISSN

1367-0751

e-ISSN

—

Svazek periodika

21

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

18

Strana od-do

291-308

Kód UT WoS článku

000316295100011

EID výsledku v databázi Scopus

—