Top News, Articles, and Interviews in Philosophy

Quine's New Foundations

Philosophy News image
[Revised entry by Thomas Forster on May 22, 2018. Changes to: Main text] 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)]...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus