A Complete, Type-free "Second-order" Logic and Its Philosophical Foundations
CSLI Publications (1986)
| Abstract | In this report I motivate and develop a type-free logic with predicate quantifiers within the general ontological framework of (nonextensional) 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. | |||||||||
| Keywords | property theory Russell's paradox structured propositions | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesBart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
Jeffrey Barrett (2007). Stability and Paradox in Algorithmic Logic. Journal of Philosophical Logic 36 (1):61 - 95.
Wayne Aitken & Jeffrey A. Barrett (2007). Stability and Paradox in Algorithmic Logic. Journal of Philosophical Logic 36 (1):61 - 95.
André Fuhrmann (2002). Russell's Way Out of the Paradox of Propositions. History and Philosophy of Logic 23 (3):197-213.
André Fuhrmann (2002). Russell's Way Out of the Paradox of Propositions. History and Philosophy of Logic 23 (3):197-213.
Francesco Orilia (1991). Type-Free Property Theory, Exemplification and Russell's Paradox. Notre Dame Journal of Formal Logic 32 (3):432-447.
Kevin C. Klement, Russell's Paradox. Internet Encyclopedia of Philosophy.
Kevin C. Klement (2001). Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's Response Adequate? History and Philosophy of Logic 22 (1):13-28.
Kevin C. Klement, Russell-Myhill Paradox. Internet Encyclopedia of Philosophy.
Nino B. Cocchiarella (2000). Russell's Paradox of the Totality of Propositions. Nordic Journal of Philosophical Logic 5 (1):25-37.
Paul Oppenheimer & Edward N. Zalta (2011). Relations Vs Functions at the Foundations of Logic: Type-Theoretic Considerations. Journal of Logic and Computation 21:351-374.
Alfred North Whitehead & Bertrand Russell (1962/1997). Principia Mathematica, to *56. Cambridge University Press.
Jan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Analytics
Monthly downloads |
Added to index2011-11-10Total downloads12 ( #93,438 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
