Erkenntnis 34 (2):187 - 209 (1991)
AbstractThis article was written jointly by a philosopher and a mathematician. It has two aims: to acquaint mathematicians with some of the philosophical questions at the foundations of their subject and to familiarize philosophers with some of the answers to these questions which have recently been obtained by mathematicians. In particular, we argue that, if these recent findings are borne in mind, four different basic philosophical positions, logicism, formalism, platonism and intuitionism, if stated with some moderation, are in fact reconcilable, although with some reservations in the case of logicism, provided one adopts a nominalistic interpretation of Plato's ideal objects. This eclectic view has been asserted by Lambek and Scott (LS 1986) on fairly technical grounds, but the present argument is meant to be accessible to a wider audience and to provide some new insights.
Similar books and articles
Thinking About Mathematics: The Philosophy of Mathematics.Stewart Shapiro - 2000 - Oxford, England: Oxford University Press.
The indispensability argument and multiple foundations for mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
The Foundations of Mathematics in the Theory of Sets.John P. Mayberry - 2000 - Cambridge University Press.
Review of D. Corfield's Toward A Philosophy Of Real Mathematics. [REVIEW]Andrew Arana - 2007 - Mathematical Intelligencer 29 (2).
Heyting’s contribution to the change in research into the foundations of mathematics.Miriam Franchella - 1994 - History and Philosophy of Logic 15 (2):149-172.
Realism in Mathematics.Penelope Maddy - 1990 - Oxford, England and New York, NY, USA: Oxford University Prress.
Added to PP
Historical graph of downloads
Citations of this work
Categories in context: Historical, foundational, and philosophical.Elaine Landry & Jean-Pierre Marquis - 2005 - Philosophia Mathematica 13 (1):1-43.
Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.
What is the world of mathematics?J. Lambek - 2004 - Annals of Pure and Applied Logic 126 (1-3):149-158.
References found in this work
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.