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 this paper we argue for a unified semantics for hypothetical conditionals, hc s, e.g. _if it rains, we’ll cancel the picnic_, and biscuit conditionals, bc s, e.g., _if you are hungry, there are biscuits on the sideboard_. We side with recent literature in proposing that differences in the interpretation are related to (in)dependence between antecedent and consequent, but we move beyond current accounts in spelling out a characterization of independence that is actually predictive. We further establish a systematic link (...) between _if_-constructions and discourse structure, providing a dynamic update model that integrates the QUD, and thus the intentional discourse-structure. We argue that in bc s the antecedent sets up the question that is addressed by the consequent, and show that rescuing (Gricean) relevance in face of independence gives rise to implicatures corresponding to the different flavors associated with bc s. Crucially, we argue, this is the same mechanism responsible for our understanding that in the hc above, for example, it is the rain that will cause the cancellation of the picnic. Along the way we notice how the phenomena observed in _if_-constructions are also replicated in other quantificational structures. Ultimately, there is not much that is biscuit-specific. Their interpretation is the result of a conspiracy among semantics, dynamic update and intentional discourse-structure. (shrink)

Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce in the present paper can be used for modelling some (...) classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition. (shrink)

This paper investigates the interpretation of counterfactual conditionals. The main goal of the paper is to provide an account of the semantic role of similarity in the evaluation of counterfactuals. The paper proposes an analysis according to which counterfactuals are treated as predications “ de re ” over past situations in the actual world. The relevant situations enter semantic composition via the interpretation of tense. Counterfactuals are treated as law-like conditionals with de re predication over particular facts. Similarity with respect (...) to particular facts is ensured by the semantics of tense in interaction with the modal, while the modal itself is responsible for invoking laws. In the paper, various arguments are provided to support a local view of similarity over the global approach found in semantics along the line of Lewis’s and Stalnaker’s. Arguments are also provided tying the evaluation of similarity to the interpretation of tense. Finally, arguments are provided to show that in key cases, the approaches make comparable predictions. (shrink)

This paper investigates some aspects of the semantics of deontic should-conditionals. The main objective is to understand which actual world facts make deontic statements true. The starting point for the investigation is a famous puzzle known as Chisholm’s Paradox. It is important because making sense of the data in Chisholm-style examples involves arriving at some conclusion regarding the interaction between what we consider ideal and what is actually true. I give an account of how facts affect the evaluation of should (...) formulated in a way that does not predict that the divergence between ideals and facts leads to contradictions. The proposed semantics for should and should-conditionals allows for factual detachment without giving rise to paradoxes. The proposal has several parts: a situation-based semantics for the modal should, a view of the propositions embedded under should that allows aspect to play a crucial role in anchoring propositions to the context set, and a proposal for if-clauses that distinguishes between epistemic if-clauses and if-clauses in the scope of should, treating the latter as restrictors on the quantificational domain of the modal. (shrink)

The article argues for a parallelism between the interpretation of deontic modals and the interpretation of counterfactuals. The main claim is that dependencies between facts play a role in the resolution of both types of modality: in both cases, facts ‘stand and fall’ together. The article provides two types of evidence supporting this claim: (i) evidence that comes from the interaction between primary and secondary duties (as presented in contrary-to-duty imperatives) and (ii) evidence that comes from the possibility of reproducing (...) well-known counterfactual puzzles in the domain of deontic statements. The article argues that the semantics of deontic modals needs to be stated in a way that pays attention to dependencies between facts and illustrates this with a proposal building on work on counterfactuals by Kratzer and Veltman. (shrink)

We put forth an account for when to believe causal and evidential conditionals. The basic idea is to embed a causal model in an agent’s belief state. For the evaluation of conditionals seems to be relative to beliefs about both particular facts and causal relations. Unlike other attempts using causal models, we show that ours can account rather well not only for various causal but also evidential conditionals.

This essay is an opinionated exploration of the constraints that modal discourse imposes on the theory of assertion. Primary focus is on the question whether modal discourse challenges the traditional view that all assertions have propositional content. This question is tackled largely with reference to discourse involving epistemic modals, although connections with other flavors of modality are noted along the way.

