Abstract
It was recognized already by the authors of Principia Mathematica that using the law of excluded middle , or its equivalent, proof by contradiction, to prove the law of excluded middle involves a vicious circle . In view of this, it is astonishing that the critics of Brouwer’s rejection of the law of excluded middle claimed that his rejection leads to a third truth value , which is inconsistent, and that Church had to correct his fellow logicians by restating that their argument involves a vicious circle. The first section of this chapter is concerned with the intuitionistic interpretation of proofs by contradiction, i.e., of apagogical proofs. This analysis will put the intuitionistic rejection of the law of excluded middle in perspective. The second section treats of some philosophical and metaphysical aspects of the law of excluded middle. The third section consists of a critique of formalism and set-theoretical Platonism as approaches to the foundations of mathematics.
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.
Bibliography
Aristotle. Politics. Trans. by H. Rackham. Loeb Classical Library 264. Harvard University Press, 1932.
— Metaphysics. Trans. by H. Tredennick. Loeb Classical Library 271 & 287. Harvard University Press, 1933 & 1935.
— Categories. Trans. by H. P. Cooke. Loeb classical library 325. Harvard University Press, 1938, pp. 9–109.
Bishop, E. and D. Bridges. Constructive Analysis. Springer, 1985.
Blancanus, J. ‘A Treatise on the Nature of Mathematics along with a Chronology of Outstanding Mathematicians’. In: Mancosu, P. Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. Trans. by G. Klima. Oxford University Press, 1996, pp. 178–212.
Bourbaki, N. Elements of Mathematics. Theory of Sets. Addison-Wesley, 1968.
Church, A. ‘On the law of excluded middle’. In: Bull. Amer. Math. Soc. 34(1928), pp. 75–78.
— ‘An unsolvable problem of elementary number theory’. In: Amer. J. Math. 58.2 (1936), pp. 345–363.
Cicero, M. T. De Fato. Trans. by H. Rackham. Loeb Classical Library. Harvard University Press, 1942.
— ‘Remarks on the definition and nature of mathematics’. In: Dialectica 8 (1954), pp. 228–233.
Dedekind, R. ‘Continuity and Irrational Numbers’. In: Essays on the Theory of Numbers. Trans. by W. W. Beman. New York: Dover, 1901.
Empiricus, S. Outlines of Pyrrhonism. Trans. by R. G. Bury. Vol. 1. Loeb Classical Library. Harvard University Press, 1961.
— Grundgesetze der Arithmetik I. Vol. 1. Jena: Hermann Pohle, 1893.
Geach, P. T. ‘The law of excluded middle’. In: Supp. Proc. Arist. Soc. 30 (1956), pp. 59–90.
— Intuitionism : An Introduction. Amsterdam: North-Holland, 1956.
Hilbert, D. ‘über die Theorie der algebraischen Formen’. In: Math. Ann. 36.4 (1890), pp. 473–534.
— ‘Mathematical problems’. Trans. by M. W. Newson. In: Bull. Amer. Math. Soc. 8.10 (1902), pp. 437–479.
Kant, I. Kritik der reinen Vernunft. Vol. 3. KantsWerke. Berlin: W. de Gruyter & Co., 1968.
Kneale,W. and M. Kneale. The Development of Logic. Oxford University Press, 1962.
— ed. From Brouwer to Hilbert. New York: Oxford University Press, 1998.
— ‘Verificationism Then and Now’. In: The Foundational Debate ; Complexity and Constructivity in Mathematics and Physics. Ed. by W. De Pauli-Schimanovich, E. Köhler and F. Stadler. Kluwer, 1995, pp. 187–196.
Sebestik, J. ‘Bolzano’s Logic’. In: The Stanford Encyclopedia of Philosophy. Ed. by E. N. Zalta. 2007.
Simpson, S. G. ‘Logic and mathematics’. In: The Examined Life, Readings from Western Philosophy from Plato to Kant. Ed. by S. Rosen. New York: Random House, 2000, pp. 577–605.
Skolem, Th. A. ‘Some remarks on axiomatized set theory’. In: From Frege to Gödel. A source book in mathematical logic, 1879–1931. Ed. by J. van Heijenoort. Cambridge Mass.: Harvard University Press, 1967, pp. 290–301.
— ‘Comments on Hilbert’s second lecture on the foundations of mathematics’. In: From Frege to Gödel. A source book in mathematical logic, 1879–1931. Ed. by J. van Heijenoort. Cambridge Mass.: Harvard University Press, 1967, pp. 480–484.
Whitehead, A. N. and B. Russell. Principia Mathematica. Vol. 1. Cambridge University Press, 1910.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Granström, J.G. (2011). Intuitionism. In: Treatise on Intuitionistic Type Theory. Logic, Epistemology, and the Unity of Science, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1736-7_6
Download citation
DOI: https://doi.org/10.1007/978-94-007-1736-7_6
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-1735-0
Online ISBN: 978-94-007-1736-7
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)