First-order normative theories concerning what’s right and wrong, good and bad, etc. and metanormative theories concerning the nature of first-order normative thought and talk are widely regarded as independent theoretical enterprises. This paper argues that several debates in metanormative theory involve views that have first-order normative implications, even as the implications in question may not be immediately recognizable as normative. I first make my claim more precise by outlining a general recipe for generating this result. I then apply this recipe (...) to three debates in metaethics: the modal status of basic normative principles, normative vagueness and indeterminacy, and the determination of reference for normative predicates. In each case I argue that certain views on each issue carry first-order normative commitments, in accordance with my recipe. (shrink)

This article argues that there can be epistemic dilemmas: situations in which one faces conflicting epistemic requirements with the result that whatever one does, one is doomed to do wrong from the epistemic point of view. Accepting this view, I argue, may enable us to solve several epistemological puzzles.

It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, is of (...) a general type arising for the use of model-theoretic structures in cashing out substantive philosophical claims: the question of whether an abstract model-theoretic structure successfully interprets something often involves taking a stand on non-trivial issues surrounding the thing. In the particular case of Hume’s dictum, given reasonable conceptual or metaphysical claims about the ethical, Singer’s and Russell and Restall’s accounts treat obviously ethical claims as descriptive and vice versa. Consequently, their model-theoretic characterizations of Hume’s dictum are not metaethically neutral. This encourages skepticism about whether model-theoretic machinery suffices to provide an illuminating distinction between the ethical and the descriptive. (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (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)

Standard dyadic deontic logic (as well as standard deontic logic) has recently come under attack by moral philosophers who maintain that the axioms of standard dyadic deontic logic are biased against moral theories which generate moral conflicts. Since moral theories which generate conflicts are at least logically tenable, it is argued, standard dyadic deontic logic should be modified so that the set of logically possible moral theories includes those which generate such conflicts. I argue that (1) there are only certain (...) types of moral conflicts which are interesting, and which have worried moral theorists, (2) the modification of standard dyadic deontic logic along the lines suggested by those who defend the possibility of moral conflicts makes possible only uninteresting types of moral conflicts, and (3) the general strategy of piecemeal modification standard dyadic deontic logic is misguided: the possibility of interesting moral conflicts cannot be achieved in that way. (shrink)

Abstractionists claim that the only bearers of intrinsic value are abstract, necessarily existing states of affairs. I argue that abstractionism cannot succeed. Though we can model concrete goods such as lives, projects, and outcomes with abstract states, conflating models of goods with the goods themselves has surprising and unattractive consequences. I suggest that concrete states of affairs or facts are the only bearers of intrinsic value. I show how this proposal can overcome the concerns lodged against abstractionism and, in the (...) process, reconnect us with the good. (shrink)

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

Though there have been productive interactions between moral philosophers and deontic logicians, there has also been a tradition of neglecting the insights that the fields can offer one another. The most sustained interactions between moral philosophers and deontic logicians have notbeen systematic but instead have been scattered across a number of distinct and often unrelated topics. This chapter primarily focuses on three topics. First, we discuss the “actualism/possibilism” debate which, very roughly, concerns the relevance of what one will do at (...) some future time to what one ought to do at present (§2). This topic is also used to introduce various modal deontic logics. Second we discuss the particularism debate which, very roughly, concerns whether there can be any systematic general theory of what we ought to do (§3). This topic is also used to introduce various non-modal deontic logics. Third, we discuss collective action problems which concern the connection between the obligations of individuals and the behavior and obligations of groups of individuals (§4).This topic is also used to discuss formal systems that allow us to study the relationship between individuals and groups. The chapter also contains a general discussion of the relation between ethical theory and deontic logic (§1) and a brief consideration of other miscellaneous topics (§5). (shrink)

I propose a unified solution to two puzzles: Ross's puzzle and free choice permission. I begin with a pair of cases from the decision theory literature illustrating the phenomenon of act dependence, where what an agent ought to do depends on what she does. The notion of permissibility distilled from these cases forms the basis for my analysis of 'may' and 'ought'. This framework is then combined with a generalization of the classical semantics for disjunction — equivalent to Boolean disjunction (...) on the diagonal, but with a different two-dimensional character — that explains the puzzling facts in terms of semantic consequence. (shrink)

A new possible world semantics for deontic logic is proposed. Its intuitive basis is that prohibitive predicates (such as "wrong" and "prohibited") have the property of negativity, i.e. that what is worse than something wrong is itself wrong. The logic of prohibitive predicates is built on this property and on preference logic. Prescriptive predicates are defined in terms of prohibitive predicates, according to the wellknown formula "ought" = "wrong that not". In this preference-based deontic logic (PDL), those theorems that give (...) rise to the paradoxes of standard deontic logic (SDL) are not obtained. (E.g., O(p & q) → Op & Oq and Op → O(p v q)) are theorems of SDL but not of PDL.) The more plausible theorems of SDL, however, can be derived in PDL. (shrink)

A fitting-attitude analysis which understands value in terms of reasons and pro- and con-attitudes allows limited wriggle room if it is to respect a radical division between good and good-for. Essentially, its proponents can either introduce two different normative notions, one relating to good and the other to good-for, or distinguish two kinds of attitude, one corresponding to the analysis of good and the other to good-for. It is argued that whereas the first option faces a counterintuitive scope issue, an (...) attitudinal approach couched in terms of ‘for someone's sake’ attitudes has the unwelcome consequence that whatever is good for someone is also necessarily good. It is argued that this consequence can be avoided if we modify the standard way of formulating the fitting-attitude analysis of final impersonal value. (shrink)

It is often argued that the requirement that moral obligations be ‘action guiding’ motivates the claim that one can be obligated to ϕ only if one can ϕ. I argue that even on its most plausible interpretation, this argument fails, since the reasoning behind it leads to the absurd conclusion that one is permitted to ϕ if one cannot ϕ.

The paper proposes a revised logic of rights in order to accommodate moral conflict. There are often said to be two rival philosophical accounts of rights with respect to moral conflict. Specificationists about rights insist that rights cannot conflict, since they reflect overall deontic conclusions. Generalists instead argue that rights reflect pro tanto constraints on behaviour. After offering an overview of the debate between generalists and specificationists with respect to rights, I outline the challenge of developing a logic of rights-reasoning (...) that is compatible with generalism. I then proceed to offer a new logical framework, which utilizes a simple non-monotonic logic of practical reasoning. Both generalist and specificationist interpretations of the logic are explored. The revised logic shows that traditional characterizations of the debate between specificationists and generalists obscure other relevant philosophical positions. (shrink)

Many philosophers accept that ought implies can (OIC), but it is not obvious that we have a good argument for that principle. I consider one sort of argument for it, which seems to be a development of an Aristotelian idea about practical deliberation and which is endorsed by, amongst others, R. M. Hare and James Griffin. After briefly rehearsing some well-known objections to that sort of argument (which is based on the supposed pointlessness of impossible obligations), I present a further (...) objection, based on a maximally charitable reading of the argument, and conclude that nobody ought to think that it gives them a reason to accept OIC. (shrink)