Structural Isomorphism of Meaning and Synonymy
Fuente:
Redalyc
Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | en |
| Published: |
Instituto Politécnico Nacional
2014
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1876451731979632640 |
|---|---|
| author | Marie Duží |
| author_facet | Marie Duží |
| contents | Structural Isomorphism of Meaning and Synonymy Marie Duží Computación synonymy 1 Introduction conversion by value Procedural semantics procedural isomorphism In this paper I am going to deal with the phenomenon of synonymy from the logical point of view. In Transparent Intensional Logic (TIL), which is my background theory, the sense of an expression is an algorithmically structured procedure detailing what ope rations 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 . In this new orthodoxy of structured meanings and procedural semantics we encounter the problem of the granularity of procedure individuation. Though the identity of TIL constructions is rigorously defined, they are a bit too fine-grained from the procedural point of view. In an effort to solve the problem we introduced the notion of procedural isomorphism. Any two terms or expressions whose respective meanings are procedurally isomorphic are deemed semantically indistinguishable, hence synonymous and thus substitutable in any context, whether extensional, intensional or hyperintensional. The novel contribution of this paper is a formally worked-out, philosophically motivated criterion of hyperintensional individuation, which is defined in terms of a slightly more carefully formulated version of - conversion and -conversion by value, which amounts to a modification of Church’s Alternative (A1). 2014 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61532067003 en http://www.redalyc.org/revista.oa?id=615 Computación y Sistemas application/pdf Instituto Politécnico Nacional Computación y Sistemas (México) Num.3 Vol.18 |
| format | Artículo científico |
| id | redalyc_61532067003 |
| institution | Redalyc |
| language | en |
| publishDate | 2014 |
| publisher | Instituto Politécnico Nacional |
| spellingShingle | Structural Isomorphism of Meaning and Synonymy Marie Duží Computación synonymy 1 Introduction conversion by value Procedural semantics procedural isomorphism Structural Isomorphism of Meaning and Synonymy Marie Duží Computación synonymy 1 Introduction conversion by value Procedural semantics procedural isomorphism In this paper I am going to deal with the phenomenon of synonymy from the logical point of view. In Transparent Intensional Logic (TIL), which is my background theory, the sense of an expression is an algorithmically structured procedure detailing what ope rations 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 . In this new orthodoxy of structured meanings and procedural semantics we encounter the problem of the granularity of procedure individuation. Though the identity of TIL constructions is rigorously defined, they are a bit too fine-grained from the procedural point of view. In an effort to solve the problem we introduced the notion of procedural isomorphism. Any two terms or expressions whose respective meanings are procedurally isomorphic are deemed semantically indistinguishable, hence synonymous and thus substitutable in any context, whether extensional, intensional or hyperintensional. The novel contribution of this paper is a formally worked-out, philosophically motivated criterion of hyperintensional individuation, which is defined in terms of a slightly more carefully formulated version of - conversion and -conversion by value, which amounts to a modification of Church’s Alternative (A1). 2014 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61532067003 en http://www.redalyc.org/revista.oa?id=615 Computación y Sistemas application/pdf Instituto Politécnico Nacional Computación y Sistemas (México) Num.3 Vol.18 |
| title | Structural Isomorphism of Meaning and Synonymy |
| topic | Computación synonymy 1 Introduction conversion by value Procedural semantics procedural isomorphism |
| url | https://www.redalyc.org/articulo.oa?id=61532067003 |