| Attributes | Values |
|---|
| rdf:type
| |
| 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 %22John loves his wife%22 is ambiguous between attributing (1) or (2) to John, %22So does Peter%22 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'. The logical contribution of the paper is a generally valid form of beta-reduction 'by value'. The philosophical application of this particular form of beta- reduction – 'by value' rather than 'by name’ – to a context containing anaphora is another contribution of this paper.
- 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 %22John loves his wife%22 is ambiguous between attributing (1) or (2) to John, %22So does Peter%22 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'. The logical contribution of the paper is a generally valid form of beta-reduction 'by value'. The philosophical application of this particular form of beta- reduction – 'by value' rather than 'by name’ – to a context containing anaphora is another contribution of this paper. (en)
|
| Title
| - Procedural isomorphism, analytic information, and beta-conversion by value
- Procedural isomorphism, analytic information, and beta-conversion by value (en)
|
| skos:prefLabel
| - Procedural isomorphism, analytic information, and beta-conversion by value
- Procedural isomorphism, analytic information, and beta-conversion by value (en)
|
| skos:notation
| - RIV/61989100:27240/13:86082064!RIV14-GA0-27240___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/61989100:27240/13:86082064
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - Transparent Intensional Logic.; analytic information; Neale; procedural isomorphism; beta-conversion 'by name’ versus 'by value’; verb-phrase ellipsis: 'sloppy’ versus 'strict’; Anaphora (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| - GB - Spojené království Velké Británie a Severního Irska
|
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| |
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Jespersen, Bjorn
|
| http://linked.open...ain/vavai/riv/wos
| |
| issn
| |
| number of pages
| |
| http://bibframe.org/vocab/doi
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)