In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, (...) which are then enlisted in explanations of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (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)

Truth is undefined for imperative statements. However, if imperatives implicitly reference a fact, they can be rephrased as truth­-valuable declaratives explicitly referencing that fact. But are there such facts? Kenny held that any imperative references a set of wishes held by its imperator. I extend his thesis by proposing that imperator wishes are facts implicitly referenced by imperatives and explicitly referencing them yields semantically isomorphic declaratives. I implement this thesis with modal operators for wants and cause with which (...) declarative schemata are formed to automate translation of imperatives into semantically isomorphic declaratives called proxy-­imperatives. The proxy-­imperatives match imperative behavior and provide semantic validation of imperative arguments thereby integrating imperative reasoning into classic truth­-valuable logic. (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)

Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs. In this paper we describe a logical counterpart to this extension, in which proofs denote such strategies. The system is expressive: it contains all of the connectives of Intuitionistic Linear Logic, and first-order quantification. Use of Lairdʼs sequoid operator allows proofs with imperative behaviour to be expressed. Thus, we can embed (...) first-order Intuitionistic Linear Logic into this system, Polarized Linear Logic, and an imperative total programming language.The proof system has a tight connection with a simple game model, where games are forests of plays. Formulas are modelled as games, and proofs as history-sensitive winning strategies. We provide a strong full completeness result with respect to this model: each finitary strategy is the denotation of a unique analytic proof. Infinite strategies correspond to analytic proofs that are infinitely deep. Thus, we can normalise proofs, via the semantics. (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)

I extend the previously given truth-maker semantics and logic for imperatives to deontic statements.

This paper provides evidence for an ambiguity of bare VPs in the English conditional conjunction construction. This ambiguity, undetected by previous researchers, provides a key to the development of a compositional semantic analysis of conditional conjunction with imperative first conjuncts. The analysis combines existing semantic theories of imperatives, the future tense, modal subordination, and speech act conjunction to yield the correct semantics without further stipulation.

Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the (...) context of normative conflicts. (shrink)

The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in Lemmon's (1965) (...) system of "change logic", using his idea on connection between logic of orders being in force and deontic logic. The answer is the negative one. Next, the connection between Lemmon's imperative logic and deontic logic given in Aqvist's paper - "Next" and "Ought" (1965) - is analyzed. Than, the Lemmon's treatment of imperatives is restricted to the natural language imperatives and Aqvist's way of connecting imperative and deontic logic is modified accordingly. Some principles for the natural language imperatives are established (the negation rule ; the law of contraposition for imperative conditionals) and a simple "global" semantics is developed. The notion of "opposite action" is introduced and it is given an important role in semantics. Finally, a solution for von Wright's problem is given. In the closing sections some further topics for investigation are hinted: one of them being the connection between Aqvist's epistemic- imperative conception of interrogatives and "epistemic obligations", the other being formalization of the idea that imperatives create and re-create obligation patterns that can be described in deontic terms. (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)

This article begins by distinguishing force and mood. Then it lays out desiderata on a successful account. It sketches as background the program of truth-theoretic semantics. Next, it surveys assimilation approaches and argues that they are inadequate. Then it shows how the fulfillment-conditional approach can be applied to imperatives, interrogatives, molecular sentences containing them, and quantification into mood markers. Next, it considers briefly the recent set of propositions approach to the semantics of interrogatives and exclamatives. Finally, it (...) shows how to integrate exclamatives and optatives into a framework similar to the fulfillment approach. (shrink)

Imperatives may be interpreted with many subvarieties of directive force, for example as orders, invitations, or pieces of advice. I argue that the range of meanings that imperatives can convey should be identified with the variety of interpretations that are possible for non-dynamic root modals (what I call ‘priority modals’), including deontic, bouletic, and teleological readings. This paper presents an analysis of the relationship between imperatives and priority modals in discourse which asserts that, just as declaratives contribute (...) to the Common Ground and thus provide information relevant to the interpretation of epistemic modals in subsequent discourse, imperatives contribute to another component of the discourse context, the addressee’s To-Do List, which serves as a contextual resource for the interpretation of priority modals. This analysis predicts that the interpretation of imperatives and modals in discourse is constrained in surprising ways; these predictions are borne out. (shrink)