In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon (...) attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”. (shrink)

Robert van Rooij proposed an analysis of counterfactual donkey sentences by combining the Stalnaker–Lewis analysis of counterfactuals with standard dynamic semantics. This paper points out some problems with van Rooij's treatment of counterfactual sentences in the language of first-order logic and provides a new interpretation using dynamic semantics.

1. Generic statements are some of the most intriguing statements we make. They are so central to our commonsense reasoning that every attested human language can express them (Dahl 1995; Cohen 2013...

Generic sentences are commonsense statements of the form ‘Fs are G,’ like ‘Bears have fur’ or ‘Rattlesnakes are poisonous.’ Kind theories hold that rather than being general statements about indivi...

Conventional wisdom has it that many intriguing features of indicative conditionals aren’t shared by subjunctive conditionals. Subjunctive morphology is common in discussions of wishes and wants, however, and conditionals are commonly used in such discussions as well. As a result such discussions are a good place to look for subjunctive conditionals that exhibit features usually associated with indicatives alone. Here I offer subjunctive versions of J. L. Austin’s ‘biscuit’ conditionals—e.g., “There are biscuits on the sideboard if you want them”—and subjunctive (...) versions of Allan Gibbard’s ‘stand-off’ or ‘Sly Pete’ conditionals, in which speakers with no relevant false beliefs can in the same context felicitously assert conditionals with the same antecedents and contradictory consequents. My cases undercut views according to which the indicative/subjunctive divide marks a great difference in the meaning of conditionals. They also make trouble for treatments of indicative conditionals that cannot readily be generalized to subjunctives. (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)

This article aims to propagate Logic Programming as a formal tool to deal with non-monotonic reasoning. In philosophy and linguistics non-monotonic reasoning is modelled using Minimal Models as standard, i.e., by imposing an order (or selection function) on the class of all models and then by defining entailment as only caring about the minimal models of the premises with respect to the order. In this article we investigate the question whether instead of minimal models we should use logic programming to (...) model non-monotonic reasoning. Logic programming is an attractive alternative to a minimal models approach in that it makes concrete predictions in an efficient and transparent way. We study this question by focusing on one particular phenomenon that gives rise to non-monotonic inferences: conditional sentences. (shrink)

This paper deals with the truth conditions of conditional sentences. It focuses on a particular class of problematic examples for semantic theories for these sentences. I will argue that the examples show the need to refer to dynamic, in particular causal laws in an approach to their truth conditions. More particularly, I will claim that we need a causal notion of consequence. The proposal subsequently made uses a representation of causal dependencies as proposed in Pearl (2000) to formalize a causal (...) notion of consequence. This notion inserted in premise semantics for counterfactuals in the style of Veltman (1976) and Kratzer (1979) will provide a new interpretation rule for conditionals. I will illustrate how this approach overcomes problems of previous proposals and end with some remarks on remaining questions. (shrink)

IntroductionThe meaning of conditional sentences bears an intrinsic relation to a number of central philosophical problems, like the nature of reasoning, the possibility of knowledge, and the status of laws of nature. This has incited philosophers to spend a lot of time working on conditionals and to fill countless bookshelves with inspiring and sophisticated theories on their meaning. However, the overall question of how to approach the meaning of conditionals is still open. There are many different theories on the market, (...) many central issues still need to be solved.But as a topic philosophers are interested in conditionals are special in that they are real; they can be the subject of empirical investigations. And they are actually investigated – in linguistic, in psychology, in the cognitive sciences. The goal of this paper is to illustrate how this ‘external’ information can be used to answer questions on the semantics of conditional sentences that philosophers and logicians are int .. (shrink)

We distinguish three ways that a theory of linguistic meaning and communication might be considered dynamic in character. We provide some examples of systems which are dynamic in some of these senses but not others. We suggest that separating these notions can help to clarify what is at issue in particular debates about dynamic versus static approaches within natural language semantics and pragmatics.

The idea that sentences can be closer or further apart in meaning is highly intuitive. Not only that, it is also a pillar of logic, semantic theory and the philosophy of science, and follows from other commitments about similarity. The present paper proposes a novel way of comparing the ‘distance’ between two pairs of propositions. We define ‘\ is closer in meaning to \ than \ is to \’ and thereby give a precise account of comparative propositional similarity facts. Notably, (...) our definition eschews metric assumptions, which are unrealistic in most applications of interest. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...) imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (shrink)

