This paper argues for contrastivism about the deontic modals, 'ought', 'must', and 'may'. A simple contrastivist semantics that predicts the desired entailment relations among these modals is offered.

Often our reason for doing something is an "instrumental reason": that doing that is a means to doing something else that we have reason to do. What principles govern this "instrumental transmission" of reasons from ends to means? Negatively, I argue against principles often invoked in the literature, which focus on necessary or sufficient means. Positively, I propose a principle, "General Transmission," which answers to two intuitive desiderata: that reason transmits to means that are "probabilizing" and "nonsuperfluous" with respect to (...) the relevant end. I then apply General Transmission to the debate over "detachment": whether "wide-scope" reason for a material conditional or disjunction implies "narrow-scope" reason for the consequent or disjuncts. (shrink)

If you ought to perform a certain act, and some other action is a necessary means for you to perform that act, then you ought to perform that other action as well – or so it seems plausible to say. This transmission principle is of both practical and theoretical significance. The aim of this paper is to defend this principle against a number of recent objections, which (as I show) are all based on core assumptions of the view called actualism. (...) I reject actualism, provide an alternative explanation of its plausible features, and present an independent argument for the transmission principle. (shrink)

Kiesewetter defends the normativity of rationality by presenting a new solution to the problems that arise from the common assumption that we ought to be rational. He provides a defence of a reason-response conception of rationality, an evidence-relative account of reason, and an explanation of structural irrationality in relation to these accounts.

Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...) cannot be true or false, so what does it mean to say that your inference is valid? It cannot mean that the truth of its premise guarantees the truth of its conclusion. One is thus faced with what is known as “Jørgensen’s dilemma” (Ross 1941: 55-6): it seems that imperative logic cannot exist because logic deals only with entities that, unlike imperatives, can be true or false, but it also seems that imperative logic must exist. It must exist not only because inferences with imperatives can be valid, but also because imperatives (like “Enter” and “Don’t enter”) can be inconsistent with each other, and also because one can apply logical operations to imperatives: “Don’t enter” is the negation of “Enter”, and “Sing or dance” is the disjunction of “Sing” and “Dance”. A standard reaction to this dilemma consists in basing imperative logic on analogues of truth and falsity. For example, the imperative “Don’t enter” is satisfied if you don’t enter and is violated if you enter, and one might say that an inference from an imperative premise to an imperative conclusion is valid exactly if the satisfaction (rather than the truth) of the premise guarantees the satisfaction of the conclusion. But before getting into the details, more needs to be said on what exactly imperatives are. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives (“you sinned shamelessly; so you sinned”), and pure imperative arguments, whose premises and conclusions are imperatives (“repent quickly; so repent”), there are mixed-premise arguments, whose premises include both imperatives and declaratives (“if you sinned, repent; you sinned; so repent”), and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives (“you must repent; so repent”) or vice versa (“repent; so you can repent”). I propose a general definition of argument (...) validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors the satisfaction over the violation of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives, and pure imperative arguments, whose premises and conclusions are imperatives, there are mixed-premise arguments, whose premises include both imperatives and declaratives, and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives or vice versa. I propose a general definition of argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors (...) the satisfaction over the violation proposition of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (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)

Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of normative investigations. We focus on the leading Mīmāṃsā authors Prabhākara, Kumārila and Maṇḍana, and discuss three modal logics that formalize their deontic theories. In the first part of this paper, we use logic to analyze, compare and clarify the various solutions to the _śyena_ controversy, a two-thousand-year-old problem arising from seemingly conflicting commands in the Vedas. In the second (...) part, the formalized Mīmāṃsā theories are analyzed and employed to provide alternative perspectives on well-known paradoxes from the contemporary field of deontic logic. Thus, we go from logic to Mīmāṃsā and back again. (shrink)

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

