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.
| Original language | English |
|---|---|
| Article number | anac100 |
| Pages (from-to) | 507-516 |
| Number of pages | 10 |
| Journal | Analysis |
| Volume | 83 |
| Issue number | 3 |
| Early online date | 19 Jul 2023 |
| DOIs | |
| Publication status | E-pub ahead of print - 19 Jul 2023 |
Bibliographical note
Funding Information:Dr Stafford was supported by a Lumina quaeruntur fellowship [LQ300092101] from the Czech Academy of Sciences. Mr Nascimento’s work was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) – [Finance Code 001].
Fingerprint
Dive into the research topics of 'Following all the rules: intuitionistic completeness for generalized proof-theoretic validity'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver