Classical and Intuitionistic Semantical Groundedness
Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 42)
- 218 Downloads
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.
- 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
- Martino, E. (1998). Negationless intuitionism. Journal of Philosophical Logic, 27, 165–177. (reprinted here as chapter 10).Google Scholar
© Springer International Publishing AG 2018