This paper criticizes the dominant approaches to presupposition projection and proposes an alternative. Both the update semantics of Heim and the discourse representation theory of van der Sandt have problems in explicating the presuppositions of disjunctions. Moreover, Heim's approach is committed to a conception of accommodation that founders on the problem of informative presuppositions, and van der Sandt's approach is committed to a conception of accommodation that generates over-interpretations of utterances. The present approach borrows Karttunen's idea that instead of associating (...) presuppositions with sentences, we should define the conditions that contexts must meet in order to satisfy-the-presuppositions-of a sentence. However, in place of Karttunen's conception of contexts in terms of common ground, the present theory substitutes a conception of contexts as objective entities that are independent of the attitudes of the interlocutors. Contexts, so conceived, may be defined as containing sets of relevant possibilities. This allows us to define the conditions under which a context satisfies-the-presuppositions-of a disjunction. (shrink)

Expressivists and relativists about epistemic modals often motivate their view by arguing against contextualist treatments of certain cases. However, I argue that even expressivists and relativists should consider being a kind of contextualist. Specifically, data involving mixed disjunctions motivate taking epistemic modals to be sensitive to contextually-salient partitions, and thus context-sensitive.

The received wisdom on ability modals is that they differ from their epistemic and deontic cousins in what inferences they license and better receive a universal or conditional analysis instead of an existential one. The goal of this paper is to sharpen the empirical picture about the semantics of ability modals, and to propose an analysis that explains what makes the can of ability so special but that also preserves the crucial idea that all uses of can share a common (...) lexical semantics. The resulting framework combines tools and techniques from dynamic and inquisitive semantics with insights from the literature of the role of agency in deontic logic. It explains not only why the can of ability, while essentially being an existential modal operator, sometimes resists distribution over disjunction and interacts with its duals in particular and hitherto unnoticed ways, but also has a tendency to license free choice inferences. (shrink)

This paper offers a unified semantic explanation of two observations that prove to be problematic for classical analyses of modals, conditionals, and disjunctions: the fact that disjunctions scoping under possibility modals give rise to the free choice effect and the fact that counterfactuals license simplification of disjunctive antecedents. It shows that the data are well explained by a dynamic semantic analysis of modals and conditionals that uses ideas from the inquisitive semantic tradition in its treatment of disjunction. The analysis explains (...) why embedding a disjunctive possibility under negation reverts disjunction to its classical behavior, is general enough to predict less studied simplification patterns, and also makes progress toward a unified perspective on the distinction between informative, inquisitive, and attentive content. (shrink)

