Abstract
The title of this paper was borrowed from the heading of a chapter in Davis and Hersh’s celebrated book The mathematical experience.1 Here, however, we have inserted a question-mark: is it really true, as some people maintain, that mathematics has lost its certainty? For the sake of simplicity, we refer to this conception as mathematical fallibilism which is a feature of the quasi-empiricism initiated by Lakatos and popularized by Davis and Hersh, Kline, Tymoczko and many others. In this paper we would like to make a critical survey of this viewpoint which constitutes an interesting trend in philosophy of mathematics today.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Davis, P. J. and Hersh, R. [1981], The mathematical experience, Boston: Birkhäuser.
Feferman, S. [1975], review of Prawitz [1975], The Journal of Symbolic Logic, 40, pp. 232–234.
Feferman, S. [1977], Theories of finite type, in: J. Barwise (ed.), The Handbook of Mathematical Logic, Amsterdam: North-Holland, pp. 913–971.
Feferman, S. [1984], Foundational ways, Perspectives in Mathematics, Basel: Birkhäuser, pp. 147–158.
Feferman, S. [1985], Working foundations, Synthese, 62, pp. 229–254.
Feferman, S. [1987], Infinity in mathematics: is Cantor necessary?, in: G. Toraldo di Francia (ed.),L’infinito nella scienza, Roma: Istituto della Enciclopedia Italiana, pp. 151–209.
Hersh, R. [1979], Some proposals for reviving the philosophy of mathematics, Advances in Mathematics, 31, pp. 31–50; reprinted in Tymoczko [1986], pp. 9–28.
Kalmár, L. [1967], Foundations of mathematics — Whither now?, in: Lakatos [1967], pp. 187–207.
Lakatos, I. [1962], Infinite regress and the foundations of mathematics, Aristotelian Society Supplementary Volumes, 36, pp. 155–184; reprinted in Lakatos [1978], pp. 3–23.
Lakatos, I. (ed.) [1967], Problems in the philosophy of mathematics, Amsterdam: North-Holland, 1967.
Lakatos, I. I. [1967a], A renaissance of empiricism in the recent philosophy of mathematics? in: Lakatos [1967], pp. 199–202; see also Lakatos [1976a].
Lakatos, I. [1976], Proofs and refutations. The logic of mathematical discovery, J. Worral and E. Zahar, (eds.), Cambridge: Cambridge University Press.
Lakatos, I. [1976a], A renaissance of empiricism in the recent philosophy of mathematics? The British Journal for the Philosophy of Science, 27, pp. 201–223; reprinted in Lakatos [1978], pp. 24–42, and in Tymoczko [1986], pp. 29–48.
Lakatos, I. [1978], Philosophical papers, vol. 2, J. Worral and G. Currie, (eds.), Cambridge: Cambridge University Press.
Lakatos, I. [1978a], What does a mathematical proof prove? in: G. Currie, (eds.), Cambridge: Cambridge University Press Lakatos [1978], pp. 61–69; reprinted in Tymoczko [1986], pp. 153–162.
Pólya, G. [1945], How to solve it, Princeton: Princeton University Press.
Prawitz, D. [1971], Ideas and results in proof theory, in: J. E. Fenstad (ed.), Proceedings of the Second Scandinavian Symposium, Amsterdam: North-Holland, pp. 235–307.
Quine, W. V. O. [1951], Two dogmas of empiricism, Philosophical Review, 60, pp. 20–43.
Sieg, W. [1985], Fragments of arithmetic, Annals of pure and applied logic, 28, pp. 33–71.
Simpson, S. G. [1988], Partial realizations of Hilbert’s program, The Journal of Symbolic Logic, 53, pp. 349–363.
Takeuti, G. [1978], Two Applications of Logic to Mathematics, Publ. of the Math. Society of Japan, Princeton: Princeton University Press.
Tymoczko, T. [1986], New Directions in the Philosophy of Mathematics, Boston: Birkhäuser.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Borga, M. (1997). From Certainty to Fallibility in Mathematics?. In: Agazzi, E., Darvas, G. (eds) Philosophy of Mathematics Today. Episteme, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5690-5_2
Download citation
DOI: https://doi.org/10.1007/978-94-011-5690-5_2
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6400-2
Online ISBN: 978-94-011-5690-5
eBook Packages: Springer Book Archive