We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (...) (but against a quantificational treatment) are mustered, and we propose a novel analysis of update on conditional imperatives (and an independently motivated revision of the standard ordering-semantics for root modals that makes use of it). Finally, we argue that imperative force is embeddable under an operation much like dynamic conjunction. (shrink)

This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it (...) is neutral regarding cognitivism about imperatives. (shrink)

The interrelated logical concepts of validity, entailment, and consequence are all standardly defined in terms of truth preservation. However, imperative sentences can stand in these relations, but they are not truth-apt. This puzzle can be understood as an inconsistent triad: T1 Imperatives can be the relata of the consequence relation. T2 Imperatives are not truth-apt. T3 The relata of the consequence relation must be truth-apt. These three claims cannot all be true. So, to solve the problem of imperative (...) consequence we must reject one of the three claims. Solutions can be categorised into three types: those that reject T1, those that reject T2, and those that reject T3. In this thesis, I first outline and motivate each of these three claims. I then consider, in turn, theories of imperative logic and semantics, all of which fall into one of the three types of solution. I consider and reject two versions of solution type 1, the type that rejects T1. These versions argue that it is impossible for imperatives to stand in logical relations, and attempt to provide alternative explanations for what's happening when it seems like they are doing so. I then consider and reject several versions of solution type 2, the type that rejects T2. These theories claim that, despite appearances based on surface grammar, imperatives are disguised declaratives and thus truth-apt. Each theory proposes a translation schema-- it outlines the truth-conditions for imperatives. Next, I outline several versions of solution type 3, the type that rejects T3. These theories aim to develop a formal account of imperative logic. I reject each of these theories in turn, and finally propose a solution that avoids the problems I raise with the other theories. (shrink)

Disjoint imperative sentences like ( Nimm die ) Hände hoch, oder ich schiesse! , literally ( take your ) hands up, or I’ll shoot! intuitively present the addressee with all her alternatives for action. The speaker informs that all future worlds, as far as the speaker can forsee, are such that the addressee raises her hands or gets killed. I propose a semantic/pragmatic analysis for sentences in the imperative mood that adopts this exhausitve description of future alternatives as a semantic (...) backbone. Different contextual instantiations of alternatives capture a wide range of uses of sentences in imperative mood, as well as coordinations of imperative and declarative sentences, in a uniform way. (shrink)

This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...) context of this proposal. (shrink)

Like many languages, Korean has a special form of negation that is used in imperative clauses (see (1)c), to the exclusion of the usual clausal negation in (1)b: (1) a. ka-la b. *ka-ci anh-ala c. ka-ci mal-ala go-Imp go-Comp Neg-Imp go-Comp Neg-Imp ‘Don’t go!’ ‘Don’t go!’ ‘Go!’ Sadock and Zwicky (1985) noted that negation in imperative(-like) clauses shows special morpho-syntax in many languages, a fact documented in more detail by Zanuttini (1997) or Han (2000). In this paper I will consider (...) the semantic properties of Korean clauses that use the negative form mal-, and suggest a more indirect relationship to the morpho-syntax than has been assumed in previous work.∗ In section 2 I present the basic account of clausal semantics in the HPSG framework of Ginzburg and Sag (2000), and then in section 3 I return to a fuller consideration of data like that in (1). (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)

Throughout his work, from the logic which first brought him to prominence, through Our Social Inheritance, to the last book he lived to see through the press, Lewis was concerned with what he calls "the whole question of validity at large... the relation between valid knowing and justified self-direction of our activities." Lange, who was Lewis' student, has selected several lectures and papers from the last years of Lewis' life. Because Lewis had been working toward a major statement on ethics, (...) these ten late essays are all on ethical themes. Because Lewis was a constructive, systematic philosopher, his ethical position is grounded in his logic, metaphysics, and epistemology. For example, Lewis characterizes 'truth' as a semantic word designating a relation between the conception in question and existant actuality, NOT a relation between the conception and the evidence. Only two of these papers have already appeared in print; the rest were delivered as public lectures. Some were deliberately not published while he still hoped to improve on them. Acknowledging this is probably only fair to Lewis, but it is not the whole story. Over the years, Lewis has delineated the spheres of the valid, the right, the good, and the imperative, and has worked on capturing the relations between the right and the good, the valid and the imperative, the rational, the consistent and the normative. These papers contain new insights as well as older insights elegantly polished.--M. B. M. (shrink)

