Several authors have recently studied Aristotelian diagrams for various metatheoretical notions from logic, such as tautology, satisfiability, and the Aristotelian relations themselves. However, all these metalogical Aristotelian diagrams focus on the semantic (model-theoretical) perspective on logical consequence, thus ignoring the complementary, and equally important, syntactic (proof-theoretical) perspective. In this paper, I propose an explanation for this discrepancy, by arguing that the metalogical square of opposition for semantic consequence exhibits a natural analogy to the well-known square of opposition for the categorical (...) statements from syllogistics, but that this analogy breaks down once we move from semantic to syntactic consequence. I then show that despite this difficulty, one can indeed construct metalogical Aristotelian diagrams from a syntactic perspective, which have their own, equally elegant characterization in terms of the categorical statements. Finally, I construct several metalogical Aristotelian diagrams that incorporate both semantic and syntactic consequence (and their interaction), and study how they are influenced by the underlying logical system’s soundness and/or completeness. All of this provides further support for the methodological/heuristic perspective on Aristotelian diagrams, which holds that the main use of these diagrams lies in facilitating analogies and comparisons between prima facie unrelated domains of investigation. (shrink)

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.

This article surveys a range of current views on the semantics of imperatives, presenting them as more or less conservative with respect to the Truth-Conditional Paradigm in semantics. It describes and critiques views at either extreme of this spectrum: accounts on which the meaning of an imperative is a modal truth-condition, as well as various accounts that attempt to explain imperative meaning without making use of truth-conditions. It briefly describes and encourages further work on a family of views lying somewhere (...) in the middle. On such views, an imperative will semantically determine, without having as its meaning, a modal truth-condition, which figures centrally in accounting for various aspects of its meaning. (shrink)

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)

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)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...) cannot be true or false, so what does it mean to say that your inference is valid? It cannot mean that the truth of its premise guarantees the truth of its conclusion. One is thus faced with what is known as “Jørgensen’s dilemma” (Ross 1941: 55-6): it seems that imperative logic cannot exist because logic deals only with entities that, unlike imperatives, can be true or false, but it also seems that imperative logic must exist. It must exist not only because inferences with imperatives can be valid, but also because imperatives (like “Enter” and “Don’t enter”) can be inconsistent with each other, and also because one can apply logical operations to imperatives: “Don’t enter” is the negation of “Enter”, and “Sing or dance” is the disjunction of “Sing” and “Dance”. A standard reaction to this dilemma consists in basing imperative logic on analogues of truth and falsity. For example, the imperative “Don’t enter” is satisfied if you don’t enter and is violated if you enter, and one might say that an inference from an imperative premise to an imperative conclusion is valid exactly if the satisfaction (rather than the truth) of the premise guarantees the satisfaction of the conclusion. But before getting into the details, more needs to be said on what exactly imperatives are. (shrink)

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources (...) of classical logic. Among the contributions included in the volume, one chapter focuses on the “inferential preferential method”, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson’s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the role of logic in philosophy. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives (“you sinned shamelessly; so you sinned”), and pure imperative arguments, whose premises and conclusions are imperatives (“repent quickly; so repent”), there are mixed-premise arguments, whose premises include both imperatives and declaratives (“if you sinned, repent; you sinned; so repent”), and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives (“you must repent; so repent”) or vice versa (“repent; so you can repent”). I propose a general definition of argument (...) validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors the satisfaction over the violation of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives, and pure imperative arguments, whose premises and conclusions are imperatives, there are mixed-premise arguments, whose premises include both imperatives and declaratives, and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives or vice versa. I propose a general definition of argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors (...) the satisfaction over the violation proposition of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

Philosophers like G.H. von Wright and D. Makinson have pointed to serious challenges regarding the foundations of deontic logic. In this paper, I suggest that to deal successfully with these challenges a reconsideration of the research program of the discipline is useful. Some problems that have troubled this particular field of logical study for decades may disappear or appear more tractable if we view them from the perspective of a language game introduced by D. Lewis involving three characters: the Master, (...) the Slave and the Kibitzer. The adoption of this perspective opens a natural approach to a new layout of the domain of deontic studies. I propose dividing deontic logic into six sub-areas which are distinguished by their focus on the different idioms typical of the individual players, by conceiving the language game as either being static or as dynamic and by the aims of the logical inquiry. What kind of insights the proposed perspective provides is illustrated by an analysis of the so-called Ross paradox—a problem that has troubled deontic logic since its origins and, though it was many times pronounced solved, still keeps coming back ‘alive and kicking’. (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.

Epistemic and deontic comparatives differ in how they interact with disjunction. I argue that this difference provides a compelling empirical argument against the semantics of Kratzer, which predicts that all modal comparatives should interact with disjunction in the same way. Interestingly, an identical distinction is found in the semantics of non-modal adjectives: additive adjectives like ‘heavy’ behave logically like epistemic comparatives, and intermediate adjectives like ‘hot’ behave like deontic comparatives. I characterize this distinction formally and argue that the divergence between (...) epistemic and deontic modals explained if we structure their semantics around scalar concepts: epistemic modals should be analyzed using probability , and deontic modals using expected value. (shrink)

In a recent paper, Sven Danielsson argued that the ‘original paradoxes' of deontic logic, in particular Ross's paradox and Prior's paradox of derived obligation, can be solved by restricting the modal inheritance rule. I argue that this does not solve the paradoxes.

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)

This book presents a selection of theoretical and applied texts of Richard Hare, as well as an appendix which includes several fundamental studies for the understanding of the ethics of 20th century.

Imagine that Ann, asked to name her favorite treat, answers: 1. Licorice is tasty Imagine that Ben, having hidden some licorice in the cupboard, whispers to Ann: 2. There might be licorice in the cupboard. What if any role is played by perspective—whom the licorice is tasty to, whose evidence allows for licorice in the cupboard—in the semantics of such sentences?

Modern belief revision theory is based to a large extent on partial meet contraction that was introduced in the seminal article by Carlos Alchourrón, Peter Gärdenfors, and David Makinson that appeared in 1985. In the same year, Alchourrón and Makinson published a significantly different approach to the same problem, called safe contraction. Since then, safe contraction has received much less attention than partial meet contraction. The present paper summarizes the current state of knowledge on safe contraction, provides some new results (...) and offers a list of unsolved problems that are in need of investigation. (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)

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)

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)

A long encyclopedia entry, sketching his life, analysing his work.