A Note on Morato on Modality and Explanation
Abstract
This brief note critically assesses the central arguments in Morato’s (Erkenntnis 79:327–349, 2014) recent contribution to the growing literature on Blackburn’s dilemma about necessity. In particular, I demonstrate that (i) neither of Morato’s two novel reconstructions of the dilemma’s contingency horn succeed, since both turn on false premises; and, (ii) Morato fails to adequately motivate his own response to these reconstructions. The upshot is that Morato has set himself a pair of flawed problems, then offered a flawed solution.
Keywords
Moral Responsibility Propositional Atom Actual Truth Modal Formula Explanatory RelationBlackburn (1986) offers a dilemma for any realist attempt to explain the source of necessity. In brief: suppose we explain p’s necessity by appeal to some q. Since explanation is factive, q must be true. And, if true, it must itself be either necessary or contingent. The problem is that either option leads to trouble: if q is necessary, there is a ‘bad residual must’ concerning q’s own modal status, and if q is contingent, there is ‘strong pressure to feel that the original necessity has not been explained or identified, so much as undermined.’ Consequently, either the explanans ‘shares the modal status of the original, and leaves us dissatisfied, or it does not, and leaves us equally dissatisfied’ (Blackburn 1986: 54).
Blackburn intended for this dilemma to motivate a wholesale abandoning of realism in favour of quasirealism about modality. Few have been so moved. This is partially because Blackburn does little more than provide the above sketch of the dilemma’s two horns. As a result, a cottage industry has developed around constructing—or, more charitably, reconstructing—the arguments underpinning the two horns.^{1}
Recently, Morato (2014) has offered two novel reconstructions of the dilemma’s contingency horn, along with a diagnosis of how he thinks wouldbe contingentists should best respond to them. In the process, Morato makes a case for a fairly radical ‘transworld’ view about the nature of explanation in modal contexts.
This brief note critically assesses Morato’s contribution to the debate about Blackburn’s dilemma. In particular, I demonstrate that (i) neither of Morato’s two novel reconstructions succeed, since both turn on false premises (though not the ones that Morato himself suggests); and, (ii) Morato’s own response to them, which involves rejecting the intraworldly factivity of explanation, is unmotivated at best. The general upshot is that while Morato is no threat to contingentists, he is not much help either.
1 Morato’s two arguments and his response thereto
Morato’s initial reconstruction of Blackburn’s contingency horn features two central assumptions. The first is:
 (ExNec)

‘□p because q’ is true in a world w _{ i } iff, for every w, p because q in w ^{2}
 (ExRel)

‘p because q’ is true in world w iff (p because q) in w
 (TruthAns)

For all worlds w, ((p because q), in w → q in w)
 (ExRelStrong)

‘p because q’ is true in world w _{ i } iff p because q in w _{ i } and, for every w where p is true, p because q
Having set these two reconstructions up, Morato then proceeds to knock them down. Specifically, he contends that both turn on a false premise: (TruthAns). According to Morato, as it requires that q must be true in world w to explain something in w, (TruthAns) entails that ‘(mere) possibilities cannot explain anything’. Consequently, (TruthAns) is incompatible with cases where possibilities ‘occupy the role of explanantia’ (2014: 340).Assume that a contingent proposition, q, explains □p. [By (ExRelStrong)], if q explains □p, then q explains □p in every possible world in which □p is true. Given that □p is true in every possible world, then [by (TruthAns)] q is true in every possible world, therefore q is necessary, contrary to our assumption. (2014: 338)
Building on this, Morato claims that such cases appear ‘in a great number of philosophical contexts’, though he mentions only two specific instances: (i) modal arguments, where an actual truth (e.g. the nonidentity of a statue and lump of clay) is explained by a nonactual possibility (e.g. the lump survives being smashed but the statue doesn’t); and (ii) discussions of moral responsibility, where the actual moral responsibility of an agent is explained in terms of ‘nonactual courses of actions available to him at the moment of [a] choice’ (2014: 341–342).
Consequently, there is a proposition—<Morato is elected>—whose possible truth we explain by appealing to facts about metaphysical compatibility. This, says Morato, constitutes a counterexample tohow it would have been possible for [Morato] to be elected in Parliament in the last general elections, what I need to do is explain how [his] actual properties before the last general election were not incompatible with [his] possible becoming a member of Parliament. (2014: 341)
 (TruthDum)

