1. Introduction
Many philosophers accept that what we ought to do is explained by our practical reasons. Variants of this reasonsbased view are held by T.M. Scanlon (1998), Joseph Raz (1999a), Jonathan Dancy (2004), Mark Schroeder (2007), and Derek Parfit (2011). The development of formal models has made it possible to explore the relationship between reasons and conclusions about what we ought to do with greater precision (Horty 2012; Nair 2016; for a survey see Nair & Horty 2018). The purpose of this article is to explore the merits of such a model if it is extended to a broader set of normative conclusions. In particular, I consider whether the model can be extended to distinguish between what is permissible, what we ought to do, and what is required.
Reasonsbased accounts of our normative concepts face difficulties in distinguishing between what we ought to do and what is required or impermissible (see especially Bedke 2011 and Snedegar 2016). A related challenge to reasonsbased accounts emerges from what Raz refers to as the ‘basic belief’ that in our practical lives it is often the case that many different options are rationally intelligible, so that it would be permissible to pursue them but it ‘would not be against reason to avoid any one of them’ (1999b: 100). In some contexts, our reasons support the conclusion that certain actions are rationally intelligible but not required. Put in another way, there are some actions that we ought to perform but that it would not be impermissible for us not to perform. This sort of optionality threatens more straightforward attempts to offer reasonsbased accounts of our normative conclusions. Perhaps unsurprisingly, formal approaches to modelling the relation between reasons, oughts and requirements face similar difficulties.
In order to address these problems from a formal perspective, in Section 2 I introduce a basic model of the relationship between reasons and normative conclusions. In Section 3 I explore its application to the idea that reasons explain statements of requirement and permission, as well as ‘oughts’.^{1} In Section 4, I briefly critique the idea that a difference in strength or weight of reasons can explain the difference between oughts and requirements. In Section 5, I conclude by proposing a revised model that addresses these problems, based on Joshua Gert (2004; 2007) and Patricia Greenspan’s (2005; 2007; 2010) proposal that some reasons fulfil a purely justificatory function. The model provides a formal account of the relationship between reasons, permissions, oughts, and requirements. What we are required to do (and therefore what it would be impermissible for us not to do) is explained by our best requiring reasons. What we ought to do is explained by our best justifying reasons.
2. The Basic Model: Reasons, Oughts, and Requirements
The basic model relied upon here to explore the relationship between reasons and requirements is rudimentary version of an ‘imperatival’ or defaultbased model.^{2} Variants of this model have been used to great effect by John Horty (2012) and Shyam Nair (2016) to explore the relationship between reasons and oughts.^{3} I adopt this model only preliminarily, in order to illustrate some of its limitations. I will introduce the model in this section before exploring its limitations and possible revisions in subsequent sections. The model is only rudimentary, but I believe that it is sufficient to illustrate the different difficulties I will consider.^{4}
Before introducing the model, it will be helpful to say something about the language I will be using to describe requirements, and the distinction between requirements and oughts. Traditionally, philosophers have taken ought statements to be the paradigmatic statements of requirement. This assumption is prevalent in formal approaches to modelling the relationship between reasons and deontic conclusions, which follow traditional deontic logic in using the ‘ought’ operator to express strong deontic necessity (e.g., Horty 2012; Goble 2013). Contemporary linguists and philosophers of language, however, have drawn attention to the distinction between weak necessity operators, like ‘ought’ and ‘should’, and strong necessity modals like ‘must’ and ‘have to’ (Portner 2009: 79–81; Silk 2015; 298–303; Snedegar 2016: 158–162). Ought statements, at least paradigmatically, do not express requirement. As Bernard Williams (1981: 126) puts it, ‘not every ought is a must’.
The distinction between weak and strong necessity is evident in the following two sentences:
I ought to do give my money to charity but it’s not as if I have to.
#I have to give my money to charity but it’s not as if I ought to.
Where (1) is perfectly intelligible, (2) seems incoherent, at least if we interpret ‘have to’ and ‘ought’ relative to the same source of reasons or requirements. Similarly, the additional clause in sentence (4), below, appears redundant, where the addition in (3) does not.

3.
I ought to do my homework, in fact I have to.

