Informative Presupposition in Inquisitive Logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F24%3A00599376" target="_blank" >RIV/67985955:_____/24:00599376 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Informative Presupposition in Inquisitive Logic
Original language description
In this paper, we explore a logic of the modality of informative presupposition in the context of propositional intuitionistic inquisitive logic. We present a natural deduction calculus for this logic and show that it is sound and complete with respect to a Kripke semantics based on inquisitive Kripke models and an algebraic semantics based on the notion of inquisitive nucleus. We argue that our setting sheds some light on the relation between different approaches to intuitionistic inquisitive logic, namely, the approach developed by Wesley Holliday, on one side, and approaches based on the tensor disjunction, on the other side. Furthermore, we assess the connections of the presupposition modality to other related notions such as lax modality.
Czech name
—
Czech description
—

Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GM21-23610M" target="_blank" >GM21-23610M: Logical Structure of Information Channels</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)