Journal of Symbolic Logic 63 (1):247-261 (1998)

Authors
G. Aldo Antonelli
University of California, Davis
Abstract
Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a such a model remains an open problem.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586599
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
Through your library

References found in this work BETA

Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.
Non-Well-Founded Sets Via Revision Rules.Gian Aldo Antonelli - 1994 - Journal of Philosophical Logic 23 (6):633 - 679.
Dualität.Von Ernst Specker - 1958 - Dialectica 12 (3‐4):451-465.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Scientific Progress and Conceptual Consistency.Edward MacKinnon - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:137 - 145.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
Intension and Representation: Quine’s Indeterminacy Thesis Revisited.Itay Shani - 2005 - Philosophical Psychology 18 (4):415 – 440.
A Variant to Hilbert's Theory of the Foundations of Arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.
Extensionalism and Scientific Theory in Quine’s Philosophy.Saloua Chatti - 2011 - International Studies in the Philosophy of Science 25 (1):1 - 21.
The Mind-Body Problem and Quine's Repudiation Theory.Nathan Stemmer - 2001 - Behavior and Philosophy 29:187-202.

Analytics

Added to PP index
2009-01-28

Total views
239 ( #47,400 of 2,520,893 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,893 )

How can I increase my downloads?

Downloads

My notes