THE LOGIC OF TERMS: APPLICATIONS AND EXTENSIONS.
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1970
- Accession Number
- AD0712561
Entities
People
- David Massie
- Fred Sommers