Abstract
Classical first-order logic \(\texttt {FO}\) is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \(\texttt {InqBQ}\) is a conservative extension of \(\texttt {FO}\) which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \(\texttt {InqBQ}\) relative to inquisitive disjunction and inquisitive existential quantifier \(\overline{\exists }\). Moreover we extend these results to several families of theories, among which the one in the language of \(\texttt {FO}\). To this end, we initiate a model-theoretic approach to the study of \(\texttt {InqBQ}\). In particular, we develop a toolkit of basic constructions in order to transform and combine models of \(\texttt {InqBQ}\).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abramsky, S., and J. Väänänen, From IF to BI: A tale of dependence and separation, Synthese 167(2): 207–230, 2009.
Ciardelli, I., Inquisitive semantics and intermediate logics, Master’s thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2009.
Ciardelli, I., Questions in logic, Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2016.
Ciardelli, I., Questions as information types, Synthese 195(1): 321–365, 2018.
Ciardelli, I., J. Groenendijk, and F. Roelofsen, Inquisitive semantics: A new notion of meaning, Language and Linguistics Compass 7(9): 459–476, 2013.
Gabbay, D., V. Shehtman, and D. Skvortsov, Quantification in Non-classical Logics, Studies in Logic and Foundations of Mathematics, Elsevier, 2009.
Hodges, W., Compositional semantics for a language of imperfect information, Logic Journal of IGPL 5(4): 539–563, 1997.
Hodges, W., A Shorter Model Theory, Cambridge University Press, New York, NY, USA, 1997.
Hodges, W., Some Strange Quantifiers, Springer Berlin Heidelberg, Berlin, Heidelberg, 1997, pp. 51–65.
Roelofsen, F., Algebraic foundations for the semantic treatment of inquisitive content, Synthese 190(1): 79–102, 2013.
Yang, F., and J. Väänänen, Propositional logics of dependence, Annals of Pure and Applied Logic 167(7): 557–589, 2016.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Heinrich Wansing; Received November 29, 2017
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Grilletti, G. Disjunction and Existence Properties in Inquisitive First-Order Logic. Stud Logica 107, 1199–1234 (2019). https://doi.org/10.1007/s11225-018-9835-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9835-3