Year: 2026
Type: article
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.
Source: Philosophical Studies
Author: Jon Erling Litland
Institutions: University of Oslo, The University of Texas at Austin
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,190
Funders: European Commission, Universitetet i Oslo
Award: G8909377397
OpenAlex ID: W7128434006