Accession Number : AD0712561

Title :   THE LOGIC OF TERMS: APPLICATIONS AND EXTENSIONS.

Descriptive Note : Final technical rept. May 69-May 70,

Corporate Author : CAMBRIDGE INST OF COGNITIVE STUDIES INC MASS

Personal Author(s) : Sommers,Fred ; Massie,David

Report Date : JUL 1970

Pagination or Media Count : 45

Abstract : The theory of identity is derived in a term logic, without the use of a unique binary relation. Logical problems deriving from the binary treatment of identity in predicate logic are shown to resolve in term logic. The propositional extension of term logic is then applied to the problem of defining truth for natural language. It is shown that the natural syntax of a natural language can be formally represented such that certain paradoxical sentences are prohibited on syntactic grounds, without the drastic Tarski solution. The formalization of term logic is then extended to include propositional and relational extensions. Certain formal properties of the propositional extension are investigated. (Author)

Descriptors :   (*REASONING, *SYNTAX), VOCABULARY, PHILOSOPHY, MATHEMATICAL LOGIC

Subject Categories : Humanities and History
      Linguistics

Distribution Statement : APPROVED FOR PUBLIC RELEASE