On the consistency of Quine's New foundations for mathematical logic

DOI10.2307/2266213zbMATH Open0020.19401OpenAlexW2028396320MaRDI QIDQ5772178FDOQ5772178

Authors: J. Barkley Rosser 

Publication date: 1939

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266213

zbMATH Keywords

Foundations, philosophy, logic

Cites Work

• New Foundations for Mathematical Logic
• A note on recursive functions
• The inconsistency of certain formal logics
• Gödel Theorems for Non-Constructive Logics
• A Theory of Classes Presupposing no Canons of Type

Cited In (8)

• On ω-inconsistency and a so-called axiom of infinity
• A partial model for Quine's “New foundations”
• Remarks on identity and description in first-order axiom systems
• Non-standard models for formal logics
• The axiom of infinity in Quine's New Foundations
• Beneš's partial model of NF: an old result revisited
• A formal system of logic
• Definition by induction in quine's new foundations for mathematical logic

This page was built for publication: On the consistency of Quine's New foundations for mathematical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5772178)