Reasons transmit. If one has a reason to attain an end, then one has a reason to effect means for that end: reasons are transmitted from end to means. I argue that the likelihood ratio (LR) is a compelling measure of reason transmission from ends to means. The LR measure is superior to other measures, can be used to construct a condition specifying precisely when reasons transmit, and satisfies intuitions regarding end-means reason transmission in a broad array of cases.

ABSTRACT ‘You may have beer or wine’ suggests that you may have beer and you may have wine. Following Klinedinst, I argue that this ‘free choice’ effect is a special kind of scalar implicature, arising from the application of an unspecific predicate to a plurality (of worlds). I show that the implicature can be derived from general norms of cooperative communication, without postulating new grammatical rules or hidden lexical items. The derivation calls for an extension to the classical neo-Gricean model. (...) I give independent arguments for this extension. (shrink)

Natural language does not express all connectives definable in classical logic as simple lexical items. Coordination in English is expressed by conjunction and, disjunction or, and negated disjunction nor. Other languages pattern similarly. Non-lexicalized connectives are typically expressed compositionally: in English, negated conjunction is typically expressed by combining negation and conjunction (not both). This is surprising: if $$\wedge $$ ∧ and $$\vee $$ ∨ are duals, and the negation of the latter can be expressed lexically (nor), why not the negation (...) of the former? I present a two-tiered model of the semantics of the binary connectives. The first tier captures the expressive power of the lexicon: it is a bilateral state-based semantics that, under a restriction, can express all and only the distinctions that can be expressed by the lexicon of natural language (and, or, nor). This first tier is characterized by rejection as non-assertion and a Neglect Zero assumption. The second tier is obtained by dropping the Neglect Zero assumption and enforcing a stronger notion of rejection, thereby recovering classical logic and thus definitions for all Boolean connectives. On the two-tiered model, we distinguish the limited expressive resources of the lexicon and the greater combinatorial expressive power of the language as a whole. This gives us a logic-based account of compositionality for the Boolean fragment of the language. (shrink)

It is argued that claims about personal obligation (of the form "s ought to 0") cannot be reduced to claims about impersonal obligation (of the form "it ought to be the case that p"). The most common attempts at such a reduction are shown to have unacceptable implications in cases involving a plurality of agents. It is then argued that similar problems will face any attempt to reduce personal obligation to impersonal obligation.

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)

An argument is usually said to be valid iff it is truth-preserving—iff it cannot be that all its premises are true and its conclusion false. But imperatives (it is normally thought) are not truth-apt. They are not in the business of saying how the world is, and therefore cannot either succeed or fail in doing so. To solve this problem, we need to find a new criterion of validity, and I aim to propose such a criterion.

Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be normative systems that allow conflicting obligations. Surprisingly, however, little direct attention has been paid to questions about how we may reason with conflicting obligations. In this paper, I present a problem for making sense of reasoning with conflicting obligations and argue that no deontic logic can solve this problem. I then develop an account of reasoning based on the popular idea in ethics that reasons (...) explain obligations and show that it solves this problem. (shrink)

One of the popular albeit controversial ideas in the last century of moral philosophy is that what we ought to do is explained by our reasons. And one of the central features of reasons that accounts for their popularity among normative theorists is that they can conflict. But I argue that the fact that reasons conflict actually also poses two closely related problems for this popular idea in moral philosophy. The first problem is a generalization of a problem in deontic (...) logic concerning the existence of conflicting obligations. The second problem arises from a tension between the fact that reasons can conflict and a model of how reasons explain ‘ought’s that has been widely accepted. Having presented each of these problems, I develop a unified solution to them that is informed by results in both ethics and deontic logic. An important implication of this solution is that we must distinguish between derivative and nonderivative reasons and revise our conception how it is that reasons explain ‘ought’s. (shrink)

In the classic Miners case, an agent subjectively ought to do what they know is objectively wrong. This case shows that the subjective and objective ‘oughts’ are somewhat independent. But there remains a powerful intuition that the guidance of objective ‘oughts’ is more authoritative—so long as we know what they tell us. We argue that this intuition must be given up in light of a monotonicity principle, which undercuts the rationale for saying that objective ‘oughts’ are an authoritative guide for (...) agents and advisors. (shrink)

