Aristotle's Argument Against Infinite Regress

Hello! Welcome back to our study of Aristotle's philosophy.

Introduction

In our last lesson, we reconstructed the reasoning behind Aristotle's claim that a per se causal series—a simultaneous, hierarchical chain of causes—cannot be infinite. We used analogies like the hand, stick, and stone to understand that such a series is composed of instrumental causes whose power is purely derivative. We concluded that an infinite chain of such instruments, with no primary source of power, could not explain any effect at all.

Today, we will move from the intuitive reasoning to a more formal analysis. Your background in mathematics, logic, and systems architecture will be particularly relevant here, as we are essentially reverse-engineering a philosophical proof. The learning outcome for this lesson is to identify the logical structure of Aristotle's argument against an infinite regress of movers. We will break the argument down into its premises and conclusion to understand not just what it says, but how it works as a piece of formal reasoning. This logical tool is the engine of the cosmological argument, and in our next lessons, we will see how Aristotle puts it to work.

1. From Reasoning to Formal Structure

At its heart, the argument against an infinite regress is a reductio ad absurdum. It begins by assuming the opposite of what it seeks to prove (i.e., it assumes an infinite regress is possible) and then shows that this assumption leads to a logical contradiction. If the reasoning is valid, the initial assumption must be false.

Let's outline the argument's basic logical flow:

1. Observation: We start with an undeniable empirical fact: change is happening. Let's call a specific instance of change 'C'.
2. Causal Principle: This change C is being caused right now by a per se series of movers. (This is the type of series that sustains an effect, which we distinguished from a per accidens series last time).
3. Analysis of the Series: In a per se series, any intermediate member is an instrumental cause. Its power to cause is derived from the preceding member.
4. The Hypothesis (for reductio): Assume the per se series causing C is infinite.
5. Implication of the Hypothesis: If the series is infinite, it has no first member. This means every member is an intermediate, instrumental cause.
6. The Contradiction:
   • From (5), the series consists only of instrumental causes. Such a series has no ultimate source of causal power and therefore cannot produce an effect.
   • But from (1), an effect, C, is being produced.
7. Conclusion: The hypothesis in (4) must be false because it leads to a contradiction. Therefore, the per se series causing C cannot be infinite. It must be finite and terminate in a first mover.

This is the argument's skeleton. Now, let's flesh it out with more philosophical precision.

2. The Logic of Per Se Causality

The crucial step in the argument is understanding the logical properties that distinguish a per se series from a per accidens one. A well-structured article provides an excellent, rigorous analysis of this point.

This reading highlights two critical logical features of the argument:

a) Transitivity

As the article notes, a per se series exhibits transitivity. In the railroad car example, if car C's movement depends on car B, and car B's on car A, then car C's movement depends on car A. The causal dependency is transmitted down the entire chain. This is why removing any car in the series (except the last) would cause the motion to cease for all subsequent cars.

In a per accidens series (e.g., grandfather -> father -> son), this kind of transitivity does not hold. The son's ability to act does not depend on the grandfather's simultaneous action. The causal contribution is, in a sense, "off-loaded" at each step.

b) The Explanatory Deficit

The core of the logical problem with an infinite per se regress is that it creates an unresolvable explanatory deficit. The question is, "Why is the last railroad car moving?" The answer, "Because the car before it is pushing it," is incomplete. In a per se series, the causal power of each member is wholly derived. To explain the motion of the final car, you must account for the motion of the entire series. If the series is infinite, you are essentially saying:

Car N moves because of Car N+1, which moves because of Car N+2, which moves because of Car N+3... ad infinitum.

This is not an explanation. It is an infinite deferral of an explanation. Since no member has causal power of its own, and there is no first member to inject causal power into the system, an infinite series of instrumental causes has no power to explain the effect. It's like a line of credit where every bank is borrowing from another bank in an infinite chain, with no actual depositor at the start; no money could ever be withdrawn.

3. The Formal Deductive Argument

We can now assemble these points into a more formal deductive structure. This structure represents the logical core of Aristotle's argument against an infinite regress of concurrent movers.

• P1: A change, C, is occurring. (Empirical Premise)
• P2: The ongoing existence of change C requires a concurrent sustaining cause or series of causes. (Principle of Causality for per se series)
• P3: Such a causal series is either finite or infinite. (Law of Excluded Middle)
• P4: If the series is finite, it must terminate in a first member which causes without being caused (in that series). By definition, this is a First Mover.
• P5: Let us assume the series is infinite. (Hypothesis for Reductio ad Absurdum)
• P6: In a per se causal series, any member that is not the first member is an instrumental cause, possessing its causal power derivatively.
• P7: If the series is infinite (from P5), it has no first member.
• P8: Therefore, if the series is infinite, every member is an instrumental cause. (From P6 and P7)
• P9: A series composed exclusively of instrumental causes has no original source of causal power.
• P10: A series with no original source of causal power cannot produce an effect.
• C1: Therefore, an infinite per se series cannot produce an effect. (From P9 and P10)
• P11: But an effect, C, is occurring (from P1), and it is caused by this series (from P2). This is a contradiction with C1.
• C2: Therefore, the assumption in P5 must be false. The series cannot be infinite.
• C3: Therefore, the per se causal series must be finite and terminate in a First Mover. (From P3, C2, and P4)

This step-by-step deduction demonstrates the logical validity of the argument. Its soundness, of course, depends on the truth of its premises—particularly P2 (the causal principle) and P6 (the nature of per se causality).

Conclusion

We have now dissected the argument against an infinite regress and identified its formal logical structure. This is not merely an intuitive claim but a deductive argument that proceeds from a set of premises to a necessary conclusion.

Key Takeaways:

• The argument against an infinite regress of movers is a reductio ad absurdum.
• It hinges on the logical properties of a per se causal series, namely the transitivity of causal dependence.
• The core logical problem is the explanatory deficit: an infinite chain of purely instrumental causes contains no ultimate source of causal power and thus cannot explain the existence of an effect.
• The argument can be laid out as a valid deductive proof, where the conclusion (the series must be finite) follows logically from the premises.

Preview of the Next Lesson:

Having established and formalized this crucial piece of logical machinery, we are ready to see it in action. In the next lesson, we will begin Module 3 by examining how Aristotle applies this argument in his Physics. We will reconstruct the argument from Physics VII-VIII for the necessity of a first unmoved mover to explain celestial motion, seeing how he moves from a general logical principle to a specific conclusion about the cosmos.