Temporal and Atemporal Truth in Intuitionistic Mathematics

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


In Sect. 11.2, we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of the classical meaning of the logical constants and consequently is incompatible with the antirealism of orthodox Intuitionism. In Sect. 11.3, we show how what we call the “potential” intuitionistic meaning of the logical constants can be defined, on the one hand, by means of the notion of  atemporal provability and, on the other hand, by means of the operator K of epistemic logic. Intuitionistic logic, as reconstructed within this perspective, turns out to be a part of epistemic logic, so that it loses its traditional foundational role, antithetic to that of classical logic . In Sect. 11.4, we uphold the view that certain consequences of the adoption of a temporal notion of truth, despite their apparent oddity, are quite acceptable from an antirealist point of view.


Atemporal Truth Notion Oftruth Logical Constants Intuitive Potential Heyting 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Dalla Pozza, C. (1991). Un’interpretazione pragmatica della logica proposizionale intuizionistica. In G. Usberti (Ed.), Problemi fondazionali nella teoria del significato (pp. 49–75). Firenze: Leo Olschki Editore.Google Scholar
  2. Dummett, M. (1977). Elements of intuitionism. Oxford: Clarendon Press.Google Scholar
  3. Dummett, M. (1987). Reply to dag prawitz. In B. Taylor (Ed.), Michael Dummett: Contributions to philosophy (pp. 281–286). The Hague: Nijhoff.Google Scholar
  4. Martin-Löf, P. (1991). A path from logic to metaphysics. In G. Sambin & G. Corsi (Eds.), Atti del Congresso Nuovi Problemi della Logica e della Filosofia della Scienza (pp. 141–149), Vol. II. Bologna: CLUEB.Google Scholar
  5. Martino, E., & Usberti, G. (1991). Propositions and judgements in Martin-Löf. In G. Usberti (Ed.), Problemi fondazionali nella teoria del significato (pp. 125–136). Firenze: Leo Olschki Editore. Reprinted here as chapter 9.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.CrossRefGoogle Scholar
  7. Shapiro, S. (1985). Epistemic and intuitionist arithmetic. In S. Shapiro (Ed.), Intensional mathematics (pp. 11–46). Amsterdam: North Holland Publishing Company.CrossRefGoogle Scholar
  8. Williamson, T. (1988). Knowability and constructivism. Philosophical Quarterly, 38, 422–432.CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.FISPPA DepartmentUniversity of PaduaPaduaItaly

Personalised recommendations