Paper: The Nature Of Understanding From The Logical Point Of View

ACL ID C82-2048
Title The Nature Of Understanding From The Logical Point Of View
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1982
Authors

ions. Constructions are defined inductively, so that an in- finite hierarchy of constructions with embedded constructions 82'iseB. Distinguishing between constructions and objects is one of main contributions of TIL. Every object is a construction (of atomic constructions)! but the variables and non-atomic constructions are not objects. The interrelations between lans~age expressions, objects and constructions are stipulated as follows: Let E be a language expression: E expresses a construct- ion, say, CE, and names (denotes) the object, say, OE, which is constructed by C E- There are, however, some expressions whose role differs from the role of "normal", semantically analyzable expressions. This concerns i) expressions whose role is solely a syntactic one, ii) interjections, ill) "egoce...