Skip to main content
SpringerLink
Log in

A Generalization of Inquisitive Semantics

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Notes

  1. The reason why the words “local” and “global” are used in this context will be clarified later.

  2. The modal logic of the mentioned semantics from [1] is S4, which is, as is well known, a so-called modal companion of intuitionistic logic (see, e.g., [6]).

  3. Medvedev logic is defined at the end of this section.

  4. I am grateful to Nick Bezhanishvili for informing me of these two theorems.

References

  1. Aiello, M., van Benthem, J., & Bezhanishvili, G. (2003). Reasoning about space: the modal way. Journal of Logic and Computation, 13, 889–920.

    Article  Google Scholar 

  2. Alexandroff, P. (1937). Diskrete Räume. Matematicheskii Sbornik, 2, 501–519.

    Google Scholar 

  3. Ciardelli, I. (2009). Inquisitive semantics and intermediate logics. MSc thesis, Amsterdam.

  4. Ciardelli, I., & Roelofsen, F. (2011). Inquisitive logic. Journal of Philosophical Logic, 40, 55–94.

    Article  Google Scholar 

  5. Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2013). Inquisitive semantics: a new notion of meaning. Language and Linguistics Compass, 7, 459–476.

    Article  Google Scholar 

  6. Chargov, A., & Zakharyaschev, M. (1992). Modal companions of intermediate propositional logics. Studia Logica, 51, 49–82.

    Article  Google Scholar 

  7. Chargov, A., & Zakharyaschev, M. (1997). Modal logic. Oxford: Clarendon Press.

    Google Scholar 

  8. de Lavalette, G., Hendriks, L, & de Jongh, D. (2012). Intuitionistic implication without disjunction. Journal of Logic and Computation, 22, 375–404.

    Article  Google Scholar 

  9. van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic epistemic logic. Dordrecht: Springer.

    Google Scholar 

  10. Groenendijk, J., & Roelofsen, F. (2009). Inquisitive Semantics and Pragmatics. In Larrazabal, J., & Zubeldia, L. (Eds.) Meaning, Content, and Argument: Proceedings of the ILCLI International Workshop on Semantics, Pragmatics, and Rhetoric. Available at www.illc.uva.nl/inquisitivesemantics.

  11. Maksimova, L. (1986). On maximal intermediate logics with the disjunction property. Studia Logica, 45, 69–75.

    Article  Google Scholar 

  12. Medvedev, J.T. (1962). Finite problems. Doklady Akademii Nauk SSSR, 3, 227–230.

    Google Scholar 

  13. Miglioli, P., Moscato, U., Ornaghi, M., Quazza, S., & Usberti, G. (1989). Some results on intermediate constructive logics. Notre Dame Journal of Formal Logic, 30, 543–562.

    Article  Google Scholar 

  14. Punčochář, V. (2012). Some modifications of Carnap’s modal logic. Studia Logica, 100, 517–543.

    Article  Google Scholar 

  15. Roelofsen, F. (2013). Algebraic foundations for the semantic treatment of inquisitive content. Synthese, 190, 79–12.

    Article  Google Scholar 

  16. Schurz, G. (2001). Rudolf Carnap’s modal logic. In Stelzner, W., & Stöckler, M (Eds.) Zwischen traditioneller und moderner Logik. Nichtklassische Anstze. Paderborn: Mentis.

  17. Stalnaker, R. (1999). Context and content. Oxford: Oxford University Press.

    Book  Google Scholar 

  18. Tarski, A. (1938). Der Aussagenkalkül und die Topologie. Fundamenta Mathematicae, 31, 103–134.

    Google Scholar 

  19. Väänänen, J. (2008). Modal Dependence Logic. In Apt, K.R., & van Rooij, R (Eds.) New perspectives in logic and interaction (pp. 237–254). Amsterdam: Amsterdam University Press.

  20. van Dalen, D. (2001). Intuitionistic logic. In Gobble, L. (Ed.) The Blackwell guide to philosophical logic (pp. 224–257). Oxford: Blackwell.

  21. Yang, F. (2014). On extensions and variants of dependence logic. PhD thesis, University of Helsinki.

  22. Zakharyaschev, M. (1994). A new solution to a problem of Hosoi and Ono. Notre Dame Journal of Formal Logic, 35, 450–457.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Logic, Institute of Philosophy of the Czech Academy of Sciences, Jilská 1, Praha 1, 110 00, Czech Republic

    Vít Punčochář

Authors
  1. Vít Punčochář
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vít Punčochář.

Additional information

The work on this paper was supported by grant no. 13-21076S of the Czech Science Foundation. I am also grateful to Ivano Ciardelli and the anonymous reviewers for their very helpful suggestions.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Punčochář, V. A Generalization of Inquisitive Semantics. J Philos Logic 45, 399–428 (2016). https://doi.org/10.1007/s10992-015-9379-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-015-9379-1

Keywords

Search

Navigation