Authors
David C. McCarty
Indiana University, Bloomington
Abstract
A recognizable topological model construction shows that any consistent principles of classical set theory, including the validity of the law of the excluded third, together with a standard class theory, do not suffice to demonstrate the general validity of the law of the excluded third. This result calls into question the classical mathematician's ability to offer solid justifications for the logical principles he or she favors.
Keywords class validity  general validity  intuitionism  set validity  topological models  ustification of deduction
Categories No categories specified
(categorize this paper)
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: 60,920
External links

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

References found in this work BETA

Philosophy of Logic.W. V. O. Quine - 1970 - Harvard University Press.
The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.

View all 25 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
Discussion.Cesare Cozzo - 2011 - In Carlo Cellucci, Emily Grosholz & Emiliano Ippoliti (eds.), Logic and Knowledge. Cambridge Scholars Press. pp. 101-7.
Validity as a Primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.
The Inexpressibility of Validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.
The Concept of Logical Form.Gary Nelson Curtis - 1993 - Dissertation, Indiana University
Brouwerian Intuitionism.Michael Detlefsen - 1990 - Mind 99 (396):501-534.
Semantics Without Reference.Christopher Gauker - 1990 - Notre Dame Journal of Formal Logic 31 (3):437-461.
Truth Without Contra(di)Ction.Elia Zardini - 2011 - Review of Symbolic Logic 4 (4):498-535.
On the Concept of Material Consequence.Tomis Kapitan - 1982 - History and Philosophy of Logic 3 (2):193-211.
Actuality, Necessity, and Logical Truth.William H. Hanson - 2006 - Philosophical Studies 130 (3):437-459.
Logic and the Classical Theory of Mind.Peter Novak - 1998 - Journal of Philosophical Logic 27 (4):389-434.

Analytics

Added to PP index
2017-12-29

Total views
21 ( #505,285 of 2,439,320 )

Recent downloads (6 months)
1 ( #434,168 of 2,439,320 )

How can I increase my downloads?

Downloads

My notes