In two‐dimensional semantics in the tradition of Davies and Humberstone, whether a singular term receives an epistemically shifted reading in the scope of a modal operator depends on whether the world considered as actual is shifted. This means that epistemically shifted readings should be available only in environments where an explicit contrast between the actual world and some counterfactual worlds cannot be made. In this paper, I argue that this is incorrect. Whether a singular term receives an epistemically shifted reading (...) is independent of whether the world treated as actual is shifted. This, I argue, undermines the two‐dimensionalist account of epistemic shift. I then turn to the question how a positive view should handle these two phenomena separately. I argue for treating singular terms with a version of counterpart theory in which the difference between epistemically shifted and other readings is determined in the context of utterance. (shrink)

This is part A of a paper in which we defend a semantics for counterfactuals which is probabilistic in the sense that the truth condition for counterfactuals refers to a probability measure. Because of its probabilistic nature, it allows a counterfactual ‘ifAthenB’ to be true even in the presence of relevant ‘Aand notB’-worlds, as long such exceptions are not too widely spread. The semantics is made precise and studied in different versions which are related to each other by representation theorems. (...) Despite its probabilistic nature, we show that the semantics and the resulting system of logic may be regarded as a naturalistically vindicated variant of David Lewis’ truth-conditional semantics and logic of counterfactuals. At the same time, the semantics overlaps in various ways with the non-truth-conditional suppositional theory for conditionals that derives from Ernest Adams’ work. We argue that counterfactuals have two kinds of pragmatic meanings and come attached with two types of degrees of acceptability or belief, one being suppositional, the other one being truth based as determined by our probabilistic semantics; these degrees could not always coincide due to a new triviality result for counterfactuals, and they should not be identified in the light of their different interpretation and pragmatic purpose. However, for plain assertability the difference between them does not matter. Hence, if the suppositional theory of counterfactuals is formulated with sufficient care, our truth-conditional theory of counterfactuals is consistent with it. The results of our investigation are used to assess a claim considered by Hawthorne and Hájek, that is, the thesis that most ordinary counterfactuals are false. (shrink)

In this paper I look at indicative nested whether-conditionals, sentences like:If I pass the exam, I will pass whether I pray or not.The behavior of ‘if’ in these examples is to be contrasted with the behavior of ‘if’ in or-to-if conditionals:If Mary is at home or at work, then if she is not at home, she is at work.I argue that no currently available semantics for indicative conditionals can explain both the behavior of ‘if’ in nested whether-conditionals and the behavior (...) of ‘if’ in or-to-ifs. We need a theory that predicts both. While no currently available theory makes the right predictions, one theory comes close—Heim’s rendition of Stalnaker’s semantics :183–221, 1992). I show how to fix Heim’s view to get the right results for all cases. In sum, the paper argues for a particular development of Stalnaker’s semantics, and shows that whether-conditionals cannot be dealt with on other approaches. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

The rise of causality and the attendant graph-theoretic modeling tools in the study of counterfactual reasoning has had resounding effects in many areas of cognitive science, but it has thus far not permeated the mainstream in linguistic theory to a comparable degree. In this study I show that a version of the predominant framework for the formal semantic analysis of conditionals, Kratzer-style premise semantics, allows for a straightforward implementation of the crucial ideas and insights of Pearl-style causal networks. I spell (...) out the details of such an implementation, focusing especially on the notions of intervention on a network and backtracking interpretations of counterfactuals. (shrink)

