Bishop's Mathematics: a Philosophical Perspective

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

Abstract

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.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
The constructive completion of the space?Satoru Yoshida - 2005 - Mathematical Logic Quarterly 51 (1):77-82.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
Varieties of constructive mathematics.D. S. Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.

Analytics

Added to PP
2021-10-27

Downloads
791 (#20,755)

6 months
304 (#7,310)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Laura Crosilla
Università degli Studi di Firenze

Citations of this work

No citations found.

Add more citations

References found in this work

Philosophy of mathematics: structure and ontology.Stewart Shapiro - 1997 - New York: Oxford University Press.
Varieties of Logic.Stewart Shapiro - 2014 - Oxford and New York: Oxford University Press.
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 1997 - Oxford, England: Oxford University Press USA.
Mathematical Knowledge and the Interplay of Practices.José Ferreirós - 2015 - Princeton, USA: Princeton University Press.

View all 48 references / Add more references