Show Summary Details

Page of

Printed from Oxford Research Encyclopedias, Linguistics. Under the terms of the licence agreement, an individual user may print out a single article for personal use (for details see Privacy Policy and Legal Notice).

date: 02 December 2020

Semantic Theories of Questionsfree

  • Floris RoelofsenFloris RoelofsenInstitute for Logic, Language and Computation, University of Amsterdam


This survey article discusses two basic issues that semantic theories of questions face. The first is how to conceptualize and formally represent the semantic content of questions. This issue arises in particular because the standard truth-conditional notion of meaning, which has been fruitful in the analysis of declarative statements, is not applicable to questions. This is because questions are not naturally construed as being true or false. Instead, it has been proposed that the semantic content of a question must be characterized in terms of its answerhood or resolution conditions. This article surveys a number of theories which develop this basic idea in different ways, focusing on so-called proposition-set theories (alternative semantics, partition semantics, and inquisitive semantics).

The second issue that will be considered here concerns questions that are embedded within larger sentences. Within this domain, one important puzzle is why certain predicates can take both declarative and interrogative complements (e.g., Bill knows that Mary called / Bill knows who called), while others take only declarative complements (e.g., Bill thinks that Mary called / *Bill thinks who called) or only interrogative complements (e.g., Bill wonders who called / *Bill wonders that Mary called). We compare two general approaches that have been pursued in the literature. One assumes that declarative and interrogative complements differ in semantic type. On this approach, the fact that predicates like think do not take interrogative complements can be accounted for by assuming that such complements do not have the semantic type that think selects for. The other approach treats the two kinds of complement as having the same semantic type, and seeks to connect the selectional restrictions of predicates like think to other semantic properties (e.g., the fact that think is neg-raising).

1. Introduction

Formal semantic theories traditionally construe the meaning of a sentence in terms of its truth-conditions: to know the meaning of a sentence is to know the conditions under which the sentence is true, and those under which it is false. This notion of meaning has been very fruitful in the analysis of declarative statements, but it does not straightforwardly apply to questions, which are not naturally thought of as being true or false in a given situation. Thus, the most basic issue that semantic theories of questions need to address is the following:

Issue 1: How should the semantic content of a question be conceptualized, and how should it be represented formally?

Questions are not only of interest in their own right. They can also be part of declarative statements and as such contribute to the truth-conditional content of such statements. For instance, a question can serve as the argument of clause-embedding predicates like wonder and know, as illustrated in (1) and (2):1



This shows that statements and questions cannot be fully understood in isolation from each other; rather, they need to be analyzed in an integrated way. Specifically, the following issue needs to be addressed:

Issue 2: How do questions, when embedded in a declarative statement, contribute to the truth-conditional content of that statement?

This article discusses and compares various ways in which the literature has addressed these two issues. Section 2 is devoted to the first issue and Section 3 to the second.

Other important topics in the semantic literature on questions include the role of questions in discourse and the way in which the semantic content of a question should be derived compositionally. However, a proper discussion of these topics would require more space than available here. For recent surveys paying specific attention to the role of questions in discourse, the interested reader is referred to Ginzburg (2010) and Dekker, Aloni, and Groenendijk (2016); for discussion of how question meanings are compositionally derived, see Krifka (2011), Dayal (2016), and Ciardelli, Groenendijk, and Roelofsen (2018).2

2. The Semantic Content of Questions

This section discusses how the semantic content of questions is conceptualized and formally represented in a number of theoretical frameworks, focusing on so-called proposition-set frameworks. What these have in common is that they formally represent the semantic content of a question as a set of propositions—where each proposition is, as usual, a set of possible worlds.

However, the various frameworks differ in how exactly they conceptualize the propositions that make up the semantic content of a question: in alternative semantics (Hamblin, 1973; Karttunen, 1977) they are thought of as representing the possible answers to the question, in partition semantics (Groenendijk & Stokhof, 1984) they are thought of as representing exhaustive answers, and in inquisitive semantics (Ciardelli et al., 2018) they are thought of as pieces of information that resolve the issue that the question expresses. These subtle conceptual differences have important repercussions.

One consequence, as will be discussed in more detail below, is that the three frameworks differ in which kinds of proposition-sets they regard as proper question meanings. In Figure 1, the three frameworks are ordered from left to right in terms of restrictiveness—i.e., the extent to which they constrain the kinds of proposition-sets that qualify as question meanings. The development through time is indicated by the curved arrows. Alternative semantics, developed in the 1970s, is the least restrictive among the three, i.e., the one that imposes the fewest constraints on which sets of propositions qualify as question meanings. This, as we will see in section 2.1, leads to problems of overgeneration. Partition semantics on the other hand, developed in the 1980s and 1990s, is the most restrictive framework—leading to problems of undergeneration. Finally, inquisitive semantics, developed in the 2000s and 2010s, tries to strike a balance between its two predecessors, in order to avoid the problems of over- and undergeneration.3

Section 2.1 discusses alternative semantics, section 2.2 discusses partition semantics, and section 2.3 discusses inquisitive semantics. Finally, section 2.4 will discuss some limitations shared by all proposition-set frameworks in their basic form, and some ways in which these limitations have been addressed in more fine-grained semantic frameworks (Aloni, 2005; Aloni & van Rooij, 2002; Ginzburg, 1995a, 1995b; Ginzburg & Sag, 2000; Krifka, 2001, 2013; Roelofsen & Farkas, 2015, among others).

Figure 1. Proposition-set theories, ordered chronologically and in terms of restrictiveness.

2.1 Alternative Semantics

Alternative semantics is based on the idea that “questions set up a choice-situation between a set of propositions, namely those propositions that count as answers to it” (Hamblin, 1973, p. 48).

One way to implement this idea is to take a question to denote, in a world w, the set of propositions that correspond to a possible answer to the question (Hamblin, 1973). Another way to implement the same idea is to let a question denote, in a world w, the set of propositions that correspond to its true answers in w (Karttunen, 1977). In both systems, the intension of a question is a function from worlds to sets of propositions. In Hamblin’s system, this function maps every possible world to the same set of propositions, corresponding to the set of all possible answers; in Karttunen’s system, every world is mapped to a subset of all possible answers, namely, those that are true in the given world. As noted by Karttunen (1977, p. 10), the difference is inessential. In both cases, the meaning of a question is fully determined by—and can be identified with—the set of all propositions corresponding to a possible answer.

This classical view on question meanings faces three fundamental problems.

Problem 1: what are possible answers? The first problem, discussed in detail in Ciardelli et al. (2018) and Ciardelli (2017), is that the framework’s core notion—that of a possible answer—is difficult to pin down. Of course, Hamblin and Karttunen do provide a compositional semantics for a fragment of English, and thereby specify what they take to be the possible answers to the questions in that fragment. But in order to assess such a compositional theory, or even to properly understand what its predictions amount to, we first need to have a pre-theoretical notion of possible answers, one that the theoretical predictions can be evaluated against. The problem is that such a pre-theoretical notion is difficult, if not impossible to identify. To illustrate this, consider the question in (3) and the responses in (4):