(p because q is true in w _{ i }) → (p is true in w _{ i })
For these reasons, Morato rejects (TruthAns). And, as (TruthAns) plays a role in both, he also rejects his two reconstructions of Blackburn’s contingency horn.
2 On Morato’s case against (TruthAns)
Before responding to Morato’s case against (TruthAns), it is worth noting that the principle is only incompatible with true explanatory claims where the explanans is false at the world of assessment—that is, (TruthAns) is false iff ‘((p because q) and ¬q)’ is true at some world w. In this way, (TruthAns) is perfectly compatible with possibilities serving as explanantia—for example, the truth of ‘I am not necessarily an only child because I possibly have a sister’ is compatible with (TruthAns), since the explanans is actually true. What is incompatible are true explanations involving a mere possibility, where q is a mere possibility in w iff q is false, though possibly true, in w.
This highlights that rejecting (TruthAns) amounts to denying that explanation is intraworldly factive—that is, denying that ‘p because q’ is true in w only if both ‘p’ and ‘q’ are true in w. As it is extremely plausible, abandoning intraworld factivity isn’t a move to be taken lightly. Hence the burden of proof is on Morato to motivate this radical step. However, nothing Morato has offered does so; or, put more generally, Morato has not provided any genuine counterexamples to (TruthAns).
Take the modal argument case. Here, the explanans is not a false (but possibly true) claim, but a true possibility claim—the relevant explanation is not, ‘Statue and Lump are distinct because Statue persists and Lump does not’; rather, it is, ‘Statue and Lump are distinct because possibly, Statue persists and Lump doesn’t’.
Similarly, the explanation in the moral responsibility case is something like, ‘A is morally responsible for her actions because possibly, A behaves otherwise’. Again, the explanans is not the false (but possibly true), ‘A behaves otherwise’, but the true possibility claim, ‘Possibly, A behaves otherwise’.^{4}
In other words, both cases are explanations of the form ‘(p because ⋄q) in w’, not ‘(p in w _{ i }) because (q in w _{ ii })’. And given that the explanans is true in both, neither tells against (TruthAns) since a counterexample to the principle requires a false explanans.
Morato might respond that the distinction between ‘(p because ⋄q) in w’ and ‘(p in w _{ i }) because (q in w _{ ii })’ collapses, because ‘⋄p and p have the same content, [and] therefore should be credited with the same explanatory potential’ (2014: 345). Consequently, the explanans is false in the world of assessment, and the cases are counterexamples to (TruthAns) after all.
I must confess that I have some difficulty wrapping my head around the idea that ⋄p and p have the same content, as they frequently differ in truth value, and certainly differ in entailments. But, setting this aside, it is clear that there is an explanatory difference between possibility claims and their nonmodalized correlates, for there are cases where p is (at least) a partial explanation for ⋄p, though ⋄p is never a partial explanation for itself. For example, ‘⋄(Ohle is a dog) partially because Ohle is a dog’ is actually true, though ‘⋄(Ohle is a dog) partially because ⋄(Ohle is a dog)’ is necessarily false. This difference in explanatory potential gives us good reason to think there is a distinction between ‘(p because ⋄q) in w’ and ‘(p in w _{ i }) because (q in w _{ ii })’.
Alternatively, Morato might respond by limiting the kind of propositions that can enter into explanation. Early in his article, Morato stipulates that, ‘for simplicity’s sake’ (2014: 328fn1), his principles are all restricted to propositional atoms. Obviously, such a restriction would block the above analysis: no possibility claim could be an explanans (or explanandum), so the only possible reading of the modal argument and moral responsibility cases would involve a false atomic explanans.
But this indicates that Morato’s restriction does more than merely reduce complexity—in fact, this stipulation does most of the heavy lifting, making the principles look more plausible than they actually are. So, why, other than simplification, ought we restrict ourselves to just propositional atoms?
However, as the righthandside states the truth conditions for ‘⋄(p because q)’, this entails‘⋄p because q’ is true in w iff for some world w, p because q in w
Yet this is false: generally, an explanation for something’s modal status need not be the same as a (possible) explanation of that thing. For example, many think that while the truth of ‘Socrates is wise’ explains the truth of ‘(Socrates is wise or ¬(Socrates is wise))’, the former does not explain the latter’s modal status.^{5} And, more to the point, while ‘Ohle is a dog because Ohle is a dog’ is necessarily false, ‘(⋄Ohle is a dog) because Ohle is a dog’ is plausibly true.^{6} Yet Morato’s restriction rules this explanation out. This, in combination with the above, means there is little reason to accept the restriction. And once the restriction goes, the two initial cases against (TruthAns) look inconclusive at best.‘⋄p because q’ is true in w iff ⋄(p because q)
A similar point applies to Morato’s second argument against (TruthAns). He is correct that, if we have a scenario where (i) ‘p because q’ is true, (ii) ‘p’ is false, and (iii) ‘⋄p’ is true, then both (TruthDum) and (TruthAns) would be false. But, in the case he details, condition (ii) is not met: what is explained is not a false nonmodal claim but a true possibility claim. Or, to put the point another way, the explanation is of the form ‘(⋄p because q) in w’, and the explanandum is the (true!), ‘⋄(Morato was elected)’. This fits with Morato’s ‘symmetry’ point—depending on which world you’re evaluating from, either the explanans or the explanandum will be a (true!) possibility—but leaves (TruthDum) and (TruthAns) unharmed. So Morato’s second point against (TruthAns) is also inconclusive.
These failures undercut Morato’s suggested abandoning of (TruthAns). But, again, this is not problematic, since (TruthAns) does not, pace Morato, entail that possibilities cannot play a role in explanations. All it entails is that there are no worlds where ‘((p because q) and ¬q)’ is true—and given the plausibility of the intraworldly factivity of explanation, this is a happy result.
3 On Morato’s two reconstructions
Of course, Morato rejected (TruthAns) in order to block his two reconstructions of Blackburn’s contingency horn. So contingentists might worry that, by embracing (TruthAns), they have jumped from the frying pan and into fire. Thankfully, they need not despair—as it happens, there are other reasons for rejecting the two.
 (ExWeak)

