# 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.

### Logic

**logicianlogicallogics**

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

### Proposition

**propositionspropositionalclaim**

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.

### Question

**answerwh-questionquestions**

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.