This chapter provides a selective survey of prominent theories of the semantics of deontic modals in logic and natural language. We focus on Kratzer’s (1977; 1981; 1991) semantics and extensions to this analysis. Kratzer’s semantics has been far and away the most influential theory of deontic modals, which provide a base case for the interpretation of normative language in general. Understanding the logic and truth-conditions of normative language is one of the core areas of metaethics. It informs our understanding of (...) normative arguments and normative reasoning. As this chapter will emphasize, some forms of normative language don’t allow for the inferences that classical logic trains philosophers to expect. Understanding what inferences are valid for normative language should impact our under-standing of how we reason, and should reason, about the normative. We will first look at how deontic modals are understood in the context of modal logic and natural language. Then we’ll survey some recent debates and discoveries in the literature on deontic modals in natural language. We close with some considerations about the relevance of natural language to metaethics. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

This paper advocates a generalized form of Expressivism, as a strategy for resolving certain metasemantic puzzles about identifying the semantic value of a context-sensitive expression in context. According to this form of Expressivism, speakers express properties of semantic parameters, and they do so in order to proffer those properties for cognitive adoption (acceptance) by their addressees. Puzzles arising from the pressure to say what a putatively context-sensitive expression refers to or denotes in contexts that do not seem to specify a (...) referent or denotation dissolve, once we appreciate that such attempts were ill-placed to begin with. Gibbard's Norm Expressivism, according to which speakers express properties of planning states or normative systems, can be regarded as a branch of this more general theory. I will however argue that Gibbard takes on commitments -- optional for the Expressivist -- that make it a bit hard to see how to distinguish his theory from a nuanced form of Subjectivism. (shrink)

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.

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...) of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

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)

Many normative judgments play a practical role in our thought. This paper concerns how their practical role is reflected in language. It is natural to wonder whether the phenomenon is semantic or pragmatic. The standard assumption in moral philosophy is that at least terms which can be used to express “thin” normative concepts – such as 'good', 'right', and 'ought' – are associated with certain practical roles somehow as a matter of meaning. But this view is rarely given explicit defense (...) or even articulation. I’ll consider several versions of the view, and argue that even the most promising among them are problematic. Terms like 'ought' are often used in ways where their customary practical role is absent. Such cases give us a choice: either offer some plausible explanation of why the relevant practical upshots don’t show up in these cases despite featuring in our semantic theory for these expressions, or else don’t build them into that theory. I argue that plausible explanations of the requisite sort aren’t forthcoming in either descriptive semantics or metasemantics for normative language. In closing I briefly consider the prospects for a pragmatic account of the phenomenon and some broader ramifications for metaethics and the philosophy of normativity. (shrink)

A thorny question surrounding the meaning of ought concerns a felt distinction between deontic uses of ought that seem to evaluate a state of affairs versus those that seem to describe a requirement or obligation to perform an action, as in and, respectively. There ought not be childhood death and disease. You ought to keep that promise. Various accounts have been offered to explain the contrast between “agentive” and “non-agentive” ought sentences. One such account is the Agency-in-the-Prejacent theory, which traces (...) the difference to a particular kind of ambiguity in the prejacent. This theory has been criticized as linguistically unviable. Indeed, I level a few novel complaints against AIP myself in the present paper. But AIP has a kernel of genuine insight which allows us to explain the contrast—that the distinction between agentive and non-agentive ought sentences owes in part to the way natural language encodes information about agency. I develop this idea into a novel account that, like AIP, traces the contrast to an ambiguity in the complement of the modal. However, according to the view I propose, the Coercion View, a linguistically-motivated coercion operation produces the necessary grammatical conditions for agentive ought, which in turn allow a kind of variadic function operator in the style of to produce the semantic effect we see on display in agentive readings of ought. Having explained the mechanism by which we get this structure, I show that it corroborates some of the central intuitions underwriting agentive ought. I submit that the Coercion View offers an explanation of agentive ought to take at least as seriously as any of its competitors. (shrink)

