Proof-theoretic semantics and inquisitive logic
type: Item
instance of: scholarly article
title: Proof-theoretic semantics and inquisitive logic
zbMATH Open document ID: 1485.03232
author: Will Stafford
published in: Journal of Philosophical Logic
publication date: 2021-11-04T00:00:00Z
review text: Inquisitive semantics is made in order to offer a uniform approach to assertions and questions, where propositions are treated as sets of sets of possible worlds closed under subsets, naturally followed by the corresponding general inquisitive logic obtained as its generalisation. \textit{D. Prawitz}'s conjecture that proof-theoretic validity offers a semantics for intuitionistic logic [Stud. Logic Found. Math. 63, 235--307 (1971; Zbl 0226.02031)] has been proven false by \textit{T. Piecha} and \textit{P. Schroeder-Heister} [Stud. Log. 107, No. 1, 233--246 (2019; Zbl 07055418)]. In this paper, the author resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic.
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 7420145
zbMATH Keywords: proof-theoretic semantics
zbMATH Keywords: proof-theoretic validity
zbMATH Keywords: weak logic
zbMATH Keywords: nonstructural logic
zbMATH Keywords: inquisitive semantics
zbMATH Keywords: inquisitive logic
reviewed by: Branislav Boričić
MaRDI profile type: MaRDI publication profile
full work available at URL: s10992-021-09596-7
OpenAlex ID: W3171816366
cites work: Inquisitive semantics
cites work: Inquisitive logic
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q4287487
cites work: Q5812175
cites work: Zur Deutung der intuitionistischen Logik
cites work: On maximal intermediate logics with the disjunction property
cites work: Some results on intermediate constructive logics
cites work: Completeness in Proof-Theoretic Semantics
cites work: Failure of completeness in proof-theoretic semantics
cites work: Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
cites work: Q5632554
cites work: A generalization of inquisitive semantics
cites work: A natural extension of natural deduction
cites work: Validity concepts in proof-theoretic semantics
cites work: Q4619902
cites work: Possible Worlds
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Q4499084
DOI: 10.1007/S10992-021-09596-7
Recommended article: Inquisitive logic
Recommended article: Propositional inquisitive logic: a survey
Recommended article: Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
Recommended article: A generalization of inquisitive semantics
Recommended article: Validity concepts in proof-theoretic semantics
description: scientific article; zbMATH DE number 7420145