Intuitionistic Proof Versus Classical Truth pp 133-146 | Cite as
The Priority of Arithmetical Truth over Arithmetical Provability
Chapter
First Online:
- 219 Downloads
Abstract
It is claimed that the idea of grounding truth on provability perverts the very nature of the intuitive notion of proof and that the possibility of grasping proof-conditions without presupposing some realist notion of truth is illusory.
References
- Dummett, M. (1994). What is mathematics about? In A. George (Ed.), Mathematics and mind (pp. 12–26). Oxford: Oxford University Press.Google Scholar
- Gödel, K. (1995). Some basic theorems on the foundations of mathematics and their implications. In S. Feferman (Ed.), Kurt Gödel: Collected works (Vol. III, pp. 304–323). Oxford: Oxford University Press.Google Scholar
- Hilbert, D. (1926). On the infinite. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics (pp. 183–201). Cambridge: Cambridge University Press.Google Scholar
- Hintikka, J. (1997). The principles of mathematics revisited. Cambridge: Cambridge University Press.Google Scholar
- Martino, E., & Usberti, G. (1994). Temporal and atemporal truth in intuitionistic mathematics. Topoi, 13, 83–92 (reprinted here as chapter 11).Google Scholar
- Prawitz, D. (1987). Dummett on a theory of meaning and its impact on logic. In B. M. Taylor (Ed.), Michael Dummett: Contributions to philosophy (pp. 117–165). Dordrecht: Springer.Google Scholar
- Prawitz, D. (1998). Truth and objectivity from a verificationist point of view. In H. G. Dales & G. Oliveri (Eds.), Truth in mathematics (pp. 41–50). Oxford: Clarendon Press.Google Scholar
- Shapiro, S. (1985). Epistemic and intuitionist arithmetic. In S. Shapiro (Ed.), Intensional mathematics (pp. 11–46). Amsterdam: North Holland.Google Scholar
- Tennant, N. (1998). Review of Hintikka J.: The principles of mathematics revisited. Philosophia Mathematica, 6, 90–115.CrossRefGoogle Scholar
- Velleman, D. J. (1993). Constructivism liberalized. Philosophical Review, 102, 50–84.CrossRefGoogle Scholar
Copyright information
© Springer International Publishing AG 2018