Search
Search
Quine’s New Foundations
Quine’s New Foundations

Date

source

share

[Revised entry by Thomas Forster on April 2, 2025.
Changes to: Main text, Bibliography]
Quine’s system of axiomatic set theory, NF, takes its name from the title (“New Foundations for Mathematical Logic”) of the 1937 article which introduced it (Quine [1937a]). The axioms of NF are extensionality: [ forall xforall y[x=y leftrightarrow forall z(z in x leftrightarrow z in y)] ]…

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)

More
articles

More
news

What is Disagreement?

What is Disagreement?

This is Part 1 of a 4-part series on the academic, and specifically philosophical study of disagreement. In this series...

Paradoxes and Contemporary Logic

Paradoxes and Contemporary Logic

[Revised entry by Andrea Cantini and Riccardo Bruni on April 30, 2025. Changes to: Main text, Bibliography] By “paradox” one...

Song-Ming Confucianism

Song-Ming Confucianism

[Revised entry by Justin Tiwald on April 30, 2025. Changes to: Main text, Bibliography] Confucian thought in China’s Song (960...