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

DOI10.2307/2266213zbMath0020.19401OpenAlexW2028396320MaRDI QIDQ5772178

No author found.

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

Related Items (8)

Definition by induction in quine's new foundations for mathematical logic ⋮ Beneš's partial model of NF: an old result revisited ⋮ 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”

Cites Work

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

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