We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.
- Authors
Stafford, Will; Nascimento, Victor
- Abstract
Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz's 1973 paper 'Towards a foundation of a general proof theory' and refined by Schroeder-Heister in 'Validity concepts in proof-theoretic semantics' (2006). We will call the new notion generalized proof-theoretic validity and show that the logic of generalized proof-theoretic validity is intuitionistic logic.
- Subjects
PROOF theory; SUBSTITUTION (Logic); COMPLETENESS theorem; SEMANTICS; LOGICAL prediction
- Publication
Analysis, 2023, Vol 83, Issue 3, p507
- ISSN
0003-2638
- Publication type
Article
- DOI
10.1093/analys/anac100