Work

New Foundations

Overview

In mathematical logic, New Foundations (NF) is a non-well-founded, finitely axiomatizable set theory conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed New Foundations

• Frank P. Ramsey
• Willard Van Orman Quine
• Solomon Feferman

Related ideas

• Independence (mathematical logic)
• Free variables and bound variables
• If and only if
• Zermelo–Fraenkel set theory
• Truth value
• Propositional logic
• Function (mathematics)
• Mathematical logic
• Model theory
• Natural number
• Ordered pair
• Primitive notion
• Power set
• Principia Mathematica
• Paradox
• Axiom of infinity
• Peano axioms
• Set (mathematics)
• Set theory
• Circular reasoning
• Zermelo set theory
• Willard Van Orman Quine
• Cantor's theorem
• Singleton (mathematics)

Place in the tradition

Part of Analytic philosophy.

Explore New Foundations in the interactive graph →