Authors
David C. McCarty
Last affiliation: 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: 70,079
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. Quine - 1970 - Harvard University Press.
The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
Philosophy of Logic.W. Quine - 1970 - In Simon Blackburn & Keith Simmons (eds.), Truth. Oxford University Press.

View all 28 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
24 ( #473,326 of 2,506,053 )

Recent downloads (6 months)
2 ( #277,268 of 2,506,053 )

How can I increase my downloads?

Downloads

My notes