THE LOGIC OF TERMS: APPLICATIONS AND EXTENSIONS.
Final technical rept. May 69-May 70,
CAMBRIDGE INST OF COGNITIVE STUDIES INC MASS
Pagination or Media Count:
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
- Humanities and History