Frege's double correlation thesis and Quine's set theories NF and ML
From MaRDI portal
Publication:1076005
DOI10.1007/BF00542647zbMath0593.03002MaRDI QIDQ1076005
Publication date: 1985
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30)
Related Items (7)
The relative consistency of system RRC\(^*\) and some of its extensions ⋮ Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\) ⋮ Frege's cardinals as concept-correlates ⋮ Frege's Cardinals Do Not Always Obey Hume's Principle ⋮ Conceptual realism versus Quine on classes and higher-order logic ⋮ Predication versus membership in the distinction between logic as language and logic a calculus ⋮ ALGEBRAIC NEW FOUNDATIONS
Cites Work
- On the consistency of a slight (?) modification of Quine's 'New Foundations'
- Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
- Two notes on the foundations of set-theory
- New Foundations for Mathematical Logic
- Completeness in the theory of types
- A formal system of logic
- The Axiom of Choice in Quine's New Foundations for Mathematical Logic
- Consistency of the Continuum Hypothesis. (AM-3)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Frege's double correlation thesis and Quine's set theories NF and ML