Journal of Symbolic Logic 63 (1):247-261 (1998)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,489
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.
On the Consistency of a Slight (?) Modification of Quine'smew Foundations.Ronald Björn Jensen - 1968 - Synthese 19 (1-2):250 - 264.
Non-Well-Founded Sets Via Revision Rules.Gian Aldo Antonelli - 1994 - Journal of Philosophical Logic 23 (6):633 - 679.
Citations of this work BETA
No citations found.
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.
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.
Automorphisms Moving All Non-Algebraic Points and an Application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
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.
The Equivalence of NF-Style Set Theories with "Tangled" Theories; the Construction of Ω-Models of Predicative NF (and More).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
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 )
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
