A generalization of inquisitive semantics

DOI10.1007/S10992-015-9379-1MaRDI QIDQ312497zbMATH OpenOpenAlexFDO

Publication date 15 September 2016

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-015-9379-1

disjunction inquisitive logic intuitionistic logic Kripke semantics superintuitionistic logics topological semantics

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Other nonclassical logic (03B60)

Review text

This is an interesting, clear and well-written paper on inquisitive semantics. Formal \textit{inquisitive semantics}, as well as the propositional version of \textit{dependence logic}, share the characteristic that formulas are related to sets of possible worlds and not just to single worlds. Additionally, in the former, sets of possible worlds are understood as information states, the ``inquisitive content of a formula being the set of all states that support it. Although inquisitive semantics and dependence logic were introduced independently of each other, they are closely related in a technical sense. One important difference between them is, however, the treatment of the disjunction. Inquisitive disjunction is understood according to the following clause: (a) A given information state \(C\) supports \(\varphi \vee \psi \) iff \(C\) supports \(\varphi \) or \(C\) supports \(\psi \). Disjunction in propositional dependence logic, on the other hand, is interpreted with the following clause: (b) \(\varphi \vee \psi \) holds in a set of worlds \(C\) iff there are \( D,E\subseteq C\) such that \(\varphi \) holds in \(D\), \(\psi \) holds in \(E\) and \( D\cup E=C\). The author defines two different versions of a generalization of inquisitive semantics. The first version (\textit{GIS}\(_ l\)) has disjunction interpreted by clause (b); in the second one (\textit{GIS}\(_ g\)), disjunction is interpreted by condition (a). The logics determined by \textit{GIS}\(_l\) are called local logics; the logics determined by \textit{GIS}\(_g\)) are named global logics. The paper studies how \textit{GIS}\(_l\) and \textit{GIS}\(_g\) are related to intuitionistic Kripke semantics as well as to each other. In this context, it is shown that the main facts about inquisitive semantics can be considered as particular consequences of the general frameworks. On the other hand, a class of non-standard superintuitionistic logics, G-logics, is introduced, and a number of properties of them is proved.

Recommendations

Cites work

Cited in

(31)

This page was built for publication: A generalization of inquisitive semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q312497)