The Priority of Arithmetical Truth over Arithmetical Provability

  • Enrico MartinoEmail author
Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 42)


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.


  1. Dummett, M. (1994). What is mathematics about? In A. George (Ed.), Mathematics and mind (pp. 12–26). Oxford: Oxford University Press.Google Scholar
  2. 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
  3. Hilbert, D. (1926). On the infinite. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics (pp. 183–201). Cambridge: Cambridge University Press.Google Scholar
  4. Hintikka, J. (1997). The principles of mathematics revisited. Cambridge: Cambridge University Press.Google Scholar
  5. Martino, E., & Usberti, G. (1994). Temporal and atemporal truth in intuitionistic mathematics. Topoi, 13, 83–92 (reprinted here as chapter 11).Google Scholar
  6. 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
  7. 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
  8. Shapiro, S. (1985). Epistemic and intuitionist arithmetic. In S. Shapiro (Ed.), Intensional mathematics (pp. 11–46). Amsterdam: North Holland.Google Scholar
  9. Tennant, N. (1998). Review of Hintikka J.: The principles of mathematics revisited. Philosophia Mathematica, 6, 90–115.CrossRefGoogle Scholar
  10. Velleman, D. J. (1993). Constructivism liberalized. Philosophical Review, 102, 50–84.CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.FISPPA DepartmentUniversity of PaduaPaduaItaly

Personalised recommendations