New Foundations for Mathematical Logic

E382730

New Foundations for Mathematical Logic is W.V.O. Quine’s influential essay proposing an alternative set theory, known as "New Foundations," aimed at resolving paradoxes while preserving a broad, intuitive universe of sets.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (5)

Statements (44)

Predicate Object
instanceOf essay
philosophical work
work on mathematical logic
addresses Russell’s paradox
set-theoretic antinomies
aimsTo preserve a broad intuitive universe of sets
resolve set-theoretic paradoxes
associatedWith NF set theory
author Willard Van Orman Quine
characterizes sets via stratified formulas
contrastsWith cumulative hierarchy of sets
type theory
contributesTo Quine’s overall logical system
discusses axioms for set existence
logical foundations of mathematics
field mathematical logic
philosophy of mathematics
set theory
hasAbbreviation NF
hasConcept extensionality axiom in NF
stratification of variables
universal set in NF
hasReception subject of ongoing consistency investigations
historicalPeriod 20th-century analytic philosophy
influenced research on consistency of NF set theory
subsequent work on alternative set theories
influencedBy Russellian logic
surface form: Russellian type theory

Zermelo set theory
introduces stratified comprehension schema
language English
mainTopic foundations of set theory
logical paradoxes
type-free set theory
permits a universal set
complement of any set
philosophicalStance logicism
proposes New Foundations for Mathematical Logic self-linksurface differs
surface form: New Foundations set theory

alternative set theory
proposesAlternativeTo Zermelo–Fraenkel set theory
relatedWorkByAuthor Mathematical Logic
On What There Is
Set Theory and Its Logic
restricts comprehension to stratified formulas
shortName New Foundations for Mathematical Logic self-linksurface differs
surface form: New Foundations

How these facts were elicited

The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.

Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10.

# Requirements
- If you don't know the subject at all, return an empty list.
- If the subject is not a named entity, return an empty list.
- Include at least one triple where predicate is "instanceOf".
- Do not get too wordy.
- Separate several objects into multiple triples with one object.
Input
Subject: New Foundations for Mathematical Logic
Description of subject: New Foundations for Mathematical Logic is W.V.O. Quine’s influential essay proposing an alternative set theory, known as "New Foundations," aimed at resolving paradoxes while preserving a broad, intuitive universe of sets.

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

From a Logical Point of View notableEssay New Foundations for Mathematical Logic
From a Logical Point of View hasPart New Foundations for Mathematical Logic
this entity surface form: essay "New Foundations for Mathematical Logic"
naive set theory isContrastedWith New Foundations for Mathematical Logic
this entity surface form: Quine's New Foundations
New Foundations for Mathematical Logic shortName New Foundations for Mathematical Logic self-linksurface differs
this entity surface form: New Foundations
New Foundations for Mathematical Logic proposes New Foundations for Mathematical Logic self-linksurface differs
this entity surface form: New Foundations set theory