This paper develops an account of mood selection with attitude predicates in French. I start by examining the “contextual commitment” account of mood developed by Portner and Rubinstein Proceedings of SALT 22, CLC Publications, Ithaca, NY, pp 461–487, 2012). A key innovation of Portner and Rubinstein’s account is to treat mood selection as fundamentally depending on a relation between individuals’ attitudes and the predicate’s modal backgrounds. I raise challenges for P&R’s qualitative analysis of contextual commitment and explanations of mood selection. (...) There are indicative-selecting predicates that are felicitous in contexts where there isn’t contextual commitment ; and there are subjunctive-selecting predicates that involve no less contextual commitment than certain indicative-selecting verbs. I develop an alternative account of verbal mood. The general approach, which I call a state-of-mind approach, is to analyze mood in terms of whether the formal relation between the predicate’s modal backgrounds and an overall state of mind represents a relation of commitment. Indicative mood in French presupposes that the informational-evaluative state determined by the predicate’s modal backgrounds is included in the informational-evaluative state characterizing the event described by the predicate. The account provides an improved explanation of core mood-selection puzzles, including subjunctive-selection with emotive factives, indicative-selection with fiction verbs, indicative-selection with espérer ‘hope’ versus subjunctive-selection with vouloir ‘want’, and indicative-selection with commissives versus subjunctive-selection with directives. Subjunctive-selection with modal adjectives is briefly considered. The mood-selection properties of the predicates are derived from the proposed analysis of mood, independently attested features of the predicates’ semantics, and general principles of interpretation. (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)

Chris Hom argued that slurs and pejoratives semantically express complex negative prescriptive properties, which are determined in virtue of standing in external causal relations to social ideologies and practices. He called this view Combinatorial Externalism. Additionally, he argued that Combinatorial Externalism entailed that slurs and pejoratives have null extensions. In this paper, I raise an objection that has not been raised in the literature so far. I argue that semantic theories like Hom’s are forced to choose between two alternatives: either (...) they endorse an externalist semantics that determines prescriptive properties, or they endorse the null extensionality thesis, but they can’t have both. (shrink)

I discuss what I call practical Moore sentences: sentences like ‘You must close your door, but I don’t know whether you will’, which combine an order together with an avowal of agnosticism about whether the order will be obeyed. I show that practical Moore sentences are generally infelicitous. But this infelicity is surprising: it seems like there should be nothing wrong with giving someone an order while acknowledging that you do not know whether it will obeyed. I suggest that this (...) infelicity points to a striking psychological fact, with potentially broad ramifications concerning the structure of norms of speech acts: namely, when giving an order, we must act as if we believe we will be obeyed. (shrink)

A growing consensus in the literature on agentive modals has it that ability modals like ‘can’ or ‘able to’ have a _dual_, i.e. interpretations of ‘must’ or ‘cannot but’ which stand to _necessity_ as ability stands to _possibility_. We argue that this thesis (which we call ‘Agentive Duality’) is much more controversial than meets the eye. While Agentive Duality follows from the orthodox possibility analysis of ability given natural assumptions, it sits uneasily with a wide range of alternative proposals which (...) are unified by the idea that ability requires _control_. In particular, we show that against the background of a control requirement on ability, Agentive Duality can be used to derive absurd predictions featuring this dual. Far from being a purely definitional thesis, Agentive Duality thus affords a new lens through which to assess the long-standing debate between possibility analyses of ability and their discontents. (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)

What are rules? In this paper I develop a view of regulative rules which takes them to be a distinctive normative kind occupying a middle ground between orders and normative truths. The paradigmatic cases of regulative rules that I’m interested in are social rules like rules of etiquette and legal rules like traffic rules. On the view I’ll propose, a rule is a general normative content that is in force due to human activity: enactment by an authority or acceptance by (...) a community. Rules are unlike orders in being not necessarily communicative, not an expression’s of the giver’s will, not evaluable for sincerity, and in that they have propositional content. And they’re unlike normative truths in that they’re themselves not even truth-evaluable (though their contents are). This is because rules qua things that are in force are not like constatives which have a mind to world direction of fit, but more like performatives. Furthermore, they differ from normative truths in that their normativity is isolated from their background justification and is therefore not dependent on contributory notions like reasons coming together in a weighing explanation. As such, they occupy a middle ground between orders and normative truths, much like in H. L. A. Hart’s opinion law occupies a middle ground between “coercion” and “morality” (Hart 1961/1994). I also illustrate the virtues of this understanding of rules by showing how proper appreciation of how they differ from normative truths helps us defuse a common objection to Hart’s practice theory of rules. (shrink)

