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.
| Original language | English |
|---|---|
| Title of host publication | The Oxford Handbook of Philosophy of Mathematics and Logic |
| Publisher | Oxford University Press |
| ISBN (Print) | 9780195148770 |
| DOIs | |
| State | Published - 1 Jul 2005 |
Bibliographical note
Publisher Copyright:© 2005 by Oxford University Press, Inc. All rights reserved.
Keywords
- Aristotle
- Brouwer
- Choice sequences
- Continuity
- Continuum
- Dummett
- Heyting
- Intuitionistic logic
- Intuitionistic mathematics
- Kant
- Phenomenology