Once every member of the series is explained, the whole series needs no further explanation

Once every member of the series is explained, the whole series needs no further explanation

The argument under examination is a serious objection to one family of Leibnizian cosmological arguments. It is not the crude claim that "science has explained everything" or that "infinite regress obviously solves the problem." Its stronger form is philosophical: if the existence of each contingent member of a series is accounted for by other members, background laws, or more basic facts within the same order, then nothing remains unexplained. To ask, after this, for an explanation of "the whole series" may be to manufacture a further question where there is no further fact.

This objection is associated, in different forms, with David Hume, Bertrand Russell, J.L. Mackie, and more recently with Graham Oppy. Hume's point, voiced through Philo in the Dialogues Concerning Natural Religion, was that once the members of a series are explained, the "whole" may not be a further object requiring a distinct cause; the grouping may be an act of the mind. Russell's famous response to Frederick Copleston was that the universe is "just there, and that's all"; his point was not that every local explanation is false, but that the demand for an explanation of the totality may be illegitimate. Mackie pressed doubts about an unrestricted Principle of Sufficient Reason, and Oppy develops naturalistic rivals on which the ultimate explanatory stopping point, if there is one, need not be a personal, divine, transcendent necessary being.

The steelmanned argument

The position can be stated as follows.

• First, many things within the world are contingent: stars, organisms, persons, planets, events, and so on. Each may be explained by prior conditions, laws, causes, or other contingent facts.
• Second, explanation is normally local. We explain this tree by seed, soil, sunlight, water, and biological processes. We explain a later state of the universe by an earlier state plus laws. We do not ordinarily require an additional explanation of "the collection of all explained things" once the members have been accounted for.
• Third, moving from "each member has an explanation" to "the whole collection has an explanation" may commit a fallacy of composition. Every human being has a mother, but it does not follow that the human race has a mother. Every book in a library may be owned by someone, but it does not follow that the library as a whole is owned by some further person.
• Fourth, if the series of contingent explanations is infinite, or if the explanatory structure has no first contingent member, then there is no initial unexplained contingent item. For every item one points to, there is another explanatory item, whether earlier in time or more basic in the relevant order. The demand for something outside the series is therefore not forced by the need to explain any particular member.
• Fifth, the alleged "totality of contingent beings" may not be a further being at all. It may be only a way of speaking about all the members together. If so, requiring a distinct cause of the totality after explaining the members is like asking, after we have accounted for the weight of each person in a crowd, for some additional crowd-weight over and above those weights. The crowd has an aggregate weight, but it is not a further substance with a second, independent weight.

On this view, the Leibnizian step fails. Even if every contingent thing has an explanation, it does not follow that there is one further contingent fact - the existence of the totality - requiring explanation by a necessary being. The theist is accused of asking the same question twice: first about the members, then again about the collection of those same members.

What this objection gets right

The objection has real force. It rightly warns against a careless fallacy of composition. Some properties transfer from parts to wholes, and some do not. If every brick in a wall is small, the wall need not be small. If every event in a history has a prior event, it does not immediately follow that the history as a whole has a prior event. A cosmological argument must earn that step, not assume it.

It is also true that many explanations do not require a separate explanation of a collection. If I explain why each person is in a room, there may be no remaining mystery about why the group is in the room. If one person came for work, another for a meeting, another to clean, and another to deliver supplies, asking "but why is the whole group here?" might simply repeat the question already answered member by member.

The objection also rightly distinguishes causal explanation from metaphysical explanation. If time itself is part of the series, then asking for a prior temporal cause of the whole temporal order may be confused. A defender of the cosmological argument cannot simply imagine the universe as one object sitting inside a larger time and then ask what happened before it. That would be too crude.

Finally, the objection exposes a genuine point of disagreement: the Principle of Sufficient Reason, or PSR. Strong Leibnizian arguments usually require something like the claim that every contingent fact has an explanation. Many philosophers reject that principle, or accept only a restricted version. The series objection becomes much more plausible if one thinks explanation is always local, contextual, and allowed to end in brute facts.

The main pressure point

The weakness of the objection is that "each member is explained" can mean two different things.

It may mean that every member has a complete and non-circular explanation. If so, perhaps the defender of the series has made progress. But it may only mean that every member is explained by another member of the same collection. In that case, the explanation is internal to the totality. The central question is whether internal explanation of each item is enough to explain why there is any such totality at all.

Consider an analogy. Suppose every entry in an infinite ledger is explained by the previous entry: this number appears because it was copied from the line above. For any particular line, one can cite an earlier line. But if we ask why there is a ledger containing entries at all, the answer "because each entry was copied from a previous entry" may not answer the question. It explains transmission within the system, not the existence of the system.