I apply truthmaker semantics to the logic of conditional imperatives.

The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close parallels with the machinery of other programming paradigms. Nonetheless, much of the work on logic programming semantics seems to exist side by side with similar work done for imperative and functional programming, with relatively minimal (...) contact between communities. In this paper we summarize one variety of approaches to the semantics of logic programs: that based on fixpoint theory. We do not attempt to cover much beyond this single area, which is already remarkably fruitful. We hope readers will see parallels with, and the divergences from the better known fixpoint treatments developed for other programming methodologies. (shrink)

I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which (...) the cognitive act of updating on a typed sentence plays a central role in theorizing about both its semantics and role in discourse. (shrink)

The most important problem is philosophical deontic logic is to determine the logical form of expressions of conditional obligation. The dissertation shows first that this problem is closely related to David Lewis's well-known "problem about permission"--a problem concerning the characterization of changes in normative systems. The dissertation contains a solution to the problem about permission, as well as an argument that expressions of conditional obligation cannot be represented satisfactorily by means of some combination of monadic deontic operators and a counterfactual (...) conditional . ;Lewis formulates the problem about permission in terms of a language game for imperative and permission sentences. In order to solve the problem it is necessary first to point out the shortcoming in Lewis's game that it cannot be used satisfactorily to provide semantics for "contrary to duty" imperatives. Having revised the game it is possible to define the concept of relative defeasibility between imperatives. It is in terms of this concept that a solution to the problem about permission is formulated. ;The "revised game" is used as well to discuss problems concerning reasoning from sets of rules, principles, and facts to "all things considered" conclusions. It is argued that two distinct senses or uses of 'ought' must be distinguished in order to represent such reasoning satisfactorily. The role of the notion ceteris paribus is discussed. The notion is given a precise definition in terms of the possible worlds semantics of the "revised game" and it is argued that the notion is not as significant in normative reasoning as commonly is supposed. An alternative notion is defined and defended. (shrink)

I argue that Judith Jarvis Thomson's attack on consequentialism, premised on the semantic claim that all goodness is goodness-in-a-way, is less powerful and less precisely targeted than she supposes. For we can develop an argument against pure obligation or categorical imperatives that is largely parallel to Thomson's argument against pure goodness. The right response to both arguments is that the existence of pure goodness or pure obligation is neither semantically rule out nor semantically guaranteed.

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our (...) deeply entrenched and tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)

When a conflict of duties arises, a resolution is often sought by use of an ordering of priority or importance. This paper examines how such a conflict resolution works, compares mechanisms that have been proposed in the literature, and gives preference to one developed by Brewka and Nebel. I distinguish between two cases – that some conflicts may remain unresolved, and that a priority ordering can be determined that resolves all – and provide semantics and axiomatic systems for accordingly (...) defined dyadic deontic operators. (shrink)

The usual conception of transcendence is as the success of a process or practice of mediation, meditation, transmutation, salvation, supplication, application or implication. Blanchot's unusual transcendence escapes the inevitable ruin of such achievements by arriving in the form of the failure of immanence. Although it is impossible to describe that failure explicitly, it can be approached apophatically. Following an impossible imperative to see the whole, immanence generates inadvertent transcendence “thus exposing the essential ambiguity of transcendence and the impossibility that this (...) ambiguity be measured according to truth or legitimacy.” ( Writing of the Disaster p.65). The demanding process of bringing enough ambiguity into play in order to elucidate the failure of immanence and demonstrate a glimpse of an unavowable transcendence shall be undertaken through an assemblage of fragments from The Writing of the Disaster , interpreted as instructions for constructing and interrogating a temporary singularity. (shrink)

We model the conventional meaning of utterances that combine two distinct clause types: a (positive) declarative or imperative (in rare cases, interrogative) anchor and a (negative) interrogative tag, such as won’t you?. We argue that such utterances express a single speech act, and in fact, a single conventional update of the conversational scoreboard. The proposed model of this effect is a straightforward extension of prior proposals for the semantics of declaratives, imperatives, and preposed-negation interrogatives. Ours is the first (...) unified account of these phenomena that addresses the sentential force of these utterances and outlines how the speech act effects arise from the scoreboard update and contextual factors. We enrich the conversational scoreboard, interpreted as a model of sentential force, to include graded commitments and non-at-issue meanings. A consequence of our model is that modified utterances can create “blended” speech acts which share some, but not all, properties with the unmodified utterances. The proposal has implications for models of other utterance modifiers, as well as for negative interrogatives and negation in general, and for imperative/jussive constructions. (shrink)

