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):
Report Date:
1970-07-01
Pagination or Media Count:
45.0
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:
Subject Categories:
- Humanities and History
- Linguistics