‘Fred must open the door’ concerns Fred’s obligations. This obligative meaning is turned off by adding aspect: ‘Fred must have opened/be opening/have been opening the door’ are one and all epistemic. Why? In a nutshell: obligative ’must’ operates on procedural contents of imperative sentences, epistemic ‘must’ on propositional contents of declarative sentences; and adding aspect converts procedural into propositional content.

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a circumstantial modal (...) base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2016 encouraged a special focus on the topic "Reasons, Argumentation and Justification.".

Ethical theorists often assume that the verb ‘ought’ means roughly ‘has an obligation’; however, this assumption is belied by the diversity of ‘flavours’ of ought-sentences in English. A natural response is that ‘ought’ is ambiguous. However, this response is incompatible with the standard treatment of ‘ought’ by theoretical semanticists, who classify ‘ought’ as a member of the family of modal verbs, which are treated uniformly as operators. To many ethical theorists, however, this popular treatment in linguistics seems to elide an (...) important distinction between agential and non-agential ought-statements. The thought is that ‘ought’ must have at least two senses, one implicating agency and connected to obligations, and another covering other uses. In this paper, I pursue some resolution of this tension between semantic theory and ethical theory with respect to the meaning of ‘ought’. To this end, I consider what I believe to be the most linguistically sophisticated argument for the view that the word ‘ought’ is ambiguous between agential and non-agential senses. This argument, due to Mark Schroeder, is instructive but based on a false claim about the syntax of agential ought-sentences—or so I attempt to show by first situating Schroeder's argument in its proper linguistic background and then discussing some syntactic evidence that he fails to appreciate. Then, I use the failure of this argument to motivate some more general reflections on how the standard treatment of ‘ought’ by theoretical semanticists might be refined in the light of the distinction important to ethical theory between agential and non-agential ought-statements, but also on how ethical theory might benefit from more careful study of the dominant treatment of modals as operators in theoretical semantics. (shrink)

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A comprehensive solution (...) requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena. (shrink)

In the accounts we give of one another, claims about our abilities appear to be indispensable. Some abilities are so widespread that many who have them take them for granted, such as the ability to walk, or to write one's name, or to tell a hawk from a handsaw. Others are comparatively rare and notable, such as the ability to hit a Major League fastball, or to compose a symphony, or to tell an elm from a beech. In either case, (...) however, when we ascribe such abilities to one another we have the impression that we are making claims that, whether they are worth saying or not, are at least sometimes true. The impression of truth exerts a pressure towards giving a philosophical theory of ability. It is not an option, at least at the outset, to dismiss all our talk of ability as fiction or outright falsehood. A theory of ability can be reasonably expected to say what it is to have an ability in a way that vindicates the appearance of truth. Such a theory will deserve the name “philosophical” insofar as it gives an account, not of this or that range of abilities, but of abilities generally. (shrink)

Consistent Agglomeration says that, when φ and ψ are consistent, ⌜ought φ ⌝ and ⌜ought ψ⌝ entail ⌜ought (φ ∧ ψ)⌝; I argue this principle is valid for deontic, but not epistemic oughts. I argue no existing theory predicts these data and give a new semantics and pragmatics for ought: ought is an existential quantifier over the best partial answers to some background question; and presupposes that those best partial answers are pairwise consistent. In conjunction with a plausible assumption about (...) the difference between deontic and epistemic orderings, this semantics validates Agglomeration for deontics but not epistemics. (shrink)

We spend a good deal of time thinking about how and when to advise others, and how to respond to other people advising us. However, philosophical discussions of the nature and norms advising have been scattered and somewhat disconnected. The most focused discussion has come from philosophers of language interested in whether advising is a kind of assertive or directive kind of speech act. This paper argues that the ordinary category of advising is much more heterogenous than has been appreciated: (...) it is possible to advise by asserting relevant facts, by issuing directives, and by asking questions and other kinds of adviceless advising. The heterogeneity of advising makes speech act-theoretic accounts of advising look like accounts of special cases, and motivates us to look elsewhere for an account of what advising is. I suggest that we think about advising as a distinctive species of joint practical thinking—which I will call collaborative deliberation—and show how our need for a concept to pick out this kind of joint activity emerges from our practical needs as deliberators. This view helps to shed light on a number of puzzling features of advising and offers some guidance to be better at advising and at being advised. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

