Algebraic Foundations for Inquisitive Semantics

  • Floris Roelofsen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6953)


Traditionally, meaning is identified with informative content. The central aim of inquisitive semantics [1,2,4,5, a.o.] is to develop a notion of semantic meaning that embodies both informative and inquisitive content. To achieve this, the proposition expressed by a sentence ϕ, [ϕ], is not taken to be a set of possible worlds, but rather a set of possibilities, where each possibility in turn is a set of possible worlds. In uttering a sentence ϕ, a speaker provides the information that the actual world is contained in at least one possibility in [ϕ], and at the same time she requests enough information from other participants to establish for at least one possibility α ∈ [ϕ] that the actual world is contained in α.


Actual World Classical Logic Semantic Operator Informative Content Heyting Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ciardelli, I.: Inquisitive semantics and intermediate logics, Master Thesis, ILLC University of Amsterdam (2009)Google Scholar
  2. 2.
    Ciardelli, I.: A first-order inquisitive semantics. In: Aloni, M., Bastiaanse, H., de Jager, T., Schulz, K. (eds.) Logic, Language and Meaning. LNCS, vol. 6042, pp. 234–243. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 3.
    Ciardelli, I., Groenendijk, J., Roelofsen, F.: Attention! Might in inquisitive semantics. In: Ito, S., Cormany, E. (eds.) Proceedings of Semantics and Linguistic Theory, SALT XIX (2009)Google Scholar
  4. 4.
    Ciardelli, I., Roelofsen, F.: Inquisitive logic. Journal of Philosophical Logic 40(1), 55–94 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Groenendijk, J., Roelofsen, F.: Inquisitive semantics and pragmatics. Presented at the Workshop on Language, Communication, and Rational Agency at Stanford (2009),
  6. 6.
    Groenendijk, J., Roelofsen, F.: Inquisitive algebra and the disjunctive-indefinite-interrogative affinity. ILLC University of Amsterdam (2011) (manuscript)Google Scholar
  7. 7.
    Halmos, P.: Algebraic Logic. Chelsea Publishing Company, New York (1962)zbMATHGoogle Scholar
  8. 8.
    Henkin, L., Monk, J., Tarski, A.: Cylindric Algebras–Part I. North-Holland, Amsterdam (1971)zbMATHGoogle Scholar
  9. 9.
    Roelofsen, F.: Algebraic foundations for unrestircted inquisitive semantics: the finite case. ILLC University of Amsterdam (2011) (manuscript)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Floris Roelofsen
    • 1
  1. 1.Institute for Logic, Language, and ComputationUniversity of AmsterdamNetherlands

Personalised recommendations