Informative Presupposition in Inquisitive Logic

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Informative Presupposition in Inquisitive Logic

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Informative Presupposition in Inquisitive Logic

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2024

Kód důvěrnosti údajů

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

Název statě ve sborníku

Advances in Modal Logic. Volume 15

ISBN

978-1-84890-467-5

ISSN

—

e-ISSN

—

Počet stran výsledku

22

Strana od-do

609-630

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Prague

Datum konání akce

19. 8. 2024

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—