Conjunctive Explanations: When Are Two Explanations Better than One?

When is it explanatorily better to adopt a conjunction of explanatory hypotheses as opposed to committing to only some of them? Although conjunctive explanations are inevitably less probable than less committed alternatives, we argue that the answer is not ‘never’. This paper provides an account of the conditions under which explanatory considerations warrant a preference for less probable, conjunctive explanations. After setting out four formal conditions that must be met by such an account, we consider the shortcomings of several approaches. We develop an account that avoids these shortcomings and then defend it by applying it to a well-known example of explanatory reasoning in contemporary science.


Introduction
When are two explanations better than one?That is, when is it explanatorily better to adopt the conjunction of individual explanatory hypotheses as opposed to choosing between them? 1 The options considered by this question are logically asymmetrical, the choice being between a "conjunctive explanation" h 1 ∧ h 2 and one of its conjuncts, say h 1 .The single conjunct option h 1 is uncommitted with respect to h 2 ; it is the option of only committing with respect to h 1 and so is rightly thought of as equivalent to h 1 ∧ (h 2 ∨ ¬h 2 ).It is emphatically not the committed stance characterized by the conjunction h 1 ∧ ¬h 2 , a stance which characterizes an alternative conjunctive explanation, on a logical par with h 1 ∧ h 2 .
Accordingly, the original question can also be clarified as follows: when is it explanatorily better to opt for logically stronger positions?Logically stronger options, conjunctive explanations, commit to strictly more information about the world.There 1 Here, we intentionally put aside the question of when it is overall epistemically right to favor a conjunction over one of its conjuncts.Our question pertains specifically to contexts of explanatory reasoning in which one is in search of the most explanatory conclusion.We leave open the possibility that the most explanatory conclusion might not be the overall epistemically best in some broader sense.Other related questions that are worth distinguishing from our own include: 1) When are two hypotheses better confirmed by the evidence than either individually (Atkinson et al., 2009)?; and 2) Under what conditions, and to what extent, do hypotheses compete with one another, relative to some body of evidence (Schupbach and Glass, 2017;Schupbach, 2019;Glass, 2019)?are thus strictly more ways in which they might turn out false.That is, conjunctive explanations have an unavoidably smaller chance of being right.Nonetheless, the answer to our central question is not "never"; it can be explanatorily better to opt for necessarily less likely options.
On the surface, this may seem strange.But a moment's reflection makes it more plausible and even obvious.Adding more relevant information into an explanation can, of course, make for an overall better explanation.That Tweety is a penguin is a better explanation of her inability to fly than that Tweety is a bird.
Psychological studies have demonstrated that subjects often prefer conjunctive explanations of human actions suggesting "that a complete explanation is often one that includes multiple goals, or goals plus preconditions" (Leddo et al., 1984, p. 940; see also Abelson et al., 1987).Insofar as scientists, social scientists and historians appeal to multiple causes to explain a given explanandum, conjunctive explanations are also relevant.Explanations of this kind are particularly prevalent in the biological sciences.For example, in their defence of "integrative pluralism," Mitchell and Dietrich draw attention to work by Blaustein and Kiesecker (2002) providing "evidence that multiple factors in interaction are responsible for amphibian decline," but more generally they argue that "the nature of the complexity of the systems studied by biology in conjunction with a decomposition methodology necessitates a plurality of causal hypotheses that are not competing but compatible" (Mitchell and Dietrich, 2006, p. S77).
Consider a well-known example from science.Scientists evaluate several distinct hypotheses as potential explanations of the mass extinction event at the Cretaceous-Paleogene (K-Pg) boundary (responsible for the extinction of the dinosaurs).These include bolide impact, massive volcanic activity and flooding, climate change, and sea level regression.Until recently, some geologists have argued for bolide impact as a "smoking gun" explanation, sufficient to account for the variety of historical traces and evidence relevant to the event.Cited evidence includes, in particular, anomalously high levels of iridium in deep-sea limestones dating from the K-Pg boundary (Alvarez et al., 1980), the Chicxulub crater (Hildebrand et al, 1991), and "ejecta-rich deposits" in distribution patterns related to distance from the crater (Schulte et al., 2010).
More recent work has focused on the question of whether we don't explain more of this evidence at a deeper level by logically strengthening this position, opting for the impact hypothesis in conjunction with other of the above potential explanations (Archibald et al., 2010;Courtillot and Fluteau, 2010;Keller et al., 2010;Renne et al., 2015).For example, Archibald et al. suggest that the explanans which commits only to the impact hypothesis is explanatorily anemic when it comes to the evidence found in "countless studies of how vertebrates and other terrestrial and marine organisms fared at the end of the Cretaceous."In many recent publications on the topic, it is common to find scientists opting at least for an explanans which conjoins the impact hypothesis with volcanic flooding.
We will return to this example below in order to test the adequacy of our proposed account.For now, the case serves to motivate our study by exemplifying the phenomenon of conjunctive explanation.Sometimes explanatory considerations seem to warrant a preference for saying strictly more about the world, in spite of the resulting price of being more likely wrong.This paper seeks to provide a principled account of conjunctive explanation; we seek an explication of the logical-epistemic conditions under which it is explanatorily better to opt for strictly stronger, less probable explanations.Section 2 introduces and motivates a set of desiderata for any such explication.Section 3 then applies these desiderata in order to highlight the shortcomings of some plausible, candidate explications.These criticisms are illuminating, providing positive direction for a more successful account of the conditions under which conjunctive explanations might be preferable.Such an account is developed and defended in the same section.
Section 4 concludes by applying our account back to the K-Pg example.It is argued that our preferred explication appropriately captures exactly the right considerations at work in this case study.