In principle, the propositions expressed by the declaratives in (4) could all be seen as possible answers to (3). For Hamblin and Karttunen, only (4a) counts as such. However, it is not clear what the precise criteria are for being considered a possible answer, and on what grounds (4a) is to be distinguished from (4b–d).

Problem 2: entailment A second problem, pointed out in Groenendijk and Stokhof (1984), is that it is not clear how a suitable notion of entailment could be defined in this framework which would capture, for instance, that a question like (3) above subsumes the one in (5) below.


The absence of a suitable notion of entailment also makes it difficult to give a principled account of the interaction between questions and logical connectives and quantifiers. In particular, the standard treatment of conjunction and disjunction as meet and join operators (see, e.g., Champollion, 2016; Keenan & Faltz, 1985; Partee & Rooth, 1983; Winter, 2001) cannot be maintained, since these operators are defined in terms of entailment.4

Problem 3: overgeneration A third problem, noted in Ciardelli and Roelofsen (2017), is that there are question meanings in alternative semantics which seem impossible to express in natural languages. These are question meanings containing two propositions p and q, such that one is strictly contained in the other, pq.

One may think that such meanings may be expressible by disjunctive questions, where each disjunct contributes one of the two propositions. However, in order to get that pq, we would have to construct the question in such a way that one disjunct entails the other. As illustrated in (6) and (7), such questions are infelicitous.



It has been well-known since Hurford (1974) that disjunctive declaratives where one disjunct entails the other are generally infelicitous as well.



The degradedness of such declarative sentences has been given an appealing account in terms of redundancy (Katzir & Singh, 2013; Meyer, 2014; Simons, 2001). Essentially, in a truth-conditional semantics, the stronger disjunct is redundant in the sense that it does not contribute anything to the truth conditions of the sentence.

However, in alternative semantics, the disjunctive questions in (6) and (7) do not contain any redundant disjunct: each disjunct contributes one element to the proposition-set associated with the question. Thus, in alternative semantics, the redundancy-based explanation does not carry over from declaratives to questions.

2.2 Partition Semantics

In partition semantics (Groenendijk & Stokhof, 1984) a question denotes, in each world in which its presuppositions are satisfied, a single proposition embodying the true exhaustive answer to the question in that world. For instance, if w is a world in which Paul and Nina are coming for dinner, and nobody else is coming, then the denotation of (10) in w is the proposition expressed by (11).



The intension of a question, then, is a function from worlds to propositions. These propositions are taken to have two special properties: they are mutually exclusive (since two different exhaustive answers are always incompatible), and together they form a cover of the set of all possible worlds in which the presuppositions of the question are satisfied (since in every such world the question is assumed to have a true exhaustive answer). So the meaning of a question can be identified with a set of propositions which form a partition of the set of possible worlds that satisfy the question’s presuppositions.

Problem: undergeneration For some questions, it is intuitively clear what their true exhaustive answer is in any given world, and it is also clear that fully resolving the question requires establishing such an answer. A case in point is the constituent question in (10). However, as first extensively argued in Belnap (1982), there are many kinds of questions for which it is either unclear what their true exhaustive answer is in a given world, or which can be fully resolved without establishing an exhaustive answer. For example, this holds for the mention-some question in (12), the approximate value question in (13), and the disjunctive question in (14).




For instance, an exhaustive answer to (12) would specify all places in Pittsburgh where one can get gas on a Sunday, and would moreover establish that there are no other such places. However, (12) has a prominent reading under which it does not require such an exhaustive response; rather, it suffices to specify just one place in Pittsburgh where one can get gas on a Sunday. This cannot be captured in partition semantics without substantially complicating the theory (see Groenendijk & Stokhof, 1984). And similarly for (13) and (14).

2.3 Inquisitive Semantics

In inquisitive semantics (Ciardelli et al., 2018) the semantic content of a question is intended to capture its resolution conditions. Formally, the semantic content of a question is still represented as a set of propositions, but these propositions do not necessarily correspond to possible or exhaustive answers. Rather, they embody pieces of information that resolve the issue expressed by the question. As a consequence, the set of propositions associated with a question Q is always downward closed. That is, if it contains a proposition p, it must also contain any stronger proposition pp. After all, if p resolves Q, any pp will do so as well.

For instance, the question in (10) is associated with the set of propositions which establish exactly who is coming for dinner. On the other hand, the mention-some question in (12) is associated with the set of propositions which establish for some place in Pittsburgh that one can get gas there on a Sunday. The approximate value question in (13) is associated with the set of propositions which establish for some n that the number of stars in the Milky Way is between n10 and n+10. And the disjunctive question in (14) is associated with the set of propositions which either establish of some place that we can rent a car there or establish of some person that they have a car we could borrow. Thus, inquisitive semantics is less restrictive than partition semantics; it can be applied to a wider range of question types.

The shortcomings of alternative semantics are also addressed. First, pre-theoretical intuitions about whether a certain piece of information resolves a given question seem much more clear-cut than intuitions about what constitutes a “possible answer.” For instance, the question in (3) is clearly resolved by the propositions expressed by (4a) and (4b), but not by those expressed by (4c) and (4d).

Second, entailment between questions can simply be defined as set inclusion, just as entailment between statements in truth-conditional semantics. This captures, for instance, the fact that the question in (3) subsumes the one in (5), since every proposition that resolves the former also resolves the latter. Moreover, given this notion of entailment, conjunction and disjunction can simply be treated as meet and join operators, and similarly for other logical connectives and quantifiers (Ciardelli et al., 2017; Roelofsen, 2013).

Third, the overgeneration problem that alternative semantics faces no longer arises. Since question meanings are assumed to be downward closed, inquisitive semantics predicts that questions like (6) and (7) involve a redundant disjunct, which means that the redundancy-based account of declarative Hurford disjunctions can straightforwardly be lifted to questions (Ciardelli & Roelofsen, 2017). This result is a direct consequence of the fact that inquisitive semantics is more restrictive than alternative semantics, which in turn is due to the fact that the set of propositions associated with a question, viewed as issue-resolving pieces of information, is always downward closed.

2.4 Limitations and Extensions of Proposition-Set Theories

