A Complete, Type-Free "Second-Order" Logic and its Philosophical Foundations
CSLI Publications (
1986)
Copy
BIBTEX
Abstract
In this report I motivate and develop a type-free logic with predicate quantifiers within the general ontological framework of properties, relations, and propositions. In Part I, I present the major ideas of the system informally and discuss its philosophical significance, especially with regard to Russell's paradox. In Part II, I prove the soundness, consistency, and completeness of the logic