Assertoric sentences are sentences which admit of truth or falsity. Non-assertoric sentences, imperatives and interrogatives, have long been a source of difficulty for the view that a theory of truth for a natural language can serve as the core of a theory of meaning. The trouble for truth-theoretic semantics posed by non-assertoric sentences is that, prima facie, it does not make sense to say that imperatives, such as 'Cut your hair', or interrogatives such as 'What time is (...) it?', are truth or false. Thus, the vehicle for giving the meaning of a sentence by using an interpretive truth theory, the T-sentence, is apparently unavailable for non-assertoric sentences. This paper shows how to incorporate non-assertoric sentences into a theory of meaning that gives central place to an interpretive truth theory for the language, without, however, reducing the non-assertorics to assertorics, or treating their utterances as semantically equivalent to one or more utterances of assertoric sentences. Four proposals for how to incorporate non-assertoric sentences into a broadly truth-theoretic semantics are reviewed. The proposals fall into two classes, those that attempt to explain the meaning of non-assertoric sentences solely by appeal to truth conditions, and those that attempt to explain the meaning of non-assertroic sentences by appeal to compliance conditions, which can be treated as one variety of fulfillment conditions for sentences of which truth conditions are another variety. The paper argues that none of the extant approaches is successful, but develops a version of the generalized fulfillment approach which avoids the difficulties of previous approaches and still exhibits a truth theory as the central component of a compositional meaning theory for all sentences of natural language. (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)

Research in formal theoretical semantics has recently expanded its scope to include gestural communication, focusing in particular on gestures that contribute to the content of an accompanying utterance, e.g., size gestures (LARGE, WIDE), pointing gestures, and gestures that depict objects (TELESCOPE) or actions (SLAP). At the same time, fruitful inquiries at the intersection of primatology and linguistics have given rise to the hypothesis that human and non-human great apes share a common set of directive (=imperative) gestures. Directive gestures such (...) as STOP or COME-CLOSER, pose non-trivial issues for a semantic analysis: we inherit the challenges that pertain to the analysis of imperative utterances (Come closer!), while adding a further challenge that stems from the underspecified mapping between a directive body movement and its potential counterparts in human language. We begin by outlining the problem and surveying the nascent state-of-the-art with regards to a formal semantics of directive gestures. Particular attention is given to the multifunctionality of directive gestures, which typically have different effects in different contexts; for example, a non-human ape gesture may communicate "Stop that" in some contexts and "Move away" in others, with similar patterns found in humans. We show that this multifunctionality can be derived from a single, rich abstract lexical entry, "Not…!", a candidate for a universal building block of meaning, shared by human and non-human great apes. "Not…!", which incorporates negation/rejection, temporal reference and presuppositionality is more explanatory in comparison to a minimal alternative. This chapter lays out the hypothesis space, addressing the foundational question of how to explain attested gestural overlap between human and non-human great apes. We conclude the chapter by reviewing potential expansions of the analysis to the pragmatic gestures of humans, which are thus placed on the primate gestural meaning continuum and connected to the directive gestures we share with our non-human relatives in the great ape family. (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)

An argument is usually said to be valid iff it is truth-preserving—iff it cannot be that all its premises are true and its conclusion false. But imperatives (it is normally thought) are not truth-apt. They are not in the business of saying how the world is, and therefore cannot either succeed or fail in doing so. To solve this problem, we need to find a new criterion of validity, and I aim to propose such a criterion.

I resolve the major challenge to an Expressivist theory of the meaning of normative discourse: the Frege–Geach Problem. Drawing on considerations from the semantics of directive language (e.g., imperatives), I argue that, although certain forms of Expressivism (like Gibbard’s) do run into at least one version of the Problem, it is reasonably clear that there is a version of Expressivism that does not.

I show how, contrary to recent claims, so-called embedded imperatives are better analyzed in terms of mixed quotation. To this end I extend the presuppositional analysis of mixed quotation to include quotations of constructions.