Proposition-set theories are designed to capture a certain fundamental semantic property of questions, namely, their resolution/answerhood conditions. Other semantic properties of questions are beyond the immediate scope of these theories. In order to capture such properties, several approaches have been pursued, often within semantic frameworks that are more fine-grained than the standard possible worlds framework. For instance, the approach of von Stechow (1991) and Krifka (2001) is couched in a structured meanings framework, that of Ginzburg and Sag (2000) in situation semantics, that of Ginzburg (2005) and Cooper and Ginzburg (2012) in type theory with records, those of Aloni, Beaver, Clark, and van Rooij (2007) and Haida (2007) in dynamic semantics, and that of Blutner (2012) in ortho-algebraic semantics.

In Section 2.4.1 we will briefly discuss two of the phenomena that have given rise to these more fine-grained theories. In Section 2.4.2 we will turn to a number of contextual parameters that play a role in the semantics of questions, again requiring further refinements of the basic proposition-set theories surveyed above.

2.4.1 Beyond Resolution Conditions: Anaphora and Bias

Compare the polar question in (15), the alternative question in (16), and the tag question in (17).




These questions have exactly the same resolution conditions. Namely, a proposition resolves the issue expressed by any of them if and only if it either implies that the door is open, or that the door is closed. Thus, in inquisitive semantics, (15)(17) are all associated with the same set of propositions, namely, those propositions that either consist only of worlds where the door is open or only of worlds where the door is closed. Similarly, since the true exhaustive answer to all three questions is either the proposition that the door is open (in worlds in which it’s open) or the proposition that the door is closed (in worlds in which it’s closed), (15)(17) are also semantically equivalent in partition semantics. Finally, the standard assumption in alternative semantics is that (15)(17) all have the same possible answers, which again renders them semantically equivalent.5

It is evident that certain important properties of (15)(17) are left unaccounted for in this way. After all, while these questions indeed have the same resolution conditions, they differ in their overall conversational effects. For instance, (15) allows for yes/no answers and other anaphoric continuations, while (16) does not, as seen in (18) and (19), respectively.



Moreover, (17) conveys a bias on the part of the speaker that the door is open, while (15) and (16) do not. That is, a speaker who is known to have no evidence whatsoever as to whether the door is open or closed can felicitously ask the polar question in (15) or the alternative question in (16), but not the tag question in (17).

Basic proposition-set theories are not equipped to capture such differences. Dealing with yes/no answers and other anaphoric continuations requires a framework in which the semantics of a question captures not only its resolution/answerhood conditions but also the antecedents that the question makes available for subsequent anaphoric expressions. Concrete analyses of yes/no answers have been developed in dynamic versions of alternative semantics (Krifka, 2013) and partition semantics (Aloni et al., 2007), a version of inquisitive semantics enriched with “highlighted” propositions (Roelofsen & Farkas, 2015), as well as in situation semantics (Ginzburg & Sag, 2000), in ortho-algebraic semantics (Blutner, 2012), and in a structured meaning framework (Krifka, 2001). For a recent survey of some of these approaches to yes/no answers, see Roelofsen and Farkas (2015).

As for the bias conveyed by tag questions like (17), this may be captured by integrating proposition-set theories of questions with commitment-based models of discourse (e.g., Farkas & Bruce, 2010; Gunlogson, 2001), allowing for various kinds and levels of speaker commitment. For such approaches, see Krifka (2015), Malamud and Stephenson (2015), and Farkas and Roelofsen (2017).

2.4.2 Contextual Parameters

Just like the truth conditions of a declarative sentence, the resolution conditions of a question are rarely completely determined by grammar alone; rather, they may depend on the conversational context in various ways.6 Some of the relevant contextual factors can be illustrated by considering the following examples.


A first important contextual parameter is the intended domain of quantification. For instance, the issue expressed by (20a) depends on the set of students which are relevant in the context of utterance. Clearly, dependency on a contextually determined domain is not specific to questions, but rather a general aspect of quantification (see, e.g., von Fintel, 1994).

A second important contextual parameter manifests itself in (20b). The issue expressed by this question depends not only on the intended domain of quantification but also on the intended method of identification (Aloni, 2005). Suppose that the question is asked in a situation in which there are two cards on the table, face down. If (20b) is asked by someone who wants to pick the winning card, it is resolved by any piece of information that conveys whether the winning card is the one on the left or the one on the right. On the other hand, if (20b) is asked by someone who doesn’t know the rules of the game and wants a description of the winning card in terms of suit and number, then it is resolved by a piece of information that conveys, for example, that the winning card is the ace of hearts.

The issue expressed by (20c) depends, again besides the intended domain of quantification, also on the kind of goal that the questioner is trying to achieve in asking the question (van Rooij, 2003). For instance, she may be trying to identify someone who could give her a ride to the party, or she may want to draw up a list of all the people driving to the party. In the first case, the question gets a mention-some interpretation: to resolve it, it suffices to specify one person who is driving to the party. In the second case, the question gets a mention-all interpretation: in this case, to resolve the question it is necessary to specify the complete set of people who are driving to the party.

Finally, the issue raised by (20d) depends on the intended level of granularity (Ginzburg, 1995a, 1995b). In some contexts, the information that Mary is, say, at home is sufficient to resolve the question. In other contexts, Mary’s location needs to be determined more precisely, for instance, by determining which room she is in.

It seems that the techniques that have been developed to deal with these contextual factors (see Aloni, 2005; Ginzburg, 1995a, 1995b; van Rooij, 2003; among others) can in principle be combined with proposition-set theories of any flavor. That is, issues of context-sensitivity seem orthogonal to the choice between alternative semantics, partition semantics, and inquisitive semantics.

3. Question Embedding

We now turn to embedded questions, i.e., interrogative complement clauses, and the predicates that take such clauses as their argument. A first important observation to make is that there are predicates that take both interrogative and declarative complements, exemplified in (21), but also ones that take only interrogative or only declarative complements, as seen in (22) and (23), respectively.




Predicates that license both kinds of complements are referred to as responsive predicates, ones that only license interrogative complements as rogative predicates, and ones that only license declarative complements as anti-rogative predicates.

As depicted in Figure 2, theories of question embedding can be divided into two kinds: on the one hand (the left branch of the tree), there are several approaches that assume a type distinction between interrogative and declarative complements. On the other hand (the right branch), there are approaches that do not assume such a type distinction, pursuing a uniform treatment of the two kinds of complement. We will discuss the type-distinction approaches in section 3.1, and the uniform approaches in section 3.2. Finally, in section 3.3 we will compare the most promising type-distinction approach and the most promising uniform approach with each other.

Figure 2. Different approaches to the semantics of interrogative and declarative complements.

3.1 Type-Distinction Approaches

The type-distinction approaches that we will discuss here all assume that an interrogative complement denotes a set of propositions, while a declarative complement denotes a single proposition.7 Prima facie, it is unexpected under this view that there are predicates like know and forget which take both declarative and interrogative complements as their argument. Various ways to resolve this tension have been proposed.