4.
#I have to do my homework, in fact I ought to.
As Justin Snedegar (2016: 160) notes, the corpus of linguistic evidence seems to support the conclusion that requirements entail oughts and that oughts entail permissions, but that the reverse entailments do not hold. If John must dance at the ball, then he ought to dance at the ball and he is permitted to do so. It is not the case, however, that oughts entail requirements, nor that permissions entail oughts. Even if John ought to dance at the ball, it is not necessarily the case that he must dance. And though it might be true that John is permitted to dance at the ball, it is not necessarily the case that he ought to dance.
One way of responding to this sort of linguistic evidence is to say that it is beside the point. When many philosophers use ‘ought’, they use it stipulatively to refer to what John Broome (2016) calls the ‘central ought of normativity’, which plays a distinguished role in practical philosophy, and which features in the identification of our rational requirements. But failure to pay attention to salient linguistic distinctions risks creating unnecessary philosophical confusion. Furthermore, the case for observing the difference between oughts and requirements is strengthened by the fact that the distinction in linguistic use tracks a similar set of distinctions in commonsense morality (McNamara 1996; Snedegar 2016: 161–162). Sentence (1), for instance, seems to describe a familiar case of supererogation. Many accounts of supererogation associate it with cases in which I ought to do one thing but am permitted to do another (see, e.g., Raz 1975: 164–165; Heyd 1982 refers to this in terms of the ‘goodought tieup’). So long as ‘ought’ is taken to express requirement, however, any model of the relationship between reasons and requirements will face difficulties in accounting for supererogation.
The basic model preserves the distinction between requirements, oughts, and permissions (as do the alternative models I consider below). In order to avoid confusion, I will use the operator Must in order to express requirement, and Ought to express a weaker sort of deontic necessity. I do not mean to rule out the possibility that commonsense morality is mistaken on these matters. Nevertheless, it would be regrettable if our account of practical reasoning were incompatible with these basic distinctions by stipulation. If proponents of the possibility of supererogation (for example) are making a mistake, it does not seem to me to be a logical or conceptual mistake about the relationship between reasons and requirements.
I assume a basic propositional language $\mathcal{L}$. Sentences in $\mathcal{L}$ will be denoted using capitalized letters $A,B,C$ and so on. A reasoning context is a pair $\langle \mathcal{R},<\rangle $ involving a set $\mathcal{R}$ of reasons that obtain in a given context and an order $<$ over these reasons. Reasons are denoted $r:A,$ meaning that there is a reason $r$ supporting the proposition expressed by the sentence $A$. A function $\mathcal{C}$ identifies the content of any reason with a sentence in $\mathcal{L}$. For the reason $r:A$, $\mathcal{C}\left(r\right)=A$. The function can also be applied to any set of reasons, so that $\mathcal{C}\left(\mathcal{R}\right)=\left\{\mathcal{C}\right(r):r\in \mathcal{R}\}$. The turnstile $\u22a2$ will represent classical logical consequence. The order $<$ is a strict partial order satisfying both the antireflexivity and transitivity axioms.^{5} (Read $r<{r}^{\prime}$ as meaning that ${r}^{\prime}$ is greater in strength or weight than $r$).
The model treats reasons as ‘austere’; it does not allow for logical relations between or among reasons (Horty 2012: 41–47). It could be extended to accommodate derivative reasons (cf. Nair 2016), but I will focus in this paper on the relationship between nonderivative reasons and allthingsconsidered requirements, oughts and permissions. A further limitation of the model is it takes the contents of reasons and the deontic operators that they support to be sentences, rather than actions. For the purposes of discussion we will put to one side the question of whether these resources are sufficient to represent agency.
The model exploits the idea of a maximal consistent subset of consequences of undefeated reasons. We define both the set of undefeated reasons and the concept of a maximal consistent subset of consequences as follows.
Undefeated Reasons: For a reasoning context $\langle \mathcal{R},<\rangle $ set of undefeated reasons is defined as $Undefeate{d}_{<}\left(\mathcal{R}\right)=\left\{r\in \mathcal{R}:there\hspace{0.17em}is\hspace{0.17em}no\hspace{0.17em}{r}^{\prime}\in \{\mathcal{R}\hspace{0.17em}such\hspace{0.17em}that\left(i\right)r<{r}^{\prime}\hspace{0.17em}and\hspace{0.17em}\left(ii\right)\hspace{0.17em}\mathcal{C}\left({r}^{\prime}\right)\u22a2\neg \mathcal{C}\left({r}^{\prime}\right)\right\}$.
Maximal Consistent Subset: A set of sentences $\mathcal{M}$ is a maximal consistent subset of $\mathcal{C}\left(\mathcal{R}\right)$ just in case $\mathcal{M}$ is consistent, and there is no other subset ${\mathcal{M}}^{\prime}$ such that ${\mathcal{M}}^{\prime}$ is consistent and $\mathcal{M}\subset {\mathcal{M}}^{\prime}\subseteq \mathcal{C}\left(\mathcal{R}\right)$.
In order to preserve the desired entailment between requirements, oughts and permissions, we must adopt what has come to be known as the ‘disjunctive’ account of allthingsconsidered requirements (Horty 2012; Goble 2013). A proposition expressed by a sentence must obtain just in case it is entailed by every maximal consistent subset of conclusions of our undefeated reasons
Must:
$\langle \mathcal{R},<\rangle ~Must(X)$ just in case $\mathcal{M}\u22a2X$ for every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$.
We can then define these entailment operations over the other logical operators of negation, disjunction, and conjunction in the usual way. Permission is defined as the dual of requirement, as it is in standard deontic logic:
Permission:
$\langle \mathcal{R},<\rangle ~P\left(X\right)$ just in case it is not the case that $\langle \mathcal{R},<\rangle ~Must\left(\neg X\right)$.
The proposition expressed by a sentence is permitted just in case it is not the case that the negation of that sentence is entailed as a requirement.
Against the background of this approach to the relationship between reasons, requirements and permissions, we can extend the basic model to accommodate a relationship between reasons and oughts. Oughts are explained in terms of reasons of undefeated strength. To say that I ought to do something is to say that the sentence expressing the corresponding proposition is entailed by some reason or set of reasons of undefeated strength (cf. Chisholm 1974: 125; Raz 1999a: 28–32). If a proposition expressed by a sentence is entailed by some maximal set of undefeated reasons, then it ought to be the case.
Ought:
$\langle \mathcal{R},<\rangle ~Ought(X)$ just in case $\mathcal{M}\u22a2X$ for some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$
In essence, this model combines a socalled ‘disjunctive’ account of requirements with what is known as the ‘conflict’ account of ought statements. These accounts have previously only been considered as rival accounts of ought statements (cf. Horty 2012: ch. 3). Here the accounts are applied to requirements and oughts respectively. The apparent ‘weakness’ of ought is captured by defining it in terms of existential, rather than universal, quantification over maximal consistent subsets of consequences of undefeated reasons.
It is easy to see that this account maintains the desired entailment relationship between requirements, oughts, and permissions.
Observation 1: For any reasoning context $\langle \mathcal{R},<\rangle $, if $\langle \mathcal{R},<\rangle ~Must\left(X\right)$, then $\langle \mathcal{R},<\rangle ~Ought\left(X\right)$.
Observation 2: For any reasoning context $\langle \mathcal{R},<\rangle $, if $\langle \mathcal{R},<\rangle ~Ought\left(X\right)$, then $\langle \mathcal{R},<\rangle ~P\left(X\right)$.
(I offer proofs of these observations, along with all of the observations that follow, in the appendix.) Note that $Ought\left(X\right)$ does not entail $Must\left(X\right)$ in the same fashion, since the model allows for cases where we have two or more equally good but inconsistent sets of reasons. In these cases each set of reasons will entail an ought but not the equivalent requirement. In cases in which there are two or more inconsistent, undefeated sets of reasons, the reasons result in a disjunctive all things considered requirement.
These basic features of the model can be illustrated with any scenario in which an agent is faced with two undefeated reasons, the consequences of which are inconsistent. Consider, for example, Ruth Barcan Marcus’s (1980: 125) ‘Buridan case’ involving the lives of two identical twins in jeopardy, where tragic circumstances mean I can only save one. Suppose that both twins are drowning at different ends of a lake, so that if I save one I will be abandoning the other. Let ${T}_{1}$ express the proposition that I save the first twin and ${T}_{2}$ the inconsistent proposition that I save the second twin. Our reasoning context ${\langle \mathcal{R},<\rangle}_{1}$ will be such that $\mathcal{R}=\left\{{r}_{1}:{T}_{1},{r}_{2}:{T}_{2}\right\}$ where the priority order $<$ is empty. Note that $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)=\left\{{T}_{1},{T}_{2}\right\}$, with two maximal consistent subsets $\left\{{T}_{1}\right\}$ and $\left\{{T}_{2}\right\},$ and that therefore $\mathcal{M}\u22a2{T}_{1}\vee {T}_{2}$ for both maximal consistent subsets of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Therefore ${\langle \mathcal{R},<\rangle}_{1}~Must\left({T}_{1}\vee {T}_{2}\right)$ and ${\langle \mathcal{R},<\rangle}_{1}~P\left({T}_{1}\right)$ and ${\langle \mathcal{R},<\rangle}_{1}~P\left({T}_{2}\right)$. Since $\u22a2$ is reflexive, we also have that $\left\{{T}_{1}\right\}\u22a2{T}_{1}$ for the first maximal consistent subset and that $\left\{{T}_{2}\right\}\u22a2{T}_{2}$ for the second maximal consistent subset, meaning ${\langle \mathcal{R},<\rangle}_{1}~Ought\left({T}_{1}\right)$ and ${\langle \mathcal{R},<\rangle}_{1}~Ought\left({T}_{2}\right)$. I must save one of the two twins. I ought to save the first twin and I ought to save the second twin, and it would be permissible for me to do either. Unfortunately, I cannot do both. Moreover, since requirement and permission are duals, we have that ${\langle \mathcal{R},<\rangle}_{1}~\neg P\left(\neg \left({T}_{1}\vee {T}_{2}\right)\right)$. It would not be permissible for me save neither twin.
This is, I concede, an attractive picture of the way in which reasons explain permissions, oughts and requirements. It allows us to distinguish our allthingsconsidered requirements from what we ought to do, and what we ought to do from what is simply permissible, and to do so in a relatively straightforward way. It offers an account of practical reasoning that is consistent with what appears to be the common belief that what we must do is explained by our strongest reasons for action.^{6} It accommodates the distinction between requirements and oughts in a manner that preserves the standard entailments. Nonetheless the model faces difficulties in accommodating various intuitions from commonsense morality about the relationship between reasons, oughts and requirements.
3. Optionality, Tragedy, and Supererogation
The basic model embeds the assumption that the function of all reasons, absent another reason of equal or greater strength, is to generate requirements and therefore to render it impermissible not to conform to them. For any reasoning context $\langle \mathcal{R},<\rangle $, if there is a reason r such that its conclusion is not inconsistent with the conclusion of any other set of reasons, it will be impermissible not to conform with it. The model therefore reflects the view that reasons, unless defeated or matched by a reason of equal strength, generate requirements (cf. Kagan 1989: 64–70; Schroeder 2007: 130–131). This is, admittedly, a common picture of the function of practical reasons.^{7} But commonsense morality seems to present cases where we have undefeated reasons—even apparently strong or weighty reasons—which it is permissible for us not to act on. Below I discuss several such cases. The cases I consider present challenges that deserve to be considered in greater depth than they are here. My purpose in this section is to set out these problems and observe some possible responses open to those who wish to preserve the basic model. While I am critical of these responses, I do not think that my criticisms are decisive. I simply use them to motivate the further frameworks that are developed in Sections 4 and 5 of the article.
3.1. Optionality
The problem of optionality begins with Raz’s ‘basic belief’ that at any point in time we may permissibly choose between any number of rationally attractive options. As I write this article, it would be permissible for me to do any number of things instead. I could, if I wished, take a break at any moment to have coffee with a colleague. I could begin to prepare for my teaching this afternoon, or I could pause for a moment and plan for my weekend. None of these actions would be contrary to reason, each of them and perhaps several other options are rationally intelligible, and conforming with any one of them would be rationally permissible. If the belief is as basic as Raz asserts, then it places an important constraint on our theorising about reasons: we must explain how it comes to be that, at any point in time, I can permissibly choose between a set of options without being required to perform any one of them. Put another way, some reasons seem to make actions rationally intelligible without making it impermissible not to perform them.
In order to accommodate optionality within the basic model I introduced in Section 2, we need to posit widespread ties or incommensurability in the strength of reasons. The latter approach is favored by Raz (1999b), who takes the basic belief to be a primary motivation for positing widespread incommensurability among reasons. Perhaps the bestknown proponent of the former approach is Douglas Portmore (2013), who has developed a sophisticated version of consequentialism that allows for ties in the strength of reasons, once our reasons for action are properly specified. The ability of the basic model to accommodate optionality in terms of ties or incommensurability in the strength of reasons can be illustrated with an example that I borrow from Raz (1999b: 102–103). Mary has an option of going to the theatre this evening, but could also go to visit her mother. Her options are explained by the fact that she has at least two reasons of equal or incommensurable strength which apply to her, neither of which defeats the other. This makes it permissible for her to do one or the other. Raz’s example can be illustrated with a simple reasoning context. Let Mary’s reasoning context be represented as a structure ${\langle \mathcal{R},<\rangle}_{2}$, where $\mathcal{R}=\left\{{r}_{1}:M,{r}_{2}:T\right\}$ where $M$ is inconsistent with $T$. Suppose that neither her reason to go to the theatre, $r:T$, nor her reason to visit her mother $r:M$, is stronger than the other, so that $<$ is empty. It is easy to see that ${\langle \mathcal{R},<\rangle}_{2}~Must\left(M\vee T\right)$, Mary must to go to the theatre or visit her mother, as well as that ${\langle \mathcal{R},<\rangle}_{2}~Ought\left(M\right)$ and ${\langle \mathcal{R},<\rangle}_{2}~Ought\left(T\right)$. It is, however, not permissible that she neither go to the theatre nor visit her mother ${\langle \mathcal{R},<\rangle}_{2}~\neg P\left(\neg \left(M\vee T\right)\right)$, since she must choose one of these two options. (Of course in real life we may face much larger sets of good and inconsistent options, and the basic model will accommodate these cases in terms of a longer disjunctive requirement.)
A great strength of this approach to optionality is that it does not require any departure from the relatively austere basic model introduced above. In fact, theories like those I have attributed to Raz and Portmore can be relatively easily accommodated within the basic model, which therefore allows for a parsimonious reasonsbased explanation of optionality. It also seems to accord with a deontic interpretation of the standard decisiontheoretic approach: provided that any member of a set of available options is not strictly dominated, it is rationally permissible to choose any one of them, but required to choose between them.
I will have little more to say here about the merits of either Raz or Portmore’s proposals for accommodating optionality. The plausibility of their responses to the basic belief rests on substantive arguments, and consideration of both proposals is best left for another occasion. It is worth noting, though, that neither response to the problem of optionality is without philosophical cost. Discomfort with the kind of widespread incommensurability posited by Raz provides one motivation for departing from the view that all reasons play a requiring role (Gert 2004: 102–105). Portmore’s arguments for a version of consequentialism that accommodates the basic belief are nuanced and impressive. However, they do rely on assumptions about the relationship between rational and moral reasons that are somewhat controversial (cf. Portmore 2013: 440–441) and about the plausibility of assessing our options indirectly, in respect of the different maximal options they comprise (cf. Gert 2014: 215–216).
3.2. Distinguishing Optionality from Tragic Conflicts
Even if we accept the basic model’s account of optionality, we will face the further problem of distinguishing cases of optionality from cases of apparently tragic conflict, like the drowning twins scenario considered in Section 2. Recall that in the drowning twins scenario the reasoning context supported the conclusion that rescuing one of the two twins was required: I ought to rescue the first twin and I ought to rescue the second twin, but failing to rescue one of them is permissible. Within the basic model, the deontic conclusions generated by the drowning twins scenario are structurally identical to Mary’s choice between visiting her mother and going to the theatre. Mary must either visit her mother or go to the theatre, ought to go to the theatre and ought to visit her mother, but may permissibly fail to perform one of these options. Conflict between reasons that would otherwise generate requirements lends them a kind of optionality: conflicts like the drowning twins scenario are no different from a situation like Mary’s where she was forced to choose between two good, undefeated options. Both cases involve situations in which we are able to conform to only one of two or more inconsistent reasons and may permissibly choose between them. But the drowning twins scenario seems different in a normatively significant way. We are not merely choosing between two goods, we are forced to make a tragic choice between two equally unattractive options (cf. Dancy 1993: 123). It appears as though an account of practical reasoning should be able to accommodate the difference between these two contexts. The basic model’s method of distinguishing between oughts and requirements does not allow us to do so.
One way of accommodating tragic conflicts would be to depart from the assumption that requirements entail permissions in favor of an account that allows for conflicting allthingsconsidered requirements (Bedke 2011: 149–151; Horty 2012: ch. 4). The tragedy of these cases could then be explained by their involving a choice between two impermissible options. I am sympathetic to the argument that any reasonsbased account should be able to accommodate this sort of unresolved conflict between allthingsconsidered requirements. For the purposes of discussion, however, I will not explore this possibility, because I am interested in developing a model for practical reasoning that can preserve the standard inference relationship between reasons, oughts and permissions that I discussed in Section 2. The intuitions underlying these entailments seem to be widely accepted, and it would be problematic if our framework of practical reasoning could not accommodate them. In any case, the problem of distinguishing between optionality and tragic conflicts will still arise for proponents of the possibility of conflicting all things considered requirements. Where the basic model treats tragic conflicts as cases of optionality, a version of the same model that allows for conflicting requirements will treat all cases of optionality as involving a tragic choice between two impermissible options.
3.3. Supererogation and Justification
Various forms of supererogation also suggest the possibility of reasons that lack requiring force. Consider the situation of someone who decides to sacrifice their own life to save the lives of several others. Many people share the judgement that the person who sacrifices their life in this way has acted justifiably, in a way that is rationally permissible. We are, however, reluctant to classify this sort of selfsacrifice as the course of action that we must take. Within the basic model, if a reason is stronger than another inconsistent reason, the reason supports a statement of requirement. Suppose that I face a choice between saving the lives of several strangers by throwing myself on a grenade or simply running for safety in an attempt to save my own life. Let $G$ express the proposition that I throw myself on the grenade, and $R$ the inconsistent proposition that I run for safety. Now suppose that we have a reasoning context ${\langle \mathcal{R},<\rangle}_{3}$ where $\mathcal{R}=\left\{{r}_{1}:R,{r}_{2}:G\right\}$, where $R\u22a2\neg G$ and where ${r}_{1}<{r}_{2},$ so that my reason to save the lives of others is stronger than my reason to run for safety. It is easy to see that in this context, ${\langle \mathcal{R},<\rangle}_{3}~Must\left(G\right)$ and that ${\langle \mathcal{R},<\rangle}_{3}~\neg P\left(R\right)$. The reasoning context supports the conclusion that I must save the lives of the strangers, and that it is impermissible for me to run for safety.
Cases of supererogation can be accommodated within the basic model by positing that they involve a conflict between different classes of reasons. Portmore (2013) suggests that supererogation arises because we can have greatest moral reason to act in a way that is inconsistent with our greatest nonmoral reason. Such a response relies on the availability of a robust distinction between moral reasons and nonmoral reasons. It also has difficulty with cases in which apparently weaker moral reasons appear to make it permissible not to act on a stronger reason (Gert 2014: 212). For instance, suppose I decide to give some proportion of my money to a moderately effective local charity rather than using it to fund very effective global malaria prevention efforts. Although my reason to give to the local charity is a weaker moral reason than my reason to fund malaria prevention, it still seems that I am justified in giving to the local charity.
Justifications for action that would normally be impermissible provide another, less dramatic example of a structurally similar phenomenon. Even when they have great strength, the reasons associated with justifications do not require us to act in accordance with the justification. If I strike someone in selfdefence then I have acted justifiably, but it seems implausible to suggest that it would have been impermissible for me not to strike them. A reasonsbased account of justifications ought to be able to distinguish what is merely permissible from what ought to occur, and what ought to occur from what is required. But, on the basic model, the only way to incorporate a justification with nonrequiring strength is to postulate that the justifying reason is of equal or incomparable strength to another reason.
Following Raz (1975; 1999a: 90–96), we might seek to amend the basic model by appealing to the possibility of ‘exclusionary permissions’, which give us reasons not to act on otherwise good reasons, in order to accommodate supererogation and justification within the basic framework. My reason to strike someone in selfdefence could be paired with an exclusionary permission not to act on my reason not to strike them. Similarly, my reason to act out of concern for my own life could be paired with a permission not to act on my reason to jump on the grenade (for a formal account of exclusionary reasons see Horty 2012: 122–130). One problem with this form of explanation is that if my reason not to strike the assailant is excluded, we now lack an explanation of why it would nonetheless be permissible for me to fail to strike them, notwithstanding my remaining good reason to act in selfdefence. If I act on my reason not to strike in retaliation, I have acted on a reason that I had good reason to exclude from deliberation. If the reason to exclude is unmatched or undefeated, then it would appear to require me to exclude my good reason not to strike my assailant. If I am not required to exclude this reason (cf. Raz 1999a: 90), then the proponent of exclusionary permissions must offer an explanation of the optional character of the reason to exclude. The problem of optionality reappears. In the case of supererogation, moreover, an appeal to exclusionary permissions raises formal difficulties about the relation between an exclusionary reason and the strength of the reasons that it excludes. How is it that my reason to sacrifice myself for others, although stronger than my reason to run for safety, comes to be excluded? One response would involve appealing to the problematic idea that weaker reasons for action can exclude or undercut weightier reasons (cf. Horty 2012: 135–141; Tucker 2018: 959–962). Another would be to posit that the exclusionary reason is weightier than my reason to sacrifice myself. The proponent of exclusionary permissions is then left with the problem of justifying the weight of this exclusionary reason. A proponent of exclusionary permissions is unlikely to regard these difficulties as insurmountable, but they suggest to me that alternative formal approaches are worth considering.
4. Appealing to Reasons’ Strength
A seemingly plausible response to these problems is to appeal to the strength of reasons in order to distinguish between reasons that possess justifying force and reasons that possess requiring force. It is tempting to suggest that some reasons are insufficiently strong to support requirements, and that while weaker reasons support oughts, only reasons that possess strength above a certain threshold will support requirements.^{8}
Scanlon (1998; 2014), Schroeder (2007), and Skorupski (2010) have all developed theories according to which reasons possess degrees of weight or strength, so appealing to a threshold degree of strength in this way seems plausible. In his more recent work, Scanlon (2014: 111, fn. 8) seems to develop an account of the distinction between requiring and nonrequiring reasons by appealing to their relative weight. Scanlon follows Gert in distinguishing between reasons with justifying strength and reasons with requiring strength but argues that these are not different ‘ways in which a consideration can count in favor of an action’ (2014: 111 fn. 8). According to Scanlon, the difference between requiring and nonrequiring reasons is that requiring reasons are sufficiently strong that few reasons could justify my failure to conform to them.
The idea of appealing to strength of reasons to accommodate latitude can be sketched with a slight alteration of the model introduced above. Supposing that reasons are partially ordered in terms of priority or ‘weight’, we can then postulate a threshold value, above which the reasons in question have the quality of a deontic requirement, and below which conformity is optional. Reasons below threshold can support oughts, but not requirements.
Let a threshold reasoning context be a structure $\langle \mathcal{R},<,n\rangle $, where $<$ is a strict partial order over reasons, as above, except that it now contains the privileged value $n$, which acts as a threshold for the assignment of requiring force to any reason. Let ${\mathcal{R}}_{n}$ be the set of requiring reasons in $\mathcal{R}$ above this threshold. We can then adopt an account of requirements that refers only to the subset of requiring reasons applicable in a given scenario, while still allowing for reasons below threshold to make actions rationally attractive or intelligible, and therefore to support ought statements.
More formally, we define a set of requiring reasons for a threshold reasoning context as follows:
Requiring Reasons: For a threshold reasoning context $\langle \mathcal{R},<,n\rangle $, a set of requiring reasons ${\mathcal{R}}_{n}$ is defined as ${\mathcal{R}}_{n}=\left\{r\in \mathcal{R}:n<r\right\}$.
We then define our requirement operator as for the basic model, this time restricting our definition so that it quantifies only over those reasons that are above threshold.
Must (Threshold Reasoning Context): $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$ just in case $\mathcal{M}\u22a2X$ for every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$.
The permission operator $P$ is then defined as the dual of $Must$ as before.
In order to accommodate oughts within this approach, I will stipulate that an act ought to be performed just in case it is supported by a maximal set of undefeated reasons that is consistent with one of our maximal consistent sets of requiring reasons. (Otherwise the account will allow for ought statements that are inconsistent with our requirements). In order to capture this idea in our definition of oughts, I will appeal to the notion of a maximal requirement consistent subset of undefeated reasons. A set of reasons will be requirement consistent just in case there is some maximal consistent subset of requiring reasons that is consistent with it.
Requirement Consistency (Threshold Reasoning Contexts): Where $\langle \mathcal{R},<,n\rangle $ is a threshold reasoning context, a set of sentences $\mathcal{M}$ is requirement consistent just in case $\mathcal{M}\cup {\mathcal{M}}^{\prime}$ is consistent for some maximal consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left({\mathcal{R}}_{n}\right)$.
We then stipulate that maximal requirementconsistent subsets of consequences of undefeated reasons support ought statements.
Maximal Requirement Consistent Subset: A subset $\mathcal{M}$ of a set of consequences of reasons $\mathcal{C}\left(\mathcal{R}\right)$ is a maximal requirement consistent subset $\text{of}\mathcal{C}\left(\mathcal{R}\right)$ just in case (i) $\mathcal{M}$ is requirement consistent and (ii) there is no other subset ${\mathcal{M}}^{\prime}$ such that ${\mathcal{M}}^{\prime}$ is requirement consistent and $\mathcal{M}\subset {\mathcal{M}}^{\prime}\subseteq \mathcal{C}\left(\mathcal{R}\right)$.
Ought (Threshold Reasoning Context): $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$ just in case $\mathcal{M}\u22a2X$ for some maximal requirementconsistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$.
Defining oughts in terms of requirement consistency ensures that the contents of an ought statement are never inconsistent with the contents of a requirement supported by the same reasoning context.
Observation 3: Where $\langle \mathcal{R},<,n\rangle $ is any threshold reasoning context, if $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$ and $\langle \mathcal{R},<,n\rangle ~Ought\left(Y\right)$, then it is not the case that $X\u22a2\neg Y$.
Appealing to requirement consistency in this way also ensures that threshold reasoning contexts preserve a number of important patterns of reasoning that result from the agglomeration of oughts with requirements. More formally, if a reasoning context supports the conclusion $Must\left(X\right)$ and $Ought\left(Y\right)$, then it also supports the conclusion $Ought\left(X\wedge Y\right)$. This allows threshold reasoning contexts to preserve some attractive patterns of inference. I discuss this aspect of the model further in the appendix.
It is also easy to see that this account preserves the same entailments as the basic model. If a threshold reasoning context supports a requirement then it supports a corresponding ought statement, but not vice versa.
Observation 4: For any threshold reasoning context $\langle \mathcal{R},<,n\rangle $, if $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$, then $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$.
Observation 5: For any threshold reasoning context $\langle \mathcal{R},<,n\rangle $, if $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$, then $\langle \mathcal{R},<,n\rangle ~P\left(X\right)$.
The model allows us to distinguish cases of optionality from cases of tragic conflict by appealing to reasons of nonrequiring strength. Suppose that Mary’s scenario, where she has good reason to go to the theatre or to visit her mother, is now represented by ${\langle \mathcal{R},<,n\rangle}_{1}$ a threshold reasoning context such that $\mathcal{R}=\left\{{r}_{1}:M,{r}_{2}:T\right\}$ where both ${r}_{1}<n$ and ${r}_{2}<n$, so that Mary’s reason to see her mother and her reason to go to the theatre are below threshold. The context ${\langle \mathcal{R},<,n\rangle}_{1}$ supports the conclusions $Ought\left(M\right)$ and $Ought\left(T\right)$, but not the conclusion $Must\left(M\vee T\right)$. Therefore, it supports the conclusions $P\left(\neg M\right)$ and $P\left(\neg T\right)$. Mary ought to visit her mother and ought to go the theatre, but it is permissible for Mary to do neither.
Appealing to threshold strengths seems to hold some promise for accommodating optionality, in particular. When used to augment the basic model in the manner suggested, it allows us to distinguish tragic cases like the drowning twins scenario from cases in which someone must merely choose between two good options, and so it allows us to remedy one of the principal drawbacks for the basic model that I outlined above.
However, I doubt that the difference between the requiring and recommending force of reasons can be captured through an appeal to strength alone. To begin with, whether or not reasons play a requiring or justifying role does not seem to track their apparent strength. It seems plausible that some reasons can possess a great deal of strength without acquiring deontic or requiring force. Suppose that I have nothing to do this weekend, and that going to the cinema or to the beach may bring me a great deal of pleasure, far more than if I choose to stay at home. I think it would nonetheless not be impermissible or irrational for me to fail to go to the beach or cinema. My reasons to go out to the beach or cinema are strong, but they do not seem to require conformity.
The distinction between the strength of a reason and its requiring force is apparent when we consider cases of supererogation (Gert 2004: 88–92; Snedegar 2016: 163). Recall the example of the person who has the option of sacrificing their own life in order to save the lives of many others. Their reasons for selfsacrifice in these situations seem particularly strong—far stronger, certainly, than their reason to preserve their own life. Someone who did sacrifice their own life in this way would certainly have acted justifiably. Regardless of the strength of this reason, however, it does not seem to require selfsacrifice. Proponents of the threshold approach need to give some account of why these apparently stronger reasons fail to acquire requiring strength, even though they apparently defeat or match other reasons of requiring strength. Cases in which reasons justify what would normally be impermissible seem to have a similar structure. For instance, my reason to act in selfdefence seems to have far greater strength than my reason to allow someone else to strike me, but in spite of its strength it does not make it impermissible for me to allow someone else to strike me. The person who turns the other cheek does not seem to make any rational or moral error. In spite of its apparent strength, our reason to act in selfdefence does not acquire any requiring force.
I do not mean to dismiss the prospects of a strengthbased approach to the distinction between oughts and requirements outright. I have only sketched a very crude version of such a model here, and it may well be that a more plausible version of the model can be developed. However, to the extent that we want to accommodate the possibility of justifications and supererogation within reasonsbased account, these cases give us reason to doubt that appealing to reasons’ strength in order to distinguish between reasons’ justifying and requiring roles will be sufficient. Instead, I will propose that we modify our models in order to accommodate the fact that reasons can have differing degrees of justifying and requiring strength.
5. Distinguishing Reasons’ Justifying and Requiring Roles
Various authors have been attracted to the idea that it is necessary to postulate a class of reasons that possess nonrequiring force. For instance, Jonathan Dancy (2004), Ulrike Heuer (2004), Margaret Little and Colleen Macnamara (Little 2013; Macnamara & Little 2017) have suggested that it is necessary to postulate a separate class of ‘enticing’, ‘optional’, or ‘commendatory’ reasons that recommend an action without making it impermissible not to pursue that action. Joshua Gert (2004; 2007) and Patricia Greenspan (2005; 2007; 2010) make the related suggestion that some reasons function to justify actions without requiring conformity. As Gert puts it, some reasons are ‘purely justifying reasons’, in that they have a strong justificatory function without having any requiring force (2004: 23). The model I develop in this section is based on Gert and Greenspan’s insights, though it is not intended to be entirely faithful to either author’s views.
As Gert notes (2016: 158), it is philosophically uncontroversial that reasons can occupy both justifying and requiring roles. Advocates of the basic model do not deny this. Accounts that appeal to ‘favoring’ or ‘justifying’ reasons differ from the basic model in allowing that reasons can occupy a justifying role without possessing any requiring force (cf. Gert 2007: 534–537; Greenspan 2010: 190). Unlike the strengthbased approaches discussed in the previous section, advocates of what I will call ‘dualrole’ approaches allow that reasons’ strength need not correspond to any requiring role in a given context. Even strong reasons can play a justificatory role without playing any requiring role. For instance, suppose that I decide to break my promise to meet someone for lunch because I am unwell. My reason to keep my promise plays a requiring role—it ordinarily supports a requirement to perform the promised act. The fact that I am feeling unwell, on the other hand, gives me a purely justificatory reason of sufficient strength not to comply with my promise and to stay at home and rest. My reason to stay at home and convalesce defeats my reason to keep my promise. Nonetheless, my reason to stay at home does not play any requiring role. It would be rationally permissible for me to stay at home and convalesce, but it is not the case that I must stay at home. On the other hand, where a requiring reason outweighs or defeat a reason with only justifying strength it can make what would otherwise be a rationally justified option rationally impermissible. If drinking a cup of coffee would make me feel unwell, my reason not to drink the coffee has sufficient strength to defeat my reason to drink the coffee, even though my reason to drink the coffee would normally render it permissible for me to do so (Gert 2007: 537).
These insights can be used to fashion an extension of the basic model that allocates to each reason a justifying or requiring role (or both). In order to accommodate both dimensions of strength, we will postulate dualrole reasoning contexts $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $. The two sets $\mathcal{D}$ and $\mathcal{J}$ identify all reasons $r\in \mathcal{R}$ that occupy requiring and justifying roles, respectively. The priority order $<$ is, as for our basic reasoning contexts, a strict partial order reflecting reasons’ weight or strength, regardless of the roles that a reason occupies.^{9}
Within these models, requirements are generated by reasons of undefeated strength that occupy the requiring role. Only those reasons that play a requiring role and have undefeated strength support requirements. I will describe such reasons as undefeated requiring reasons.
Undefeated Requiring Reasons: For a dualrole reasoning context $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $, a set of undefeated requiring reasons is defined as $Undefeate{d}_{<}\left(\mathcal{D}\right)=\left\{r\in \mathcal{D}:there\hspace{0.17em}is\hspace{0.17em}no\hspace{0.17em}{r}^{\prime}\in \mathcal{R}\hspace{0.17em}such\hspace{0.17em}that\hspace{0.17em}\left(i\right)r<{r}^{\prime}\hspace{0.17em}and\hspace{0.17em}\left(\text{ii}\right)\mathcal{C}\left({r}^{\prime}\right)\u22a2\neg \mathcal{C}\left({r}^{\prime}\right)\right\}$.
Essentially, a requiring reason is undefeated just in case there is no other inconsistent reason in $\mathcal{R}$ of greater priority (regardless of whether that other reason also occupies the requiring role). A proposition expressed by a sentence will be required if it is supported by some maximal consistent subset of reasons with undefeated requiring strength.
Must (DualRole Reasoning Contexts): $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$ just in case $\mathcal{M}\u22a2X$ for every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$.
Where the permission operator $P$ is again defined as the dual of $Must$.
On this approach, a reason can occupy only a justifying role and nonetheless defeat a requiring reason when it has greater strength. The purely justificatory reason will not support a requirement, but will still be sufficient to defeat a weaker requiring reason. In its current form, however, this model lacks any account of the relationship between reasons and oughts. For this reason both Matt Bedke (2011: 134) and Snedegar (2016: 169–172) criticise Gert’s approach for lacking an account of the relationship between reasons and what we ought to do. The model certainly requires us to depart from the simple idea that we ought to do what we have most reason to do. It does, however, allow us to offer an account of ought in terms of our best justifying reasons. On the particular interpretation I favor, we ought to conform to one of our strongest compatible sets of justifying reasons (cf. Gert 2014: 209). In other words, a dualrole reasoning context will support an ought just in case it is supported by some maximal consistent subset of undefeated justifying reasons. In order to develop this account of oughts, we first define a set of undefeated justifying reasons.
Undefeated Justifying Reasons: For a dualrole reasoning context $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ a set of undefeated justifying reasons is defined as $Undefeate{d}_{<}\left(\mathcal{J}\right)=\left\{r\in \mathcal{J}:\text{there}\hspace{0.17em}\text{is}\hspace{0.17em}\text{no}\hspace{0.17em}{r}^{\prime}\in \mathcal{R}\hspace{0.17em}\text{such}\hspace{0.17em}\text{that}\hspace{0.17em}\left(\text{i}\right)r<{r}^{\prime}\hspace{0.17em}\text{and}\hspace{0.17em}\left(ii\right)\mathcal{C}\left({r}^{\prime}\right)\u22a2\neg \mathcal{C}\left({r}^{\prime}\right)\right\}$.
As with our threshold reasoning contexts, we also need to stipulate that any maximal set of justifying reasons that supports an ought will need to be requirement consistent, otherwise the standard entailments will not be preserved.^{10} To do so, we first alter the definition of requirement consistency for a dualrole reasoning context:
Requirement Consistency (DualRole Reasoning Context): Where $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is a dualrole reasoning context, a set of sentences $\mathcal{M}$ is requirement consistent just in case $\mathcal{M}\cup {\mathcal{M}}^{\prime}$ is consistent for some consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$.
We then define oughts in terms of maximal requirement consistent subsets, as before:
Ought (DualRole Reasoning Contexts): $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$ just in case $\mathcal{M}\u22a2X$ for some maximal requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(J\right)\right)$.
On this account of our practical reasoning, we first identify our undefeated requiring reasons, in order to determine what is required or impermissible. Oughts are then supported by our best justifying reasons, provided the consequences of their conclusions are consistent with some maximal subset of requiring reasons. As for our threshold reasoning contexts, invoking requirement consistency prevents our models from generating requirements and oughts with inconsistent contents.
Observation 6: Where $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is any dualrole reasoning context, if $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$ and $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(Y\right)$, then it is not the case that $X\u22a2\neg Y$.
As I note in the appendix, introduction of requirement consistency also allows for the agglomeration of oughts with requirements (just as it did for the threshold reasoning contexts), thereby preserving attractive patterns of inference.
Dualrole reasoning contexts are able to accommodate the problematic cases we noted for the basic model in Section 3, as I demonstrate below. However, as Snedegar (2016: 170–171) notes in his discussion of Gert’s approach, unamended it is unable to accommodate the standard entailment between requirements and oughts. Since a reason could occupy the requiring role without occupying a justifying role, it follows that a reason could fail to belong to the set of undefeated justifying reasons, and therefore fail to support an ought. Consider, for example, a dualrole reasoning context ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{1}$, an interpretation of the drowning twins scenario, where $\mathcal{D}=\left\{{r}_{1}:{T}_{1},{r}_{2}:{T}_{2}\right\}$ but where $\mathcal{J}=\varnothing $. The reason to save either twin occupies a requiring role but not a justifying one. It is easy to see that this context will generate the conclusion $Must\left({T}_{1}\vee {T}_{2}\right)$ but not the conclusion $Ought\left({T}_{1}\vee {T}_{2}\right)$, since neither ${r}_{1}$ nor ${r}_{2}$ are in $Undefeate{d}_{<}\left(\mathcal{J}\right)$.
Fortunately it can be shown that, granted a plausible constraint on their structure, dualrole reasoning contexts preserve the desired entailments between requirements, oughts and permissions. Provided we impose the constraint on our contexts that any reason that occupies a requiring role also occupies a justifying role, then any set of reasons supporting the conclusion $Must\left(X\right)$ will also support the conclusion $Ought\left(X\right)$. More formally, we stipulate that for any reasoning context $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $, $\mathcal{D}\subseteq \mathcal{J}$. This stipulation seems plausible, since it would be odd for a reason that occupies the requiring role not to also occupy the justifying role (Greenspan 2010: 189).^{11} Any reason that can requires us to perform an action can also provide us with justification for the same action.
Observation 7: Suppose $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is any dualrole reasoning context such that $\mathcal{D}\subseteq \mathcal{J}$. If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$, then $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$.
Moreover, once this stipulation is made, any set of reasons that supports the conclusion $Ought\left(X\right)$ will also support the conclusion $P\left(X\right)$.
Observation 8: Where $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is any dualrole reasoning context, if $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$, then $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~P\left(X\right)$.
Unsurprisingly given the motivations for developing the model, dualrole reasoning contexts generate plausible conclusions in the cases of optionality, supererogation and justification that presented problems for the basic model. Latitude emerges whenever there are undefeated reasons that do not occupy a requiring role (Greenspan 2010: 188–189). Consider the case of Mary, introduced above, in which it appears as though she has two good, nonrequiring options to go to the theatre or to see her mother. Let our reasoning context be ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{2}$, where as before $\mathcal{R}=\left\{{r}_{1}:M,{r}_{2}:T\right\}$, but where $\mathcal{D}=\varnothing $, and where as before $T$ is consistent with $M$. It is easy to see that $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)=\left\{M,T\right\}$ but that $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)=\varnothing $. Therefore we have that ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{2}~Ought\left(T\right)$ and ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{2}~Ought\left(M\right)$ as well as that ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{2}~P\left(\neg \left(T\vee M\right)\right)$. Mary ought to go to the theatre and ought to see her mother, but it is permissible for her to do neither.
Cases of supererogation similarly arise in contexts where the supererogatory options occupy a justificatory role and have greater strength than other options, but where they do not have any requiring force and therefore do not support a requirement. For instance, consider a dualrole reasoning context ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{3}$ where $\mathcal{J}=\left\{{r}_{1}:G,{r}_{2}:R\right\}$, where as before $G$ expresses the proposition that I save the lives of several strangers by jumping on a grenade, and where sentence $R$ expresses the inconsistent proposition that I run away. The priority order is such that ${r}_{2}<{r}_{1}$, my reason to run away is weaker than my reason to save others’ lives. In this reasoning context we have ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{3}~Ought\left(G\right)$, but not ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{3}~Must\left(G\right)$. It therefore supports the further conclusion ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{3}~P\left(R\right)$. I ought to jump on the grenade to save the lives of several strangers, since that would be consistent with my best justifying reasons, but it is permissible for me to attempt to save myself by running away.
Finally, the revised model provides the resources to distinguish cases of optionality from cases of tragic conflict. In dualrole reasoning contexts, tragic conflict arises when there are two or more conflicting and undefeated requiring reasons, as opposed to two or more conflicting purely justificatory reasons. We can interpret the drowning twins scenario in terms of a dualrole context ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{4}$ where $\mathcal{D}=\left\{{r}_{1}:{T}_{1},{r}_{2}:{T}_{2}\right\}$, as before, and where $<$ is again empty. Since both reasons are undefeated in the requiring role, we have that ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{4}~Must\left({T}_{1}\vee {T}_{2}\right)$ and therefore that ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{4}~\neg P\neg \left({T}_{1}\vee {T}_{2}\right)$. This is to be contrasted with a context, like Mary’s case considered above and represented in the dualrole reasoning context ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{2}$, in which we merely choose between two good options which are undefeated justifying reasons, but which do not function as requiring reasons.
I have presented this model as an interpretation of Gert and Greenspan’s suggestion that some reasons perform a justifying role without having any requiring force. I do not mean to suggest that either Gert or Greenspan would endorse the model as I have developed it. For instance, the definition of oughts I have adopted allows the model to accommodate the idea that we ought to conform to one of our best justifying reasons. This aspect of the model allows us to offer an account of the relationship between justifying reasons and oughts. Gert would likely reject this particular aspect of the model, since he rejects the idea that what we ought to do is in any way associated with our strongest reasons as misconceived (2007: 548–552).^{12} Rather than attempting to capture Gert and Greenspan’s particular frameworks, I have provided a more generic approach that exploits their insight that reasons perform either or both justifying and requiring roles in a given context. As we have seen, the model can accommodate the cases that are most problematic for the basic model.
6. Conclusion
My focus in this article has been on developing simple reasonsbased models that accommodate the various problems from commonsense morality that I noted in Section 3, while also preserving the desired entailment relationship between requirements, oughts and permissions. Focussing on these issues has constrained the scope of my discussion in a number of ways. The models are only rudimentary. There are plausible extensions of the threshold and dualrole models that I have not considered. Both models could be amended to accommodate familiar forms of reasoning about the priorities or roles that are assigned to other reasons in a given context (cf. Horty 2012; Tucker 2018). For instance, whether a given reason occupies a requiring role in a given context could itself be the subject of further reasoning that is represented within the model. Similarly, while there are plausible variants of the models that allow for conflicting allthingsconsidered requirements, I have not discussed them.
I have also not discussed some important alternative approaches to addressing the problems I identified in Section 3. Two forms of alternative response seem to me to be particularly important from a reasonsbased perspective. First, Bedke (2011) proposes a ‘Millian inversion’ by which requirements and permissions are explained in terms of what we have most reason to respond to with speech acts or actions requiring or permitting certain behaviour. However, since this response requires us to give up on the standard entailment relationships (Snedegar 2016, 165–167), I have not explored its merits here. Second there is the possibility, which I only briefly critiqued in Section 3, of using Raz’s (1975; 1999a) account of exclusionary permissions to account for some of the cases that presented problems for the basic model. I do not think that invoking exclusionary reasons provides a straightforward solution to these problems, but the approach is certainly deserving of further consideration. The relation between exclusionary reasons and the distinction between justifying and requiring reasons merits lengthier discussion, and I hope to revisit it in future work.
There are philosophical problems with the dualrole approach to reasons that cannot be addressed by any formal model. Most obviously, it complicates the simple and attractive idea that the function of a practical reason is to ‘count in favour’ of an action (Scanlon 1998: 17). I suspect, for this reason, that many proponents of the basic model will be unmoved by my motivations for developing an alternative account. Nonetheless, the models developed here allow us to identify some points of disagreement between proponents of the basic model and its critics with greater precision. More significantly, they show that a coherent model of the dualrole approach to practical reasoning is available—one that is consistent with a conventional understanding of the relationship between reasons, oughts and requirements.
Acknowledgements
I would like to thank my referees for very helpful comments on earlier versions of the paper. I am particularly grateful to Shyam Nair, who not only provided me with extensive, thoughtful comments on previous versions of the manuscript, but corrected several errors in previous proofs and encouraged me to make important amendments. All remaining errors are my own.
Notes
 I will follow what is now the standard philosophical practice of using the nominalization ‘ought’ (and its plural ‘oughts’) to refer to conclusions about what ought to occur. ⮭
 The approach has its origins in van Fraassen (1973). Jörg Hansen (2004; 2005) develops his models as an interpretation of the relationship between commands or imperatives and deontic conclusions. Horty (2003; 2012) develops a deontic interpretation of Reiter’s default logic in terms of reasons, relating his approach back to van Fraasen’s initial proposal. For a logical overview of these approaches see Goble (2013: §§ 4.4, 6.3). ⮭
 The model developed in Section 2 is equivalent to the version of Horty’s model used by Nair (2016: Appendix 2) to illustrate the relation between reasons and oughts, although I use the operator $Must$ rather than $Ought$ to express requirement. ⮭
 In brief, the logic ignores: (i) the antecedent conditions of reasons (it lacks any account of reasons as a dyadic relationship of the form ‘A is a reason for B’); (ii) exclusionary or undercutting reasons; (iii) defeat of a reason by a set of inconsistent reasons; and (iv) reasons for varying the priority of other reasons. For logics that accommodate these features, see Horty (2012) and Tucker (2018). ⮭
 That is (i) if $r<{r}^{\prime}$ and ${r}^{\prime}<{r}^{\prime \prime}$ then $r<{r}^{\prime \prime}$ and (ii) it is not the case that $r<{r}^{\prime}$ and ${r}^{\prime}<r$. ⮭
 For an explicit defence of this idea see Portmore (2013). ⮭
 Gert (2004: 19, fn. 3) assembles a list of philosophers who have explicitly or tacitly endorsed this view. ⮭
 Both Gert (2004: 92–101) and Snedegar (2016: 162–163) also suggest, and then reject, proposals of this sort. ⮭
 Gert sometimes invokes the idea that that the same reason can possess different ‘degrees’ of justifying and requiring strength, where one reason can possess more justifying strength than another reason possesses requiring strength (e.g., 2007: 546–548). This suggests the possibility of crossscalar comparison. On the account I offer here, however, a reason’s strength carries across into whatever role it occupies. Like Greenspan (2005: 390, fn. 1), I regard the characterization of a reason’s strength as entirely separate from its occupation of either a justifying or requiring role. ⮭
 Consider the model ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{5}$, where $\mathcal{D}=\left\{{r}_{1}:A,{r}_{2}:B\right\}$, and $\mathcal{J}=\left\{{r}_{1}:A,{r}_{2}:B,{r}_{3}:C\right\}$, where $<$ is empty, and where $A\u22a2\neg D$ and where $B\wedge C\u22a2D$. We have that $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)=\left\{A,B\right\}$ and $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)=\left\{A,B,C\right\}$. In this dualrolecontextwe have that ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{5}~Must\left(\neg D\right)$ but that $\mathcal{M}\u22a2\mathcal{D}$ for some maximal consistent subset $\mathcal{M}$ of $Undefeate{d}_{<}\left(\mathcal{J}\right)$, and therefore that ${\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle}_{5}~Ought\left(D\right)$. ⮭
 As a reviewer notes, this stipulation makes the separate set $\mathcal{J}$ of justifying reasons redundant. The same results could be achieved with a model $\langle \mathcal{R},\mathcal{D},<\rangle $, which distinguished between ordinary reasons and requiring reasons. However, I retain a distinct set of justifying reasons for the purposes of exposition. ⮭
 In more recent work, Gert (2012: 616–617) seems sympathetic to the view that, in addition to occupying requiring and justifying roles, reasons might also perform a meritconferring role (this view is defended in Horgan & Timmons 2010). ⮭
