Inquisitive semantics

Inquisitive semantics is a framework in logic and natural language semantics.wikipedia
7 Related Articles

Jeroen Groenendijk

It was originally developed by Ivano Ciardelli, Jeroen Groenendijk, Salvador Mascarenhas, and Floris Roelofsen.
His current work is mainly focused on studying and developing the recently founded framework of Inquisitive Semantics.


Inquisitive semantics is a framework in logic and natural language semantics.


The essential notion in inquisitive semantics is that of an inquisitive proposition.

Propositional calculus

propositional logicpropositionalsentential logic
We will make use of inquisitive propositions in order to provide an alternative interpretation of the language of propositional logic.

Heyting algebra

belowfree Heyting algebraHeyting
Since the set of inquisitive propositions ordered by the subset relation forms a Heyting algebra, we can use the inventory of basic algebraic operations as the basis of our semantics.

Possible world

possible worldspossible world semanticsactual world
An information state (alternately a classical proposition) is a set of possible worlds.


Questions can thus be understood as a kind of illocutionary act in the field of pragmatics or as special kinds of propositions in frameworks of formal semantics such as alternative semantics or inquisitive semantics.