Most authors assume that responsive predicates want a single proposition as their input—not a set of propositions. This means that if the complement of a responsive predicate is interrogative, a type mismatch arises. Heim (1994), Dayal (1996), and Beck and Rullmann (1999), among others, propose that this type mismatch is resolved by a type-shifting answer operator, which transforms the set of propositions generated by the interrogative clause into a single proposition and then feeds this proposition to the predicate. Lahiri (2002) proposes that the type mismatch is resolved by raising the interrogative clause to a higher position in the syntactic structure, leaving a proposition-type variable in the predicate’s argument slot.

A different strategy, briefly suggested by Karttunen (1977) and elaborated in detail by Spector and Egré (2015), is to assume two lexical entries for every responsive predicate, one for each kind of complement. For instance, for know we would have two lexical entries, knowd and knowi, taking declarative and interrogative complements, respectively. Spector and Egré then formulate a general meaning postulate which, given the declarative entry Pd of a predicate p, determines the corresponding interrogative entry Pi.

These different strategies all have one thing in common. Namely, they take the declarative-embedding interpretation of responsive predicates to be basic, and reduce the interrogative-embedding interpretation of any given predicate in one way or another to its declarative-embedding interpretation. For this reason, all these strategies are referred to as reductive approaches.

George (2011, 2013a) identifies a general problem for reductive approaches. Namely, whether an individual stands in the knowledge relation to a certain interrogative sometimes depends not only on the individual’s true propositional knowledge but also on whether she believes any false answers to that interrogative. This “false answer sensitivity” implies that interrogative knowledge attributions cannot generally be reduced to true propositional/declarative knowledge attributions.

In reaction to this, George (2011) considers two alternative approaches. The first, which she calls the inverse reductive approach, reduces the declarative-embedding interpretation of responsive predicates to their interrogative-embedding interpretation, rather than the other way around. The second alternative, which George calls the twin relations approach, derives both the declarative-embedding interpretation and the interrogative-embedding interpretation of responsive predicates from a common lexical core. George (2011) spells out a concrete twin relations theory, and also briefly sketches a concrete inverse reductive theory. The latter has been developed in much greater detail by Uegaki (2015b).

Elliott, Klinedinst, Sudo, and Uegaki (2017) discuss a phenomenon that allows us to tease apart the twin relations theory from the inverse reductive approach (as well as standard reductive approaches). The crucial observation is that so-called predicates of relevance, such as care and matter, carry a certain presupposition when taking a declarative complement, which is absent when the complement is interrogative. For instance, (24a) presupposes that John knows that Mary left, while (24b) does not presuppose that John knows or believes of any particular girl that she left.


Elliott et al. show that this is problematic for standard reductive approaches.8 Uegaki (2018) shows that it is also problematic for George’s twin relations theory. On the other hand, it can easily be accounted for on the inverse reductive approach.9

3.2 Uniform Approaches

Uniform approaches treat declarative and interrogative complements as being of the same semantic type. The first such approach was taken in partition semantics (Groenendijk & Stokhof, 1984).10 On this account, both declarative and interrogative complements are taken to denote propositions. A declarative complement denotes the same proposition in every world, namely, the one expressed by the corresponding declarative root clause. On the other hand, the proposition denoted by an interrogative complement in a world w encodes the true exhaustive answer in w to the issue expressed by the interrogative clause. As discussed in section 2.2, these exhaustive answers together form a partition of the set of all possible worlds.

On this theory, the existence of responsive predicates like know, which license both types of complements, does not come as a surprise and needs no particular explanation. Predicates of relevance like care and matter can also be handled straightforwardly, unlike in reductive theories and the twin relations theory. However, certain issues remain.

First, partition theory is, so to speak, still too close to the reductive approach to be able to deal with George’s (2011) observations concerning false answer sensitivity. That is, it still wrongly predicts that if two individuals have the same propositional knowledge, they must stand in the knowledge relation to exactly the same interrogative complements as well.11

A second limitation of partition theory, already discussed in section 2, is its lack of flexibility. That is, while it straightforwardly derives so-called strongly exhaustive (SE) readings for interrogative complements, it needs to invoke substantial additional machinery to derive non-exhaustive/mention-some (MS) readings. Moreover, in the case of embedded questions (unlike in the case of root questions) it has been argued that there is also a reading that is weaker than the SE reading but stronger than the MS reading (e.g., Klinedinst & Rothschild, 2011; Spector, 2005). Recent experimental results seem to show that such intermediate exhaustive (IE) readings indeed exist (Cremers & Chemla, 2016).12 This cannot be accounted for in partition semantics.

The more recent uniform approach of Theiler, Roelofsen, and Aloni (2018) is cast in inquisitive semantics and aims to overcome the main limitations of its partition-based predecessor. Most fundamentally, it does not treat declarative and interrogative complements as denoting propositions but as denoting sets of propositions. In the case of interrogative complements, these propositions do not encode what the true exhaustive answer to the interrogative is in a given world w but rather what its truthful resolutions are in w. Such truthful resolutions need not be exhaustive, and need not even be true in w; they just need to be “truthful,” which means that they should not imply any false information that is directly relevant w.r.t. the issue expressed by the interrogative. For instance, if Mary is currently watching the sunset, then the proposition that she is watching the sunset drinking a martini is a truthful resolution of the question whether Mary is watching the sunset even if she is in fact not drinking a martini. This switch from true exhaustive answers to truthful resolutions makes it possible to provide a general account of the false answer sensitivity observed by George (2011), and to derive not only strongly exhaustive readings but also mention-some and intermediate exhaustive readings in a straightforward way. Moreover, as in the earlier partition-based theory, predicates of relevance are unproblematic.

Table 1. Pros and Cons of the Various Approaches to Embedded Questions

False answer sensitivity

Predicates of relevance






Reductive theories




Twin relations theory




Inverse reductive theory







Partition semantics




Inquisitive semantics






Table 1 summarizes the considerations put forth so far.13 As far as these considerations go, the inverse reductive account of Uegaki (2015b) is the most attractive option among type-distinction approaches, and the inquisitive semantics account of Theiler et al. (2018) is the most successful among uniform approaches. The next subsection briefly compares these two accounts.

3.3 Inverse Reductive versus Inquisitive

The inverse reductive approach and the inquisitive one are very close in spirit and in empirical reach. Both assume, unlike the other approaches reviewed above, that responsive predicates always apply to a set of propositions rather than a single proposition. The difference is that in the inquisitive approach, declarative and interrogative complements are uniformly treated as denoting sets of propositions, while in the inverse reductive approach, a declarative complement is in principle taken to denote a single proposition, but when combined with a responsive predicate, this proposition p must be type-shifted into the singleton set {p}.

