0599376 - FLÚ 2025 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive logic * lax logic * information-based semantics * presupposition * informative content * nucleus
Obor OECD: Philosophy, History and Philosophy of science and technology
Web výsledku:
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.

Trvalý link: https://hdl.handle.net/11104/0357027