Weak ontic necessity is the ontic necessity expressed by “should” or “ought to”. An example of it is “I should be dead by now”. A feature of this necessity is that whether it holds is irrelevant to whether its underlying proposition holds. This necessity essentially involves time. This paper presents a logic for conditional weak ontic necessity in branching time. The logic’s language includes the next instant operator, the last instant operator, and the operator for conditional weak ontic necessity. Formulas (...) are evaluated at tuples consisting of a tree-based model, a context, a timeline, and an instant. A context is a set of ordered ontic laws determining expected timelines. When evaluating conditional weak ontic necessity, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. We discuss some consequences of the formalization and compare it to some related work. We study the logic’s expressivity and axiomatize a special validity of it. (shrink)

Weak ontic necessity is the ontic necessity expressed by “should/ought to” in English. An example of it is “I should be dead by now”. A feature of this necessity is that whether it holds at the present world is irrelevant to whether its prejacent holds at the present world. In this paper, by combining premise semantics and update semantics for conditionals, we present a logical theory for conditional weak ontic necessity based on context update. A context is a set of (...) ordered defaults, determining expected possible states of the present world. Sentences are evaluated with respect to contexts. When evaluating the conditional weak ontic necessity with respect to a context, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. We compare this theory to some related works. The logic’s expressivity is studied. (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)

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)

Counterfactuals are typically thought--given the force of Sobel sequences--to be variably strict conditionals. I go the other way. Sobel sequences and (what I call) Hegel sequences push us to a strict conditional analysis of counterfactuals: counterfactuals amount to some necessity modal scoped over a plain material conditional, just which modal being a function of context. To make this worth saying I need to say just how counterfactuals and context interact. No easy feat, but I have something to say on the (...) matter. (shrink)

In this paper I present a limitation to what may be called strictly-interventionistic causal-model semantic theories for subjunctive conditionals. And I offer a line of response to Briggs’ counterexample to Modus Ponens—given within a strictly-interventionistic framework—for the subjunctive conditional. The paper also contains some discussion of backtracking counterfactuals and backtracking interpretations. The limitation inherent to strict interventionism is brought out via a class of counterexamples. A causal-model semantics is strictly interventionistic just in case the procedure it gives for evaluating a (...) subjunctive conditional requires making the values of the variables implicated in the antecedent independent from the values of the parents of these antecedent variables. Most causal-model semantic theories that have gained attention are strictly interventionistic. (shrink)

It has been suggested that intuitions supporting the nonvacuity of counterpossibles can be explained by distinguishing an epistemic and a metaphysical reading of counterfactuals. Such an explanation must answer why we tend to neglect the distinction of the two readings. By way of an answer, I offer a generalized pattern for explaining nonvacuity intuitions by a stand-and-fall relationship to certain indicative conditionals. Then, I present reasons for doubting the proposal: nonvacuists can use the epistemic reading to turn the table against (...) vacuists, telling apart significant from spurious intuitions. Moreover, our intuitions tend to survive even if we clear-headedly intend a metaphysical reading. -/- . (shrink)

This article introduces the classic accounts of the meaning of conditionals (material implication, strict implication, variably strict conditional) and discusses the difference between indicative and subjunctive/counterfactual conditionals. Then, the restrictor analysis of Lewis/Kratzer/Heim is introduced as a theory of how conditional meanings come about compositionally: if has no meaning other than serving to mark the restriction to an operator elsewhere in the conditional construction. Some recent alternatives to the restrictor analysis are sketched. Lastly, the interactions of conditionals (i) with modality (...) and (ii) with tense and aspect are discussed. Throughout the advanced research literature is referenced while the discussion stays largely non-technical. (shrink)

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

Imperative sentences like Dance! do not seem to represent the world. Recent modal analyses challenge this idea, but its intuitive and historical appeal remain strong. This paper presents three new challenges for a non-representational analysis, showing that the obstacles facing it are even steeper than previously appreciated. I will argue that the only way for the non-representationalist to meet these three challenges is to adopt a dynamic semantics. Such a dynamic semantics is proposed here: imperatives introduce preferences between alternatives. This (...) characterization of meaning focuses on what function a sentence serves in discourse, rather than what that sentence refers to (e.g., a state of the world). By representing the meaning of imperatives, connectives and declaratives in a common dynamic format, the challenges posed for non-representationalism are met. (shrink)

The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...) Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)