The author discusses a question related to a certain aspect of justification of legal decisions, often so-called internal justification-a legal decision is internally justified if and only if it can be deduced from the norm(s) applicable to the case, and from the statement(s) describing the facts of the case. According to this notion, infinite irrelevant logical consequences are justified. To avoid this counterintuitive conclusion, the author analyzes three notions of relevance: Sperber-Wilson's notion, Anderson-Belnap's notion, and Schurz's notion. The author presents (...) a reconstruction of the notion of relevance very close to Schurz's notion, extended to make it suitable to the particular characteristics of deontic logic. Finally, this notion of relevance is used to discuss some aspects of the concept of normative system, conceived as a deductive system, that is, a system containing all its logical consequences. (shrink)

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the sense of Fine’s recent (...) truthmaker semantics. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...) imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (shrink)

In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright's understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive (...) discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for normgiving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jørgensen's dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein's therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms. (shrink)

This paper investigates the semantic treatment of conditional obligation, explicit permission (often called positive permission), and prohibition based on models with agents and branched time. In such models branches (rather than moments) are taken as basic, and the branching provides a way to represent the indeterminism which is normally presupposed by talk of free will, responsibility, action and ability. Careful treatment of the relation between ability and responsibility avoids many common problems with accounts of conditional obligation. Recognition of the generality (...) often involved in conditional obligations makes possible a sensitive way of expressing some kinds of general prohibitions, which in turn makes it possible to account for the special role of explicit permission. (shrink)

The classification of a state of affairs under a legal category can be considered as a kind of con- densed decision that can be made explicit, analyzed, and assessed us- ing argumentation schemes. In this paper, the controversial conflict of opinions concerning the nature of “marriage” in Obergefell v. Hodges is analyzed pointing out the dialecti- cal strategies used for addressing the interpretive doubts. The dispute about the same-sex couples’ right to marry hides a much deeper disa- greement not only (...) about what mar- riage is, but more importantly about the dialectical rules for defining it. (shrink)

This article begins by distinguishing force and mood. Then it lays out desiderata on a successful account. It sketches as background the program of truth-theoretic semantics. Next, it surveys assimilation approaches and argues that they are inadequate. Then it shows how the fulfillment-conditional approach can be applied to imperatives, interrogatives, molecular sentences containing them, and quantification into mood markers. Next, it considers briefly the recent set of propositions approach to the semantics of interrogatives and exclamatives. Finally, it shows how to (...) integrate exclamatives and optatives into a framework similar to the fulfillment approach. (shrink)

It is a truism that we ought to be rational. Despite this, it has become popular to think that it is not the case that we ought to be rational. In this paper I argue for a view about rationality—the view that what one is rationally required to do is determined by the normative reasons one possesses—by showing that it can vindicate that one ought to be rational. I do this by showing that it is independently very plausible that what (...) one ought to do is determined by the normative reasons one possesses. Thus, the paper also makes a contribution tos the debate about the nature of our obligations. (shrink)

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O. In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. (...) To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety. (shrink)

This paper focuses on the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X, then X-ing is a goal in her plan. We analyze the logical structure of Enkrasia and its implications for deontic logic. To do so, we elaborate on the distinction between basic and derived oughts, and provide a multi-modal neighborhood logic with three characteristic operators: a non-normal operator for basic oughts, a non-normal operator for (...) goals in plans, and a normal operator for derived oughts. We prove two completeness theorems for the resulting logic, and provide a dynamic extension of the logic by means of product updates. We illustrate how this setting informs deontic logic by considering issues related to the filtering of inconsistent oughts, the restricted validity of deontic closure, and the stability of oughts and goals under dynamics. (shrink)