References
Bedke, Matt (2011). Passing the Deontic Buck. Oxford Studies in Metaethics, 6, 128.
Broome, John (2016). A Linguistic Turn in the Philosophy of Normativity? Analytic Philosophy, 57(1), 1–14.
Chisholm, Roderick M. (1974). Practical Reason and the Logic of Requirement. In Korner, Stephan (Ed.), Practical Reason (1–17). Oxford University Press.
Dancy, Jonathan (1993). Moral Reasons. Blackwell.
Dancy, Jonathan (2004). Enticing Reasons. In Jay Wallace, R., Pettit, Philip, Scheffler, Samuel, and Smith, Michael (Eds.), Reason and Value: Themes from the Moral Philosophy of Joseph Raz (91–118). Clarendon Press.
van Fraassen, Bas C. (1973). Values and the Heart’s Command. Journal of Philosophy, 70(1), 5–19.
Gert, Joshua (2004). Brute Rationality: Normativity and Human Action. Cambridge University Press.
Gert, Joshua (2007). Normative Strength and the Balance of Reasons. Philosophical Review, 116(4), 533–562.
Gert, Joshua (2012). Moral Worth, Supererogation, and the Justifying/Requiring Distinction. Philosophical Review, 121(4), 611–618.
Gert, Joshua (2014). Perform a Justified Option. Utilitas, 26(2), 206–217.
Goble, Lou (2013). Prima Facie Norms, Normative Conflicts, and Dilemmas. In Gabbay, Dov, Parent, Xavier, van der Mayden, Ron, and van der Torre, Leendert (Eds.), Handbook of Deontic Logic and Normative Systems (241–352). College Publications.
Greenspan, Patricia (2005). Asymmetrical Practical Reasons. In Reicher, M. E. and Marek, J. C. (Eds.) Experience and Analysis: Proceedings of the 27th International Wittgenstein Symposium (387–394). Öbv & hpt.
Greenspan, Patricia (2007). Practical Reasons and Moral ‘Ought’. In ShaferLandau, Russ (Ed.), Oxford Studies in Metaethics (Vol. 2, 172–194). Oxford University Press.
Greenspan, Patricia (2010). Making Room for Options: Moral Reasons, Imperfect Duties, and Choice. Social Philosophy and Policy, 27(2), 181–205.
Hampton, Jean (1998). The Authority of Reason. Cambridge University Press.
Hansen, Jörg (2004). Problems and Results for Logics about Imperatives. Journal of Applied Logic, 2(1), 39–61.
Hansen, Jörg (2005). Conflicting Imperatives and Dyadic Deontic Logic. Journal of Applied Logic, 3(3–4), 484–511.
Heuer, Ulrike (2004). Raz on Values and Reasons. In Jay Wallace, R., Pettit, Philipp, Scheffler, Samuel, and Smith, Michael (Eds.), Reason and Value: Themes from the Philosophy of Joseph Raz (129–152). Oxford University Press.
Heyd, David (1982). Supererogation: Its Status in Ethical Theory. Cambridge University Press.
Horgan, Terry, and Timmons, Mark (2010). Untying a Knot from the Inside Out: Reflections on the ‘Paradox’ of Supererogation. Social Philosophy and Policy, 27(2), 29–63.
Horty, John (2003). Reasoning with Moral Conflicts. Noûs, 37(4), 557–605.
Horty, John (2012). Reasons as Defaults. Oxford University Press.
Kagan, Shelly (1989). The Limits of Morality. Oxford University Press.
Little, Margaret (2013). In Defence of NonDeontic Reasons. In Bakhurst, David, Little, Margaret, and Hooker, Brad (Eds.), Thinking About Reasons: Themes From the Philosophy of Jonathan Dancy (112–136). Oxford University Press.
Macnamara, Coleen and Little, Margaret (2017). For Better or Worse: Commendatory Reasons and Latitude. In Timmons, Mark (Ed.) Oxford Studies in Normative Ethics (Vol. 7, 138–160). Oxford University Press.
Marcus, Ruth Barcan (1980). Moral Dilemmas and Consistency. Journal of Philosophy, 77(3), 121–136.
McNamara, Paul (1996). Must I Do What I Ought (Or Will the Least I Can Do Do)? In Brown, Mark and Carmo, José (Eds.), Deontic Logic, Agency and Normative Systems, (154–173). SpringerVerlag.
Nair, Shyam (2016). Conflicting Reasons, Unconflicting ‘Oughts.’ Philosophical Studies, 173(3), 629–663.
Nair, Shyam and Horty, John (2018). The Logic of Reasons. In Star, Daniel (Ed.) The Oxford Handbook of Reasons and Normativity (67–83). Oxford University Press.
Parfit, Derek (2011). On What Matters. Oxford University Press.
Portmore, Douglas W. (2013). Perform Your Best Option. Journal of Philosophy, 110(8), 436–459.
Portner, Paul (2009). Modality. Oxford University Press.
Raz, Joseph (1975). Permissions and Supererogation. American Philosophical Quarterly, 12(2), 161–168.
Raz, Joseph (1999a). Practical Reason and Norms (2nd ed.). Oxford University Press.
Raz, Joseph (1999b). Engaging Reason: On the Theory of Value and Action. Oxford University Press.
Scanlon, T. M. (1998). What We Owe to Each Other. Harvard University Press.
Scanlon, T. M. (2014). Being Realistic About Reasons. Oxford University Press.
Schroeder, Mark (2007). Slaves of the Passions. Oxford University Press.
Schroeder, Mark (2011). Holism, Weight and Undercutting. Noûs, 45(2), 328–344.
Silk, Alex (2015). What Normative Terms Mean and Why It Matters for Ethical Theory. In Timmons, Mark (Ed.) Oxford Studies in Normative Ethics (Vol. 5, 296–325). Oxford University Press.
Skorupski, John (2010). The Domain of Reasons. Oxford University Press.
Snedegar, Justin (2016). Reasons, Oughts, and Requirements. Oxford Studies in Metaethics (Vol. 11, 155–181). Oxford University Press.
Tucker, Dustin (2018). Variable Priorities and Exclusionary Reasons in Input/Output Logic. Journal of Philosophical Logic, 47(6), 947–964.
Williams, Bernard (1981). Moral Luck: Philosophical Papers 1973–1980. Cambridge University Press.
A1. The Basic Model
Observation 1: Where $\langle \mathcal{R},<\rangle $ is any reasoning context, if $\langle \mathcal{R},<\rangle ~Must\left(X\right)$, then $\langle \mathcal{R},<\rangle ~Ought\left(X\right)$.
Proof: If $\langle \mathcal{R},<\rangle ~Must\left(X\right)$ then $\mathcal{M}\u22a2X$ for all maximal consistent subsets $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. So clearly ${\mathcal{M}}^{\prime}\u22a2X$ for some maximal consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Thus $\langle \mathcal{R},<\rangle ~Ought\left(X\right)$.
Observation 2: Where $\langle \mathcal{R},<\rangle $ is any reasoning context, if $\langle \mathcal{R},<\rangle ~Ought\left(X\right)$, then $\langle \mathcal{R},<\rangle ~P\left(X\right)$.
Proof: If $\langle \mathcal{R},<\rangle ~Ought\left(X\right)$ then $\mathcal{M}\u22a2X$ for some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. If $\mathcal{M}\u22a2X$ then $\mathcal{M}\overline{)\u22a2}\neg X$. Thus it is not the case that $\langle \mathcal{R},<\rangle ~Must\left(\neg X\right)$. Thus $\langle \mathcal{R},<\rangle ~P\left(X\right)$.
A2. Threshold Reasoning Contexts
Several proofs below invoke the following intermediate observations, which I prove separately.
Observation*: Where $\langle \mathcal{R},<,n\rangle $ is any threshold reasoning context, every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ is a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$.
Proof: Suppose $r\in Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)$. For any other ${r}^{\prime}\in \mathcal{R}$, either $n<{r}^{\prime}$ or not. If $n<{r}^{\prime},$ then, since $r\in Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)$, by definition it is either not the case that $r<{r}^{\prime}$ or not the case that $\mathcal{C}\left({r}^{\prime}\right)\u22a2\neg \mathcal{C}\left(r\right)$. If it is not the case that $n<{r}^{\prime}$, then since $r\in Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)$ it cannot be the case that $r<{r}^{\prime}$, since $n<r$ and by transitivity we would have that $n<{r}^{\prime},$ contradicting our assumption. Thus in either case for any $r\in Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)$ there is no ${r}^{\prime}\in \mathcal{R}$ such that both (i) $r<{r}^{\prime}$ and (ii) $\mathcal{C}\left({r}^{\prime}\right)\u22a2\neg \mathcal{C}\left(r\right)$. Therefore for any $r\in Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)$, $r\in Undefeate{d}_{<}\left(\mathcal{R}\right)$. Therefore $Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\subseteq Undefeate{d}_{<}\left(\mathcal{R}\right)$ and $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)\subseteq \mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Thus for any maximal consistent subset $\mathcal{M}\subseteq \text{\hspace{0.17em}of\hspace{0.17em}}\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$, it is also the case that $\mathcal{M}\subseteq \mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Clearly every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ is also requirement consistent. Therefore every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ is a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$.
Observation**: Where $\langle \mathcal{R},<,n\rangle $ is any threshold reasoning context, for every maximal consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$ there is some maximal requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ such that $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$.
Proof: Suppose for the sake of the contradiction that it is not the case that for every maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$ there is some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ such that $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$. That is, suppose there is some maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$ for which every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ is such that $\mathcal{M}\underset{\_}{\not\subset}{\mathcal{M}}^{\prime}$. Since ${\mathcal{M}}^{\prime}$ is requirement consistent, there must be some maximal consistent subset ${\mathcal{M}}^{\ast}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ such that ${\mathcal{M}}^{\prime}\cup {\mathcal{M}}^{\ast}$ is consistent. It follows from Observation* that ${\mathcal{M}}^{\ast}$ is also a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Thus, since ${\mathcal{M}}^{\prime}$ is also requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$ by stipulation, ${\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}$ is a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Clearly ${\mathcal{M}}^{\prime}\subseteq \left({\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}\right)$, and, since ${\mathcal{M}}^{\ast}\underset{\_}{\not\subset}{\mathcal{M}}^{\prime}$. ${\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}\ne {\mathcal{M}}^{\ast}$. But this contradicts our assumption that ${\mathcal{M}}^{\prime}$ is a maximal requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$, because we have another requirement consistent subset ${\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}$, such that ${\mathcal{M}}^{\prime}\subseteq \left({\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}\right)\subseteq \mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Therefore it must be that for every maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$ there is some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ such that $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$.
Observation 3: Where $\langle \mathcal{R},<,n\rangle $ is any threshold reasoning context, if $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$ and $\langle \mathcal{R},<,n\rangle ~Ought\left(Y\right)$, then it is not the case that $X\u22a2\neg Y$.
Proof: If $\langle \mathcal{R},<,n\rangle ~Ought\left(Y\right)$, then $\mathcal{M}\u22a2Y$ for some maximal requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Since $\mathcal{M}$ is requirement consistent, $\mathcal{M}\cup {\mathcal{M}}^{\prime}$ is consistent for some maximal consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$. If $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$, then ${\mathcal{M}}^{\prime}\u22a2X$. Now suppose for contradiction that $X\u22a2\neg Y$. Then, by the transitivity of $\u22a2$, ${\mathcal{M}}^{\prime}\u22a2\neg Y$. But then $\mathcal{M}\u22a2Y$ and ${\mathcal{M}}^{\prime}\u22a2\neg Y$, contradiciting our assumption that $\mathcal{M}\cup {\mathcal{M}}^{\prime}$ is consistent. Therefore it is not the case that $X\u22a2\neg Y$.
Observation 4: Where $\langle \mathcal{R},<,n\rangle $ is any threshold reasoning context, if $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$ and $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$.
Proof: If $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$, then ${\mathcal{M}}^{\prime}\u22a2X$ for every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$. Let ${\mathcal{M}}^{\prime}$ be some such maximal consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$. It follows from Observation* that ${\mathcal{M}}^{\prime}$ is also a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Either ${\mathcal{M}}^{\prime}$ is a maximal requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$ or not. If it is, then, since ${\mathcal{M}}^{\prime}\u22a2X$, $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$. If not, then there is some maximal requirement consistent subset ${\mathcal{M}}^{\ast}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$ such that ${\mathcal{M}}^{\prime}\subset {\mathcal{M}}^{\ast}$. In which case, since ${\mathcal{M}}^{\prime}\subset {\mathcal{M}}^{\ast}$ and ${\mathcal{M}}^{\prime}\u22a2X$, it follows by the monotonicity of first order logic that ${\mathcal{M}}^{\prime}\u22a2X$ and therefore $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$. Thus $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$.
Observation 5: Where $\langle \mathcal{R},<,n\rangle $ is any threshold reasoning context, if $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$, then $\langle \mathcal{R},<,n\rangle ~P\left(X\right)$.
Proof: If $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$ then ${\mathcal{M}}^{\prime}\u22a2X$ for some maximal requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. Since $\mathcal{M}$ is requirement consistent, there is some maximal consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ such that $\mathcal{M}\cup {\mathcal{M}}^{\prime}$ is consistent. Thus there is some maximal consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ such that ${\mathcal{M}}^{\prime}\overline{)\u22a2}\neg X$. Therefore it is not the case that $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$. Thus $\langle \mathcal{R},<,n\rangle ~P\left(X\right)$.
A3. DualRole Reasoning Contexts
Several proofs below invoke the following intermediate observations, which I again prove separately.
Observation^{†}: Suppose that $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is a dualrole reasoning context such that $\mathcal{D}\subseteq \mathcal{J}$. Every maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ is also a requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$.
Proof: First, note that for any $r\in Undefeate{d}_{<}\left(\mathcal{D}\right)$, $r\in \mathcal{D}$ and therefore,since $\mathcal{D}\subseteq \mathcal{J}$, $r\in \mathcal{J}$. Second, for any $r\in Undefeate{d}_{<}\left(\mathcal{D}\right)$, by definition there is no other ${r}^{\prime}\in \mathcal{R}$ such that (i) $r<{r}^{\prime}$ and (ii) $\mathcal{C}\left({r}^{\prime}\right)\u22a2\neg \mathcal{C}\left(r\right)$. Thus for $r\in Undefeate{d}_{<}\left(\mathcal{D}\right)$, $r\in Undefeate{d}_{<}\left(\mathcal{J}\right)$. So $Undefeate{d}_{<}\left(\mathcal{D}\right)\subseteq Undefeate{d}_{<}\left(\mathcal{J}\right)$ and $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)\subseteq \mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. Thus for any maximal consistent subset $\mathcal{M}\subseteq \mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$, $\mathcal{M}\subseteq \mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. Clearly any maximal consistent subset $\mathcal{M}\subseteq \mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ is also requirement consistent. Therefore any maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ is a requirement consistent of subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$.
Observation^{††}: Suppose that $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is a dualrole reasoning context such that $\mathcal{D}\subseteq \mathcal{J}$. For every maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$, there is some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ such that $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$.
Proof: Assume for the sake of contradiction that it is not the case that for every maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$, there is some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ such that $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$. That is, suppose there is some maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$ for which every maximal requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ is such that $\mathcal{M}\underset{\_}{\not\subset}{\mathcal{M}}^{\prime}$. Since ${\mathcal{M}}^{\prime}$ is requirement consistent, ${\mathcal{M}}^{\prime}\cup {\mathcal{M}}^{\ast}$ is consistent for some maximal consistent subset ${\mathcal{M}}^{\ast}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$. From Observation^{†} it follows that ${\mathcal{M}}^{\ast}$ is also a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. Thus, since ${\mathcal{M}}^{\prime}$ is also a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$ by stipulation, ${\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}$ is a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. Clearly ${\mathcal{M}}^{\prime}\subseteq \left({\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}\right)$, and, since ${\mathcal{M}}^{\ast}\underset{\_}{\not\subset}{\mathcal{M}}^{\prime}$. ${\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}\ne {\mathcal{M}}^{\ast}$. But this contradicts our assumption that ${\mathcal{M}}^{\prime}$ is a maximal requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$, since there is another set ${\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}$ such that ${\mathcal{M}}^{\prime}\subseteq \left({\mathcal{M}}^{\ast}\cup {\mathcal{M}}^{\prime}\right)\subseteq \mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. Therefore it must be that for any maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$ there is some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ such that $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$.
Observation 6: Where $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is any dual – role reasoning context, if $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$ and $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(Y\right)$, then it is not the case that $X\u22a2\neg Y$.
Proof: If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(Y\right)$, then $\mathcal{M}\u22a2Y$ for some maximal requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. Since $\mathcal{M}$ is requirement consistent, $\mathcal{M}\cup {\mathcal{M}}^{\prime}$ is consistent for some maximal consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$. If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$, then ${\mathcal{M}}^{\prime}\u22a2X$. Now suppose for contradiction that $X\u22a2\neg Y$. By the transitivity of $\u22a2$, ${\mathcal{M}}^{\prime}\u22a2\neg Y$. But then $\mathcal{M}\u22a2Y$ and ${\mathcal{M}}^{\prime}\u22a2\neg Y$, contradicting our assumption that $\mathcal{M}\cup {\mathcal{M}}^{\prime}$ is consistent. Therefore it is not the case that $X\u22a2\neg Y$.
Observation 7: Suppose that $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is a dual – role reasoning context such that $\mathcal{D}\subseteq \mathcal{J}$. If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$, then $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$.
Proof: If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$, then $\mathcal{M}\u22a2X$ for all maximal consistent subsets $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$. Let ${\mathcal{M}}^{\prime}$ be some such maximal consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$. It follows from Observation^{†} that ${\mathcal{M}}^{\prime}$ is a requirement consistent subset of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$ Either ${\mathcal{M}}^{\prime}$ is a maximal requirement consistent subsets of or it is not. If it is, then ${\mathcal{M}}^{\prime}\u22a2X$ and thus $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$. If it is not, then there is some maximal requirement consistent subset ${\mathcal{M}}^{\ast}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$ such that ${\mathcal{M}}^{\prime}\subset {\mathcal{M}}^{\ast}$. In which case, since ${\mathcal{M}}^{\prime}\u22a2X$ and ${\mathcal{M}}^{\prime}\subset {\mathcal{M}}^{\ast}$, it follows from the monotonicity of first order logic that ${\mathcal{M}}^{\ast}\u22a2X$ and thus $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$. Thus $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$.
Observation 8: Where $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is any dualrole reasoning context. If $\langle \mathcal{R},\mathcal{J},\mathcal{D},<\rangle ~Ought\left(X\right)$, then $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~P\left(X\right)$
Proof: If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$, then $\mathcal{M}\u22a2X$ for some maximal requirement consistent subject of $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. Since $\mathcal{M}$ is requirement consistent, there is some maximal consistent subsets ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ such that $\mathcal{M}\cup {\mathcal{M}}^{\prime}$ is consistent. Thus there is some maximal consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ such that ${\mathcal{M}}^{\prime}\overline{)\u22a2}\neg X$. Therefore it is not the case that $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(\neg X\right)$. Thus $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~P\left(X\right)$.
A4. OughtRequirement Agglomeration
For any reasoning context $\text{\u2206}$, the principle of oughtrequirement agglomeration applies just in case if $\text{\Delta}~Must\left(X\right)$ and $\text{\Delta}~Ought\left(Y\right)$, then $\text{\Delta}~Ought\left(X\wedge Y\right)$. This principle holds some appeal in its own right. Suppose that in a given reasoning context $\text{\Delta}$ I am required to go to the beach, so that $\text{\Delta}~Must\left(B\right)$. Further suppose that in that same reasoning context I ought to buy myself an ice – cream, so that $\text{\Delta}~Ought\left(I\right)$. Oughtrequirement agglomeration supports the further conclusion $\text{\Delta}~Ought\left(B\wedge I\right)$, that I ought to go to the beach and buy myself an icecream, which seems plausible. However, oughtrequirement agglomeration is particularly attractive in light of the fact that, when combined with the closure of oughts under logical consequence, it preserves other attractive patterns of inference (cf. Horty 2012: 87–89).
Two scenarios illustrate the attractiveness of combining the principle of oughtrequirement agglomeration with the closure of oughts under logical consequence. First suppose that in a given reasoning context $\text{\Delta}$, John ought to fight in the army or serve his country in some other way (by serving as a hospital volunteer, for instance), so that we have that $\text{\Delta}~Ought(F\vee S)$. John is not required to flight or serve, but he ought to in the circumstances. Now suppose that John is required not to flight because his religion forbids it, so that $\text{\Delta}~Must\left(\neg F\right)$. From oughtrequirement agglomeration, we can conclude that $\text{\Delta}~Ought\left(\left(F\vee S\right)\wedge \neg F\right)$. Since $\left(F\vee S\right)\wedge \neg F\u22a2S$, the closure of ought under logical consequence then allows us to reach the conclusion $\text{\Delta}~Ought\left(S\right)$, that John ought to serve his country in some other way, which seems to be the correct result in this reasoning context.
Second, suppose that in a different given reasoning context ${\text{\Delta}}^{\u02b9}$ a student has two sets of homework he could finish this evening: his math homework, which is due first thing in the morning, and his English homework, which is not due until the following day. Because it is due first thing, he student is required to finish his math, so that ${\text{\Delta}}^{\u02b9}~Must\left(M\right)$. Suppose, however, that he really ought to finish his English homework to free up time tomorrow evening, so that ${\text{\Delta}}^{\u02b9}~Ought\left(E\right)$. Suppose further that $M\wedge E\u22a2\neg H.$ If the student finishes both his math and English homework, then he will have no more homework to complete at the end of evening. Oughtrequirement agglomeration allows us to conclude that ${\text{\Delta}}^{\u02b9}~Ought\left(M\wedge E\right)$. The student ought to finish his math and his English homework. Ought Closure then allows us to conclude ${\text{\Delta}}^{\u02b9}~Ought\left(\neg H\right)$, that the student ought to have no more homework to complete at the end of the evening. Again, this seems like the correct result in this reasoning context.
To begin with, we note that both threshold and dualrole reasoning contexts preserve the closure of ought under logical consequence.
Observation 9: Where $\langle \mathcal{R},<,n\rangle $ is any threshold reasoning context, if $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$ and $X\u22a2Y$ then $\langle \mathcal{R},<,n\rangle ~Ought\left(Y\right)$.
Proof: If $\langle \mathcal{R},<,n\rangle ~Ought\left(X\right)$, then $\mathcal{M}\u22a2X$ for some maximal requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. So $\mathcal{M}\u22a2X$ and $X\u22a2Y$ and thus, by the transitivity of $\u22a2$, $\mathcal{M}\u22a2Y$. Therefore $\langle \mathcal{R},<,n\rangle ~Ought\left(Y\right)$.
Observation 10: Where $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is any dualrole reasoning context, if $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$ and X ⊢ Y then $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(Y\right)$.
Proof: If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\right)$, then $\mathcal{M}\u22a2X$ for some maximal requirement consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. So $\mathcal{M}\u22a2X$ and X ⊢ Y and thus, by the transitivity of $\u22a2$, $\mathcal{M}\u22a2Y$. Therefore $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(Y\right)$.
Both threshold and dualrole reasoning contexts also both preserve oughtrequirement agglomeration.
Observation 11: Where $\langle \mathcal{R},<,n\rangle $ is any threshold reasoning context, if $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$ and $\langle \mathcal{R},<,n\rangle ~Ought\left(Y\right)$ then $\langle \mathcal{R},<,n\rangle ~Ought\left(X\wedge Y\right)$.
Proof: If $\langle \mathcal{R},<,n\rangle ~Ought\left(Y\right)$, then ${\mathcal{M}}^{\prime}\u22a2Y$ for some maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{R}\right)\right)$. It follows from Observation** that there is some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left({\mathcal{R}}_{n}\right)\right)$ such that $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$. If $\langle \mathcal{R},<,n\rangle ~Must\left(X\right)$, then $\mathcal{M}\u22a2X$. Since $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$ and $\mathcal{M}\u22a2X$ it follows by the monotonicity of first order logic that ${\mathcal{M}}^{\prime}\u22a2X$. So ${\mathcal{M}}^{\prime}\u22a2X$ and ${\mathcal{M}}^{\prime}\u22a2Y$ and therefore ${\mathcal{M}}^{\prime}\u22a2X\wedge Y$. Therefore $\langle \mathcal{R},<,n\rangle ~Ought\left(X\wedge Y\right)$.
Observation 12: Suppose that $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle $ is a dualrole reasoning context such that $\mathcal{D}\subseteq \mathcal{J}$. If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$ and $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(Y\right)$, then $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\wedge Y\right)$.
Proof: If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(Y\right)$, then ${\mathcal{M}}^{\prime}\u22a2Y$ for some maximal requirement consistent subset ${\mathcal{M}}^{\prime}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{J}\right)\right)$. It follows from Observation^{††} that there is some maximal consistent subset $\mathcal{M}$ of $\mathcal{C}\left(Undefeate{d}_{<}\left(\mathcal{D}\right)\right)$ such that $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$. If $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Must\left(X\right)$, then $\mathcal{M}\u22a2X$. Since $\mathcal{M}\subseteq {\mathcal{M}}^{\prime}$ and $\mathcal{M}\u22a2X$ it follows by the monotonicity of first order logic that ${\mathcal{M}}^{\prime}\u22a2X$. So ${\mathcal{M}}^{\prime}\u22a2X$ and ${\mathcal{M}}^{\prime}\u22a2Y$ and therefore ${\mathcal{M}}^{\prime}\u22a2X\wedge Y$. Thus $\langle \mathcal{R},\mathcal{D},\mathcal{J},<\rangle ~Ought\left(X\wedge Y\right)$.