A Generalization of Inquisitive Semantics

0460804 - FLÚ 2017 RIV NL eng J - Journal Article
Punčochář, Vít
A Generalization of Inquisitive Semantics.
Journal of Philosophical Logic. Roč. 45, č. 4 (2016), s. 399-428. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : Intuitionistic logic * Superintuitionistic logics * Inquisitive logic * Topological semantics * Kripke semantics * Disjunction
Subject RIV: AA - Philosophy ; Religion

This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning inquisitive semantics, especially the axiomatization of inquisitive logic, can be viewed as particular cases of more general phenomena. In this connection, a class of non-standard superintuitionistic logics is introduced and studied. These logics share many interesting features with inquisitive logic, which is the strongest logic of this class.
Permanent Link: http://hdl.handle.net/11104/0260798