This paper refutes the widespread view that disjunctions of imperatives invariably grant free choice between the actions named by their disjuncts. Like other disjunctions they can also express a correlation with some factual distinction, but as with modalized declaratives used for non-assertive speech acts this needs to be indicated explicitly. A compositional analysis of one such indicator, depending on, constitutes the point of departure for a uniform analysis of disjunctions across clause types. Disjunctions are analyzed as sets of propositional alternatives (...) that correlate with a partition that the speaker may or may not be able to indicate explicitly. Free choice arises as the specific case where the partition is induced by the preferences of the addressee. (shrink)

Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...) under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR. (shrink)

In moral dilemmas, where circumstances prevent two or more equally justified prima facie ethical requirements from being fulfilled, it is often maintained that, since the agent cannot do both, conjoint obligation is overridden by Kant's principle that ought implies can, but that the agent nevertheless has a disjunctive obligation to perform one of the otherwise obligatory actions or the other. Against this commonly received view, it is demonstrated that although Kant's ought-can principle may avoid logical inconsistency, the principle is incompatible (...) with disjunctive obligation in standard deontic logic, and that it entails paradoxically that none of the conflicting dilemma actions will in fact occur. The principle appears to provide the only plausible safeguard against deontic antinomy, but cannot be admitted because of its collision with considered moral judgments. (shrink)

‘Fred must open the door’ concerns Fred’s obligations. This obligative meaning is turned off by adding aspect: ‘Fred must have opened/be opening/have been opening the door’ are one and all epistemic. Why? In a nutshell: obligative ’must’ operates on procedural contents of imperative sentences, epistemic ‘must’ on propositional contents of declarative sentences; and adding aspect converts procedural into propositional content.

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

In a recent paper, Sven Danielsson argued that the ‘original paradoxes' of deontic logic, in particular Ross's paradox and Prior's paradox of derived obligation, can be solved by restricting the modal inheritance rule. I argue that this does not solve the paradoxes.

Situationist deontic logic is a model of that fraction of normative discourse which refers to only one situation and one set of alternatives. As we can see from a whole series of well-known paradoxes, standard deontic logic (SDL) is seriously mistaken even at the situationist level. In this paper it is shown how a more realistic deontic logic can be based on the assumption that prescriptive predicates satisfy the property of contranegativity. A satisfactory account of situation-specific norms is a necessary (...) prerequisite for a successful treatment of more complex normative structures. (shrink)

The ideal world semantics of standard deontic logic identifies our obligations with how we would act in an ideal world. However, to act as if one lived in an ideal world is bad moral advice, associated with wishful thinking rather than well-considered moral deliberation. Ideal world semantics gives rise to implausible logical principles, and the metaphysical arguments that have been put forward in its favour turn out to be based on a too limited view of truth-functional representation. It is argued (...) that ideal world semantics should be given up in favour of other, more plausible uses of possible worlds for modelling normative subject-matter. (shrink)

The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).

Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...) Prior, W. V. Quine, Nicholas Rescher, Ernest Sosa, Robert C. Stalnaker, P. F. Strawson, Patrick Suppes, Johan van Benthem, Georg Henrik von Wright and many others. Hempel's confirmation paradoxes, Ross's deontic paradox, Montague's universal grammar and Lindström's theorem are among the contributions to philosophy that were first published in Theoria. (shrink)

Moral obligation and permissibility are usually thought to be interdefinable. Following the pattern of the duality definitions of necessity and possibility, we have that something’s being permissible could be defined as its not being obligatory to not do it. And that something’s being obligatory could be defined as its not being permissible to not do it. In this paper, I argue that neither direction of this alleged interdefinability works. Roughly, the problem is that a claim that some act is obligatory (...) or permissible entails that there is a moral law, whereas a negative claim that some act is not obligatory or not permissible does not. Nevertheless, one direction of the interdefinability can potentially be salvaged. I argue that, if we do not require the conceptual possibility of moral dilemmas, then there is a way to plausibly define obligation in terms of permissibility. I conclude that permissibility is the only feasible deontic primitive. (shrink)