My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

A.N. Prior once showed that on certain apparently reasonable assumptions, a thesis sometimes associated with the name of Hume to the effect that no set of factual statements can ever entail an evaluative statement, is quite untenable. We assume only that there is at least one statement of each kind, and that the negation of a factual statement is factual — a principle we may call ‘N'. Now consider the disjunction F V E of some factual with some evaluative statement. (...) Since the disjunction is entailed by F, a factual statement, it must, if principle H is correct, be classified as factual. But by N, ∽ F is also factual, and this together with F V E entails E, thus violating H since E was exhypothesi an evaluative statement. (shrink)

ARGUMENT ABOUT whether in any significant sense we can derive an ought from an is has been persistent and intractable. Fifteen to twenty years ago it was orthodoxy in analytical philosophical circles to claim that for all their other differences Hume and Moore were right in agreeing that in no significant sense can we derive an ought from an is. At present there is no orthodoxy or even anything like a dominant view and, given our current understanding of how language (...) works and our understanding of moral and ideological discourse, we could not possibly reasonably remain content with old orthodoxies or take the question to be as straightforward as it was often thought to be. (shrink)