0599376 - FLÚ 2025 RIV GB eng C - Conference Paper (international conference)
Punčochář, Vít - Pezlar, Ivo
Informative Presupposition in Inquisitive Logic.
Advances in Modal Logic. Volume 15. London: College Publications, 2024 - (Ciabattoni, A.; Gabelaia, D.; Sedlár, I.), s. 609-630. ISBN 978-1-84890-467-5.
[Advances in Modal Logic. Prague (CZ), 19.08.2024-23.08.2024]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : inquisitive logic * lax logic * information-based semantics * presupposition * informative content * nucleus
OECD category: Philosophy, History and Philosophy of science and technology
Result website:
https://www.collegepublications.co.uk/aiml/?00012 https://www.cs.cas.cz/aiml2024/

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.

Permanent Link: https://hdl.handle.net/11104/0357027