In Handbook of Bishop's Mathematics. CUP (forthcoming)

Laura Crosilla
University of Oslo
Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration.
Keywords Constructive Mathematics  Errett Bishop  Intuitionism  Philosophy of Mathematics  L.E.J. Brouwer
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Varieties of Logic.Stewart Shapiro - 2014 - Oxford and New York: Oxford University Press.
Wang's Paradox.Michael Dummett - 1975 - Synthese 30 (3-4):201--32.
Mathematical Knowledge and the Interplay of Practices.José Ferreirós - 2015 - Princeton, USA: Princeton University Press.
Philosophy of Mathematics: Selected Readings.Paul Benacerraf & Hilary Putnam (eds.) - 1964 - Englewood Cliffs, NJ, USA: Cambridge University Press.

View all 42 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Did Bishop Have a Philosophy of Mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
Varieties of Constructive Mathematics.D. S. Bridges - 1987 - Cambridge University Press.
Foundations of Constructive Analysis.Errett Albert Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.
The Constructive Completion of the Space?Satoru Yoshida - 2005 - Mathematical Logic Quarterly 51 (1):77-82.


Added to PP index

Total views
39 ( #280,944 of 2,461,817 )

Recent downloads (6 months)
39 ( #22,473 of 2,461,817 )

How can I increase my downloads?


My notes