1990, Sophia
A cardinal principle of prescriptivism is that no indicative can be validly derived from a set of imperatives. More correctly: 'No indicative conclusion can be validly drawn from a set of premises which cannot be drawn from the indicatives among them alone'. 1 (Hare (l952) p. 28.) This is rule 1) of R.M. Hare's logic of imperatives; rule 2) being Hare's variant of Hume's Law-No-Imperative-from-a-set-of-Indicatives. Yet here we confront an antinomy in Hare's thought. For he also believes in Ought-Implies-Can. And since Oughts approximate imperatives whilst Cans are indicatives, this appears to contradict the No-Ind-from-Imp principle. What's more, Hare bases Ought-Implies-Can on the prescriptive or imperative nature of Ought. (It is not the descriptive component of Ought-Judgements that justifies the Can.) 2 The argument is roughly this. Moral judgements are akin to orders, and orders and Oughts are both answers to practical questions; 'What shall I do?' and 'What ought I to do?' respectively. Where the agent cannot do the thing in question (or even when she is bound to do it) the practical question 'does not arise'. An Ought or an order would be out of place. To put it another way, if I tell you to do something when you obviously can't, this is rather pointless. Hence both 'Do X!', and 'You Ought to do X', imply that you can. (Hare (l963) ch. 4.) Note that this is an implication. Perhaps this offers a way out of the apparent contradiction. We can distinguish between two theses: a) that imperatives cannot entail indicatives, and b) that imperatives cannot imply indicatives. The first could be true and the second false. And it is indeed the case that Hare considers the relation between Oughts and Cans (and between orders and Cans) to be weaker than that of entailment. So what is this notion of implication? It is analogous to the relation that Strawson 3 discerns 2 between the 'King of France is wise' and 'The King of France exists'. (Hare (l963) pp 52-4.) If it is true that the King of France is wise, he exists. But if it is false that he exists, it is not false that he is wise. Rather, the supposition lacks truth value: 'the question does not arise'. But we have a problem applying this to Oughts and orders. For neither of these can be true or false anyway, at least as regards their prescriptive part. And it is the prescriptive part of Ought that is supposed to generate the implication. So I suggest we concoct a concept of validity for commands (both Oughts and orders), meaning what an informed and consistent prescriber would stand by. (These are the only constraints I wish to impose on the prescriber. She may, for instance, be a moral monster.) Using this notion we shall see if we can construct a relation, analogous to Strawsonian implication, holding between commands and Cans. At first sight, it looks as if this can be done. If Hare's argument is right, 'You ought to do X', implies 'You can do X', since if the first is valid (something an informed and consistent prescriber would stand by), the second is true (otherwise she wouldn't stand by the Ought). And if you can't do X, the question of whether you ought does not arise. So far, so good. But when we ask whether the Ought would be invalid or neither valid nor invalid, the analogy breaks down. If Hare's argument is correct, this is not an Ought a rational prescriber would stand by. So far as she is concerned if you can't do X, it will not be the case that you ought to do it. The Ought is thus invalid, which makes the relation much closer to entailment. My suspicion is that Hare failed to see this because he thought the negation of 'You ought to do X', was 'You ought not to do X', rather than it is not the case that you ought. 4 But he is not very sensitive to the ordering of operators. We can reinforce this point in terms of Hare's own philosophy of logic. Hare's metalogic (like Hume's moral theory) relies on sentiment; not a sentiment of approbation, but of logical incomprehension. 5 We are confronted with a collection of offbeat utterances, and logical incomprehension ensues. This sentiment is a very useful one. It allows Hare, for instance, to define entailment relations between commands without an imperative analogue to truth-conditions. We need not look to compliance conditions to