Grounding conditionals
Abstract
Abstract This paper develops a systematic account of the immediate grounds of conditionals, uses this to give a ground-theoretic semantics for the language of intuitionistic propositional logic, and proves intuitionistic logic sound and complete with respect to this semantics. A striking consequence of the account is that all intuitionistic validities are zero-grounded and thus—unlike distinctively classical validities—make no demand on reality.
Fields of Study & Subjects
Logic
Reasoning
and Knowledge
Philosophy and Theoretical Science
Advanced Algebra and Logic
Publication details
- Journal / source
- Philosophical Studies
- Volume
- 183
- Issue
- 5
- Pages
- 1217–1249
- Publication date
- 9 February 2026
- Language
- EN