| Attributes | Values |
|---|
| rdf:type
| |
| 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 solve the 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 procedurally isomorphic are deemed semantically indistinguishable, hence synonymous. Yet the problem of the granularity of meanings remains open, because we have got several alternatives of the definition of the relation of procedural isomorphism on the set of TIL constructions. This is a pressing issue, because in a hyperintensional context that is neither intensional nor extensional only expressions with procedurally isomorphic meanings can be mutually substituted. The novel contribution of this paper is the proposal of a new definition of procedural isomorphism, viz. isomorphism modulo alpha-, and beta-convertibility by value. This definition is an adjustment of Church’s Alternative (1). We argue for beta-conversion by value and show that this conversion rather than Church’s lambda-conversion is the right way of applying a function to its argument.
- 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 solve the 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 procedurally isomorphic are deemed semantically indistinguishable, hence synonymous. Yet the problem of the granularity of meanings remains open, because we have got several alternatives of the definition of the relation of procedural isomorphism on the set of TIL constructions. This is a pressing issue, because in a hyperintensional context that is neither intensional nor extensional only expressions with procedurally isomorphic meanings can be mutually substituted. The novel contribution of this paper is the proposal of a new definition of procedural isomorphism, viz. isomorphism modulo alpha-, and beta-convertibility by value. This definition is an adjustment of Church’s Alternative (1). We argue for beta-conversion by value and show that this conversion rather than Church’s lambda-conversion is the right way of applying a function to its argument. (en)
|
| Title
| - Procedural isomorphism and synonymy
- Procedural isomorphism and synonymy (en)
|
| skos:prefLabel
| - Procedural isomorphism and synonymy
- Procedural isomorphism and synonymy (en)
|
| skos:notation
| - RIV/61989100:27240/14:86086807!RIV15-MSM-27240___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| 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/14:86086807
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - synonymy; Transparent Intensional Logic; procedural isomorphism; beta conversion by value; Procedural semantics (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...v/mistoKonaniAkce
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...i/riv/nazevZdroje
| |
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Macek, Jakub
- Vích, Lukáš
|
| http://linked.open...vavai/riv/typAkce
| |
| http://linked.open...ain/vavai/riv/wos
| |
| http://linked.open.../riv/zahajeniAkce
| |
| number of pages
| |
| http://purl.org/ne...btex#hasPublisher
| |
| https://schema.org/isbn
| |
| 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)