Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (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)

This paper articulates an account of imperatives that sensibly supports the idea of a logic of imperative inferences. We rebuke common objections to the very possibility of such a logic, from a perspective based on recent linguistic work on the morphosyntax of imperatives. Specifically, we develop the notion that the content of an imperative sentence includes both a force operator alongside an imperational content to which the force applies. We further argue that this account of the content of imperatives constitutes (...) a plausible and flexible framework to develop a logic of imperative by examining a number of reconstructions of this idea using semantical analogs of widespread modal semantics. After studying the performance of those approaches, we conclude that progress in imperative logic has been hindered by the failure to adopt conflict-tolerant and resource-sensitive semantics, but suggest that such considerations can be incorporated in this flexible framework. Finally, we also propose a simple account of the difference between operators applying to the content of imperatives and imperative operators, in a way that sheds light on some of the issues underlying the usual antinomies. (shrink)

J.C. Beall and Greg Restall's Generalised Tarski Thesis is a generalisation of the seemingly diverse conceptions of logical consequence. However, even their apparently general account of consequence makes necessary truth-preservation a necessary condition. Sentences in the imperative mood pose a problem for any truth-preservationist account of consequence, because imperatives are not truth-apt but seem to be capable of standing in the relation of logical consequence. In this paper, I show that an imperative logic can be formulated that solves the problem (...) of imperative consequence by leading naturally to a further generalisation of the GTT. (shrink)