- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Starting the Dismantling of Classical Mathematics
Australasian Journal of Logic 15 (2):280-300 (2018)
Abstract
This paper uses the relevant logic, MCQ, of meaning containment to explore mathematics without various classical theses, in particular, without the law of excluded middle.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Why anti-realists and classical mathematicians cannot get along.Stewart Shapiro - 2001 - Topoi 20 (1):53-63.
Arithmetic Formulated in a Logic of Meaning Containment.Ross Brady - 2021 - Australasian Journal of Logic 18 (5):447-472.
The Law of Excluded Middle and Berry’s Paradox... Finally.Ross Brady - 2024 - Australasian Journal of Logic 21 (3):100-122.
Reverse Mathematics and Uniformity in Proofs without Excluded Middle.Jeffry L. Hirst & Carl Mummert - 2011 - Notre Dame Journal of Formal Logic 52 (2):149-162.
Philosophical Foundations of Intuitionistic Logic.L. Nabavi, M. A. Hojati & H. Alaeenezhad - 2013 - Metaphysics (University of Isfahan) 4 (14):51-64.
The Logic for Mathematics without Ex Falso Quodlibet.Neil Tennant - forthcoming - Philosophia Mathematica.
The Semantic Paradoxes and the Paradoxes of Vagueness.Hartry Field - 2003 - In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Oxford, England: Oxford University Press UK. pp. 262-311.
Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium.Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.) - 2019 - Berlin, Boston: De Gruyter.
Analytics
Added to PP
2018-08-04
Downloads
24 (#647,065)
6 months
7 (#592,070)
2018-08-04
Downloads
24 (#647,065)
6 months
7 (#592,070)
Historical graph of downloads
References found in this work
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Constructive Negations and Paraconsistency.Sergei Odintsov - 2008 - Dordrecht, Netherland: Springer.
A metacompleteness theorem for contraction-free relevant logics.John K. Slaney - 1984 - Studia Logica 43 (1-2):159 - 168.
Reduced models for relevant logics without ${\rm WI}$.John K. Slaney - 1987 - Notre Dame Journal of Formal Logic 28 (3):395-407.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo