SciELO - Scientific Electronic Library Online

 
vol.18 issue3Why Has Artificial Intelligence Failed? And How Can it Succeed?Inferring Relations and Annotations in Semantic Network: Application to Radiology author indexsubject indexsearch form
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • Have no similar articlesSimilars in SciELO

Share


Computación y Sistemas

Print version ISSN 1405-5546

Abstract

DUžI, Marie. Structural Isomorphism of Meaning and Synonymy. Comp. y Sist. [online]. 2014, vol.18, n.3, pp.439-453. ISSN 1405-5546.  http://dx.doi.org/10.13053/CyS-18-3-2018.

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 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. 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).

Keywords : Procedural semantics; β-conversion by value; procedural isomorphism; transparent intensional logic; synonymy.

        · text in English     · English ( pdf )

 

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License