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

DOI10.2307/2266213MaRDI QIDQ5772178zbMATH OpenOpenAlexFDO

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

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

Cited in

(8)

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

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)