The Impredicativity of the Intuitionistic Meaning of Logical Constants

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


Dummett’s thesis that Heyting’s explanation of the meaning of logical constants is circular is discussed in this chapter. We defend Dummett’s position.


  1. Beeson, M. J. (1985). Foundations of constructive mathematics. Berlin: Springer.CrossRefGoogle Scholar
  2. Dummett, M. (1977). Elements of intuitionism. Oxford: Clarendon Press.Google Scholar
  3. Martin-Löf, P. (1984). Intuitionistic type theory. Naples: Bibliopolis.Google Scholar
  4. Martin-Löf, P. (1985). On the meaning and justification of logical laws. In E. Bernardi & R. Pagli (Eds.), Atti degli Incontri di Logica Matematica (Vol. II, pp. 291–340). Siena: Università di Siena.Google Scholar
  5. Martin-Löf, P. (1987a). Philosophical implications of type theory. Lecture at the Institute of Philosophy, University of FlorenceGoogle Scholar
  6. Martin-Löf, P. (1987b). Truth of a proposition, evidence of a judgement, validity of a proof. Synthese, 73, 407–420.Google Scholar
  7. 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

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.FISPPA DepartmentUniversity of PaduaPaduaItaly

Personalised recommendations