‘□p because q’ is true in world w _{ i } iff (i) for all w, p in w; (ii) q in w _{ i }; and, (iii) (□p because q) in w _{ i }
Moreover, (ExNec) is false. In general, any time q is either identical to p or is a conjunction that has p as a conjunct, then (ExNec)’s righthandside is, due to the irreflexivity of explanation, necessarily false. So, for example, ‘□(2 + 2 = 4) because (□(2 + 2 = 4) and ∀x(□x → □□x))’, is necessarily false. However, it is natural to think that ‘□□(2 + 2 = 4) because (□(2 + 2 = 4) and ∀x(□x → □□x))’ is actually true—that is, the necessity plus the generalization explains the necessity’s being necessarily necessary.^{7} But this falsifies (ExNec): the righthandside is true, the lefthandside false.^{8} Consequently, the first reconstruction is no threat to contingentists; it features a premise that everyone should reject.
A similar point applies to Morato’s second reconstruction: a central premise—(ExRelStrong)—is problematic. First, this principle is obviously false when we consider cases of explanation overdetermination. For example, true existential generalizations are, per standard, explained by their true instances. Thus ‘there is a dog because Ohle is a dog’ is actually true. However, as Ohle only contingently exists, there is a world w _{ 1 } where the explanans is false. But there might be other dogs in w _{ 1 }, whose existence serves to explain the existential. Thus there are cases where the relevant p is true though both q and ‘p because q’ are false.
In fact, we need not restrict ourselves to overdetermination cases for counterexamples. If we assume p only contingently obtains, then ‘(p or ¬p) because p’ might be true in world w _{ 1 }, though there will be a world w _{ 2 } where ‘(p or ¬p) because p’ is false and, instead, ‘(p or ¬p) because ¬p’ is true.^{9}
 (EMF)
 ‘p because q’ is true in world w _{ i } iff
 (i)
