Conceptual realism versus Quine on classes and higher-order logic

DOI10.1007/BF00500034zbMath0763.03005MaRDI QIDQ1187230

Nino B. Cocchiarella

Publication date: 28 June 1992

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

setsset theoryclassesontologymembershippredicationholistic conceptual realismimpredicative theory of classesnominalised predicatesQuine's Platonismsecond-order predicate logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)

Related Items (2)

The relative consistency of system RRC\(^*\) and some of its extensions ⋮ An intensional type theory: motivation and cut-elimination

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy
• Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic
• Frege's double correlation thesis and Quine's set theories NF and ML
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• A Note on the Definition of Identity in Quine's New Foundations
• A note on the moment structure of the multitype Galton-Watson process
• On Universals
• The axiom of infinity in Quine's New Foundations
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

This page was built for publication: Conceptual realism versus Quine on classes and higher-order logic