Pure Actuality: A Modal Metaphysical Analysis

Hello! Welcome to the sixth lesson in our course on Aristotle's theory of the immovable mover.

In our last two lessons, we've navigated the major challenges to Aristotelian metaphysics from modern science. We saw that the principle of inertia in classical mechanics does not eliminate the need for a concurrent cause of change, and more recently, we evaluated how quantum mechanics, far from refuting Aristotle, can be interpreted in a way that is surprisingly congenial to his concepts of potentiality and formal causality.

Having addressed the primary scientific objections, we now turn to one of the most significant philosophical challenges to the entire argument. This objection targets the very nature of the First Mover itself. Today's learning outcome is to analyze the coherence of the concept of 'pure actuality' (actus purus) using tools from contemporary metaphysics, such as modal logic.

We will explore whether the conclusion of Aristotle's argument—a being of pure actuality with no potentiality—is logically coherent. This will take us into the realm of contemporary analytic metaphysics and the formal tools of modal logic. Given your background in mathematical and formal systems, this lesson will equip you to engage with the argument at its most rigorous and technically precise level.

1. The Nature of Actus Purus and the Core Dilemma

Throughout this course, we've built up a picture of the First Mover. As the ultimate explanation for change, it must be unmoved, which implies it is unchanging. An unchanging being cannot have any unactualized potentiality, because the actualization of a potential is what change is. Therefore, the First Mover must be a being of pure actuality—actus purus.

This doctrine has a profound implication, known as Divine Simplicity. If a being has no potentiality, it cannot be composed of parts.

• It cannot have physical parts, which could be arranged differently (a potentiality).
• It cannot be composed of matter and form, as matter is potentiality for form.
• It cannot be composed of essence and existence, as this implies the potential for an essence to exist or not exist.

In a simple being, there are no distinctions between its essence, its existence, and its attributes like power and knowledge. God doesn't have existence or power; God is his existence and power.

This leads to a powerful dilemma:

• Classical theism holds that creation is a free and contingent act. God could have chosen not to create.
• But if God is actus purus, he has no unactualized potentialities. The "potential to not create" cannot exist in him.
• Furthermore, if God is simple, he is identical with his act of creation. Since God exists necessarily, it seems his act of creation—and therefore the universe itself—must also exist necessarily.

This apparent contradiction, where the contingency of the world seems to be erased by the necessary nature of its cause, is the foundation of the Modal Collapse Argument.

2. Formalizing the Objection: The Modal Collapse Argument (MCA)

Contemporary philosophers have used the tools of modal logic—the logic of possibility and necessity—to formalize this objection with precision. To appreciate the argument and its critiques, a degree of formalism is indispensable.

The following reading from a contemporary metaphysics journal introduces the Doctrine of Divine Simplicity (DDS) and formalizes the core objection as the "basic argument." It then presents a key logical critique of this initial formulation.

As you've just read, the "basic argument" can be summarized as:

1. Necessarily, God exists. (◻∃x (x = God))
2. God is identical to the divine creative act. (God = ℩xCx)
3. Therefore, necessarily, the divine creative act exists. (◻∃x (x = ℩xCx))

The problem is that the inference from (1) and (2) to (3) is logically invalid. It commits a well-known substitution fallacy. The term "the divine creative act" is a non-rigid designator; it may refer to different things (or nothing) in different possible worlds. One cannot simply substitute it for a rigid designator like "God" inside a modal context (i.e., within the scope of a necessity operator, ◻).

This looks like a victory for the defender of actus purus. However, the debate is just beginning.

3. Repairing the Argument: From Logic to Metaphysics

The initial formulation's invalidity does not mean the objection fails. Philosophers have developed more sophisticated, logically valid versions of the MCA. The same paper shows how this is done.

This next reading introduces a repaired version called the "actuality argument" and shows how it shifts the focus of the debate away from formal logic and onto substantive metaphysical theses.

