Abstract
The conflict between classical and intuitionistic mathematics - henceforth, the C- I conflict — has been discussed at length and in depth by a number of famous scholars. Why an outside perspective? Is such a perspective interesting, or even possible?
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Berardi and S. Valentini: Krivine’s intuitionistic proof of classical completeness (for countable languages). Annals of Pure and Applied Logic 129 (2004) pp 93–106
E. Bishop: Foundations of Constructive Analysis (McGraw-Hill, New York 1967)
D. S. Bridges: Constructive truth in practice. In: Truth in Mathematics, ed by H. G. Dales and G. Oliveri (Clarendon Press, Oxford 1998) pp 53–69
M. Dummett: The philosophical basis of intuitionistic logic. Reprinted in: Truth and other Enigmas (BLA, London 1978) pp 215–247
M. Dummett: Elements of Intuitionism (Oxford University Press, Oxford 1977) (Revised and reprinted in 2000)
M. Dummett: The Logical Basis of Metaphysics (Harvard University Press, Harvard 1991)
G. Hellman: Never say “Never”! On the communication problem between intuitionism and classicism. Philosophical Topics 17 (1989) pp 47–67
J.-L. Krivine: Une preuve formelle et intuitionistique du Theoreme de Completude de la Logique Classique. Bulletin of Symbolic Logic 2 (1996) pp 405–21
J. Lipton: Kripke semantics for dependent type theory and realizability interpretations. In: Constructivity in Computer Science, LNCS 613 (Springer, Berlin 1992) pp 22–32
J. MacFarlane: Making sense of relative truth. Proceedings of the Aristotelian Society 105 (2005) pp 321–39
P. Martin-Löf: Notes on Constructive Mathematics (Almquist & Wiksell, Stockholm 1970)
P. Martin-Löf: Intuitionistic Type Theory (Notes by G. Sambin) (Bibliopolis, Napoli 1984)
D. C. McCarty: Undecidability and intuitionistic incompleteness. Journal of Philosophical Logic 25 (1996) pp 559–565
D. Prawitz: Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria 43 (1977) pp 2–40
F. Richman: Intuitionism as generalization. Philosophia Mathematica 5 (1990) pp 124–128
G. Sambin: Some points in formal topology. Theoretical Computer Science 305 (2003) pp 347–408
A. Troelstra and D. van Dalen: Constructivism in Mathematics; An Introduction. Vols. I–II (North-Holland, Amsterdam 1988)
D. Westerstahl: Perspectives on the dispute between intuitionistic and classical mathematics. In: Ursus Philosophicus, Philosophical Communications, web series no. 32, Gothenburg University (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Italia
About this chapter
Cite this chapter
Westerstahl, D. (2008). Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside. In: Lupacchini, R., Corsi, G. (eds) Deduction, Computation, Experiment. Springer, Milano. https://doi.org/10.1007/978-88-470-0784-0_10
Download citation
DOI: https://doi.org/10.1007/978-88-470-0784-0_10
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-0783-3
Online ISBN: 978-88-470-0784-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)