Moral language displays a characteristic duality. On the one hand, moral claims seem to be similar to descriptive claims: To say that an act is right seems to be a matter of making an assertion, thus indicating that the speaker has a moral belief about which she can be correct or mistaken. On the other hand, moral claims seem to be different from descriptive claims: There is a sense in which, by claiming that an act is right, a speaker indicates (...) that she is inclined to perform the act, to want others to perform it, and to react with praise towards those who do it. Hybrid theories maintain that utterances of moral sentences have both a descriptive and a practical linguistic function. In this thesis, I investigate how a hybrid theory can best accommodate the descriptive and the practical aspects of moral language. I evaluate and criticize the way that existing hybrid theories have proposed to explain the duality of moral language. The main arguments against these views are that they either: fail to accommodate the way that the practical or attitudinal import of moral claims vary across different contexts and linguistic environments; or that they fail to show how the practical or attitudinal import is reliably inferred by interlocutors in virtue of general communicative principles. I develop and defend a new hybrid theory called ‘dynamic descriptivism’. This theory accommodates the duality of moral language by appeal to the way that moral utterances affect a dimension of communication which consists of the shared assumptions that interlocutors mutually assume to mutually accept. Moreover, I discuss a problem which has affected a wide range of theories of moral language – including existing hybrid theories – which is the problem of explaining what it is that interlocutors disagree about when they disagree about matters of morality. I argue that that dynamic descriptivism offers new resources for solving this problem. (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)

A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part of the (...) story showcases two bonus applications of the framework suggested here: it offers a response to Forrester's gentle murder paradox and avoids Kolodny and MacFarlane's miners paradox about deontic reasoning under epistemic uncertainty. A comparison between the dynamic semantic proposal made in this paper and a more conservative approach combining a static semantics with a dynamic pragmatics is provided. (shrink)

Imperatives are linguistic devices used by an authority (speaker) to express wishes, requests, commands, orders, instructions, and suggestions to a subject (addressee). This essay's goal is to tentatively address some of the following questions about the imperative. -/- METASEMANTIC. What is the menu of options for understanding fundamental semantic notions like satisfaction, truth-conditions, validity, and entailment in the context of imperatives? Are there good imperative arguments, and, if so, how are they to be characterized? What are the options for understanding (...) the property that an account of good imperative arguments is supposed to track? What constraints on a semantic analysis of the imperative do different positions on the metasemantic issues impose? -/- SEMANTIC. How might we implement metasemantic postures in a rigorous formal system? How much can we do using familiar tools from deontic modal logic? How much leverage over semantic questions can we gain by introducing tools from natural language semantics—ordering sources, dyadic modal operators, salient alternatives, and the like—into a formal semantics for an imperative object language? How much leverage can we gain by introducing tools from rather less-utilized areas of modal logic—devices for representing actions and planning in time, modal operators constructed from action-terms, and the like—into the analysis? -/- DYNAMIC. How do imperatives succeed in performing the speech acts they are used to perform? How do imperatives update discourses? How can we leverage an account of imperative discourse update in giving a dynamic semantics for the imperative? Is there anything about the imperative that demands a dynamic semantic treatment? (shrink)

'Post this letter!' does not entail 'Post this letter or drink up my wine!' (the Ross Paradox) because one can be in a state with the content of the former without being in a state with the content of the latter; in turn, because the latter can rationalize drinking up my wine but the former cannot; in turn, because practical rationalization flows toward one's present situation, in contrast with the flow of theoretical rationalization from one's present situation. Formally, this is (...) implemented with a semantics for imperatives involving a partition to set up an issue of significance and a proposition to establish how to settle it. I characterize a series of languages and language-games to implement all this, and appeal to an 'endorsement-theoretic' conception of modals as quantifiers over mental states to explain why 'You must post this letter' does not entail 'You must either post this letter or drink up my wine'. (shrink)