Back to Search
Start Over
Proof-Theoretic Semantics and Inquisitive Logic.
- Source :
-
Journal of Philosophical Logic . Oct2021, Vol. 50 Issue 5, p1199-1229. 31p. - Publication Year :
- 2021
-
Abstract
- Prawitz (1971) conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister (2019). This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00223611
- Volume :
- 50
- Issue :
- 5
- Database :
- Academic Search Index
- Journal :
- Journal of Philosophical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 152447149
- Full Text :
- https://doi.org/10.1007/s10992-021-09596-7