As far as responsive predicates go, then, the two approaches are difficult if not impossible to tease apart.14 The approaches do differ, however, in their take on anti-rogative predicates like believe and hope. In the inverse-reductive approach, these predicates are lexically specified to select for complements that denote a single proposition rather than a set of propositions, which accounts for the fact that they license declarative complements but not interrogative ones. In the inquisitive approach, this option is not available: since declarative and interrogative complements are taken to have the same semantic type, the selectional restrictions of rogative and anti-rogative predicates cannot be accounted for in terms of a type mismatch.15

At first sight, this may seem a point in favor of the inverse reductive approach. But the issue is more subtle. After all, for the account sketched above to have any explanatory value it has to be supplemented with independent reasons to assume that predicates like believe, hope, and assert select for complements denoting a single proposition while closely related predicates like know, predict, and announce select for complements denoting sets of propositions. Moreover, in the inquisitive approach, even if the selectional restrictions of rogative and anti-rogative predicates cannot be accounted for in terms of mismatching semantic types, they could possibly be explained in other ways, based on independently observable properties of the relevant predicates.

Recent work has explored both routes. On the one hand, Uegaki (2015a) has attempted to provide independent motivation for the assumption that predicates like believe select for complements denoting a single proposition while predicates like know select for complements denoting sets of propositions. However, Theiler et al. (2018) point out several problems for this proposal. On the other hand, Theiler et al. (2017, 2019), Mayr (2017), and Uegaki and Sudo (2017) have shown that it is possible to account for the selectional restrictions of believe, hope, and many other anti-rogative (as well as rogative) predicates in terms of independently observable properties of these predicates. They suggest that the relevant property of believe is that it is neg-raising (Mayr, 2017; Theiler et al., 2017, 2019; Zuber, 1982), while the relevant property of hope is that it is a non-veridical preferential predicate (Uegaki & Sudo, 2017).16

The debate is not settled at this point. Some anti-rogative predicates are neither neg-raising nor non-veridical preferential (e.g., speech act predicates like assert and deny) and therefore remain to be accounted for under the inquisitive approach (though see Grimshaw, 2018, for a proposal that seems compatible with the approach). On the other hand, it may be possible after all to justify for at least some anti-rogative predicates that they select for complements that denote a single proposition. Addressing these open issues seems to offer a promising route toward establishing which of the approaches to question embedding is ultimately most appealing.

Further Reading

There are a number of excellent recent survey articles and monographs on the semantics of questions, each focusing on slightly different aspects. Some of them are listed below, in chronological order.

Groenendijk and Stokhof (1997) provide a thorough review of the literature up to 1997, focusing on partition semantics but also supplying an in-depth discussion of the epistemic-imperative approach (Åqvist, 1965; Hintikka, 1976, 1983) and the treatment of questions in speech act theory (Searle, 1969; Vanderveken, 1990).

Ginzburg (2010) supplements Groenendijk and Stokhof’s survey listed above in the second edition of the Handbook of Logic and Language. It provides a concise overview of several analyses of questions not explicitly discussed here, including the inferential erotetic logic of Wiśniewski (2001, 2013), the treatment of questions in modal logic by Nelken and Francez (2002) and Nelken and Shan (2006), the dialogue-based approach of Ginzburg (1996, 2012) and Roberts (1996), the SDRT-based approach of Asher and Lascarides (1998), and the treatment of questions in dynamic epistemic logic developed by van Benthem and Minică (2009, 2012). For a further development of the latter, incorporating insights from inquisitive semantics, see Ciardelli and Roelofsen (2015) and Ciardelli (2016b).

Krifka (2011) provides an overview of alternative semantics, partition semantics, an early version of inquisitive semantics, and the structured meanings approach. Krifka discusses not only the semantics of questions but also their syntactic and prosodic properties, supplying examples from a wide range of languages.

Wiśniewski (2015) provides an extensive overview of logical theories of questions, with particular emphasis on inferential erotetic logic.

Ciardelli (2016b) offers an in-depth investigation of the logical foundations of inquisitive semantics and also provides detailed comparisons with other logical approaches to questions.

Dekker et al. (2016), besides offering an overview of proposition-set theories and the structured meanings approach, also reviews some specific issues in current research concerning identity questions, domain presuppositions of which-questions, pair-list questions, quantificational variability, and the selectional restrictions of clause-embedding predicates. Moreover, they discuss connections between partition semantics and decision theory (van Rooij, 2003) and dynamic implementations of partition semantics (e.g., Groenendijk, 1999; Hulstijn, 1997; Jäger, 1996).

Dayal (2016) provides a book-length survey of work on questions in the alternative semantics tradition. It pays much attention to the syntax-semantics interface, viewed from a cross-linguistic perspective.

Cross and Roelofsen (2018) provide a concise overview of proposition-set theories, the structured meanings approach, as well as the analysis of questions as part of the process of scientific inquiry in Philosophy of Science.

