Classical and Intuitionistic Semantical Groundedness

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


Kripke’s notion of semantical groundedness for classical logic is developed in an intuitionistic framework. It is argued that semantical groundedness yields the most natural solution of the semantical paradoxes.


  1. Aczel, P., & Feferman, S. (1980). Consistency of the unrestricted abstraction principle using an intensional equivalence operator. In J. P. Seldin & J. R. Hindley (Eds.), To H. B. Curry: Essays in combinatory logic, lambda calculus and formalism (pp. 67–98). Academic Press.Google Scholar
  2. Feferman, S. (1984). Toward useful type-free theories. Journal of Symbolic Logic, 49, 75–111.CrossRefGoogle Scholar
  3. Kripke, S. A. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690–716.CrossRefGoogle Scholar
  4. Martino, E. (1998). Negationless intuitionism. Journal of Philosophical Logic, 27, 165–177. (reprinted here as chapter 10).Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.FISPPA DepartmentUniversity of PaduaPaduaItaly

Personalised recommendations