By employing the actuality operator (@), the argument becomes valid:

1. Necessarily, God exists. (◻∃x (x = God))
2. God is identical to the actual divine creative act. (God = ℩x@Cx)
3. Therefore, necessarily, the actual divine creative act exists. (◻∃x (x = ℩y@Cy))

The term "the actual divine creative act" is a rigid designator—it refers to the very same creative act in all possible worlds. The substitution is now valid.

This forces the defender of actus purus to confront the conclusion. Does the necessary existence of the actual creative act mean that our world, with all its contingent details, is necessary?

As Waldrop explains, this depends on a further metaphysical claim, the Essentialist Thesis (E):

(E) Necessarily, something is a divine creative act only if it is essentially the unique divine creative act.

If (E) is true, then the act that created our specific world could not have been otherwise. If that act exists necessarily, then our specific world must also exist necessarily. All contingency collapses.

The coherence of actus purus now hinges not on a logical error, but on a profound metaphysical question about the nature of divine action.

4. The Landscape of Solutions

The modal collapse objection is a central topic in contemporary philosophy of religion, and a variety of solutions have been proposed to resolve this tension. The Stanford Encyclopedia of Philosophy provides an excellent map of this complex terrain.

The solutions are diverse and sophisticated, but let's highlight two that are particularly relevant.

• Rejecting the Difference Principle: Solution (6) in the SEP article suggests rejecting the principle that "A difference in the effect presupposes a difference in the cause." On this view, God's single, simple, necessary act of will can ground different outcomes (a world existing vs. no world existing) without there being any corresponding difference or potentiality in God. The difference is entirely on the side of the effect. This is a radical move, as it makes divine causation unique, but it is a coherent way to block the collapse.

• Real vs. Cambridge Properties: Another influential approach, related to the work of Peter Geach and Barry Miller, distinguishes between a change in a subject and a mere relational change. For example, when you grow taller than me, I acquire the new property of "being shorter than you," but I haven't changed intrinsically. This is a "mere Cambridge property." Proponents of this view argue that God's act of 'creating the world' is not a change in God. Rather, the world comes into being, and thus God acquires a new relation to it. His intrinsic reality as actus purus remains unchanged. This is discussed in the Feser video you've seen previously (LINK, 45:30-49:09).

These solutions demonstrate that while the MCA is a powerful challenge, the defender of actus purus has intellectually robust, albeit complex, replies.

Conclusion

Our goal was to analyze the coherence of actus purus using the tools of contemporary metaphysics. We have seen that this classical doctrine faces a formidable and precise challenge from modal logic.

Key Takeaways:

• The doctrine of actus purus (pure actuality) leads to Divine Simplicity, where God has no parts or potentialities.
• This gives rise to the Modal Collapse Argument (MCA), which argues that if a simple, necessary God is identical to his creative act, then creation must be necessary, eliminating contingency.
• While simple versions of the MCA may be logically fallacious, they can be repaired using tools from modal logic (like the actuality operator) to create valid arguments.
• The debate then shifts from formal logic to substantive metaphysics, centering on principles like the Essentialist Thesis (E) concerning divine action.
• Defenders of actus purus have developed sophisticated responses, such as rejecting the Difference Principle or employing the distinction between real and "Cambridge" properties to show how a changeless being can ground a contingent reality.

The concept of pure actuality is not self-evidently incoherent. Instead, analyzing its coherence pushes us into some of the deepest and most fascinating territory in metaphysics, where logic, ontology, and theology intersect. It reveals that the Aristotelian conclusion of a First Mover that is actus purus is not a simplistic idea, but one that continues to generate profound philosophical inquiry.

This lesson concludes our analysis of specific objections to the Aristotelian proof. In our final lesson, we will synthesize everything we have covered. We will construct the strongest contemporary formulation of the argument for an unmoved mover and weigh the most formidable objections it faces from both science and philosophy, bringing your journey to a comprehensive conclusion.