Nihilism, Nietzsche and the Doppelganger Problem Was Nietzsche a nihilist? Yes, because, like J. L. Mackie, he was an error-theorist about morality, including the elitist morality to which he himself subscribed. But he was variously a diagnostician, an opponent and a survivor of certain other kinds of nihilism. Schacht argues that Nietzsche cannot have been an error theorist, since meta-ethical nihilism is inconsistent with the moral commitment that Nietzsche displayed. Schacht’s exegetical argument parallels the substantive argument (advocated in recent years (...) by Wright and Blackburn) that Mackie’s error theory can’t be true because if it were, we would have to give up morality or give up moralizing. I answer this argument with a little bit of help from Nietzsche. I then pose a problem, the Doppelganger Problem, for the meta-ethical nihilism that I attribute to Mackie and Nietzsche. (If A is a moral proposition then not-A is a moral proposition: hence not all moral propositions can be false.) I solve the problem by reformulating the error theory and also deal with a variant of the problem, the Reinforced Doppelganger, glancing at a famous paper of Ronald Dworkin’s. Thus, whatever its demerits, the error theory, is not self-refuting, nor does it require us to give up morality. (shrink)

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)

Are there good arguments from Is to Ought? Toomas Karmo has claimed that there are trivially valid arguments from Is to Ought, but no sound ones. I call into question some key elements of Karmo’s argument for the “logical autonomy of ethics”, and show that attempts to use it as part of an overall case for moral skepticism would be self-defeating.

Since the time of Hume, many philosophers have thought it impossible to deduce an ‘Ought’ from an ‘Is,’ or in general to deduce ‘ethical sentences’ from purely ‘factual sentences.’ This is the thesis of the logical autonomy of ethics. I consider a more recent argument by Toomas Karmo in support of the autonomism, but show its limitations in the context of justification skepticism about ethics.

According to global skepticism, we know nothing. According to local skepticism, we know nothing in some particular area or domain of discourse. Unlike their global counterparts, local skeptics think they can contain our invincible ignorance within limited bounds. I argue that they are mistaken. Local skepticism, particularly the kinds that most often get defended, cannot stay local: if there are domains whose truths we cannot know, then there must be claims outside those domains that we cannot know even if they (...) are true. My argument focuses on one popular form of local skepticism, ethical skepticism, but I believe that the argument generalizes to cover other forms as well. (shrink)

In a dense and fascinating article of some ten years ago, Toomas Karmo adds his voice to the chorus of philosophers who deny the possibility of soundly deriving ‘ought’ from ‘is.’ According to Karmo, no derivation containing an ethical conclusion and only non-ethical premises can possibly be sound, where ‘sound’ describes a deductively valid derivation all of whose premises are true. He also suggests that the only valid derivations of ‘ought’ from ‘is’ will be trivial ones. His argument has, to (...) my knowledge, gone unrebutted; on the contrary, it has won recent endorsements, some philosophers evidently believing that he has finally put to rest the issue of the logical autonomy of ethics. Against that trend, I intend to rebut his argument, both by falsifying the taxonomy on which his argument relies and by offering a nontrivial and potentially sound ‘is’-‘ought’ derivation of my own. (shrink)

In a dense and fascinating article of some ten years ago, Toomas Karmo adds his voice to the chorus of philosophers who deny the possibility of soundly deriving ‘ought’ from ‘is.’ According to Karmo, no derivation containing an ethical conclusion and only non-ethical premises can possibly be sound, where ‘sound’ describes a deductively valid derivation all of whose premises are true. He also suggests that the only valid derivations of ‘ought’ from ‘is’ will be trivial ones. His argument has, to (...) my knowledge, gone unrebutted; on the contrary, it has won recent endorsements, some philosophers evidently believing that he has finally put to rest the issue of the logical autonomy of ethics. Against that trend, I intend to rebut his argument, both by falsifying the taxonomy on which his argument relies and by offering a nontrivial and potentially sound ‘is’-‘ought’ derivation of my own. (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)

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)