Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-02T20:20:23.268Z Has data issue: false hasContentIssue false

Three Forms of Actualist Direct Consequentialism

Published online by Cambridge University Press:  17 October 2022

Shyam Nair*
Affiliation:
Arizona State University, Tempe, AZ, USA
Rights & Permissions [Opens in a new window]

Abstract

One family of maximizing act consequentialist theories is actualist direct theories. Indeed, historically there are at least three different forms of actualist direct consequentialism (due to Bentham, Moore, and contemporary consequentialists). This article is about the logical differences between these three actualist direct theories and the differences between actualist direct theories and their competitors. Three main points emerge. First, the sharpest separation between actualist direct theories and their competitors concerns the so-called ‘inheritance’ principle. Second, there are a myriad of other logical differences among actualist direct theories. Third, one theory (Moore's theory) stands out among actualist direct theories because it entails a variety of logical principles. This fact may count in favor of that theory.

Type
Article
Copyright
Copyright © The Author(s), 2022. Published by Cambridge University Press

Introduction

One type of maximizing act consequentialismFootnote 1 is actualist direct consequentialism. There are actualist direct theories that determine the deontic status of an act by comparing (in terms of goodness) the outcome of that act to the outcome of certain alternatives.Footnote 2 There are (actualist) indirect theories which, for example, may determine the deontic status of an act by comparing the outcome of a second act such as a ‘maximal’ act whose performance entails the performance of the first act to the outcome of certain alternatives.Footnote 3 And there are non-actualist theories which, for example, may determine the deontic status of an act by comparing the best outcome in which that act is done to the best outcome in which certain alternatives are done.

An example can be used to illustrate the differences between these three families of theories:

Professor Procrastinate receives an invitation to review a book. He is the best person to do the review, has the time, and so on. The best thing that can happen is that he says yes, and then writes the review when the book arrives. However, suppose it is further the case that were Procrastinate to say yes, he would not in fact get around to writing the review. Not because of incapacity or outside interference or anything like that, but because he would keep on putting the task off. (This has been known to happen.) Thus, although the best that can happen is for Procrastinate to say yes and then write, and he can do exactly this, what would in fact happen were he to say yes is that he would not write the review. Moreover, we may suppose, this latter is the worst that can happen. It would lead to the book not being reviewed at all, or at least to a review being seriously delayed.Footnote 4

Actualist direct consequentialist theories will determine the deontic status of Procrastinate accepting by comparing the outcome of his accepting to the outcome of certain alternatives. This outcome is quite bad because if he were to accept, he would not write the review. As we will see in greater detail below, this feature of these theories makes it so that they claim that Procrastinate accepting lacks positive deontic status in the sense that Procrastinate is either not obligated or not permitted to accept.Footnote 5

Whether indirect theories and non-actualist theories are committed to the claim that Procrastinate accepting lacks positive deontic status is a more complex matter that may depend on how we fill in certain details of the example. For instance, if we suppose Procrastinate has as an act available to him the ‘maximal’ act of accepting and writing the review (e.g., because if he were to presently intend to accept and write, he would), then certain indirect theories can claim that Procrastinate accepting has positive deontic status in that Procrastinate is both obligated and permitted to accept. What these indirect theories would claim is that it is the outcome of Procrastinate accepting and writing the review that is relevant to the deontic status of him accepting. This outcome is very good because if he were to accept and write the review, he would realize the best outcome.

In a different way, certain non-actualist theories may claim that Procrastinate accepting has positive deontic status. According to some of these theories, this will be because we determine the deontic status of accepting by considering the best outcome in which one accepts (as opposed to the (actual) outcome of accepting). As the example states, the best outcome in which one accepts is the best outcome overall. So this form of non-actualist theory will claim that Procrastinate accepting has positive deontic status. So there are differences between actualist direct theories and both indirect and non-actualist theories.

There are also differences among actualist direct theories. As I said, all of these theories determine the deontic status of an act by comparing the outcome of the act to the outcome of certain alternatives. But what deontic status? What comparison? And what alternatives? Three main views stand out historically. Though it is controversial, Gustafsson Reference Gustafsson2018 argues that Jeremy Bentham held the utilitarian version of the following view:

better-than-not: S is obligatedFootnote 6 to ϕ iff the outcome of S's doing ϕ is better than the outcome of S's doing ¬ϕ.

By contrast, G. E. Moore (Moore Reference Moore1960 [1903]: 25) held the following view:

better-than-alt: S is obligated to ϕ iff the outcome of S's doing ϕ is better than the outcome of any alternative to ϕ that is available to S.

Finally, the following view appears in the contemporary literature (e.g., Brown Reference Brown2018 initially defines consequentialism this way (p. 753) before considering more intricate views):

not-worse-than-alt: S is permitted to ϕ iff the outcome of S's doing ϕ is not worse than the outcome of any alternative to ϕ that is available to S.

To understand these last two views, it is important to be clear about what an alternative to a given action is. I will say ψ is an alternative act to ϕ available to S just in case S is ableFootnote 7 to ψ but S is unable to $\phi \wedge {\it \unicode{x003C8}} $.Footnote 8 This definition of an alternative is different from some others in the literature.Footnote 9 The rest of the article will show some of the properties that emerge from theories that adopt this definition and note 10 discusses the connection between this definition and others in the literature.Footnote 10

This article is about the differences among these three actualist direct views. The main point of this article is that these views are significantly different. Indeed, they make different claims in the case of Procrastinate. Sorting out these differences will allow us to see more clearly what principles separate different actualist direct theories from one another and to see more clearly what principles separate actualist direct theories from indirect theories and non-actualist theories.Footnote 11

1 Some observations about the logic of actualist direct theories

I begin by considering what verdicts these theories give about the case of Procrastinate (§1.1). I then turn to what this tells us about the logic of these theories (§1.2).

1.1 Deontic verdicts about Professor Procrastinate

To start, we will more carefully introduce our target theories and discuss their claims about the case of Professor Procrastinate. The features that unite actualist direct theories are the following:

  • The deontic status of an act depends how the outcome of that act compares to alternatives.

  • A possible world, o, is the outcome of S's ϕ-ing iff if S were to ϕ, then o would obtain.Footnote 12

Due to these two features and the fact that Procrastinate would not write the review if he were to accept the invitation to do so, actualist direct theories determine the deontic status of Procrastinate accepting the invitation by considering the outcome in which Procrastinate both accepts and does not write the review. Table 1 summarizes the facts in the case of Professor Procrastinate.

Table 1. The case of Professor Procrastinate

It may be worth noting that this table mentions both accepting and refraining from accepting as actions. But it does not mention the action of refraining from both accepting and writing and the action of refraining from both accepting and not writing. These acts could be included for completeness, but we do not need to include them for our purposes. Evidently, when one refrains from accepting and writing the outcome will either be the same as the outcome in which one accepts and does not write or the same as the outcome in which one refrains from accepting. Similarly, when one refrains from accepting and not writing the outcome will either be the same as the outcome in which one accepts and writes or the same as the outcome in which one refrains from accepting. Which of these it is will not matter for our purposes. And in any case, the main focus of discussion of examples likes this has historically been on the acts of accepting, accepting and writing, and refraining. We will follow this practice.

Next recall that our actualist direct theories are the following:

better-than-not: S is obligated to ϕ iff the outcome of S's doing ϕ is better than the outcome of S's doing ¬ϕ.

better-than-alt: S is obligated to ϕ iff the outcome of S's doing ϕ is better than the outcome of any alternative to ϕ that is available to S.

not-worse-than-alt: S is permitted to ϕ iff the outcome of S's doing ϕ is not worse than the outcome of any alternative to ϕ that is available to S.

Recall that we say ψ is an alternative act to ϕ available to S just in case S is able to ψ but S is unable to $\phi \wedge {\it \unicode{x003C8}} $. Applying these theories to the information in Table 1 yields the results provided in Table 2.

Table 2. Deontic verdicts of theories

We can see that accepting lacks positive deontic status according to better-than-not and better-than-alt because it is not obligatory. And we can see that accepting lacks positive deontic status according to not-worse-than-alt because it is not permissible.

Given only the information we have now, it is hard to compare the verdicts about permissibility given by not-worse-than-alt with the verdicts about obligation given by better-than-not and better-than-alt. There are several ways to overcome this difficulty. The most straightforward way is to supplement these theories with the following commonly accepted claim:

deontic dualism: S is obligated to ϕ iff it is not the case that S is permitted to ¬ϕ.

This is the approach that we will pursue in the main text. But there are approaches that do not directly connect obligation and permission as deontic dualism does. Instead, these approaches define both obligation and permission directly in terms of the goodness of outcomes. These approaches will be discussed in Appendix A.

But for now, let us focus on the approaches that do adopt deontic dualism. Since the relation between obligation and permission is mediated by whether the negation of some act is permissible, we need to pause to be clear on what the negation of the actions in this case are. We have already been assuming that not accepting is the same as rejecting. Earlier, I mentioned the act of not both accepting and writing. As I said there, we will assume this act has the same outcome as accepting and not writing or has the same outcome as rejecting. This means that the outcome of not both accepting and writing is either the middle or worst outcome listed in Table 1. Which particular outcome it is doesn't matter for our purposes. So we may leave it open that there are different ways of precisifying the case that might affect how we understand what outcome would eventuate if one did not both accept and write. Table 3 summarizes the results of these theories supplemented with deontic dualism.

Table 3. Deontic verdicts of theories supplemented with deontic dualism

1.2 Some logical principles

Let us explore some logical principles in the context of this case. Our focus will be on four principles:

inheritance: If S is obligated to ϕ, S is able to ψ, S is not able to $\phi \wedge \neg {\it \unicode{x003C8}} $, then S is obligated to ψ.

agglomeration: If S is obligated to ϕ and S is obligated to ψ, then S is obligated to $\phi \wedge {\it \unicode{x003C8}} $.

no conflicts: If S is obligated to ϕ and S is obligated to ψ, then S is able to $\phi \wedge {\it \unicode{x003C8}} $.

o entails p: If S is obligated to ϕ, then S is permitted to ϕ.

But some variants and related principles will also be discussed.

1.2.1 Inheritance

By inspecting Table 3, we can see that the case of Professor Procrastinate illustrates that both better-than-not + deontic dualism and better-than-alt + deontic dualism must reject inheritance. It also shows that not-worse-than-alt + deontic dualism must reject inheritance though this takes more unpacking.

To see this, first notice that according to not-worse-than-alt + deontic dualism it is obligatory to not accept. Next notice that it is not possible to not accept and both accept and write. So if inheritance held, it would imply that one is obligated to not both accept and write. But next notice that that accepting and writing is permissible according to not-worse-than-alt. deontic dualism therefore implies that it is not obligatory to not both accept and write. In this way, the case of Professor Procrastinate also illustrates that not-worse-than-alt must rejects inheritance.

These observations confirm the claim made in the literature that actualist direct theories (unlike their competitors) must reject inheritance.Footnote 13

Though it is controversial, I myself find inheritance plausible. So I regard it as a cost to actualist direct theories that they must reject it.

1.2.2 Agglomeration

We now consider whether the theories satisfy agglomeration:

agglomeration: If S is obligated to ϕ and S is obligated to ψ, then S is obligated to $\phi \wedge {\it \unicode{x003C8}} $.

In doing this, I will assume all of the theories will claim that if one is unable to ϕ, then ϕ-ing lacks positive deontic status. So one is not obligated to ϕ and one is not permitted to ϕ. It is not entirely obvious whether these theories entail this claim because it is not clear how to conceive of an outcome of an act one is unable to do (often, this would involve evaluating a counterfactual claim with an inconsistent antecedent). But I take it that the principle is a plausible one that should be added to these theories even if they do not entail it.

With this assumption in hand, we can inspect Table 3 and see that the case of Professor Procrastinate illustrates that both better-than-not + deontic dualism and not-worse-than-alt + deontic dualism must reject agglomeration. They both claim that it is obligatory to accept and write and that it is obligatory to reject. But since no one is able to both accept and write and reject, it follows from these theories that it is not obligatory to accept and write and reject so agglomeration does not hold.

On the other hand, this case does not show that better-than-alt + deontic dualism must reject agglomeration. Indeed, it can be shown that better-than-alt in fact entails agglomeration (Proposition 9 in Appendix B).

These observations are relevant to some of the literature about whether actualist direct theories or their competitors are true. It has been suggested there that actualist direct theories must reject agglomeration.Footnote 14 But, as I just mentioned, this is not true of better-than-alt + deontic dualism.

Though it is controversial, I myself find agglomeration plausible. So the fact that better-than-alt + deontic dualism accepts this principle counts in its favor.

We can also consider a variant of agglomeration that concerns a mixture of claims about obligation and permission:

o/p-agglomeration: If S is obligated to ϕ and S is permitted to ψ, then S is permitted to $\phi \wedge {\it \unicode{x003C8}} $.Footnote 15

Inspecting Table 3 shows that the case of Professor Procrastinate illustrates that all three theories must reject o/p-agglomeration. According to better-than-alt + deontic dualism and better-than-not + deontic dualism one is obligated to accept and write and permitted to reject. Since one is unable to do both, one is not permitted to do both. According to worse-than-alt + deontic dualism one is obligated to reject and permitted to accept and write so by similar reasoning o/p-agglomeration fails.

It is worth noting (see proof of Proposition 1 in Appendix B) that o/p-agglomeration is equivalent given deontic dualism to the following principle:

deontic disjunctive syllogism: If S is obligated to ϕψ and S is obligated to ¬ϕ, then S is obligated to ψ.Footnote 16

This is, to my mind, an appealing principle. And so though better-than-alt + deontic dualism has the advantage of accepting agglomeration, we should not overstate its plausibility. It still must reject (arguably) plausible principles like deontic disjunctive syllogism and inheritance.

Indeed, these facts are not unrelated. It can be shown that the package of agglomeration and inheritance is equivalent to deontic disjunctive syllogism (see proof of Proposition 2 in Appendix B). So it follows from the fact that each of the theories that we have discussed rejects inheritance that they reject deontic disjunctive syllogism (and o/p agglomeration). On the other hand, it only follows from a theory rejecting deontic disjunctive syllogism that it rejects at least one of inheritance and agglomeration.Footnote 17 For this reason, it is useful to focus on the more specific question of the status of inheritance and agglomeration rather than directly focusing on deontic disjunctive syllogism.

1.2.3 No conflicts

Let's turn to some no conflict principles beginning with the following one:

no conflicts: If S is obligated to ϕ and S is obligated to ψ, then S is able to $\phi \wedge {\it \unicode{x003C8}} $.

We can inspect Table 3 and see that the case of Professor Procrastinate illustrates that both better-than-not + deontic dualism and not-worse-than-alt + deontic dualism must reject no conflicts. They both claim that it is obligatory to accept and write and it is obligatory to reject.

On the other hand, this case does not show that better-than-alt + deontic dualism must reject no conflicts. Indeed, it can be shown that better-than-alt + deontic dualism in fact entails no conflicts (Proposition 8 in Appendix B).

These observations are relevant to some of the literature about whether actualist direct theories or their competitors are true. It has been suggested there that actualist direct theories must reject no conflicts.Footnote 18 But, as I just mentioned, this is not true of better-than-alt.

Since all the theories that we are considering assume deontic dualism, it is worth noting (see proof of Proposition 3 in Appendix B) that no conflicts is equivalent to the following ‘mixed’ inheritance principle:

o/p-inheritance: If S is obligated to ϕ, S is able to ψ, and S is not able to $\phi \wedge \neg {\it \unicode{x003C8}} $, then S is permitted to ψ.

So this shows that though better-than-alt + deontic dualism cannot accept inheritance, it accepts a variant of it. This principle, however, can fail for better-than-not + deontic dualism and not-worse-than-alt + deontic dualism.

On the other hand, it is also worth noting (see proof of Proposition 4 in Appendix B) that inheritance is equivalent, given deontic dualism, to the following ‘mixed’ no conflicts principle:

no o/p-conflicts: If S is obligated to ϕ and S is permitted to ψ, then S is able to $\phi \wedge {\it \unicode{x003C8}} $.Footnote 19

So this shows that though better-than-alt + deontic dualism can accept no conflicts, it (as well as the other theories) cannot accept a variant of it.

Finally, we can consider the following very restricted no conflicts principle:

no s-conflicts: It is not the case that S is obligated to ϕ and obligated to ¬ϕ.

We can see from Table 3 that not-worse-than-alt + deontic dualism must reject no s-conflicts. We can show better-than-not + deontic dualism entails no s-conflicts (Proposition 6 in Appendix B). Since no s-conflicts follows from no conflicts, better-than-alt + deontic dualism entails this principle as well (Corollary 8.1 in Appendix B).

The lesson once again is that there is something attractive about better-than-alt but we should not overstate how attractive the view is.Footnote 20

1.2.4 Obligations entail permissions

Finally, we can consider the following principle:

o entails p: If S is obligated to ϕ, then S is permitted to ϕ.

We can inspect Table 3 and see that the case of Professor Procrastinate illustrates that not-worse-than-alt + deontic dualism must reject this principle. On the other hand, the example does not show that better-than-not + deontic dualism or better-than-alt + deontic dualism must reject this principle. And indeed it can be shown that they both entail it (Proposition 7 and Proposition 10 in Appendix B).

Since o entails p is plausible, this counts against not-worse-than-alt + deontic dualism. Table 4 summarizes the results of §1.2.

Table 4. The status of some logical principles in each theory

2 Conclusion

My goal in this note has been to bring into sharper relief what separates actualist direct consequentialist theories from one another and what separates these theories from alternative views. Three main points have emerged. First, the literature at various points (see nn. 13, 14, 18) has claimed that inheritance, agglomeration, and no conflicts are all principles that separate actualist direct theories (which must reject them) from competitors. But what our work here shows is that this is not correct. Instead, the sharpest separation between actualist direct theories and their competitors only concerns inheritance. Second, there are many other comparisons (§1.2 and Appendix A) to be made among actualist direct theories. Third, better-than-alt + deontic dualism stands out among actualist direct theories because it entails a variety of logical principles (including principles implicated in debates between actualist direct theories and their competitors). My opinion is that this counts in favor of better-than-alt + deontic dualism. But a deeper investigation of these matters is needed.

Appendix A Doing without deontic dualism

In the main text, we took each of our main three approaches:

better-than-not: S is obligated to ϕ iff the outcome of S's doing ϕ is better than the outcome of S's doing ¬ϕ.

better-than-alt: S is obligated to ϕ iff the outcome of S's doing ϕ is better than the outcome of any alternative to ϕ that is available to S.

not-worse-than-alt: S is permitted to ϕ iff the outcome of S's doing ϕ is not worse than the outcome of any alternative to ϕ that is available to S.

and paired it with:

deontic dualism: S is obligated to ϕ iff it is not the case that S is permitted to ¬ϕ.

This appendix considers what happens if we do not assume deontic dualism.

If we do not make this assumption, we need to supplement better-than-not and better-than-alt with a theory of permission and supplement not-worse-than-alt with a theory of obligation. Evidently, better-than-alt and not-worse-than-alt are natural supplements to one another. The features of this package, better-than-alt + not-worse-than-alt, will be explored in this appendix.

By analogy, it is natural to supplement better-than-not with the following theory of permission:

not-worse-than-not: S is permitted to ϕ iff the outcome S's doing ϕ is not worse than the outcome of S's doing ¬ϕ.

Interestingly, the package of better-than-not + deontic dualism is equivalent to the package of better-than-not + not-worse-than-not (see proof of Proposition 5 in Appendix B). So at least the most natural way of supplementing better-than-not with a theory of permission distinct from deontic dualism ends up entailing deontic dualism. There may be other ways of supplementing better-than-not, but we won't consider them further in this article.

On the other hand, better-than-alt + not-worse-than-alt is distinctive. We can see this by returning to the case of Professor Procrastinate and appropriately making use of the information from Table 3 to give us the results we see here in Table 5.

Table 5. Deontic verdicts of theories with and without deontic dualism

While better-than-alt + deontic dualism has the same verdicts about obligation as better-than-alt + not-worse-than-alt, they differ about what is permissible. The first claims it is permissible to accept and permissible to reject; the second claims neither is permissible. And while not-worse-than-alt + deontic dualism has the same verdicts about permission better-than-alt + not-worse-than-alt, they differ about what is obligatory. The first claims it is obligatory to accept and obligatory to reject, the second claims neither is obligatory.

This shows that deontic dualism does not hold in certain examples according to better-than-alt + not-worse-than-alt. Since rejecting is not accepting, we can see that it is not permissible to not accept, but nonetheless it is not obligatory to accept.

Let us next consider the status of the main principles that we discussed earlier. The failures of inheritance can be seen by noting that according to better-than-alt + not-worse-than alt, it is obligatory to accept and write and not obligatory to accept.

agglomeration, no conflicts, and no s conflicts and can be shown to hold for the same reason they hold for better-than-alt + deontic dualism. This is because the reasoning that supports these claims only relies on better-than-alt and does not rely on deontic dualism (as can be confirmed by inspecting the proofs of Proposition 9, Proposition 8, and Corollary 8.1).

On the other hand, the reasoning given in favor of o entails p (see the proof of Proposition 10) does rely on deontic dualism. So we should consider whether it holds for better-than-alt + not-worse-than-alt. As it turns out, a new argument can be provided to show that it does hold (see the proof of Proposition 11 in Appendix B). Table 6 summarizes these points.

Table 6. The logical principles with and without deontic dualism

We can explore some further questions that are opened up when we do not assume deontic dualism. The example of a failure of deontic dualism that we looked at earlier showed the following claim was false:

right-to-left deontic dualism: If it is not the case that S is permitted to ¬ϕ, then S is obligated to ϕ.

This leaves open the possibility that the following may still hold according to better-than-alt + not-worse-than-alt:

left-to-right deontic dualism: If S is obligated to ϕ, then it is not the case that S is permitted to ¬ϕ.

And indeed, it does hold (Proposition 12).

We can now turn to the status of some principles that we argued were equivalent given deontic dualism. Since these principles need not be equivalent in a setting in which deontic dualism fails, we will need to consider them separately.

First, we noted (Proposition 1) that if deontic dualism is true, the following principles are equivalent:

o/p-agglomeration: If S is obligated to ϕ and S is permitted to ψ, then S is permitted to $\phi \wedge {\it \unicode{x003C8}} $.

deontic disjunctive syllogism: If S is obligated to ϕ ∨ ψ and S is obligated to ¬ϕ, then S is obligated to ψ.

And we also noted deontic disjunctive syllogism is equivalent to inheritance + agglomeration (Proposition 2).

Since we know better-than-alt + not-worse-than-alt does not validate inheritance, we also know it does not validate deontic disjunctive syllogism. But since deontic dualism does not hold according to better-than-alt + not-worse-than-alt, we cannot conclude from this that o/p-agglomeration must fail. And indeed, o/p-agglomeration can be shown to hold (see the proof of Proposition 13) according to better-than-alt + not-worse-than-alt.

Second, we noted (Proposition 3) that if deontic dualism is true, the following principles are equivalent:

no conflicts: If S is obligated to ϕ and S is obligated to ψ, then S is able to $\phi \wedge {\it \unicode{x003C8}} $.

o/p-inheritance: If S is obligated to ϕ, S is able to ψ, S is not able to $\phi \wedge \neg {\it \unicode{x003C8}} $, then S is permitted to ψ.

We mentioned earlier that the same proof of no conflicts (Proposition 8) given for better-than-alt + deontic dualism also shows that no conflicts holds for better-than-alt + not-worse-than-alt. But since we are not assuming deontic dualism, it does not follow that o/p-inheritance holds. And indeed it does not hold for better-than-alt + not-worse-than-alt. As the row for better-than-alt + not-worse-than-alt in Table 5 shows, it is obligatory to accept and write, but it is not permissible to accept.

Third, we noted (Proposition 4) that if deontic dualism is true, then the following principles are equivalent:

inheritance: If S is obligated to ϕ, S is able to ψ, S is not able to $\phi \wedge \neg {\it \unicode{x003C8}} $, then S is obligated to ψ.

no o/p-conflicts: If S is obligated to ϕ and S is permitted ψ, then S is able to $\phi \wedge {\it \unicode{x003C8}} $.

We already know that inheritance fails according to better-than-alt + not-worse-than-alt. But since we are not assuming deontic dualism, it does not follow that no o/p conflicts fails. And indeed, it can be shown to hold (see proof of Proposition 14) according to better-than-alt + not-worse-than-alt.

Fourth, though we did not state it in the main text, if deontic dualism is true, then the following two principles are equivalent:

agglomeration: If S is obligated to ϕ and S is obligated to ψ, then S is obligated to $\phi \wedge {\it \unicode{x003C8}} $.

prohibition agglomeration: If S is not permitted to ϕ and S is not permitted to ψ, then S is not permitted to $\phi \wedge {\it \unicode{x003C8}} $.

This because they just involve substitution claims that are logically equivalent according to deontic dualism (as well some different choices of arbitrary letters). Similar remarks hold for the following principles regarding no conflicts:

no conflicts: If S is obligated to ϕ and S is obligated to ψ, then S is able to $\phi \wedge {\it \unicode{x003C8}} $.

no prohibition conflicts: If S is not permitted to ¬ϕ and S is not permitted to ¬ψ, then S is able to $\phi \wedge {\it \unicode{x003C8}} $.

So for better-than-alt + deontic dualism and not-worse-than-alt + deontic dualism, these principles stand or fall together. And indeed, they all hold according to the first package and all fail according to the second.

But since we are considering a package that does not include deontic dualism, we cannot assume they stand or fall together. And indeed, they do not. As already mentioned, the principles concerning obligation both hold. But neither of the principles concerning the impermissible do.

Begin with no prohibition conflicts. As we can see from the row for better-than-alt + not-worse-than-alt in Table 5, it is not permissible to accept (i.e., not reject) and it is not permissible to reject (i.e., not accept). But it is impossible to reject and accept.

It is easiest to show prohibition agglomeration does not hold if we move away from our central example. Instead, consider the abstract example described in Table 7.

Table 7. Abstract counterexample to prohibition agglomeration

In this example, it is not permissible to ϕ because the outcome of S doing ϕ – the outcome in which S does $\phi \wedge \neg {\it \unicode{x003C8}} $ – is worse than the outcome in which S does ¬ϕ (which is an alternative to ϕ) – the outcome in which S does $\neg \phi \wedge \neg {\it \unicode{x003C8}} $. Similarly, it is not permissible to ψ because its outcome is worse than the outcome of ¬ψ. But it is permissible to $\phi \wedge {\it \unicode{x003C8}} $ because the outcome of this act is better than all other outcomes. So prohibition agglomeration does not hold according to better-than-alt + not-worse-than-alt.

Overall then, better-than-alt + not-worse-than-alt enjoys the logical power of better-than-alt + deontic dualism when it comes to principles that only concern obligation. But when it comes to principles that include claims about the (im)permissible, matters are more complex. Sometimes better-than-alt + not-worse-than-alt validates certain principles rejected by better-than-alt + deontic dualism. And sometimes better-than-alt + not-worse-than-alt fails to validate certain principles that are validated by better-than-alt + deontic dualism.

Appendix B Proofs

Though our results (or variants in the spirit of them) may hold in certain other settings, we will assume for concreteness a specific semi-formal picture of the structure of action, the relation between action and outcomes, and the properties of goodness. We begin by describing this background framework and defining each of the theories and principles within this framework. After this, we turn to the proofs.

B.1 The background framework

We will assume the picture of the structure of action defended by Brown 2018. According to this view, the acts available to an agent at a time form a Boolean algebra. So these acts of an agent S (at a time t) can be modeled by a structure $\langle{\cal A}_S, \;\ll _S \rangle$ where ${\cal A}_S$ is the set of act available to the agent and  ≪ S is an entailment relation on these acts. More exactly,  ≪ S is a reflexive, transitive, and anti-symmetric relation on ${\cal A}_S$. We understand α ≪ S β as telling us that α entails β for S in the sense that it is impossible for there to be situation in which S does α and S does not do β. We further assume that ${\cal A}_S$ is closed under disjunction so that for any two acts, α and β, there is an act α ∨ β.Footnote 21 Similarly, we assume that it is closed under conjunction so that there is such a thing as $\alpha \wedge \beta $Footnote 22 and closed under negation so that there is such a thing as ¬α.Footnote 23 Though these are substantive and potentially controversial assumptions, they are often tacitly accepted by philosophers and have, in any case, been plausibly defended by Brown 2018 (cf. Portmore 2019's notion of ‘performance entailment’).

We can now more precisely define the notion of an alternative. Given a structure $\langle{\cal A}_S, \;\ll _S\rangle$ and acts $\phi , \;{\it \unicode{x003C8}} \in {\cal A}_S$, we say:

ϕ is an alternative to ψ just in case $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$.

Given the definitions of conjunction given above, ${\wedge} {\cal A}_S$ is the act that entails all other acts. This means that it is the impossible act. So this definition says that alternatives acts are ones that are impossible to do together. We will also assume for S to be unable to do some act ϕ is for $\phi = {\wedge} {\cal A}_S$. We can then understand the usual propositional connectives and entailment in terms of the typical set-theoretic resources.

Second, we need to be able to represent the relation between acts and outcomes. We characterized the notion of an outcome in the main text in terms of counterfactuals. And the standard formal semantics for these expressions is a kind of possible world semantics. Here we will adopt a suggestion from a referee about how to formalize the relations in which we are interested. For our purposes, we only need to keep track of which acts are done by the agent. So we can identify a possible world with a set of actions done by the agent that is consistent and complete. That is, given a structure $\langle{\rm {\cal A}}_S,\ll _S\rangle$,

$w\subseteq {\cal A}_S$ is a possible world just in case ${\wedge} w\ne \wedge {\cal A}_S$ and for all $\alpha \in {\cal A}$ either α ∈ w or ¬α ∈ w.

With this definition in hand, we can identify propositions with sets of worlds. So we identify the proposition that S does ϕ with the set of worlds that contain ϕ. We will, then, write [ϕ] for the proposition that S does ϕ. And so [ϕ] = {w|ϕ ∈ w}. We can accordingly understand the relation of entailment, equivalence, conjunction, disjunction, etc. in the standard set-theoretic way. And indeed, we will use these terms and symbols like ${\wedge} $ ambiguously for these relations defined among actions and relations defined among propositions. Context should make clear which is the correct reading.

We can now understand the counterfactual as a relation among propositions satisfying certain constraints (relative to some structure $\langle{\rm {\cal A}}_S,\ll _S\rangle$). The first such constraint is this:

outcome uniqueness: For each $\alpha \in {\cal A}_S$ such that $\alpha \ne \wedge {\cal A}_S$, there is exactly one possible world w such that $[ \alpha ] $  ${ w } $.

This is a strong assumption that can be weakened by adding some complexity to what follows. But we will stick with it for the purposes of keeping things as simple as possible (and in any case, the dispute that is the topic of this article is not centrally related to this issue). This assumption then allows us to define an outcome as follows:

o is the outcome of S's doing α just in case o is a possible world and $[ \alpha ] $  ${ o } $.

Since we are assuming outcome uniqueness, it makes sense to describe o as the outcome of doing α. In what follows, we will, when it is convenient, omit the braces around propositions that are singleton sets of worlds. So, for example, we might write ‘$[ \alpha ] $  $ o$’ rather than ‘$[ \alpha ]$  ${ o } $’.

Though these ideas about outcomes are, perhaps, most at home in a strong logic of counterfactuals such as that due to Stalnaker Reference Stalnaker and Rescher1968, the proofs themselves only rely on a few relatively weak further assumptions about the logic of counterfactuals.

cautious monotonicity: If $[ \alpha ] $  $[ \beta ] $ and $[ \alpha ] $  $[ \gamma ] $, then $[ \alpha ] \wedge [ \beta ]$  $[ \gamma ] $.

right weakening: If $[ \alpha ] $  $[ \beta ] $ and [β] entails [γ], then $[ \alpha ] $  $[ \gamma ] $.

left equivalence: If $[ \alpha ] $  $[ \gamma ] $, [α] is equivalent to [β] then $[ \beta ]$  $[ \gamma ] $.

Though cautious monotonicity fails in some very weak logics,Footnote 24 it holds in the standard logics due to Lewis Reference Lewis2001 [1973] and Galles and Pearl Reference Galles and Pearl1998. left equivalence and right weakening are accepted by every logic of which I am aware.Footnote 25

Third I assume goodness has standard structural properties (e.g., connectivity and transitivity).Footnote 26

These three elements comprise our background structure.

B.2 Definitions and notation

We will use the notation “$o_\phi $”, “$o_{\it \unicode{x003C8}} $”, etc. to refer to the outcome of ϕ-ing, the outcome of ψ-ing, etc.

We will assume all theories to be discussed accept the following claims about contradictions and tautologies:

  • $O{\rm \top }$: S is obligated to ${\vee} {\cal A}_S$.

  • ¬O: S is not obligated to ${\wedge} {\cal A}_S$.

  • ¬P: S is not permitted to ${\wedge} {\cal A}_S$.

Some of these principles are equivalent to one another given various other principles. But we state them separately and assume explicitly that all hold because not all theories treat them as equivalent.

We next restate in slightly different form the theories (omitting mention of the above three claims that are also part of their definition) that we will discuss below. First better-than-not + deontic dualism says:

  • S is obligated to ϕ iff $o_\phi $ is better than o ¬ϕ.

  • S is obligated to ϕ iff it is not the case that S is permitted to ¬ϕ.

Next, better-than-alt + deontic dualism says:

  • S is obligated to ϕ iff $o_\phi $ is better than $o_{\it \unicode{x003C8}} $ for every ψ such that $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$.

  • S is obligated to ϕ iff it is not the case that S is permitted to ¬ϕ.

Finally, better-than-alt + not-worse-than-alt says:

  • S is obligated to ϕ iff $o_\phi $ is better than $o_{\it \unicode{x003C8}} $ for every ψ such that $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$.

  • S is permitted to ϕ iff $o_\phi $ is not worse than $o_{\it \unicode{x003C8}} $ for every ψ such that $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$.

Finally, we restate in slightly different form all the main principles that we will discuss below:

inheritance: If S is obligated to ϕ, ${\it \unicode{x003C8}} \ne \wedge {\cal A}_S$, and $\phi \wedge \neg {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$, then S is obligated to ψ.

o/p-inheritance: If S is obligated to ϕ, ${\it \unicode{x003C8}} \ne \wedge {\cal A}_S$, and $\phi \wedge \neg {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$, then S is permitted to ψ.

agglomeration: If S is obligated to ϕ and S is obligated to ψ, then S is obligated to $\phi \wedge {\it \unicode{x003C8}} $.

o/p-agglomeration: If S is obligated to ϕ and S is permitted to ψ, then S is permitted to $\phi \wedge {\it \unicode{x003C8}} $.

no conflicts: If S is obligated to ϕ and S is obligated to ψ, then $\phi \wedge {\it \unicode{x003C8}} \ne \wedge {\cal A}_S$.

no s-conflicts: It is not the case that S is obligated to ϕ and S is obligated to ¬ϕ.

no o/p-conflicts: If S is obligated to ϕ and S is permitted to ψ, then $\phi \wedge {\it \unicode{x003C8}} \ne \wedge {\cal A}_S$.

o entails p: If S is obligated to ϕ, then S is permitted to ϕ.

deontic dualism: S is obligated to ϕ iff S is not permitted to ¬ϕ.

left-to-right deontic dualism: If S is obligated to ϕ, then S is not permitted to ¬ϕ.

deontic disjunctive syllogism: If S is obligated to ϕ ∨ ψ and S is obligated to ¬ϕ, then S is obligated to ψ.

B.3 Proofs of equivalences

Proposition 1. If deontic dualism is true then o/p agglomeration is equivalent to deontic disjunctive syllogism.

Proof. Assume that deontic dualism is true. We now prove the result in two stages.

First, assume that o/p agglomeration is true. And assume for conditional proof that S is obligated to ϕψ and S is obligated to ¬ϕ. By deontic dualism, we know S is not permitted to ¬(ϕ ∨ ψ). Since ¬(ϕ ∨ ψ) is equivalent to ¬ϕ ∧ ¬ψ, S is not permitted to ¬ϕ ∧ ¬ψ. So by o/p agglomeration, either S is not obligated to ¬ϕ or S is not permitted to ¬ψ. By our assumption for conditional proof, S is obligated to ¬ϕ. So S is not permitted to ¬ψ. Thus, by deontic dualism, we have that S is obligated to ψ, which completes the first stage of the proof.

Second, assume deontic disjunctive syllogism is true. And assume for reductio, S is obligated to ϕ, S is permitted to ψ, but S is not permitted to $\phi \wedge {\it \unicode{x003C8}} $. By deontic dualism, S is obligated to $\neg ( {\phi \wedge {\it \unicode{x003C8}} } ) $. Since $\neg ( {\phi \wedge {\it \unicode{x003C8}} } ) $ is equivalent to ¬ϕ ∨ ¬ψ, this means S is obligated to ¬ϕ ∨ ¬ψ. Given that S is obligated to ϕ (i.e., ¬¬ϕ), deontic disjunctive syllogism tell us that S is obligated to ¬ψ. By deontic dualism, it follows that S is not permitted to ψ which contradicts our assumption that S is permitted to ψ.

Proposition 2. If O${\rm \top }$, deontic disjunctive syllogism is equivalent to inheritance + agglomeration.

Proof. Assume O${\rm \top }$. We now prove the result in two stages.

First, assume that deontic disjunctive syllogism is true.

We begin by showing inheritance holds. So, assume that S is obligated to ϕ and S is unable to $\phi \wedge \neg {\it \unicode{x003C8}} $. This means $\neg \phi \vee {\it \unicode{x003C8}} = {\rm \top }$. So, by O${\rm \top }$, S is obligated to ¬ϕ ∨ ψ. Since we know S is obligated to ϕ (i.e., ¬¬ϕ), deontic disjunctive syllogism tells us that S is obligated to ψ, which completes the proof.

We next show that agglomeration holds. So assume that S is obligated to ϕ and S is obligated ψ. Since ϕ is equivalent to $( {\phi \wedge {\it \unicode{x003C8}} } ) \vee ( {\phi \wedge \neg {\it \unicode{x003C8}} } ) $, S is obligated to $( {\phi \wedge {\it \unicode{x003C8}} } ) \vee ( {\phi \wedge \neg {\it \unicode{x003C8}} } ) $. Since S is obligated to ψ and inheritance holds, S is obligated to ¬ϕψ. Since ¬ϕψ is equivalent to $\neg ( {\phi \wedge \neg {\it \unicode{x003C8}} } ) $, S is obligated to $\neg ( {\phi \wedge \neg {\it \unicode{x003C8}} } ) $. So, by deontic disjunctive syllogism, S is obligated to $\phi \wedge {\it \unicode{x003C8}} $ which completes the proof.

Second, assume inheritance and agglomeration are true. We now show deontic disjunctive syllogism holds. Assume S is obligated to ϕψ and S is obligated to ¬ϕ. By agglomeration, S is obligated to $( {\phi \vee {\it \unicode{x003C8}} } ) \wedge \neg \phi $. By inheritance, S is obligated to ψ which completes the proof.

Proposition 3. If deontic dualism is true, then no conflicts is equivalent to o/p-inheritance.

Proof. Assume deontic dualism is true. We now prove the result in two stages.

First assume that no conflicts is true. And assume for reductio that S is obligated to ϕ, $\phi \wedge \neg {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$, but S is not permitted to ψ. By deontic dualism, S obligated to ¬ψ. By no conflicts, $\phi \wedge \neg {\it \unicode{x003C8}} \ne \wedge {\cal A}_S$, which contradicts our assumption that $\phi \wedge \neg {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$.

Second, assume that o/p-inheritance is true. And assume for reductio that S is obligated to ϕ, S is obligated to ψ, but $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$. By o/p-inheritance, S is permitted to ¬ψ. By deontic dualism, S is not obligated to ψ which contradicts our assumption that S is obligated to ψ.

Proposition 4. If deontic dualism is true, then inheritance is equivalent to no o/p conflicts.

Proof. Assume deontic dualism is true. We now prove the result in two stages.

First, assume inheritance is true. And assume for reductio that S is obligated to ϕ, S is permitted to ψ, but $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$. By inheritance, S is obligated to ¬ψ. By deontic dualism, S is not permitted to ψ which contradicts our assumption that S is permitted to ψ.

Second, assume no o/p conflicts. And assume S is obligated to ϕ and $\phi \wedge \neg {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$. By no o/p conflicts, S is not permitted to ¬ψ. By deontic dualism, S is obligated to ψ.

Proposition 5. better-than-not + deontic dualism is equivalent to better-than-not + not-worse-than-not.

Proof. We prove the result in two stages.

First, assume better-than-not + deontic dualism is true. It is immediate that better-than-not is true. By deontic dualism, better-than-not is equivalent to the claim S is not permitted to ϕ iff o ¬ϕ is better than $o_\phi $. So S is permitted to ϕ iff it is not the case that o ¬ϕ is better than $o_\phi $. This is just the same claim as S is permitted to ϕ iff $o_\phi $ is not worse than o ¬ϕ which is not-worse-than-not.

Second assume better-than-not + not-worse-than-not is true. It is immediate that better-than-not is true. Begin by assuming that S is obligated to ϕ. According to better-than-not $o_\phi $ is better than o ¬ϕ. So o ¬ϕ is worse than $o_\phi $. Thus, according to not-worse-than-not, S is not permitted to ¬ϕ. Therefore, left-to-right direction of deontic dualism holds. To complete the proof, suppose S is not permitted to ¬ϕ. According to not-worse-than-not, this means that o ¬ϕ is worse than $o_\phi $. So $o_\phi $ is better than o ¬ϕ. Thus, according to better-than-not, S is obligated to ϕ.

B.4 Proofs for better-than-not + deontic dualism

Proposition 6. better-than-not entails no s-conflicts.

Proof. Assume better-than-not is true. Given the logical properties of betterness, it cannot be that $o_\phi $ is better than o ¬ϕ and o ¬ϕ is better than $o_\phi $. So better-than-not tell us it cannot be that S is obligated to ϕ and obligated to ¬ϕ.

Proposition 7. better-than-not + deontic dualism entails o entails p.

Proof. Assume better-than-not + deontic dualism is true and assume S is obligated to ϕ. By Proposition 6, it follows S is not obligated to ¬ϕ. Thus, S is permitted to ϕ.

B.5 Proofs for better-than-alt + deontic dualism

Proposition 8. better-than-alt entails no conflicts.

Proof. Assume better-than-alt is true and suppose for reductio that (I) S is obligated to ϕ and S is obligated to ψ but (II) $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$. By (II), ψ is an alternative to ϕ and vice versa. Given (I), better-than-alt tells us that the outcome of ϕ is better than the outcome of any alternative to ϕ. So $o_\phi $ is better than $o_{\it \unicode{x003C8}} $. Therefore, there is an alternative to ψ that has a better outcome than $o_{\it \unicode{x003C8}} $. So better-than-alt entails S is not obligated to ψ. This contradicts our reductio assumption. Thus better-than-alt entails no conflicts. This also establishes:

Corollary 8.1. better-than-alt entails no s-conflicts.

Proposition 9. better-than-alt entails agglomeration.

Proof. Assume better-than-alt is true and suppose for reductio that S is obligated to ϕ and S is obligated to ψ but S is not obligated to $\phi \wedge {\it \unicode{x003C8}} $. Given better-than-alt, there is some act χ that is an alternative to $\phi \wedge {\it \unicode{x003C8}} $ such that $o_{\phi \wedge {\it \unicode{x003C8}} }$ is not better than $o_\chi $. From here, the proof proceeds by cases. The cases will be described in the main text as a structured series of nested binary options. And a footnote includes a diagram that summarizes the structure of these cases.Footnote 27

To begin then, since χ is an alternative to $\phi \wedge {\it \unicode{x003C8}} $, it follows given outcome uniqueness that either (I) $\neg \phi \wedge \chi \in o_\chi $ or (II) $\neg {\it \unicode{x003C8}} \wedge \chi \in o_\chi $.

To complete the proof from here, it helps to first establish the following useful lemma.

Lemma 9.1. If $\alpha \wedge \beta \in o_\alpha $, then $o_\alpha = o_{\alpha \wedge \beta }$.

Proof of Lemma. Suppose $\alpha \wedge \beta \in o_\alpha $. So $o_\alpha $ entails $[ {\alpha \wedge \beta } ] $. We also know that by definition $[ \alpha ] $  $o_\alpha $. So right weakening tells us that $[ \alpha ] $  $[ {\alpha \wedge \beta } ] $.

From this and once again the definition that tells us $[ \alpha ] $  $o_\alpha $, it follows by cautious monotonicity that $[ \alpha ] \wedge [ {\alpha \wedge \beta } ] $  $o_\alpha $.

Next since $[ \alpha ] \wedge [ {\alpha \wedge \beta } ] $ is equivalent to $[ {\alpha \wedge \beta } ] $, left equivalence tells us that $[ {\alpha \wedge \beta } ] $  $o_\alpha $.

Finally, given this claim and the fact that outcome uniqueness implies that $o_\alpha $ is a possible world, it follows by outcome uniqueness that $o_{\alpha \wedge \beta } = o_\alpha $.

Return now to the main proof and suppose (I) is true, then by Lemma 9.1 $o_\chi = o_{\neg \phi \wedge \chi }$. Since S is obligated to ϕ and $\neg \phi \wedge \chi $ is an alternative to ϕ, better-than-alt tells us that $o_\phi $ is better than $o_{\neg \phi \wedge \chi } = o_\chi $. Now by outcome uniqueness either (i) $\phi \wedge {\it \unicode{x003C8}} \in o_\phi $ or (ii) $\phi \wedge \neg {\it \unicode{x003C8}} \in o_\phi $.

Suppose (i). It follows by Lemma 9.1 that $o_\phi = o_{\phi \wedge {\it \unicode{x003C8}} }$. Thus, $o_{\phi \wedge {\it \unicode{x003C8}} } = o_\phi $ is better than $o_\chi $. But this contradicts our prior claim that $o_{\phi \wedge {\it \unicode{x003C8}} }$ is not better than $o_\chi $. So (i) is false.

So suppose instead that (ii). It follows by Lemma 9.1 that $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $. Since $\phi \wedge \neg {\it \unicode{x003C8}} $ is an alternative to ψ and since S is obligated to ψ, better-than-alt tells us that $o_{\it \unicode{x003C8}} $ is better than $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $. Now by outcome uniqueness either (a) $\phi \wedge {\it \unicode{x003C8}} \in o_{\it \unicode{x003C8}} $ or (b) $\neg \phi \wedge {\it \unicode{x003C8}} \in o_{\it \unicode{x003C8}} $.

Suppose (a). It follows by Lemma 9.1 that $o_{\phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. So $o_{\phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $ is better than $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $ which is better than $o_{\neg \phi \wedge \chi } = o_\chi $. This contradicts our assumption that $o_{\phi \wedge {\it \unicode{x003C8}} }$ is not better than $o_\chi $. So (a) is false.

So suppose instead (b). It follows by Lemma 9.1 that $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. Since $\neg \phi \wedge {\it \unicode{x003C8}} $ is an alternative to ϕ and since S is obligated to ϕ, better-than-alt tells us that $o_\phi $ is better than $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. But this contradicts our earlier claim that $o_{\it \unicode{x003C8}} $ is better than $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $. So (b) is false, which completes the proof that (I) cannot hold.

So suppose instead (II) holds. Analogous reasoning substituting ϕ's for ψ's and vice-versa shows that (II) cannot hold either.

Thus, better-than-alt entails agglomeration.

Proposition 10. better-than-alt + deontic dualism entails o entails p.

Proof. The proof proceeds analogously to the proof of Proposition 7.

B.6 Proofs for better-than-alt + not-worse-than-alt

Proposition 11. better-than-alt + not-worse-than-alt entails o entails p.

Proof. Assume better-than-alt + not-worse-than-alt is true. And assume that S is obligated to ϕ. According to better-than-alt, this means $o_\phi $ is better than the outcome of every alternative to ϕ. Therefore, $o_\phi $ is not worse and the outcome of any alternative. So according to not-worse-than-alt, S is permitted to ϕ. Thus, better-than-alt + not-worse-than alt entail o entails p.

Proposition 12. better-than-alt + not-worse-than-alt entails left-to-right deontic dualism.

Proof. Assume better-than-alt + not-worse-than-alt is true. And assume that S is permitted to ¬ϕ. By not-worse-than-alt, this means o ¬ϕ is not worse than the outcome of any alternative to ¬ϕ. Since ϕ and ¬ϕ are alternatives, it follows that $o_\phi $ is not better than the outcome of every alternative to ϕ. So by better-than-alt, S is not obligated to ϕ. Thus, better-than-alt + not-worse-than-alt entail left-to-right deontic dualism.

Proposition 13. better-than-alt + not-worse-than-alt entails o/p agglomeration.

Proof. Assume better-than-alt + not-worse-than-alt is true. And assume for reductio that S is obligated to ϕ, S is permitted to ψ, but S is not permitted to $\phi \wedge {\it \unicode{x003C8}} $. According to not-worse-than-alt this means there is some χ that is an alternative to $\phi \wedge {\it \unicode{x003C8}} $ such that $o_{\phi \wedge {\it \unicode{x003C8}} }$ is worse than $o_\chi $. From here, the proof proceeds by cases. The cases will be described in the main text as a structured series of nested binary options. And a footnote here includes a diagram that summarizes the structure of these cases.Footnote 28

To begin, then, since χ is an alternative to $\phi \wedge {\it \unicode{x003C8}} $ either (I) $\neg \phi \wedge \chi \in o_\chi $ or (II) $\neg {\it \unicode{x003C8}} \wedge \chi \in o_\chi $.

Suppose (I) is true, then by Lemma 9.1 $o_\chi = o_{\neg \phi \wedge \chi }$. Since S is obligated to ϕ and $\neg \phi \wedge \chi $ is an alternative to ϕ, better-than-alt tell us that $o_\phi $ is better than $o_{\neg \phi \wedge \chi } = o_\chi $. Now by outcome uniqueness either (i) $\phi \wedge {\it \unicode{x003C8}} \in o_\phi $ or (ii) $\phi \wedge \neg {\it \unicode{x003C8}} \in o_\phi $.

Suppose (i). It follows by Lemma 9.1 that $o_\phi = o_{\phi \wedge {\it \unicode{x003C8}} }$. Thus, $o_{\phi \wedge {\it \unicode{x003C8}} } = o_\phi $ is better than $o_\chi $. But this contradicts our prior claim that $o_{\phi \wedge {\it \unicode{x003C8}} }$ is worse than $o_\chi $. So (i) is false.

So suppose instead that (ii). It follows by Lemma 9.1 that $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $. Since $\phi \wedge \neg {\it \unicode{x003C8}} $ is an alternative to ψ and since S is permitted to ψ, not-worse-than-alt tells us that $o_{\it \unicode{x003C8}} $ is not worse than $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $. Now by outcome uniqueness either (a) $\phi \wedge {\it \unicode{x003C8}} \in o_{\it \unicode{x003C8}} $ or (b) $\neg \phi \wedge {\it \unicode{x003C8}} \in o_{\it \unicode{x003C8}} $.

Suppose (a). It follows by Lemma 9.1 that $o_{\phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. So $o_{\phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $ is not worse $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $ which is better than $o_{\neg \phi \wedge \chi } = o_\chi $. This contradicts our assumption that $o_{\phi \wedge {\it \unicode{x003C8}} }$ is worse than $o_\chi $. So (a) is false.

So suppose instead (b). It follows by Lemma 9.1 that $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. Since $\neg \phi \wedge {\it \unicode{x003C8}} $ is an alternative to ϕ and since S is obligated to ϕ, better-than-alt tells us that $o_\phi $ is better than $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. But this contradicts our earlier claim that $o_{\it \unicode{x003C8}} $ is not worse than $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $. So (b) is false which completes the proof that (I) cannot hold.

So suppose instead (II) is true, then by Lemma 9.1 $o_\chi = o_{\neg {\it \unicode{x003C8}} \wedge \chi }$. Since S is permitted to ψ and $\neg {\it \unicode{x003C8}} \wedge \chi $ is an alternative to ψ, better-than-alt tell us that $o_{\it \unicode{x003C8}} $ is not worse than $o_{\neg {\it \unicode{x003C8}} \wedge \chi } = o_\chi $. Now by outcome uniqueness either (i) $\phi \wedge {\it \unicode{x003C8}} \in o_{\it \unicode{x003C8}} $ or (ii) $\neg \phi \wedge {\it \unicode{x003C8}} \in o_{\it \unicode{x003C8}} $.

Suppose (i). It follows by Lemma 9.1 that $o_{\it \unicode{x003C8}} = o_{\phi \wedge {\it \unicode{x003C8}} }$. Thus, $o_{\phi \wedge {\it \unicode{x003C8}} } = o_\phi $ is not worse than $o_\chi $. But this contradicts our prior claim that $o_{\phi \wedge {\it \unicode{x003C8}} }$ is worse than $o_\chi $. So (i) is false.

So, suppose instead that (ii). It follows by Lemma 9.1 that $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. Since $\neg \phi \wedge {\it \unicode{x003C8}} $ is an alternative to ϕ and since S is obligated to ϕ, better-than-alt tells us that $o_\phi $ is better than $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. Now by outcome uniqueness either (a) $\phi \wedge {\it \unicode{x003C8}} \in o_\phi $ or (b) $\phi \wedge \neg {\it \unicode{x003C8}} \in o_\phi $.

Suppose (a). It follows by Lemma 9.1 that $o_{\phi \wedge {\it \unicode{x003C8}} } = o_\phi $. So $o_{\phi \wedge {\it \unicode{x003C8}} } = o_\phi $ is better $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $ which is not worse than $o_{\neg \phi \wedge \chi } = o_\chi $. This contradicts our assumption that $o_{\phi \wedge {\it \unicode{x003C8}} }$ is worse than $o_\chi $. So (a) is false.

So, suppose instead (b). It follows by Lemma 9.1 that $o_{\phi \wedge \neg {\it \unicode{x003C8}} } = o_\phi $. Since $\phi \wedge \neg {\it \unicode{x003C8}} $ is an alternative to ψ and since S is permitted to ψ, not-worse-than-alt tells us that $o_{\it \unicode{x003C8}} $ is not worse than $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_\phi $. But this contradicts our earlier claim that $o_\phi $ is better than $o_{\neg \phi \wedge {\it \unicode{x003C8}} } = o_{\it \unicode{x003C8}} $. So (b) is false which completes the proof that (II) cannot hold.

Thus, better-than-alt + not-worse-than-alt entails o/p-agglomeration.

Proposition 14. better-than-alt + not-worse-than-alt entails no o/p-conflicts.

Proof. Assume better-than-alt + not-worse-than-alt is true. And assume for reductio S is obligated to ϕ, S is permitted to ψ, but $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$. Since $\phi \wedge {\it \unicode{x003C8}} = {\wedge} {\cal A}_S$, ψ is an alternative to ϕ and vice versa. Since S is obligated to ϕ, better-than-alt tells us that the outcome of ϕ is better than the outcome of any alternative to ϕ. So $o_\phi $ is better than $o_{\it \unicode{x003C8}} $. Therefore, $o_{\it \unicode{x003C8}} $ is worse than the outcome of an alternative to ψ. So not-worse-than-alt entails S is not permitted to ψ. This contradicts our assumption that S is permitted to ψ. Thus better-than-alt + not-worse-than-alt entails no o/p-conflicts.

Acknowledgements

Thanks to Doug Portmore for conversation about this idea, to Michael Bench-Capon, Fabrizio Cariani, and Jiji Zhang for guidance on the literature about counterfactuals, and to a referee at another journal for comments on an early draft. Finally, thanks to Ben Eggleston, Dale Miller and especially to a referee at this journal for their generous comments that greatly improved the article.

Footnotes

1 Throughout this article, our focus will be only on maximizing act consequentialist theories. We ignore non-maximizing consequentialist theories such as satisficing consequentialism (see, e.g., Bradley Reference Bradley2006 for a critical discussion). We ignore non-act consequentialist theories such as rule consequentialism (see, e.g., Hooker Reference Hooker2001 for discussion). And we ignore the many varieties of non-consequentialist theories.

2 In the terminology of Portmore Reference Portmore2019, these are actualist omnist theories. My term “direct” has roughly the same meaning as Portmore's term “omnist”. Similarly, my expression “an indirect theory” has roughly the same meaning as the expression “a theory that is not omnist” (so the family of indirect theories includes maximalist theories, minimalist theories, and all other non-omnist theories).

3 I take Goldman Reference Goldman, Goldman and Kim1978, Ross Reference Ross and Timmons2012, and Portmore Reference Portmore2019 to be examples of indirect theories. See also Brown Reference Brown2018 for an important discussion of the notion of a maximal act.

4 Jackson and Pargetter Reference Jackson and Pargetter1986: 235. Though the label actualism, I believe, is due to Jackson and Pargetter Reference Jackson and Pargetter1986, cases like this have been discussed prior to this. Indeed, Holly Smith (at the time Holly Goldman) presents a case of exactly this structure in Goldman Reference Goldman, Goldman and Kim1978: 185–86.

5 In standard contexts, an act that is not permitted is not obligatory. So it may seem at first blush that one can simply include the first disjunct in the definition of lacking positive deontic status. But, as we will see below, some of the theories that we are discussing will reject this connection between not being permitted and not being obligated.

6 We leave implicit a time index on the deontic claim and the (possibly distinct and multiple) time indexes of the actions.

7 We assume ability claims share the time index of the relevant deontic claim.

8 Appendix B presents a simple formalization of this and related ideas about the structure of acts mentioned in the body of this article.

9 That said, this definition is a natural (albeit disputable) formulation of Moore's view as he states it: ‘In short, to assert that a certain line of conduct is, at a given time, absolutely right or obligatory, is obviously to assert that more good or less evil will exist in the world, if it be adopted, than if anything else be done instead’ (Moore Reference Moore1960 [1903]: 25). Campbell Brown, who mentions not-worse-than-alt, does not focus on this direct actualist theory. Instead, he focuses most on a maximalist theory (an indirect theory) that involves sets of options rather than alternatives to specific acts. Because of this, he does not explicitly define the notion of an alternative to an act (but instead focuses on sets of options). That said, the notion given here can be defined within his theory of the structure of acts as I do in Appendix B.

10 Most writers do not consider this definition of an alternative act. One reason for this may be that these writers follow Bergström Reference Bergström1966: 35, who assumes that (i) if ψ is an alternative to ϕ, then ϕ is an alternative to ψ and (ii) if ψ is an alternative to ϕ and ϕ is an alternative to χ, then ψ is an alternative to χ (for distinct ψ and χ). Our definition of an alternative act ensures (i) holds (because $\phi \wedge {\it \unicode{x003C8}} $ is equivalent to ${\it \unicode{x003C8}} \wedge \phi $). However, we do not assume (ii). Our definition, instead, is similar to the notion of inconsistency among sentences or propositions where it is possible that A is inconsistent with B and B is inconsistent with C without A being inconsistent with C. This has the advantage of avoiding a problem of finding some distinguishing set of ‘relevant’ alternatives that Bergström and others since have discussed (see Carlsson Reference Carlsson1995: ch. 6 for discussion of some of these proposals). On our proposal, each act is compared to every incompatible act.

Other writers such as Carlsson Reference Carlsson1995: ch. 6 and Carlsson Reference Carlsson1999 reject the idea that if ϕ is an alternative to ψ for S, then S is unable to $\phi \wedge {\it \unicode{x003C8}} $. But Carlsson's view is arguably best understood as an indirect theory for reasons suggested by Bykvist Reference Bykvist2002: §4. Other theories proposed in light of Carlsson's work include Bykvist Reference Bykvist2002 and Gustafsson Reference Gustafsson2014. Bykvist Reference Bykvist2002 offers a maximalist theory (or perhaps more precisely, something quite close to a maximalist theory). So it is an indirect theory. Gustafsson Reference Gustafsson2014 is also an indirect theory because it determines the deontic status of certain single acts but considers the deontic status of certain act sets. Because of this, none of these theories are the main topic of this article. Finally, I note in passing that because we adopt Brown Reference Brown2018's theory of the structure of action, we reject certain claims about action and alternatives made by Bykvist Reference Bykvist2002, Bykvist Reference Bykvist2007, and Gustafsson Reference Gustafsson2014. See Brown Reference Brown2018: §3 for discussion.

11 This article has some overlap with Nair Reference Nair and Portmore2020. That article however is less focused on the three actualist direct theories on which we will focus. And it does not consider the full set of logical properties discussed here.

12 This definition makes sense in light of certain assumptions (e.g., that there is a unique possible world that would obtain if S were to ϕ). See Appendix B for discussion.

13 See Timmerman and Cohen Reference Timmerman, Cohen and Zalta2019: §1.3 and following for a discussion of the historical context and subsequent debate.

14 This issue most directly comes up in the contexts of discussions of no conflicts (see n. Footnote 18). In a different contexts, Goble Reference Goble1996: 318–19 suggests actualist direct consequentialist theories fail to satisfy agglomeration. Goble briefly mentions (in his n. 2) better-than-alt but sets it aside on the grounds that the notion of an alternative is not sufficiently precise. Goble's discussion, however, does not present grounds for thinking that the definition of an alternative given in this article is problematically imprecise. Later (in his §6) he discusses an account on which every act is evaluated relative to a fixed set of mutually exclusive and exhaustive acts. This differs from the present proposal according to which a given act is evaluated against alternatives to that very act.

15 We might wonder about the following agglomeration principle:

p-agglomeration: If $S$ is permitted to $\phi $ and $S$ is permitted to ${\it \unicode{x003C8}} $, then $S$ is permitted to $\phi \wedge {\it \unicode{x003C8}} $.

But this principle is not plausible in general because there are cases where incompatible acts are both merely permissible.

16 This in turn is equivalent to

K: If $S$ is obligated to $\phi $ and $S$ is obligated to $\phi \to {\it \unicode{x003C8}} $, then $S$ is obligated to do ${\it \unicode{x003C8}} $.

And the idea that inheritance and agglomeration are equivalent to K is a familiar one from discussions in deontic logic surrounding moral conflicts.

17 As I have noted, better-than-alt + deontic dualism is an example of a theory that rejects deontic disjunctive syllogism but preserves agglomeration. None of the theories discussed in this article reject deontic disjunctive syllogism and preserves inheritance. But there are theories that do this. The earliest example of such a theory that I am aware of is in Chellas Reference Chellas and Stenlund1974.

18 See Kiesewetter Reference Kiesewetter2015, White Reference White2017, and Kiesewetter Reference Kiesewetter2018 for a recent discussion. Timmerman and Cohen Reference Timmerman, Cohen and Zalta2019 provide a survey and historical references related to our discussion in their §1 and §3.1.

19 For similar reasons to the case of agglomeration discussed in n. Footnote 15 we do not consider the principle that uses permissibility throughout.

20 Timmerman and Cohen Reference Timmerman, Cohen and Zalta2019 claims that every form of actualism is committed to the result that we can avoid obligations due to bad character (in their §3.5.1) and incur obligation to do otherwise bad acts due to bad character (in their §3.5.2). Our discussion shows that the second claim they make is not true: not all forms of actualism are committed to incurring obligations to do otherwise bad acts.

21 More precisely, for any $A\subseteq {\cal A}_S$, there is something, call it ∨ A, such that (i) ${\vee} A\in {\cal A}_S$, (ii) α ≪ ∨ A for every α ∈ A, and (iii) for any β such that α ≪ β for all α ∈ A, ∨ A ≪ β. We write α ∨ β as a more convenient way to write ∨{α, β}.

22 More precisely, for any $A\subseteq {\cal A}_S$, there is something, call it ${\wedge} A$, such that (i) ${\wedge} A\in {\cal A}_S$, (ii) ${\wedge} A\ll \alpha $ for every α ∈ A, and (iii) for any β such that β ≪ α for all α ∈ A, $\beta \ll{\wedge} A$.We use $\alpha \wedge \beta $ a more convenient way to write ${\wedge} { {\alpha , \;\beta } } $.

23 More precisely, for any $\alpha \in {\cal A}_S$, there is something, call it ¬α, such that (i) $\neg \alpha \in {\cal A}_S$, (ii) ${\vee} { {\alpha , \;\neg \alpha } } = {\vee} {\cal A}_S$, and (iii) ${\wedge} { {\alpha , \;\neg \alpha } } = {\wedge} {\cal A}_{S}.$

24 See Halpern Reference Halpern2000, Zhang Reference Zhang2013, and Icard Reference Icard2017 for discussion

25 That said, the issue is a bit more delicate than is indicated in the main text. We are not using some simple notion of entailment such as, for example, the one from the classical propositional calculus. Instead, we have lifted to a propositional level a notion of entailment among acts ( ≪ S) in a structure $\langle {\cal A}_S, \;\ll _S\rangle $. In effect, this means our notion of entailment (and hence equivalence) is allied with something like the notion of it being metaphysically impossible to do certain acts together rather than the more austere notion of entailment in, e.g., the propositional calculus. I think this more robust notion of entailment nonetheless yields plausible principles that almost everyone would accept. It is, however, worth flagging this because it is perhaps worth investigating this issue more carefully than I have done here.

26 That said, certain further assumptions would be required in order to prove this result if outcome uniqueness were abandoned. Roughly, the assumption needed is a version of what Hansson Reference Hansson2001 calls ‘interpolativity’.

27

28

References

Bergström, Lars (1966). Alternatives and Consequences of Actions. Stockholm: Almquist and Wiksell.Google Scholar
Bradley, Ben (2006). Against Satisficing Consequentialism. Utilitas 18(2), pp. 97108.CrossRefGoogle Scholar
Brown, Campbell (2018). Maximalism and the Structure of Acts. Noûs 52(4), pp. 752–71.CrossRefGoogle Scholar
Bykvist, Krister (2002). Alternative Actions and the Spirit of Consequentialism. Philosophical Studies 107 (1), pp. 4568.CrossRefGoogle Scholar
Bykvist, Krister (2007). Violations of Normative Invariance. Theoria 73(2), pp. 98120.CrossRefGoogle Scholar
Carlsson, Erik (1995). Consequentialism Reconsidered. Dordrecht: Spring-Science + Business Media.CrossRefGoogle Scholar
Carlsson, Erik (1999). Consequentialism, Alternatives, and Actualism. In Philosophical Studies 96(3), pp. 253–68.CrossRefGoogle Scholar
Chellas, Brian (1974). Conditional Obligation. In Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday, ed. by Stenlund, Sören. Boston: Reidel, pp. 2333.CrossRefGoogle Scholar
Galles, David, and Pearl, Judea (1998). An Axiomatic Characterization of Causal Counterfactuals. Foundation of Science 3(1), pp. 151–82.Google Scholar
Goble, Lou (1996). Utilitarian Deontic Logic. Philosophical Studies 82(3), pp. 317–57.CrossRefGoogle Scholar
Goldman, Holly (1978). Doing the Best One Can. In Values and Morals, ed. by Goldman, Alvin and Kim, Jaegwon. Dordrecht: Reidel, pp. 185214.CrossRefGoogle Scholar
Gustafsson, Johan (2014). Combinative Consequentialism and the Problem of Act Versions. Philosophical Studies 167, pp. 585–96.CrossRefGoogle Scholar
Gustafsson, Johan (2018). Bentham's Binary Form of Maximizing Utilitarianism. British Journal of for the History of Philosophy 26(1), pp. 87109.CrossRefGoogle Scholar
Halpern, Joseph (2000). Axiomatizing Causal Reasoning. Journal of Artificial Intelligence Research 12, pp. 317–37.CrossRefGoogle Scholar
Hansson, Sven Ove (2001). The Structure of Values and Norms. New York: Cambridge University Press.CrossRefGoogle Scholar
Hooker, Brad (2001). Ideal Code, Real World. Oxford: Oxford University Press.Google Scholar
Icard, Thomas (2017). From Programs to Causal Models. Proceedings of the 21st Amsterdam Colloquium, pp. 3544.Google Scholar
Jackson, Frank, and Pargetter, Robert (1986). Oughts, Actions, and Actualism. The Philosophical Review 95(2), pp. 233–55.CrossRefGoogle Scholar
Kiesewetter, Benjamin (2015). Instrumental Normativity: In Defense of the Transmission Principle. Ethics 125(4), pp. 921–46.CrossRefGoogle Scholar
Kiesewetter, Benjamin (2018). Contrary-to-Duty Scenarios, Deontic Dilemmas, and Transmission Principles. Ethics 129(1), pp. 98115.CrossRefGoogle Scholar
Lewis, David (2001 [1973]). Counterfactuals. 2nd edn. Oxford: Blackwell Publishing.Google Scholar
Moore, G. E. (1960 [1903]). Principia Ethica. Cambridge: Cambridge University Press.Google Scholar
Nair, Shyam (2020). Fault Lines in Ethical Theory. In The Oxford Handbook of Consequentialism, ed. by Portmore, Douglas. New York: Oxford University Press, pp. 6792.CrossRefGoogle Scholar
Portmore, Douglas (2019). Opting for the Best. New York: Oxford University Press.CrossRefGoogle Scholar
Ross, Jacob (2012). Actualism, Possibilism, and Beyond. In Oxford Studies in Normative Ethics, ed. by Timmons, Mark. Vol. 2. Oxford: Oxford University Press, pp. 243–82.Google Scholar
Stalnaker, Robert (1968). A Theory of Conditionals. In Studies in Logical Theory, ed. by Rescher, Nicholas. Oxford: Blackwell Publishing, pp. 98112.Google Scholar
Timmerman, Travis, and Cohen, Yishai (2019). Actualism and Possibilism in Ethics. In Stanford Encyclopedia of Philosophy, ed. by Zalta, Edward. Summer 2019. url: https://plato.stanford.edu/archives/sum2019/entries/actualism-possibilism-ethics/.Google Scholar
White, Stephen (2017). Transmission Failures. Ethics 127(3), pp. 719–32.CrossRefGoogle Scholar
Zhang, Jiji (2013). A Lewisian Logic of Causal Counterfactuals. Minds and Machines 23, pp. 7793.CrossRefGoogle Scholar
Figure 0

Table 1. The case of Professor Procrastinate

Figure 1

Table 2. Deontic verdicts of theories

Figure 2

Table 3. Deontic verdicts of theories supplemented with deontic dualism

Figure 3

Table 4. The status of some logical principles in each theory

Figure 4

Table 5. Deontic verdicts of theories with and without deontic dualism

Figure 5

Table 6. The logical principles with and without deontic dualism

Figure 6

Table 7. Abstract counterexample to prohibition agglomeration