Epistemic modals are standardly taken to be context-dependent quantifiers over possibilities. Thus sentences containing them get truth-values with respect to both a context and an index. But some insist that this relativization is not relative enough: `might'-claims, they say, only get truth-values with respect to contexts, indices, and—the new wrinkle—points of assessment (hence, CIA). Here we argue against such "relativist" semantics. We begin with a sketch of the motivation for such theories and a generic formulation of them. Then we catalogue (...) central problems that any such theory faces. We end by outlining an alternative story. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

We present evidence that preschool children oftentimes understand disjunctive sentences as if they were conjunctive. The result holds for matrix disjunctions as well as disjunctions embedded under every. At the same time, there is evidence in the literature that children understand or as inclusive disjunction in downward-entailing contexts. We propose to explain this seemingly conflicting pattern of results by assuming that the child knows the inclusive disjunction semantics of or, and that the conjunctive inference is a scalar implicature. We make (...) two assumptions about implicature computation in the child: that children access only a proper subset of the adult alternatives, and that children possess the adult capacity to strengthen sentences with implicatures. As a consequence, children are expected to sometimes not compute any implicatures at all, but in other cases they are expected to compute an implicature that is different from the adult implicature. We argue that the child’s conjunctive strengthening of disjunctive sentences realizes the latter possibility: the adult infers that the conjunction is false but the child infers that the conjunction is true. This behaviour is predicted when our assumptions about child development are coupled with the assumption that a covert exhaustive operator is responsible for strengthening in both the child and the adult. Specifically, children’s conjunctive strengthening is predicted to follow from the same mechanism used by adults to compute conjunctive free choice implicatures in response to disjunctive permission sentences. We furthermore argue that this parallel between the child and the adult extends to disambiguation preferences. In particular, we present evidence that children prefer to strengthen disjunctions to conjunctions, in matrix and embedded positions ; this result mirrors previous findings that adults prefer to compute free choice, at the root and under every. We propose a disambiguation strategy that explains the preference for conjunctive strengthening – by both the child and the adult – even though there is no general preference for exhaustification. Specifically, we propose that the preference for a conjunctive strengthening follows from a pragmatic preference for a complete answer to the Question Under Discussion. (shrink)

In classical logic, the proposition expressed by a sentence is construed as a set of possible worlds, capturing the informative content of the sentence. However, sentences in natural language are not only used to provide information, but also to request information. Thus, natural language semantics requires a logical framework whose notion of meaning does not only embody informative content, but also inquisitive content. This paper develops the algebraic foundations for such a framework. We argue that propositions, in order to embody (...) both informative and inquisitive content in a satisfactory way, should be defined as non-empty, downward closed sets of possibilities, where each possibility in turn is a set of possible worlds. We define a natural entailment order over such propositions, capturing when one proposition is at least as informative and inquisitive as another, and we show that this entailment order gives rise to a complete Heyting algebra, with meet, join, and relative pseudo-complement operators. Just as in classical logic, these semantic operators are then associated with the logical constants in a first-order language. We explore the logical properties of the resulting system and discuss its significance for natural language semantics. We show that the system essentially coincides with the simplest and most well-understood existing implementation of inquisitive semantics, and that its treatment of disjunction and existentials also concurs with recent work in alternative semantics. Thus, our algebraic considerations do not lead to a wholly new treatment of the logical constants, but rather provide more solid foundations for some of the existing proposals. (shrink)

I give an account of the compositional semantics of unconditionals that explains their relationship to if -conditionals in the Lewis/Kratzer/Heim tradition. Unconditionals involve an alternative-denoting adjunct that supplies domain restrictions pointwise to a main-clause operator such as a modal. The differences from if -clauses follow from the structure of the adjuncts; both are conditionals in the Lewisian sense. In the course of treating unconditionals, I provide a concrete implementation of conditionals where conditional adjuncts in general are a species of correlative, (...) and show what detaching this hypothesis from if involves. (shrink)

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The main result (...) of this paper is a theorem establishing the completeness of the system with respect to inquisitive semantics with weak negation. At the conclusion of the paper, the possibility of extending the framework to the level of first order logic is briefly discussed. (shrink)

The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these constructions provide ways to handle various problems (...) related to free choice permission. The main result is a sound and complete axiomatization of the semantics. (shrink)

This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements. When the generalized existential modality is applied to a question, the result is a statement that roughly expresses that each way of resolving the question is consistent with the available information. I study the resulting logic both from a semantic and from a proof-theoretic point of view. I (...) argue that it can be used for reasoning about a general notion of ignorance, and for reasoning about choice-offering permissions and obligations. The main technical results are sound and complete axiomatizations, both for the class of all Kripke frames, and for any class of frames corresponding to a canonical normal modal logic. (shrink)

This paper discusses free-choice like effects in generics. Just as Jane may drink coffee or tea can be used to convey Jane may drink coffee and Jane may drink tea (she is free to choose ), some generics with disjunctive predicates can be used to convey conjunctions of simpler generics: elephants live in Africa or Asia can be used to convey elephants live in Africa and elephants live in Asia. Investigating these logically slightly more complex generics and especially the free-choice (...) like effects throws light on both the semantics of generics and the interaction between world knowledge and the interpretive options generics offer. This paper presents a package of semantic and pragmatic hypotheses to account for the data, including why the effect is absent in the superficially logically similar elephants live in Africa or give birth to live young. (shrink)

This paper argues that several leading theories of subjunctive conditionals are incompatible with ordinary intuitions about what credences we ought to have in subjunctive conditionals. In short, our theory of subjunctives should intuitively display semantic humility, i.e. our semantic theory should deliver the truth conditions of sentences without pronouncing on whether those conditions actually obtain. In addition to describing intuitions about subjunctive conditionals, I argue that we can derive these ordinary intuitions from justified premises, and I answer a possible worry (...) for my derivation by refuting a subjunctive triviality result modeled on (Lewis 1976). I conclude that the debate over the correct theory of subjunctive conditionals requires settling meta-philosophical questions about the relative value of various virtues of first-order theories of subjunctive conditionals. (shrink)

This paper argues that just as full beliefs can constitute knowledge, so can properties of your credence distribution. The resulting notion of probabilistic knowledge helps us give a natural account of knowledge ascriptions embedding language of subjective uncertainty, and a simple diagnosis of probabilistic analogs of Gettier cases. Just like propositional knowledge, probabilistic knowledge is factive, safe, and sensitive. And it helps us build knowledge-based norms of action without accepting implausible semantic assumptions or endorsing the claim that knowledge is interest-relative.

This paper deals with the interpretation and distribution of universal Free Choice (FC) items, such as English FC any or Spanish cualquiera. Crosslinguistically, universal FC items can be characterized as follows. First, they have a restricted distribution. Second, they express freedom of choice: the sentence You can take any card conveys the information that the addressee is free to pick whichever card she chooses. Under standard assumptions, the truth conditions of sentences like You can take any card are taken to (...) be captured by formalizations in which a universal quantifier ranging over individuals has wide scope over the possibility modal. The crucial observation that informs the account in this paper is that this type of formalization cannot capture the freedom of choice component. I will argue that in order to derive the right interaction between possibility modals and FC items, we need to add an exclusiveness condition to the standard wide scope paraphrases. The same proposal that guarantees freedom of choice will automatically account for the distribution restrictions of FC items. The formal implementation of this proposal is cast in the Hamblin semantics proposed in Kratzer and Shimoyama (Indeterminate phrases: The view from Japanese, 2002). (shrink)

In Beck, focus intervention is used as an argument for reducing Hamblin’s semantics for questions to Rooth’s focus semantics. Drawing on novel empirical evidence from Mandarin and English, we argue that this reduction is unwarranted. Maintaining both Hamblin’s original semantics and Rooth’s focus semantics not only allows for a more adequate account for focus intervention in questions, but also correctly predicts that focus intervention is a very general phenomenon caused by interaction of alternatives in different dimensions.

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...) their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

This paper refutes the widespread view that disjunctions of imperatives invariably grant free choice between the actions named by their disjuncts. Like other disjunctions they can also express a correlation with some factual distinction, but as with modalized declaratives used for non-assertive speech acts this needs to be indicated explicitly. A compositional analysis of one such indicator, depending on, constitutes the point of departure for a uniform analysis of disjunctions across clause types. Disjunctions are analyzed as sets of propositional alternatives (...) that correlate with a partition that the speaker may or may not be able to indicate explicitly. Free choice arises as the specific case where the partition is induced by the preferences of the addressee. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the order is reversed. Previous proposals (...) have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the order is reversed. Previous proposals (...) have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion always succeeds in expressing a well-defined doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an arbitrary (...) assertion. Leaving a comprehensive philosophical and linguistic defense for elsewhere, we explore technical aspects of our framework, providing, for instance, a complete logic of assertability and reduction axioms for the novel update operations related to our proposal. Finally, we contrast our work with related proposals in the logic literature. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

Many have accepted that ordinary counterfactuals and might counterfactuals are duals. In this paper, I show that this thesis leads to paradoxical results when combined with a few different unorthodox yet increasingly popular theses, including the thesis that counterfactuals are strict conditionals. Given Duality and several other theses, we can quickly infer the validity of another paradoxical principle, ‘The Counterfactual Direct Argument’, which says that ‘A> ’ entails ‘A> ’. First, I provide a collapse theorem for the ‘counterfactual direct argument’. (...) The counterfactual direct argument entails the logical equivalence of the subjunctive and material conditional, given a variety of assumptions. Second, I provide a semantics that validates the counterfactual direct argument without collapse. This theory further develops extant dynamic accounts of conditionals. I give a new semantics for disjunction, on which A or B is only true in a context when A and B are both unsettled. The resulting framework validates CDA while invalidating other commonly accepted principles concerning the conditional and disjunction. (shrink)

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper then provides a (...) positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (shrink)

This paper addresses a little puzzle with a surprisingly long pedigree and a surprisingly large wake: the puzzle of Free Choice Permission. I begin by presenting a popular sketch of a pragmatic solution to the puzzle, due to Kratzer and Shimoyama, which has received a good deal of discussion, endorsement and elaboration in recent work :535–590, 2006; Fox, in: Sauerland and Stateva Presupposition and implicature in compositional semantics, 2007; Geurts, Mind Lang 24:51–79, 2009; von Fintel, Central APA session on Deontic (...) Modals, 2012). I then explain why the general form of the Kratzer and Shimoyama explanation is not extensionally adequate. This leaves us with two possibilities with regard to the original solution-sketch; either the suggested pragmatic route fails, or it succeeds in a particularly strange way: Free Choice permission is rendered a kind pragmatic illusion on the part of both speakers and hearers. Finally, I discuss some ramifications. (shrink)

In this paper, we axiomatize the deontic logic in Fusco (2015), which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions (...) Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to “lift” a Kripke frame for a one-dimensional modal logic into two dimensions. (shrink)

The notion of measurement plays a central role in human cognition. We measure people’s height, the weight of physical objects, the length of stretches of time, or the size of various collections of individuals. Measurements of height, weight, and the like are commonly thought of as mappings between objects and dense scales, while measurements of collections of individuals, as implemented for instance in counting, are assumed to involve discrete scales. It is also commonly assumed that natural language makes use of (...) both types of scales and subsequently distinguishes between two types of measurements. This paper argues against the latter assumption. It argues that natural language semantics treats all measurements uniformly as mappings from objects (individuals or collections of individuals) to dense scales, hence the Universal Density of Measurement (UDM). If the arguments are successful, there are a variety of consequences for semantics and pragmatics, and more generally for the place of the linguistic system within an overall architecture of cognition. (shrink)

Utterances of natural language sentences can be used to communicate not just contents, but also forces. This paper examines this topic from a cross-linguistic perspective on sentential mood. Recent work in this area focuses on conversational dynamics: the three sentence types can be associated with distinctive kinds of conversational effects called sentential forces, modeled as three kinds of updates to the discourse context. This paper has two main goals. First, it provides two arguments, on empirical and methodological grounds, for treating (...) sentential force as part of a compositional dynamic semantics, rather than a dynamic pragmatics. Second, it formulates a minimal dynamic semantic analysis that covers the data at the heart of these arguments, incorporating existing analyses of the three major moods, evidentials and conjunction. A further aim of the paper is to sharpen the distinction between sentential force and utterance force, and discuss its implications. (shrink)

We propose a modification of the exhaustivity operator from Fox Presupposition and implicature in compositional semantics, Palgrave Macmillan, London, pp 71–120, 2007. https://doi.org/10.1057/9780230210752_4) that on top of negating all the Innocently Excludable alternatives affirms all the ‘Innocently Includable’ ones. The main result of supplementing the notion of Innocent Exclusion with that of Innocent Inclusion is that it allows the exhaustivity operator to identify cells in the partition induced by the set of alternatives whenever possible. We argue for this property of (...) ‘cell identification’ based on the simplification of disjunctive antecedents and the effects on free choice that arise as the result of the introduction of universal quantifiers. We further argue for our proposal based on the interaction of only with free choice disjunction. (shrink)

We argue that all comparative expressions in natural language obey a principle that we call Comparability: if x and y are at least as F as themselves, then either x is at least as F as y or y is at least as F as x. This principle has been widely rejected among philosophers, especially by ethicists, and its falsity has been claimed to have important normative implications. We argue that Comparability is needed to explain the goodness of several patterns (...) of inference that seem manifestly valid, that the purported failures of Comparability would have absurd consequences, and that the influential arguments against Comparability are less compelling than they may have initially seemed. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)

There is a prominent line of work in natural language semantics, rooted in the work of Hamblin, in which the meaning of a sentence is not taken to be a single proposition, but rather a set of propositions—a set of alternatives. This allows for a more fine-grained view on meaning, which has led to improved analyses of a wide range of linguistic phenomena. However, this approach also faces a number of problems. We focus here on two of these, in our (...) view the most fundamental ones. The first has to do with how meanings are composed, i.e., with the type-theoretic operations of function application and abstraction; the second has to do with how meanings are compared, i.e., the notion of entailment. Our aim is to reconcile what we take to be the essence of Hamblin’s proposal with the more orthodox type-theoretic framework rooted in the work of Montague in such a way that both the explanatory utility of the former and the solid formal foundations of the latter are preserved. Our proposal builds on insights from recent work on inquisitive semantics, and it also contributes to the further development of this framework by specifying how the inquisitive meaning of a sentence may be built up compositionally. (shrink)

According to a simple theory of the relationship between 'want' ascriptions and the desires they ascribe, when I learn that ⌜A wants p⌝ is true, I learn that the truth of p is necessary and sufficient for satisfying one of A’s desires. I argue that this simple theory is false: ⌜A wants p⌝ can be true and underspecific: p may be necessary but not sufficient for the satisfaction of one of A’s desires. I show that existing semantics for 'want' cannot (...) account for this kind of underspecificity, and I propose a desire-based semantics for ‘want’ that can. I go on to argue that my semantics has empirical and methodological advantages over existing theories of ‘want’ that give truth conditions in terms of an agent’s preferential and doxastic state rather than their desires. -/- . (shrink)

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

In this paper, we propose a novel account of desire reports, i.e. sentences of the form 'S wants p'. Our theory is partly motivated by Phillips-Brown's (2021) observation that subjects can desire things even if those things aren't best by the subject's lights. That is, being best isn't necessary for being desired. We compare our proposal to existing theories, and show that it provides a neat account of the central phenomenon.

In this paper, I draw attention to comparative preference claims, i.e. sentences of the form \S prefers p to q\. I show that preference claims exhibit interesting patterns, and try to develop a semantics that captures them. Then I use my account of preference to provide an analysis of desire. The resulting entry for desire ascriptions is independently motivated, and finds support from a wide range of phenomena.

This paper gives an account of the differences between polar and alternative questions, as well as an account of the division of labor between compositional semantics and pragmatics in interpreting these types of questions. Alternative questions involve a strong exhaustivity presupposition for the mentioned alternatives. We derive this compositionally from the meaning of the final falling tone and its interaction with the pragmatics of questioning in discourse. Alternative questions are exhaustive in two ways: they exhaust the space of epistemic possibilities, (...) as well as the space of discourse possibilities (the Question Under Discussion). In contrast, we propose that polar questions are the opposite: they present just one alternative that is necessarily non-exhaustive. The account explains a range of response patterns to alternative and polar questions, as well as differences and similarities between the two types of questions. (shrink)

Free choice permission, a crucial test case concerning the semantics/ pragmatics boundary, usually receives a pragmatic treatment. But its pragmatic features follow from its semantics. We observe that free choice inferences are defeasible, and defend a semantics of free choice permission as strong permission expressed in terms of a modal conditional in a nonmonotonic logic.

Crosslinguistically, questions frequently make crucial use of morphosyntactic elements which also occur outside of questions. Chief among these are focus, disjunctions, and wh-words with indefinite semantics. This paper provides a compositional account of the semantics of wh-, alternative, and polar questions in Yucatec Maya (YM), which are composed primarily of these elements. Key to the account is a theory of disjunctions and indefinites (extending work by others) which recognizes the inherently inquisitive nature of these elements. While disjunctions and indefinites are (...) inquisitive, they differ from questions since they are also truth-conditionally informative. Compositionally, then, the role of focus in YM questions is to presuppose the informative component of an indefinite wh-word or disjunction, rendering the inquisitive component the question’s only new contribution to the discourse. In addition to deriving question denotations compositionally, the account also captures a potentially surprising fact: focused disjunctions in YM can function as either questions or assertions, depending solely on the discourse context. (shrink)

The exclusive component of unembedded disjunctions is standardly derived as a conversational implicature by assuming that or forms a lexical scale with and. It is well known, however, that this assumption does not suffice to determine the required scalar competitors of disjunctions with more than two atomic disjuncts (McCawley, Everything that linguists have always wanted to know about logic* (But were ashamed to ask). Chicago University Press, Chicago, 1993, p. 324; Simons, “Or”: Issues in the semantics and pragmatics of disjunction. (...) Ph.D. thesis, Cornell University, Ithaca, NY, 1998). To solve this, Sauerland (Linguist Philos 27(3): 367–391, 2004) assumes that or forms a lexical scale with two otherwise unattested silent connectives ( ${\mathbb{L}}$ and ${\mathbb{R}}$ ) that retrieve the left and right terms of a disjunction. A number of recent works have proposed an Alternative Semantics for indefinites and disjunction to account for their interaction with modals and other propositional operators (Kratzer and Shimoyama, In: Otsu Y (ed) The Proceedings of the Third Tokyo Conference on Psycholinguistics. Hituzi Syobo, Tokyo, pp. 1–25, 2002; Aloni, In: Weisgerber M (ed) Proceedings of the Conference “SuB7—Sinn und Bedeutung”. Arbeitspapier Nr. 114. Konstanz, pp. 28–37, 2003; Simons, Nat Lang Semantics 13: 271–316, 2005; Alonso-Ovalle, Disjunction in alternative semantics. Ph.D. thesis, University of Massachusetts, Amherst, MA, 2006). We note that the McCawley–Simons problem does not arise in an Alternative Semantics, if we assume that the set of pragmatic competitors to a disjunction is the closure under intersection of the set of propositions that it denotes. An adaptation of the strengthening mechanism presented in Fox (In: Sauerland U, Stateva P (eds) Presupposition and implicature in compositional semantics. MacMillan, Palgrave, pp. 71–120, 2007) allows for the derivation of the exclusive component of disjunctions with more than two atomic disjuncts without having to rely on the ${\mathbb{L}}$ and ${\mathbb{R}}$ operators. The proposal extends to the case of disjunctions with logically dependent disjuncts. (shrink)

The article proposes an analysis of imperatives and possibility and necessity statements that (i) explains their differences with respect to the licensing of free choice any and (ii) accounts for the related phenomena of free choice disjunction in imperatives, permissions, and statements. Any and or are analyzed as operators introducing sets of alternative propositions. Free choice licensing operators are treated as quantifiers over these sets. In this way their interpretation can be sensitive to the alternatives any and or introduce in (...) their scope. (shrink)