Desiderata for Conjunctive Explanations
We seek an account of the conditions under which a conjunctive explanation is explanatorily better than its logically weaker components.Our general strategy is to identify a measure of explanatory goodness, E , and use it as follows: Conjunctive Explanation based on explanatory goodness, E .Two hypotheses are explanatorily better together if their conjunction h 1 ∧ h 2 has more explanatory goodness with respect to explanandum e according to measure E than either Naturally then, we must explicate exactly what notion of "explanatory goodness" is at work here.There are as many distinguishable notions of explanatory goodness as there are dimensions along which we evaluate explanations (Schupbach, 2017).In different contexts, explanations are preferred for being simpler, more unifying, having broader scope and/or more power, etc., or for having any combination of these putative virtues.But what particular notion(s) of explanatory goodness captures the virtue at work when we prefer conjunctive explanations as "explanatorily better"?
To address this question, we set out a number of minimally necessary conditions such an account should satisfy.Our goal is to identify criteria relevant to the explanatory goodness of a conjunction of hypotheses, h 1 ∧ h 2 , and then to obtain a measure that can enable us to specify when such a conjunctive explanation provides a better explanation than either conjunct according to our strategy above.Most obviously, we should require the following: Possibility.Conjunctions of explanatory hypotheses may be explanatorily better with respect to some explanandum than their corresponding component hypotheses.
That is, the account should allow for the possibility that conjunctive explanations sometimes be better than logically weaker alternatives.This requirement is in line with our argument above, that logically stronger hypotheses can sometimes be explanatorily superior to weaker alternatives.
Two further natural requirements that we shall have to make more precise below are as follows: Power.Conjunctive explanations may be preferred because they more powerfully account for given evidence than any weaker position.
Scope.Conjunctive explanations may be preferred because they account for a wider array of evidence than any weaker position.
These desiderata point to two closely related reasons that may lead a reasoner to opt for a conjunctive explanation, and it clarifies that the account we aim for should reflect both types of consideration.In cases like the K-Pg example above, reasoners might endorse a logically stronger explanatory stance because such an explanans has greater power over some given evidence; i.e., one can account more convincingly for some body of evidence by doing so.But reasoners may also endorse the conjunctive position because doing so allows one to account for a broader swath of evidence.The relevant notion of explanatory goodness should thus incorporate the virtue of scope; the more evidence an explanation is able to account for, ceteris paribus, the better the explanation.
Note that the general strategy we outlined at the start of this section concentrated on whether a conjunctive explanation provides a better explanation for a single explanandum e.However, Scope concentrates on a wider array of evidence and so may not seem relevant to our account.2Nevertheless, it is still indirectly relevant since it provides one way in which explanatory goodness can be enhanced.In fact, as we shall see, this can be formulated as a criterion for a measure of explanatory goodness for explanations in general, whether conjunctive or not.Once an appropriate measure is identified that satisfies this criterion (along with the others), it can then be applied to conjunctive explanations.
There is, of course, an inevitable cost that comes by accepting conjunctive explanations, and the following desiderata requires that our account also be sensitive to this cost: Complexity.Logically stronger explanatory hypotheses by necessity convey strictly more information than weaker alternatives, making them necessarily less likely to be true.This cost in informational complexity can sometimes outweigh improvements in explanatory power or scope.
We now use these four informal desiderata to help motivate formal criteria for a measure of explanatory goodness that will be appropriate for conjunctive explanations.
It is straightforward to express the Possibility criterion formally in terms of a measure of explanatory goodness E as follows: C1.For two distinct explanatory hypotheses, h 1 and h 2 , for explanandum e, it is not necessarily the case that the explanatory goodness of h 1 ∧ h 2 is less than or equal to that of each conjunct.Formally, it is possible that E (e, The other informal criteria are not so easily translated into corresponding formal criteria.The reason for this is that there is a balance to be struck between Power and Scope on the one hand and Complexity on the other.Consider Power for example.
As already noted, there is a cost in terms of complexity associated with a conjunctive explanation, so it is not immediately obvious how to state the condition under which conjunctive explanations are to be preferred because of their greater power.However, we can state a related condition that is relevant for the measure of explanatory goodness even though it does not specifically mention conjunctive explanations.
Essentially, the idea is that the greater the power, ceteris paribus, the better the explanation.For the ceteris paribus condition, we need to keep the complexity (or information content) of the hypotheses fixed and in standard approaches to information content this can be done by setting the probabilities of the hypotheses to be equal.How can we express the idea that one hypothesis has greater power than another?As will become clear when we consider measures of explanatory power, the extent to which the explanandum is rendered more probable by a hypothesis is closely related to its power.This suggests the following criterion: 3,4   C2.For two distinct explanatory hypotheses, h 1 and h 2 , for explanandum e, such that P(h 1 ) = P(h 2 ), then E (e, h 1 ) > E (e, h 2 ) if P(e|h 1 ) > P(e|h 2 ).
Essentially, Scope requires that the explanatory goodness of a given conjunctive explanation can be greater in some cases for multiple pieces of evidence than it is for just one of them.In fact, there is no reason to restrict this criterion to conjunctive explanations, so we can formulate it more generally in terms of an explanatory hypothesis h.Of course, if it does not account for a piece of evidence very well, that may not enhance explanatory goodness, but we can propose the following condition 3 We will assume throughout that the relevant probabilities are defined and in particular that 0 < P(e), P(h 1 ), P(h 2 ), P(e ∧ h 1 ), P(e ∧ h 2 ), P(h 1 ∧ h 2 ) < 1.
4 C2 is crucially different from a straightforward "one-likelihood inequality" condition (Roche and Sober, 2023), which takes P(e|h 1 ) > P(e|h 2 ) to be a sufficient condition for E (e, h 1 ) > E (e, h 2 ), leaving out C2's additional stipulation that P(h 1 ) = P(h 2 ).As we will argue in the discussion of measures of explanatory power below, such a condition spells trouble in attempting to explicate the notion of explanatory goodness at work in conjunctive explanations.
for a specific case in which it is clear that a hypothesis does have greater explanatory goodness if it explains more evidence: C3. Suppose that e 1 and e 2 are two distinct and logically independent explananda.If an explanatory hypothesis h entails both e 1 and e 2 , h ⊨ e 1 , h ⊨ e 2 , then Finally, for Complexity we can ensure that the scope is kept fixed by keeping the explanandum fixed as e and ensure the power is fixed by keeping the probability of e given the hypotheses fixed.The next condition then needs to capture the idea that in such a case a hypothesis that is more complex cannot increase the explanatory goodness.We do this by comparing the hypothesis h 1 with the conjunction h 1 ∧ h 2 since P(h 1 ∧ h 2 ) ≤ P(h 1 ), and hence the informational complexity of h 1 ∧ h 2 is at least as great as that of h 1 .In fact, our fourth condition is just a statement that ensures irrelevant conjunctions do not result in better explanations: C4. Suppose that hypothesis h 2 is probabilistically independent of hypothesis h 1 , explanandum e and their conjunction. 5Then E (e, h 1 ∧ h 2 ) < E (e, h 1 ).
To illustrate, let e be a description of the bending of light from a distant source by the sun and h 1 an explanation in terms of Einstein's theory of general relativity.Let h 2 be the hypothesis that Covid-19 was the result of a lab leak.A plausible measure of explanatory goodness in the sense intended here should show that this conjunction provides a worse explanation since it is more complex and does not provide a better 5 In which case, P(e|h account of the explanandum.As such, C4 can be seen as an instance of Ockham's razor.

Accounting for Conjunctive Explanations
The Power criterion suggests an obvious place to turn in attempting to explicate the notion of explanatory goodness at work in conjunctive explanations, namely, to the formal literature explicating and measuring explanatory power (Sprenger and Hartmann, 2019, Variation 7).In the remainder of this section, we show that a particular trajectory through this expanding literature does indeed provide us with some promising directions for developing a working account.A way forward presents itself if we carefully attend to the unique shortcomings-apropos the above desiderata-of some candidate accounts.
This account is meant to capture "one familiar and epistemically compelling sense of explanatory power that is common to human reasoning."The salient notion of power "has to do with a hypothesis's ability to decrease the degree to which we find the explanandum surprising (i.e., its ability to increase the degree to which we expect the explanandum)."As one could argue by way of the K-Pg example above, one reason why one might be willing to commit to a logically stronger explanation is if doing so purchases greater explanatory power in this sense; i.e., if by doing so, the explanandum becomes much less surprising.
Schupbach and Sprenger argue that the following measure provides a uniquely best explication of their informal notion of power: E SS (e, h) = P(h|e) − P(h|¬e) P(h|e) + P(h|¬e) .
However, even if E SS adequately captures the notion of power that Schupbach and Sprenger have in mind, the following observation reveals that it does not provide an explication of explanatory goodness appropriate for an account of conjunctive explanations: Proposition 1. E SS satisfies criteria C1 and C2, but not C3 or C4.
Since it does not satisfy C3, E SS fails to reflect the virtue of scope in important contexts.Consider the scenario specified in C3 where an explanatory hypothesis h entails two distinct (and logically independent) explananda individually: h ⊨ e 1 , h ⊨ e 2 .For example, let e 1 be a description of Earth's planetary orbit, e 2 a description of the perihelion of Mercury and h an explanation in terms of Einstein's theory of general relativity along with relevant auxiliary assumptions.In this case, h has equal (and maximal) degree of explanatory power (à la Schupbach and Sprenger)  In fact, this result applies to virtually all proposed measures of explanatory power (offered as explications of the degree to which h alleviates our surprise in e).This maximum value across hypotheses that are intuitively unequal in their "explanatory loveliness." 7Good's measure is technically the log-normalized version of E GM .
8 See Glass (2023a) for further discussion of this result.
Since it follows immediately that they fail to satisfy C4, they are therefore unsatisfactory for present purposes. 9 Recall that the motivation for Complexity is the observation that there is a cost in informational complexity when we favor a logically stronger position; after all, there are strictly more ways that such a position could be wrong.The problem with the measures considered so far is that they ignore this cost in complexity altogether.
According to accounts of conjunctive explanation based on these measures, any benefit in accounting for e (no matter how slight) is worth any cost that comes by complicating our explanatory stance (no matter how great, short of inconsistency).
For this reason, this account too is not capturing the salient notion of explanatory goodness at work in conjunctive explanations.What is needed (per Power, Scope and Complexity) is an explication of explanatory goodness that combines the scope-incorporating notion of explanatory power with a penalty for informational complexity.
Interestingly, Bayes's Theorem can be thought of as combining exactly these considerations.For a particular h and e, the E GM measure captures a scope-incorporating notion of explanatory power.And as already emphasized, strictly increasing informational complexity (increasing logical strength) corresponds 9 Roche and Sober (2023) similarly criticize "purely probabilistic measures of explanatory power" for satisfying their "one-likelihood inequality" condition (a special case of the above Proposition 3).We agree with them in this paper at least insofar as we believe this to be a problem when it comes to using such measures for explicating the virtue of conjunctive explanations.
to a strictly decreasing probability.Thus, a hypothesis's probability provides a straightforward penalty factor for informational complexity.For example, for logically independent h 1 and h 2 , h 1 ∧ h 2 is strictly more informationally complex than either hypothesis individually, and so it should be penalized relative to these weaker options; this can be achieved simply by weighting a hypothesis's explanatory goodness by it's probability-since ). Bayes's Theorem does precisely this: Does this mean that we could use the posterior probability of a hypothesis as suitable measure of explanatory goodness?While posterior probability is not generally considered as a measure of explanatory goodness, its weakness is particularly obvious in the context of conjunctive explanations.Such an account would fail to satisfy C1 and hence Possibility, since necessarily Whereas conjunctive explanations would be altogether too easy to come by based on E GM , they would be too difficult to come by (impossible in fact!) if we were to use posterior probability.
The scope-incorporating, explanatory power account based on E GM ignores complexity altogether.By contrast, an approach based on posterior probability places extreme weight on considerations of complexity such that conjunctive explanations are effectively banned from the start.These problems are instructive.What we can now see is that the salient notion of explanatory goodness, the one at work when we favor conjunctive explanations, should strike a balance between (scope-incorporating) explanatory power and complexity.This can be achieved by finding a principled middling position between the problematically extreme accounts based on E GM and posterior probability.
Interestingly, I. J. Good (1968) discusses the same shortcoming of his own E GM measure that we highlighted above, emphasizing the fact that this measure ignores considerations of informational complexity.For this reason, he labels E GM his "weak" measure of explanatory power.Good proceeds to distinguish this measure from a family of "strong" measures that penalize for complexity.Good's strong measures are characterized by adding a γ-weighting parameter to the probability of a hypothesis in a log-normalized version of Bayes's Theorem (where 0 < γ < 1):

󰀖 + γlogP(h).
(1) Note, on the one hand, that if γ = 0, then the resulting measure ends up being Good's weak measure E GM again, with the result that complexity is given no weight.
On the other hand, if γ = 1, then the resulting measure is effectively Bayes's Theorem, with the aforementioned result that complexity is given implausibly extreme weight in potential conjunctive explanation scenarios. 10Since 0 < γ < 1, this family of measures provides any number of more plausible explications of the notion of explanatory goodness driving judgments about conjunctive explanations.For the rest of this paper, we follow Good's suggestion of setting γ = 1 /2 (see also Glass 10 Setting γ = 1 also has the effect of simplistically equating the conceptually distinct notions of "explanatory loveliness and likeliness," a move criticized convincingly by Lipton (2004).
(2023b) for a defence of this parameter setting).Selecting a different value of γ would not fundamentally change the picture, but would result in a different balance between (scope-incorporating) explanatory power and complexity. 11 We can now state the following result: Proposition 4. E G satisfies criteria C1, C2, C3 and C4.
Hence, E G provides a more appropriate measure for expounding the formal epistemology of conjunctive explanations. 12Following the approach set out at the start of section 2, we can now state the following account of conjunctive explanation: Conjunctive Explanation based on E G .Two hypotheses are explanatorily better together if their conjunction h 1 ∧ h 2 has more explanatory goodness with respect to explanandum e according to measure E G than does either conjunct Letting h 1 be the explanatory hypothesis with the greater individual degree of explanatory goodness with respect to e, i.e.E G (e, h 1 ) ≥ E G (e, h 2 ), this account 11 In particular, proposition 4 would still hold provided 0 < γ < 1.
12 Does this mean that Good's measure provides a uniquely best overall measure of explanatory goodness?Insofar as it satisfies C4, it explicates a different concept from the other measures and in so doing captures an important feature of explanatory goodness.However, a much more detailed argument would be needed to defend Good's measure as the best measure of explanatory goodness overall, and so we take no position on that question here.For present purposes, we only wish to claim that it provides an adequate account of conjunctive explanation.For a more general defence of Good's measure, see Glass (2023a).
requires the following inequality for a conjunctive explanation to be favored over both of its component conjuncts (i.e., E G (e, h 1 ∧ h 2 ) > E G (e, h 1 ) is equivalent to the following condition): We can express this result in information-theoretic terms.As Good (1968, p. 126) observes, citing the work of Bar-Hillel and Carnap (1953) and in accordance with our comments above, the informational complexity of h can be measured as a function of its prior, by Inf(h) = −logP(h).Informational complexity can also of course be measured conditionally, such that, for example, Inf(h|e) = −logP(h|e).Moreover, the amount of information concerning e provided by h can be quantified as Inf(e, h) = log[P(e|h)/P(e)], which is just the logarithm of E GM .Note that this can also be expressed as Inf(e, h) = Inf(e) − Inf(e|h), which represents the reduction in informational complexity of e brought about h.As Glass (2023b) shows, Inf(e, h) and Inf(h|e) may plausibly be thought of as quantifying explanatory gain and explanatory cost respectively.Good's measure (with γ = 1 /2) can then be expressed in terms of the difference between explanatory gain and cost as follows: We can think of h as providing a good explanation of e to some extent if E G (e, h) > 0, or equivalently, if the explanatory gain is greater than the explanatory cost.13 Based on these considerations, the inequality in ( 2) can be expressed in information-theoretic terms as: 14 Inf(e, h 2 |h 1 ) Suppose h 1 provides an explanation for e, and we wish to know whether it would be an explanatory improvement to commit to the logically stronger position described by the conjunctive explanation, h 1 ∧ h 2 .Expression (4) asks us to consider whether, given h 1 , the additional reduction in informational complexity of e brought about by h 2 is greater than the complexity arising from the introduction of h 2 in the context of h 1 and e. Informally, one should opt for the conjunctive explanation if doing so results in an explanatory gain (in terms of reduced informational complexity in the explanandum) that is worth the explanatory cost (of accepting an explanatory stance with overall greater informational complexity).
The following result follows trivially from expression (2), but it is worth stating since it distinguishes the proposed account of conjunctive explanation based on E G from those based on E SS and E GM .
Proposition 5. A necessary but not sufficient condition for a conjunctive explanation h 1 ∧ h 2 to provide a better explanation of explanandum e than h 1 does is: P(e|h 1 ∧ h 2 ) > P(e|h 1 ).γ = 1 /2 (Glass, 2023b). 14In the more general case where γ is not set to a value of 1 /2, the condition for conjunctive explanation, corresponding to expression (2), would become log

󰀔
and hence (4) would be replaced by For accounts based on E SS and E GM , this condition would be sufficient as well as necessary.This result reveals that explanatory power is still important in the proposed account.However, it is no longer sufficient since even though the inclusion of h 2 raises the probability of e, this may not be sufficient to outweigh the additional informational complexity introduced by h 2 .
The follow result identifies certain limiting cases relating the explanatory goodness of a conjunctive explanation to that of a single component conjunct.
Proposition 6.As an explanation of e, the conjunctive explanation h 1 ∧ h 2 : (i) must be exactly as good an explanation as h 1 if h 1 along with background knowledge probabilistically entails h 2 ; formally, E G (e, (ii) cannot provide a better explanation than h 1 if h 1 along with background knowledge probabilistically entails e; formally, E G (e, h 1 ∧ h 2 ) ≤ E G (e, h 1 ) if P(e|h 1 ) = 1; (iii) provides a better explanation than h 1 if e (or e ∧ h 1 ) along with background knowledge probabilistically entails h 2 , but h 1 along with background knowledge does not probabilistically entail h 2 or e; formally, E G (e, h 1 ∧ h 2 ) > E G (e, h 1 ) if P(h 2 |e) = 1 or P(h 2 |e ∧ h 1 ) = 1, P(h 2 |h 1 ) < 1 and P(e|h 1 ) < 1.
Each of these plausible results lends credibility to the account.For result (i), the fact that the information provided by h 2 is effectively already included in h 1 means that there is no semantic difference between the conjunctive explanation and the component explanation h 1 ; hence there is no consequent difference in their explanatory values with respect to any e.The fact that h 1 probabilistically entails e in result (ii) means that there is no scope for h 2 to improve the explanation by increasing the probability of e and so again it does not result in a better explanation.Finally, with result (iii), the inclusion of h 2 increases the probability of e at least to some extent and, crucially, since P(h 2 |e) or P(h 2 |e ∧ h 1 ) equals one there is no explanatory cost in informational complexity associated with the introduction of h 2 .
To clarify further this last, more complicated result, consider a simple example.
Suppose Smith died as a result of anaphylactic shock (e).The conjunctive explanation that Jones spiked Smith's drink with peanut oil and Smith had a nut allergy (h 1 ∧ h 2 ) would be a far better explanation than the simpler individual hypothesis that Jones spiked Smith's drink with peanut oil (h 1 ).This is due to the fact that e is made much more probable by conjoining the hypothesis that Smith had a nut allergy (h 2 ) to h 1 than it is by merely committing to h 1 , regardless of whether or not h 2 ; moreover, there is no additional cost associated with h 2 since it is probabilistically entailed by e ∧ h 1 .16 4 Conjunctive Explanation and the K-Pg Extinction

Event
In this closing section, we argue that our account captures the salient factors that ought to be considered (and balanced) in important real-life cases.We argue this by returning to the K-Pg extinction example.
Recall that scientists, in a number of different publications, have recently argued for the possibility that we can account for more of the available evidence by logically strengthening our explanans, conjoining the already favored impact hypothesis with other explanatory hypotheses.Archibald et al. (2010, p. 973), for example, write: A simplistic extinction scenario has not stood up to the countless studies of how vertebrates and other terrestrial and marine organisms fared at the end of the Cretaceous.Patterns of extinction and survival were varied, pointing to multiple causes at this time-including impact, marine regression, volcanic activity, and changes in global and regional climatic patterns.
The argued upshot is that multiple causal-explanatory hypotheses are going to be needed to account for the complex evidence pertaining to this event.And the difference is logically captured with a simple appeal to the (scope-incorporating) notion of explanatory power.Letting e represent the complex conjunction of evidence, and focusing for simplicity on the bolide impact h 1 and volcanic flooding h 2 hypotheses, we may explicate the conclusion for which these scientists are arguing as: Of course, as we've argued, more needs to be said at this point; after all, if this were the sole desideratum for deciding whether to strengthen one's explanans, there would seem to be no end to the additional h i 's we could introduce that would still further boost e's likelihood (conditional on the hypotheses so far accepted).One wants to know that the cost in terms of complexity introduced by logically strengthening the position is worth the resulting increased explanatory gain over the evidence.
It is thus reassuring to find scientists arguing for exactly this further point.For point in offering the high-precision 40 Ar/ 39 Ar data is not that this evidence can better (or only) be accounted for by the conjunction of distinct hypotheses.Rather, this data "indicate that [bolide impact and flood volcanism] may be genetically related," and so their article makes the case for thinking that h 1 and h 2 are themselves causally tied together.That is, they provide reason to think that a bolide impact would kick off massive volcanic activity.To the extent that they establish this point, volcanic flooding is much more likely to occur on the heels of a bolide impact (conditional or not on e), and so P(h 2 |h 1 ∧ e) ≫ P(h 2 |e). 17And this inequality directly bears on the informational complexity added to an explanation by h 2 , assuming that the explanans already contains h 1 (conditional or not on e), for it shows that the complexity penalty Inf(h 2 |h 1 ∧ e) is unlikely to be substantial.
Our account clarifies that a conjunctive explanation would be superior in this case if Inf(e, h 2 |h 1 ) = log  P(e|h 1 ∧ h 2 ) P(e|h 1 ) Of course, our purpose in discussing this work is not to argue that this inequality is satisfied in this example.We leave it to the scientists to figure that out.But the point is that this formal account nicely explicates what the scientists are trying to figure out.Our account captures the relevance for this question of exactly those considerations that the scientists are raising.Those arguing that the conjunctive explanation is better in this case are putting forward two distinct arguments.The first 17 Or at least that this is the case if P(h 2 |e) is not too high.Note also that P(h 2 |h 1 ∧ e) = P(e|h 1 ∧h 2 ) P(e|h 1 ) P(h 2 |h 1 ).We have already seen that there are good reasons for thinking that P(e|h 1 ∧h 2 ) P(e|h 1 ) is high.Renne et al. provide reasons for thinking that P(h 2 |h 1 ) is substantially greater than it would be under the assumption that h 1 and h 2 are independent.
is probabilistically explicable as the argument that the left hand term of the above inequality is substantial; the second can be explicated as the argument that the right hand term is not too high.To the extent that these two arguments are compelling, our account agrees that this would be a case where the logically stronger, conjunctive explanation is superior.
C3. Since h entails e 1 , it follows that P(h|¬e 1 ) = 0 and so E SS (e 1 , h) takes on its maximum value of 1.However, this is also true for E SS (e 1 ∧ e 2 , h) since h also entails e 2 .Hence, E SS fails to satisfy C3.

A.3 Proof of Proposition 3
Consider the measure E SS (the proof is trivial for E GM ).
C2.This follows trivially from the definition of E G .
C3. E G (e 1 ∧ e 2 , h) will be greater than E G (e 1 , h) provided E GM (e 1 ∧ e 2 , h) > E GM (e 1 , h) and so the result follows from proposition 2.
C4. Since it is assumed that P(h 2 ) < 1 and by hypothesis h 2 is independent of h 1 , it example, Renne et al. (2015) write: Bolide impact and flood volcanism compete as leading candidates for the cause of terminal-Cretaceous mass extinctions.High-precision 40 Ar/ 39 Ar data indicate that these two mechanisms may be genetically related, and neither can be considered in isolation.The existing Deccan Traps magmatic system underwent a state shift approximately coincident with the Chicxulub impact and the K-Pg mass extinctions [...] Initiation of this new regime occurred within ∼ 50, 000 years of the impact, which is consistent with transient effects of impact-induced seismic energy.The point that Renne et al. are arguing is distinct from the previous point.Their Good (1960) E SS , no explanatory power is gained here by accounting for e 1 ∧ e 2 as opposed to accounting only for e 1 (or e 2 ).What is needed in order to account more fully for the potential virtues of conjunctive explanations is a measure like Schupbach and Sprenger's, but which more adequately reflects the virtue of scope.6Lange (2022, p. 260) offers a similar criticism of Schupbach and Sprenger's measure in contexts where deductive entailment relations imply that this measure takes its This is exactly what seems to be provided by the following alternative measure of explanatory power, E GM , defended byGood (1960)7 and McGrew (2003):Like Schupbach and Sprenger's measure, E GM is straightforwardly interpreted as measuring "a hypothesis's ability to decrease the degree to which we find the explanandum surprising."But it has the advantage of satisfying C3 and hence more adequately incorporating the virtue of scope.
over e 1 , e 2 , and e 1 ∧ e 2 ; i.e., E SS (e 1 , h) = E SS (e 2 , h) = E SS (e 1 ∧ e 2 , h).Nonetheless, E GM also does not provide an adequate account of explanatory goodness appropriate for conjunctive explanations: Proposition 2. E GM satisfies criteria C1, C2 and C3, but not C4.Like E SS , E GM fails to satisfy C4 and so does not adequately reflect the cost of informational complexity in the context of conjunctive explanations.The following result highlights the close relationship between both of these measures and likelihoods: 8 Proposition 3. Let E represent either E SS or E GM .E (e, h 1 ) ⋛ E (e, h 2 ) if and only if P(e|h 1 ) ⋛ P(e|h 2 ).