This analogy does not prove that an infinite contingent series is impossible. It shows only that explaining every item by appeal to another item may leave a different explanatory question untouched. The demand for an explanation of the whole is not obviously the same question asked twice. It may be a question about why this entire explanatory network obtains rather than none.

Contemporary Leibnizian philosophers often formulate this as the "big contingent fact" or "big conjunctive contingent fact" (BCCF): roughly, the fact that all contingent reality exists and is arranged as it is. In recent discussions by defenders of the PSR such as Alexander Pruss and Joshua Rasmussen, the point is that if there is such a fact, and if it is itself contingent, then a strong PSR says it requires an explanation. Explanations drawn only from inside contingent reality may explain one contingent fact in terms of another, but they do not by themselves explain why the entire contingent order obtains rather than not.

The series defender may respond that the "big conjunctive fact" is not a real additional fact. It is only a logical construction from the members. This reply has some bite, especially because an unrestricted conjunction of all contingent facts is not as simple as an ordinary finite conjunction; philosophers disagree about facts, propositions, totalities, and whether there is a single item corresponding to "all contingent reality." Still, the dismissal cannot be too quick. We commonly accept at least ordinary conjunctive facts: that Alice exists and Bob exists is a fact if Alice exists and Bob exists. If the individual facts are contingent, their conjunction appears contingent too. Denying that any analogous total fact exists requires a broader theory of facts and explanation, not merely a slogan that "the whole is nothing over and above the parts."

The strongest reply from the series defender

The strongest reply is to deny the strong PSR itself. The defender can say:

Yes, every member of the series may have a local explanation. No, there need not be a further explanation of the totality. Explanation is a practice governed by contrast, context, and available laws. Once every particular thing has been explained as far as explanation can go, the demand for a further explanation of everything is not mandatory. Some facts may be brute, and the existence of the totality may be one of them.

This reply is philosophically serious. It does not make an obvious logical mistake. It is open to a naturalist to hold that reality contains an infinite regress of contingent explanations, a fundamental contingent state with no deeper explanation, or even a necessary natural structure rather than a divine necessary being. Many philosophers regard some brute contingency as less costly than positing God. Others argue that necessity-talk is obscure, or that the move from "there must be a necessary explanation" to anything recognisably divine is far from straightforward.

This reply also succeeds against overconfident versions of the cosmological argument. If the argument simply says, "Each part has a cause, therefore the whole has a cause," it is too quick. If it assumes without defence that an infinite explanatory regress is impossible, it has not persuaded someone who sees no contradiction in such a regress. If it treats the universe as though it were an ordinary object inside a larger container, it is vulnerable.

But the reply does not show that the Leibnizian demand is confused. It shows that the demand depends on substantive commitments about explanation, facts, and modality. The series defender is not merely exposing a simple fallacy of composition; they are usually rejecting or restricting the PSR, denying that there is a total contingent fact to be explained, or claiming that an infinite network of internal explanations is explanatorily sufficient. Any of those positions may be reasonable, but each is a philosophical commitment that must be defended rather than assumed.

What the objection establishes - and what it does not

The objection establishes that one cannot move casually from explained members to an externally explained whole. The Leibnizian argument must defend the claim that the totality of contingent reality is a genuine contingent fact and that such a fact requires explanation. It must also explain why internal explanations, even infinitely many of them, are not enough.

It does not establish that theism is false. It does not establish that an infinite regress of contingent explanations is actual, coherent in every respect, or supported by current science; contemporary cosmology does not by itself settle the metaphysical question of whether reality has an infinite explanatory regress, a first physical state, or a deeper non-temporal ground. Nor does the objection establish that the universe is self-explanatory. It establishes a conditional point: if one rejects the strong PSR, or if one denies that the totality is a fact needing explanation, then the Leibnizian inference to a necessary being is blocked.

Conversely, the critique of this objection does not establish theism. Showing that local explanations may fail to explain the whole series is not the same as proving a necessary being exists. It only removes the quick dismissal that the theist is "asking the same question twice." The deeper dispute remains: are brute contingent totalities acceptable, or does reason require an explanation of why there is any contingent reality at all?

That is where the real argument lies. The series objection is powerful against simplistic cosmological reasoning. Against a careful Leibnizian argument, however, it is not a refutation by itself. It is a challenge to a demanding principle of explanation, and often to the claim that there is a total contingent fact in need of explanation. Its success depends on whether those challenges are ultimately more plausible than the Leibnizian commitments they reject.