The Logical Structure of a Contemporary Aristotelian Proof for a First Cause

Hello! Welcome to the first lesson of our final module, "Contemporary Formulations and Scientific Challenges."

In our last lesson, we concluded our tour of classical critiques by drawing a crucial distinction between two types of "first cause" arguments. We contrasted the Aristotelian argument against an infinite hierarchical regress (a simultaneous, sustaining chain of causes) with the temporal Kalam cosmological argument (a sequential chain of causes demanding a beginning in time). You'll recall that Aristotle's argument, unlike Kalam's, is perfectly compatible with an eternal universe, as it seeks a primary sustainer of reality, not a temporal initiator.

Today, we will build directly on that foundation. Our learning outcome is to outline the logical structure of a contemporary Aristotelian proof for a first cause, specifically the one formulated by the philosopher Edward Feser. Feser is a leading proponent of "neo-scholastic" metaphysics, and his work aims to restate these classical arguments with modern philosophical rigor. We will dissect his "Aristotelian Proof" step by step, focusing on its logical form, which your background in mathematics and logic should make particularly accessible.

1. The Starting Point: Change and Causality

Like Aristotle, Feser begins with an empirical observation that is impossible to deny: change is a real feature of the world. A cup of coffee cools, a plant grows, an object moves. He then deploys the core Aristotelian concepts you're familiar with from our first module to analyze what change is.

1. Change is the actualization of a potential. For the coffee to become cold, its potential to be cold must be made actual.
2. No potential can actualize itself. Something that is merely potential has no power to do anything, including making itself actual. Therefore, any potential that is actualized must be actualized by something that is already actual.

This establishes the Principle of Causality: any change is caused by something already actual. To see Feser lay out these foundational ideas himself, please watch the following segment of a detailed interview he gave.

So far, the argument has established that any change we see implies a chain of causes, where each step involves something actual actualizing a potential in something else. The next critical question is: what is the nature of this chain?

2. The Crucial Distinction: Linear vs. Hierarchical Series

This brings us back to the central theme of our previous lesson. Feser, following Aristotle and Aquinas, argues that it's essential to distinguish between two kinds of causal series.

• Linear Series (per accidens): A sequence of causes stretching back in time. Al begets Bob, who later begets Chuck. Al can be long gone when Chuck is born. Feser, like Aquinas, concedes that such a series could, for the sake of philosophical argument, go back infinitely.
• Hierarchical Series (per se): A series of causes that must exist simultaneously. A hand moves a stick that moves a stone. The stick's power to move the stone is entirely derived from the hand, right now. The hand is a primary mover relative to the stick, which is a purely instrumental mover.

Feser argues that a hierarchical series cannot be infinite. An infinite chain of instrumental causes (e.g., an infinitely long train of boxcars with no engine) has no member with inherent causal power, and thus the chain as a whole could not produce any effect. There must be a first member that has the causal power in a primary, non-derived way.

The next segment from the same interview provides an excellent, in-depth explanation of this distinction.

3. The Logical Structure: The "Existential Turn"

Here is where Feser's argument takes its distinctively modern and metaphysical turn. The argument pivots from explaining the change of things to explaining the existence of things at any given moment.

As a reviewer of Feser's work notes, this is the core of the proof:

"What makes the changing things in linear series (such as cats) exist at all right now (i.e., what keeps them in being)? ... His point is that the things all around us (at every level) are currently realizing their potential to exist. Hence, there must be a fully actual first cause on which they depend to actualize their potential to exist." (From the review in LINK)

This "existential turn" reframes the entire problem. The continued existence of a cup of coffee, from moment to moment, is itself an ongoing actualization of a potential. The coffee's molecules have the potential to be a cup of coffee, or to disperse, or to be something else. That they remain as coffee requires a concurrent, sustaining actualizer. This establishes a hierarchical series of existence, right here and now.

To fully grasp the argument's structure, we will now look at its formal, premise-by-premise presentation from Feser's book, as laid out in a critical analysis by Deniz Saraç.

Let's break down that logical structure:

• Premises 1-5: These establish the basics. Change is real (1), it's the actualization of a potential (2), so actualization is real (3). Crucially, this requires an already-actual cause (4, the Principle of Causality), so any change has a cause (5). This is the groundwork.

• Premises 6-8: This is the existential turn. A changing thing (substance S) must first exist (6). Feser's key move is in premise 7: The existence of S at any given moment...presupposes the concurrent actualization of S's potential for existence. This implies that S needs a concurrent actualizer A to exist at all (8). The argument is no longer about a thing changing from A to B, but about why the thing is at all, right now.

• Premises 9-12: This section applies the logic of hierarchical series to the chain of existential actualizers. The actualizer A either has its existence from itself (it is "purely actual") or it also needs an actualizer (9). If it needs an actualizer, we have a regress (10). But this is a regress of concurrent, hierarchical actualizers, which cannot be infinite (11). Therefore, the chain must terminate in a purely actual actualizer (12).

• Premises 13-14: The conclusion. The existence of any changing thing S presupposes a purely actual actualizer (13). Therefore, a purely actual actualizer exists (14).

4. The Terminus: A Purely Actual Actualizer

The argument concludes with the existence of something that can actualize everything else without itself needing to be actualized. It has no potentiality for existence that needs to be actualized. It is, in Feser's terms, an "unactualized actualizer," or in Aristotle's, an "unmoved mover." It is pure actuality (actus purus).

This final video segment explains why the regress must terminate in such a being.

The argument does not claim this being is an exception to the rule "everything has a cause." Rather, it claims the rule is, more precisely, "what goes from potential to actual has a cause." A being of pure actuality has no potentiality and thus is not the kind of thing that could have a cause in the first place.

Conclusion

You have now outlined the logical structure of a major contemporary formulation of the Aristotelian proof. As you've seen, it's a dense, multi-stage argument that relies on a specific metaphysical framework.

Key Takeaways:

• The proof begins with the reality of change, analyzing it as the actualization of potential, which requires an external, already-actual cause.
• It pivots via an "existential turn" (premise 7), arguing that a thing's very existence at any moment is an ongoing actualization of its potential to exist.
• This reframes the problem as one of a simultaneous, hierarchical causal series sustaining things in being.
• It argues that such a hierarchical series cannot be infinite and must terminate in a first member that actualizes without being actualized.
• The conclusion is the existence of a "purely actual actualizer"—a being with no potentiality whatsoever, which is the ultimate, non-derived cause of the existence of everything else in the series.

This lesson focused purely on the structure of the argument. But as your analytical mind has surely noted, every premise is a potential point of contention. Is change really the actualization of potential? Does existence truly require a concurrent actualizer (premise 7)? Can a hierarchical series truly not be infinite?

In our next lesson, we will begin to stress-test this argument. We will analyze contemporary defenses of these core Aristotelian metaphysical concepts against the powerful objections leveled by modern philosophy and science.