Intuitionism and philosophy

In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 319--355 (2005)
  Copy   BIBTEX

Abstract

After sketching the essentials of L. E. J. Brouwer’s intuitionistic mathematics—separable mathematics, choice sequences, the uniform continuity theorem, and the intuitionistic continuum—this chapter outlines the main philosophical tenets that go hand in hand with Brouwer’s technical achievements. It presents his views about general and mathematical phenomenology and shows how these views ground his positive epistemological and ontological positions and his stinging criticisms of classical mathematics and logic. The chapter then turns to intuitionistic logic and its philosophical side. It first sets out the basic meta-logical technical results, then discusses the relevant philosophical views—those of Arend Heyting and Michael Dummett. It concludes by tracing intuitionism’s philosophical and technical roots in Aristotle and Kant.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Philosophical Foundations of Intuitionistic Logic.L. Nabavi, M. A. Hojati & H. Alaeenezhad - 2013 - Metaphysics (University of Isfahan) 4 (14):51-64.
Intuitionistic Logic.Dirk van Dalen - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 224–257.
Mathematical Intuitionism.Carl J. Posy - 2020 - Cambridge University Press.
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Hermann Weyl's intuitionistic mathematics.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2):145-169.

Analytics

Added to PP
2014-02-01

Downloads
11 (#1,167,245)

6 months
64 (#80,765)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references