Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity
| dc.citation.doi | 10.1093/analys/anac100 | |
| dc.citation.epage | 516 | |
| dc.citation.issue | 3 | |
| dc.citation.jtitle | Analysis | |
| dc.citation.spage | 507 | |
| dc.citation.volume | 83 | |
| dc.contributor.author | Stafford, Will | |
| dc.contributor.author | Nascimento, Victor | |
| dc.date.accessioned | 2025-05-23T15:44:09Z | |
| dc.date.available | 2025-05-23T15:44:09Z | |
| dc.date.issued | 2023-07-19 | |
| dc.description.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 1973paper ‘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. | |
| dc.description.sponsorship | 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]. Funding provided by: the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 101024393. | |
| dc.identifier.uri | https://hdl.handle.net/2097/45045 | |
| dc.language.iso | en | |
| dc.publisher | Oxford University Press | |
| dc.relation.uri | https://academic.oup.com/analysis/article/83/3/507/7226592 | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.title | Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity | |
| dc.type | Text |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Stafford and Nascimento 2023 - Following all the rules - intuitionistic completeness for generalized proof-theoretic validity.pdf
- Size:
- 960.23 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.65 KB
- Format:
- Item-specific license agreed upon to submission
- Description:
