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

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

Result language
angličtina
Original language name
Procedural isomorphism, analytic information, and beta-conversion by value
Original language description
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'.
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
—

Project
<a href="/en/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporal aspects of knowledge and information</a><br>
Continuities
S - Specificky vyzkum na vysokych skolach

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

Similar results(10)