((p because q) in w _{ i }); and
 (ii)
for every w where ‘q’ and ‘p’ are true, (p because q) in w
 (i)
The upshot is that neither of Morato’s reconstructions are problematic: both feature a false premise, the sensible replacement for which leaves the argument impotent.
4 Conclusions
In summary, both of Morato’s novel reconstructions rely upon false premises (though not the ones that Morato suspected), and therefore are not a threat to those who would go in for contingent necessitymakers. Meanwhile, Morato’s case for rejecting (TruthAns) is less than convincing, especially once we are clear that doing so amounts to denying the intraworldly factivity of explanation.
Of course, I have said nothing here against Morato’s ‘transworld’ notion of explanation, which suggests a new and interesting way to think about the relationship between explanation and modality. Similarly, Morato’s challenge to clarify the explanatory difference between modalized and nonmodalized claims is a difficult and worthwhile one. However, these points do not take away from the fact that, when it comes to the contingency horn of Blackburn’s dilemma, it seems that Morato set himself a pair of flawed problems, then offered a flawed solution.
Footnotes
 1.
 2.
This and the following two principles are slightly modified from Morato (2014: 336). I have replaced all instances of ‘q explains p’, with ‘p because q’ and flipped the ‘p’s and ‘q’s to better correspond to the order of presentation. Neither alteration changes anything of substance. Per standard, I assume that ‘because’—like the notion of explanation it is meant to express—is factive, irreflexive, antisymmetric, and transitive.
 3.
Morato credits Cameron (2010) with a similar argument, though Cameron does not use anything like (ExNec).
 4.
In effect, the objection here is a version of Morato’s ‘Third Problem’ (2014: 345).
 5.
If it did, we would have a straight case of a contingency explaining the modal status of a necessity, and hence a counterexample to Blackburn’s contingency horn regardless of formulation. See Wildman (ms) for further discussion.
 6.
Further, Morato’s restriction rules out natural explanations of iterated modalities via appeal to simpler modal formula—for example, ‘⋄⋄p because ⋄p’ and ‘□□p because □p’ are, assuming the restriction, illegitimate explanations.
 7.
The point remains if we shift from a straight generalization to a law.
 8.
Morato might reply by appealing to his stipulation that his principles are restricted to logical atoms, but, as argued earlier, this restriction is problematic.
 9.
Thanks to an anonymous referee for this example. In fact, I have elsewhere argued that cases might involve contingent necessitymakers; see Wildman (ms).
 10.
To his credit, Morato (2014: 339) also argues that (ExRelStrong) is dubious, though he does not offer the above (decisive) counterexamples.
References
 Blackburn, S. (1986). Morals and Modals. In G. Mcdonald & C. Wright (Eds.), Fact, Science, and Morality: Essays on A.J. Ayer′s Language, Truth, and Logic (pp. 119–141). Oxford: Blackwell. (Reprinted in Blackburn, S. (1993). Essays in quasirealism, pp. 52–74, Oxford: Oxford University Press.).Google Scholar
 Cameron, R. (2010). On the source of necessity. In B. Hale & A. Hoffman (Eds.), Modality (pp. 137–153). Oxford: Oxford University Press.CrossRefGoogle Scholar
 Hale, B. (2002). The source of necessity. Noûs, 36, 299–319.CrossRefGoogle Scholar
 Hale, B. (2013). Necessary beings: An essay on ontology, modality, and the relations between them. Oxford: Oxford University Press.CrossRefGoogle Scholar
 Hanks, P. (2008). A dilemma about necessity. Erkenntnis, 68(1), 129–148.CrossRefGoogle Scholar
 Lange, M. (2008). Why contingent facts cannot necessities make. Analysis, 68(298), 120–128.CrossRefGoogle Scholar
 Morato, V. (2014). Explanation and modality: On the contingency horn of Blackburn’s dilemma. Erkenntnis, 79, 327–349.CrossRefGoogle Scholar
 Wildman, N. (ms.). Necessity by accident. Unpublished manuscript.Google Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.