Ciardelli et al. (2018) provides a book-length introduction to inquisitive semantics, as well as a detailed comparison with alternative semantics and partition semantics.


  • Aloni, M. (2005). A formal treatment of the pragmatics of questions and attitudes. Linguistics and Philosophy, 28(5), 505–539.
  • Aloni, M., Beaver, D., Clark, B., & van Rooij, R. (2007). The dynamics of topics and focus. In M. Aloni, A. Butler, & P. Dekker (Eds.), Questions in dynamic semantics (pp. 123–145). Amsterdam, The Netherlands: Elsevier.
  • Aloni, M., & van Rooij, R. (2002). The dynamics of questions and focus. In B. Jackson (Ed.), Proceedings of the 12th Semantics and Linguistic Theory Conference. Cornell University, CLC Publications, Ithaca, NY.
  • Åqvist, L. (1965). A new approach to the logical theory of interrogatives. Uppsala, Sweden: University of Uppsala Press.
  • Asher, N., & Lascarides, A. (1998). Questions in dialogue. Linguistics and Philosophy, 21(3), 237–309.
  • van Benthem, J., & Minică, S. (2009). Toward a dynamic logic of questions. In X. He, J. Horty, & E. Pacuit (Eds.), Logic, rationality, and interaction (pp. 27–41). New York, NY: Springer.
  • van Benthem, J., & Minică, S. (2012). Toward a dynamic logic of questions. Journal of Philosophical Logic, 41(4), 633–669.
  • Beck, S., & Rullmann, H. (1999). A flexible approach to exhaustivity in questions. Natural Language Semantics, 7(3), 249–298.
  • Belnap, N. (1982). Questions and answers in Montague grammar. In S. Peters & E. Saarinen (Eds.), Processes, beliefs, and questions (pp. 165–198). Dordrecht, The Netherlands: Reidel.
  • Biezma, M., & Rawlins, K. (2012). Responding to alternative and polar questions. Linguistics and Philosophy, 35(5), 361–406.
  • Bledin, J. (2018). Fatalism and the logic of unconditionals. Noûs.
  • Blutner, R. (2012). Questions and answers in an orthoalgebraic approach. Journal of Logic, Language and Information, 21(3), 237-277.
  • Champollion, L. (2016). Ten men and women got married today: Noun coordination and the intersective theory of conjunction. Journal of Semantics, 33(3), 561–622.
  • Ciardelli, I. (2016a). Lifting conditionals to inquisitive semantics. In M. Moroney, C.-R. Little, J. Collard, & D. Burgdorf (Eds.), Proceedings of the 26th Semantics and Linguistic Theory Conference (pp. 732–752). University of Texas at Austin.
  • Ciardelli, I. (2016b). Questions in logic (Unpublished doctoral dissertation). Institute for Logic, Language and Computation, University of Amsterdam.
  • Ciardelli, I. (2017). Questions meaning = resolution conditions. Logic and Logical Philosophy, 26, 383–416.
  • Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2018). Inquisitive semantics. Oxford, U.K.: Oxford University Press.
  • Ciardelli, I., & Roelofsen, F. (2015). Inquisitive dynamic epistemic logic. Synthese, 192(6), 1643–1687.
  • Ciardelli, I., & Roelofsen, F. (2017). Hurford’s constraint, the semantics of disjunctions, and the nature of alternatives. Natural Language Semantics, 25(3), 199-222.
  • Ciardelli, I., Roelofsen, F., & Theiler, N. (2017). Composing alternatives. Linguistics and Philosophy, 40(1), 1–36.
  • Cooper, R., & Ginzburg, J. (2012). Negative inquisitiveness and alternatives-based negation. In M. Aloni, V. Kimmelman, F. Roelofsen, G. Weidmann-Sassoon, K. Schulz, & M. Westera (Eds.), Logic, language, and meaning. Selected papers from the 18th Amsterdam Colloquium (pp. 32–41). Berlin: Springer.
  • Cremers, A., & Chemla, E. (2016). A psycholinguistic study of the exhaustive readings of embedded questions. Journal of Semantics, 33(1), 49-85.
  • Cross, C., & Roelofsen, F. (2018). Questions. In E. E. Zalta (Ed.), Stanford encyclopedia of philosophy. Stanford, CA: Stanford University Center for the Study of Language and Information.
  • Dayal, V. (1996). Locality in wh-quantification: Questions and relative clauses in Hindi. Amsterdam, The Netherlands: Kluwer Academic.
  • Dayal, V. (2016). Questions. Oxford, U.K.: Oxford University Press.
  • Dekker, P., Aloni, M., & Groenendijk, J. (2016). Questions. In P. Dekker & M. Aloni (Eds.), The Cambridge handbook of formal semantics (pp. 560–593). Cambridge, U.K.: Cambridge University Press.
  • Elliott, P. D., Klinedinst, N., Sudo, Y., & Uegaki, W. (2017). Predicates of relevance and theories of question embedding. Journal of Semantics, 34(3), 547–554.
  • Farkas, D. F., & Bruce, K. B. (2010). On reacting to assertions and polar questions. Journal of Semantics, 27, 81–118.
  • Farkas, D. F., & Roelofsen, F. (2017). Division of labor in the interpretation of declaratives and interrogatives. Journal of Semantics, 34(2), 237–289.
  • von Fintel, K. (1994). Restrictions on quantifier domains (Unpublished doctoral dissertation). University of Massachusetts, Amherst.
  • George, B. (2011). Question embedding and the semantics of answers (Unpublished doctoral dissertation). University of California, Los Angeles.
  • George, B. (2013a). Knowing-wh, mention-some readings, and non-reducibility. Thought: A Journal of Philosophy, 2(2), 166–177.
  • George, B. (2013b). Which judgments show weak exhaustivity? (And which don’t?). Natural language Semantics, 21(4), 401–427.
  • Ginzburg, J. (1995a). Resolving questions, I. Linguistics and Philosophy, 18(5), 459–527.
  • Ginzburg, J. (1995b). Resolving questions, II. Linguistics and Philosophy, 18(6), 567–609.
  • Ginzburg, J. (1996). Dynamics and the semantics of dialogue. In J. Seligman (Ed.), Language, logic, and computation (Vol. 1). Stanford, CA: CSLI Publications.
  • Ginzburg, J. (2005). Abstraction and ontology: Questions as propositional abstracts in type theory with records. Journal of Logic and Computation, 15(2), 113–130.
  • Ginzburg, J. (2010). Questions: logic and interaction. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (2nd ed.) (pp. 1133–1144). Amsterdam, The Netherlands: Elsevier.
  • Ginzburg, J. (2012). The interactive stance: Meaning for conversation. Oxford, U.K.: Oxford University Press.
  • Ginzburg, J., & Sag, I. A. (2000). Interrogative investigations. Stanford, CA: CSLI Publications.
  • Grimshaw, J. (2018). DPs as complements to clause-taking predicates. Presented at the Rutgers Clausal Complementation Workshop. Department of Linguistics and Philosophy, Rutgers University.
  • Groenendijk, J. (1999). The logic of interrogation. In T. Matthews & D. Strolovitch (Eds.), Semantics and linguistic theory (pp. 109–126). Ithaca, NY: Cornell University Press.
  • Groenendijk, J. (2009). Inquisitive semantics: Two possibilities for disjunction. In P. Bosch, D. Gabelaia, & J. Lang (Eds.), Seventh international tbilisi symposium on language, logic, and computation (pp. 80–94). New York, NY: Springer-Verlag.
  • Groenendijk, J., & Stokhof, M. (1984). Studies on the semantics of questions and the pragmatics of answers (Unpublished doctoral dissertation). University of Amsterdam.
  • Groenendijk, J., & Stokhof, M. (1997). Questions. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (pp. 1055–1124). Amsterdam, The Netherlands: Elsevier.
  • Gunlogson, C. (2001). True to form: Rising and falling declaratives as questions in English (Unpublished doctoral dissertation). University of California at Santa Cruz.
  • Haida, A. (2007). The indefiniteness and focusing of wh-words (Unpublished doctoral dissertation). Humboldt University, Berlin.
  • Hamblin, C. L. (1973). Questions in Montague English. Foundations of Language, 10(1), 41–53.
  • Heim, I. (1994). Interrogative semantics and Karttunen’s semantics for know. In R. Buchalla & A. Mittwoch (Eds.), Proceedings of the 9th Annual Conference and Workshop on Discourse of the Israel Association for Theoretical Linguistics (pp. 128–144). Jerusalem, Israel: Academon.
  • Hintikka, J. (1976). The semantics of questions and the questions of semantics. Acta Philosophica Fennica, 28(4).
  • Hintikka, J. (1983). New foundations for a theory of questions and answers. In F. Kiefer (Ed.), Questions and answers (pp. 159–190). Dordrecht, The Netherlands: Reidel.
  • Hulstijn, J. (1997). Structured information states: Raising and resolving issues. In A. Benz & G. Jäger (Eds.), MunDial97’: Proceedings of Munich Workshop on Formal Semantics and Pragmatics of Dialogue (pp. 90–117). University of Munich, Germany.
  • Hurford, J. (1974). Exclusive or inclusive disjunction. Foundations of Language, 11(3), 409–411.
  • Jäger, G. (1996). Only updates: On the dynamics of the focus particle only. In P. Dekker & M. Stokhof (Eds.), Proceedings of the 10th Amsterdam Colloquium.
  • Karttunen, L. (1977). Syntax and semantics of questions. Linguistics and Philosophy, 1, 3–44.
  • Katzir, R., & Singh, R. (2013). Hurford disjunctions: Embedded exhaustification and structural economy. In U. Etxeberria, A. Fălăuş, A. Irurtzun, & B. Leferman (Eds.), Sinn und bedeutung 18 (pp. 201–216).
  • Keenan, E. L., & Faltz, L. M. (1985). Boolean semantics for natural language. New York, NY: Springer.
  • Klinedinst, N., & Rothschild, D. (2011). Exhaustivity in questions with non-factives. Semantics and Pragmatics, 4(2), 1–23.
  • Krifka, M. (2001). For a structured meaning account of questions and answers. Audiatur Vox Sapientia. A Festschrift for Arnim von Stechow, 287–319.
  • Krifka, M. (2011). Questions. In K. von Heusinger, C. Maienborn, & P. Portner (Eds.), Semantics: An international handbook of natural language meaning (pp. 1742–1785). Berlin, Germany: Mouton de Gruyter.
  • Krifka, M. (2013). Response particles as propositional anaphors. In Proceedings of the 23rd Semantics and Linguistic Theory Conference (pp. 1–18). Ithaca, NY: Cornell University Press.
  • Krifka, M. (2015). Bias in commitment space semantics: Declarative questions, negated questions, and question tags. In Proceedings of the 25th Semantics and Linguistic Theory Conference (pp. 328–345). Ithaca, NY: Cornell University Press.
  • Lahiri, U. (2002). Questions and answers in embedded contexts. Oxford, U.K.: Oxford University Press.
  • Malamud, S., & Stephenson, T. (2015). Three ways to avoid commitments: Declarative force modifiers in the conversational scoreboard. Journal of Semantics, 32, 275–311.
  • Mascarenhas, S. (2009). Inquisitive semantics and logic (Master’s thesis). University of Amsterdam.
  • Mayr, C. (2017). Predicting polar question embedding. In Proceedings of Sinn und Bedeutung 21 (pp. 863–880).
  • Meyer, M.-C. (2014). Deriving Hurford’s constraint. In T. Snider, S. D’Antonio, & M. Weigand (Eds.), Semantics and linguistic theory 24 (pp. 577–596). Ithaca, NY: Cornell University Press.
  • Nelken, R., & Francez, N. (2002). Bilattices and the semantics of natural language questions. Linguistics and Philosophy, 25, 37–64.
  • Nelken, R., & Shan, C.-C. (2006). A modal interpretation of the logic of interrogation. Journal of Logic, Language, and Information, 15, 251–271.
  • Partee, B. H., & Rooth, M. (1983). Generalized conjunction and type ambiguity. In R. Bäuerle, C. Schwarze, & A. von Stechow (Eds.), Meaning, use and interpretation of language (pp. 115–143). Berlin, Germany: Mouton de Gruyter.
  • Rawlins, K. (2013). (Un)conditionals. Natural language semantics, 21(2), 111–178.
  • Roberts, C. (1996). Information structure in discourse. In J. Yoon & A. Kathol (Eds.), OSU working papers in linguistics (Vol. 49, pp. 91–136). Ohio State University.
  • Roberts, T. (2018). Responsive predicates are question-embedding: Evidence from Estonian. In the Proceedings of Sinn und Bedeutung, 22 (pp. 271–288).
  • Roelofsen, F. (2013). Algebraic foundations for the semantic treatment of inquisitive content. Synthese, 190(1), 79–102.
  • Roelofsen, F., & Farkas, D. F. (2015). Polarity particle responses as a window onto the interpretation of questions and assertions. Language, 91(2), 359–414.
  • van Rooij, R. (2003). Questioning to resolve decision problems. Linguistics and Philosophy, 26(6), 727–763.
  • Searle, J. R. (1969). Speech acts: An essay in the philosophy of language. Cambridge, U.K.: Cambridge University Press.
  • Simons, M. (2001). Disjunction and alternativeness. Linguistics and Philosophy, 24(5), 597–619.
  • Spector, B. (2005). Exhaustive interpretations: What to say and what not to say. Unpublished paper presented at the LSA workshop on Context and Content, Cambridge MA.
  • Spector, B., & Egré, P. (2015). A uniform semantics for embedded interrogatives: An answer, not necessarily the answer. Synthese, 192(6), 1729–1784.
  • von Stechow, A. (1991). Focusing and backgrounding operators. In W. Abraham (Ed.), Discourse particles: Descriptive and theoretical investigations on the logical, syntactic and pragmatic properties of discourse particles in German (pp. 37–84). Amsterdam, The Netherlands: John Benjamins.
  • Theiler, N., Roelofsen, F., & Aloni, M. (2017). What’s wrong with believing whether?. In Semantics and Linguistic Theory (SALT) 27, 248–265.
  • Theiler, N., Roelofsen, F., & Aloni, M. (2018). A uniform semantics for declarative and interrogative complements. Journal of Semantics, 35(3), 409–466.
  • Theiler, N., Roelofsen, F., & Aloni, M. (2019). Picky predicates: why believe doesn’t like interrogative complements, and other puzzles. Natural Language Semantics.
  • Uegaki, W. (2015a). Content nouns and the semantics of question-embedding. Journal of Semantics, 33(4), 623–660.
  • Uegaki, W. (2015b). Interpreting questions under attitudes (Unpublished doctoral dissertation). Massachusetts Institute of Technology.
  • Uegaki, W. (2019). The semantics of question-embedding predicates. Language and Linguistics Compass.
  • Uegaki, W., & Roelofsen, F. (2018). Do modals take propositions or sets of propositions? Evidence from Japanese darou. Proceedings of the 28th Semantics and Linguistic Theory Conference (pp. 809–829). Cambridge, U.K.: MIT.
  • Uegaki, W., & Sudo, Y. (2017). The anti-rogativity of non-veridical preferential predicates. Proceedings of the twenty-first Amsterdam Colloquium (pp. 492–502).
  • Vanderveken, D. (1990). Meaning and speech acts: Principles of language use. Cambridge, U.K.: Cambridge University Press.
  • White, A. S., & Rawlins, K. (2016). A computational model of S-selection. In Semantics and Linguistic Theory, 26, 641–663.
  • White, A. S., & Rawlins, K. (2017). The role of veridicality and factivity in clause selection. Proceedings of the 48th Meeting of the North East Linguistic Society, University of Iceland, Reykjavík.
  • Winter, Y. (2001). Flexibility principles in Boolean semantics: The interpretation of coordination, plurality, and scope in natural language. Cambridge, MA: MIT Press.
  • Wiśniewski, A. (2001). Questions and inferences. Logique et analyse, 173(175), 5–43.
  • Wiśniewski, A. (2013). Questions, inferences, and scenarios. Norcross, GA: College Publications.
  • Wiśniewski, A. (2015). Semantics of questions. In S. Lappin & C. Fox (Eds.), The handbook of contemporary semantic theory (pp. 273–313). New York, NY: John Wiley & Sons.
  • Yablo, S. (2014). Aboutness. Princeton, NJ: Princeton University Press.
  • Zuber, R. (1982). Semantic restrictions on certain complementizers. In Proceedings of the 12th International Congress of Linguists (pp. 434–436). Tokyo, Japan.


  • 1. Besides serving as arguments of certain predicates, questions can also function as adjuncts in so-called unconditional statements, exemplified in (i) below:


    For reasons of space, such constructions will not be discussed here. The interested reader is referred to Rawlins (2013), Ciardelli (2016a), and Bledin (2018).

  • 2. The view presented here on the landscape of semantic theories of questions has developed through close collaboration over the last 10 years with Maria Aloni, Ivano Ciardelli, Donka Farkas, Jeroen Groenendijk, and Nadine Theiler. In particular, section 2 draws on Ciardelli (2017); Ciardelli, Groenendijk, and Roelofsen (2018); Roelofsen and Farkas (2015) and Section 3 on Theiler, Roelofsen, and Aloni (2017, 2018, 2019). Further, I am very grateful to Justin Bledin and an anonymous reviewer for detailed comments on a previous version of the article, and to the Netherlands Organization for Scientific Research (NWO) and the European Research Council (ERC, grant agreement number 680220) for financial support.

  • 3. The transition from partition semantics to inquisitive semantics involved two intermediate steps. First, in the 1990s, partition semantics was given a dynamic twist (Groenendijk, 1999; Hulstijn, 1997; Jäger, 1996). This, in turn, led to the first-generation inquisitive semantics framework developed in Mascarenhas (2009) and Groenendijk (2009). For reasons of space, these are not discussed here; see Ciardelli et al. (2018, ch. 9).

  • 4. For critical discussion of some concrete notions of entailment that may be introduced in alternative semantics, see Roelofsen (2013) and Ciardelli, Roelofsen, and Theiler (2017).

  • 5. It should be noted that there is no universal agreement among alternative semantics-based theories that (15)(17) should be associated with the same set of propositions. For instance, Biezma and Rawlins (2012) associate the polar question in (15) with a singleton set containing only the proposition that the door is open, while they associate (16) with a set containing both the proposition that the door is closed and the proposition that the door is open. It is unclear, however, how this choice could be motivated on principled grounds. Certainly, the proposition that the door is closed would seem to constitute a possible answer to (15) as much as it does to (16).

  • 6. We will concentrate in this subsection on the context-sensitivity of resolution conditions, but essentially the same observations could be made for (exhaustive) answerhood conditions.

  • 7. For reasons of space we restrict our attention here to theories that are couched in possible worlds semantics. Theories based on other frameworks, such as situation semantics (e.g., Ginzburg, 1995; Ginzburg & Sag, 2000), typically also assume a type distinction between interrogative and declarative complements.

  • 8. A similar argument was made by Groenendijk and Stokhof (1984, p. 94) against the reductive theory of Karttunen (1977). Elliott et al.’s argument, however, is more explicit and targets reductive approaches in general rather than only Karttunen’s specific theory.

  • 9. Roberts (2018) and Uegaki and Roelofsen (2018) discuss other phenomena which can be accounted for on the inverse reductive approach but not on the reductive approach or the twin relations theory. For reasons of space, we cannot discuss these phenomena in detail here.

  • 10. The idea to treat declaratives and interrogatives uniformly actually goes farther back, at least to Hamblin (1973, p. 48). However, Hamblin was exclusively concerned with root clauses; he did not explicitly consider declarative and interrogative complements, let alone the repercussions of a uniform treatment of complements for the analysis of predicates that take such complements as their argument.

  • 11. In view of this prediction, George actually classifies partition theory as a reductive theory. This classification, however, blurs the fact that Groenendijk and Stokhof (1984, pp. 93–94) themselves very explicitly argued against the reductive approach—understood as one that takes declarative and interrogative complements to be of different types and derives the interrogative-embedding interpretation of responsive predicates from their declarative-embedding interpretation. Instead, they chose to pursue a uniform approach. The classification adopted here, depicted in Figure 2, is a refinement of Groenendijk and Stokhof’s classification, distinguishing various non-uniform approaches that did not yet exist in 1984.

  • 12. To exemplify, under an intermediate exhaustive reading “John knows which squares are blue” is true just in case (i) of all squares which are in fact blue, John knows that they are blue, and (ii) of all other squares, John does not falsely believe that they are blue. Yet another possible reading, called the weakly exhaustive reading, has also been suggested in the literature (e.g., Beck & Rullmann, 1999; Heim, 1994). However, the existence of such readings remains controversial. See George (2013b) for discussion.

  • 13. A possible concern for inverse-reductive and uniform theories that we have not discussed explicitly is that they do not make any direct predictions as to how the interrogative-embedding interpretations of responsive predicates are related to their declarative-embedding interpretations (George, 2011; Spector & Egré, 2015). Proper discussion of this subtle issue is beyond the scope of this survey. For a defense of the uniform and inverse-reductive theories, we refer to Theiler et al. (2018).

  • 14. There are some differences in implementation between the accounts of Uegaki (2015b) and Theiler et al. (2018) which result in somewhat different predictions for certain responsive predicates. But these differences in implementation are not forced by the general approaches that the two accounts instantiate. Thus, the predictions that arise from these implementational choices cannot be used to tease the two approaches apart in general. See Theiler et al. (2018) for further discussion.

  • 15. Note that in the inverse reductive approach, the selectional restrictions of rogative predicates cannot be accounted for in terms of a type mismatch either, since it is assumed that the denotation of a declarative complement, i.e., a proposition , can always be shifted into the singleton set , which is of the same type as an interrogative complement denotation.

  • 16. A recent initiative that is likely to spur many further contributions to this line of work is the development of large-scale data sets concerning the selectional restrictions and other semantic and syntactic properties of clause-embedding predicates (White & Rawlins, 2016, 2017).