Do Oppy and Morriston successfully refute Craig's arguments against the actual infinite through Cantorian mathematical data, or does the philosophical problem remain?

This debate represents one of the most important contemporary philosophical battles in the kalām argument. William Lane Craig defends the impossibility of the actual infinite in the real world, while Graham Oppy and Wes Morriston respond that modern Cantorian mathematics proves the coherence of the actual infinite. The question: does mathematical success automatically transfer to physical reality?

Inadequate responses to be avoided

From some defenders of Craig:

"Mathematics are mere abstractions, unrelated to reality." Excessive oversimplification. The history of science is full of examples of "abstract" mathematics that later proved to describe reality accurately (non-Euclidean geometry in relativity, complex numbers in quantum mechanics). Wholesale rejection of mathematics is an indefensible position.

"Set theory is internally contradictory (Russell's paradox)." An outdated claim superseded by time. Russell's paradox has been resolved for over a century through rigorous axiomatic systems (ZFC). The claim that set theory is "contradictory" reveals ignorance of mathematical developments since 1920.

"Hilbert's hotel definitively proves contradiction." No. Hilbert's hotel shows that the infinite has counterintuitive properties, but "counterintuitive" does not equal "contradictory." Many scientific truths are counterintuitive (quantum entanglement, time dilation) but still true.

From some opponents of Craig:

"Cantor proved the possibility of the actual infinite, end of discussion." Imprecise reduction. Cantor proved the coherence of the actual infinite mathematically, but he himself was hesitant about its application to the physical world. The philosophical debate about physical application remains open.

"Modern physics uses infinity, therefore it exists." Unjustified leap. Using infinity as a mathematical tool in physics (such as infinite integrals) does not entail its actual existence in nature. Most physicists consider infinities in theories as signs that the theory needs modification.

Why these responses are inadequate

They fail to distinguish between three levels: (1) abstract mathematical coherence, (2) metaphysical possibility, (3) actual physical existence. Serious debate requires clarity about which level we are discussing, and what the relationship between levels is.

Structure of Craig's argument against the actual infinite

Craig clearly distinguishes between potential infinity—an endless process—and actual infinity—a completed infinite collection. His argument targets only the latter.

The argument from alleged contradictions. Craig uses Hilbert's hotel and similar paradoxes to show that the actual infinite leads to "metaphysically impossible" results: a set equals a part of itself, adding or subtracting from infinity does not change its size, etc. These are not logical contradictions, but Craig claims they are metaphysical contradictions.

The argument from the principle of determination. Craig proposes that the actual infinite violates a fundamental principle: one cannot determine "how many" members are in an infinite set in a definite way. This indeterminacy makes actual existence impossible.

The argument from subtraction. Craig's strongest argument: in mathematics, ∞ - ∞ is undefined. But in the real world, if we had an infinite number of balls and removed an infinite number, how many would remain? The inability to answer shows the impossibility of physical application.

Oppy's detailed response

Graham Oppy—one of the most prominent contemporary philosophers of religion—provides a systematic multi-level response:

Distinguishing between intuition and contradiction. Oppy agrees that the properties of infinity are counterintuitive, but insists this does not equal contradiction. Human intuition evolved to deal with the finite, so it is natural that it cannot comprehend infinity. This is human cognitive limitation, not metaphysical impossibility.

The technical Cantorian response. Modern set theory (ZFC) handles all the "paradoxes" Craig raises. For example, equality between a set and part of itself (bijection) is a definite mathematical property of infinite sets, not a contradiction. Cantorian mathematics has been internally coherent for over a century.

Critique of the principle of determination. Oppy responds that Craig confuses "numerical determination" (how many exactly?) with "qualitative determination" (what type of infinity?). Mathematics precisely determines types of infinities (ℵ₀, ℵ₁, etc.) even if it does not give a "number" in the finite sense.

Morriston's philosophical response

Wes Morriston adds an important philosophical dimension:

Challenge to Aristotelian intuition. Morriston proposes that Craig's rejection of the actual infinite is rooted in ancient Aristotelian metaphysics, not logical necessity. Why assume that Aristotelian intuition about infinity is correct? Modern science has surpassed Aristotle in many areas.

Response to the subtraction argument. Morriston shows that the "indeterminacy" in ∞ - ∞ results from attempting to apply finite operations to the infinite. In set theory, operations on infinities are precisely defined through cardinals and ordinals. The problem is in misapplication, not in infinity itself.

Possible physical examples. Morriston points to physical models that involve actual infinities: continuous space (infinite number of points), some models of spatially infinite universe, infinite time in some cosmological models. These are not proofs, but they show that physicists do not see principled impossibility.

Craig's counter-response

Craig and his allies respond with three strategies:

Distinguishing between mathematical and real. Mathematical coherence does not guarantee physical possibility. One can build coherent mathematics for universes with 11 dimensions or hyperreal numbers, but this does not mean their actual existence. Mathematics is broader than reality.

The problem of selective application. Craig accuses Oppy and Morriston of selectivity: they accept some results of Cantorian mathematics (coherence) but ignore others (such as undecidability results in ZFC). If mathematics is the ultimate reference, all its results must be accepted.

The argument from best explanation. Even if the actual infinite is "possible" mathematically, is it the best explanation of reality? Craig claims that a temporally finite universe model is simpler and more explanatory than infinite alternatives.

Current debate positions (2020-2026)

The "moderate mathematical realism" current (Oppy, Morriston, Malpass) accepts that mathematical success gives strong evidence for metaphysical possibility, without claiming certainty. The actual infinite is possible, and the burden is on its deniers.

The "strict distinction" current (Craig, Pruss, Koons) insists on separation between levels. Mathematics studies logical possibility, but metaphysics studies real possibility, and they are different. Infinity may be mathematically coherent and metaphysically impossible.

The "methodological agnosticism" current (Alexander Pruss sometimes, Ehrman) sees that the debate has reached an impasse: neither possibility nor impossibility can be definitively proven. It is better to seek other arguments for the kalām argument that do not depend on this issue.

Recent developments

In recent years, attempts have emerged to transcend the debate:

Discrete time models. Some physicists suggest that time may be discrete at the Planck level, thus bypassing the issue of actual infinity. But this raises other philosophical problems.

Constructive infinity. An attempt to distinguish between "constructed" infinity built gradually (acceptable) and "given" infinity all at once (rejected). But the distinction itself is disputed.

From the perspective of rational preponderance (the site's methodology)

The debate shows paradigmatically how cumulative methods work:

- The success of Cantorian mathematics is real and deserves serious consideration
- But the transition from mathematical coherence to metaphysical possibility is not automatic, and Craig is correct in pointing out this gap
- The subtraction argument remains the strongest Craig possesses, and Morriston's responses to it are serious but do not definitively settle the matter
- The cumulative result: the impossibility of the actual infinite is not proven with decisive proof, but it remains moderately probable. The kalām argument does not fall due to Oppy and Morriston's responses, but it needs modesty in formulating its inferential strength—presented as evidence within a cumulative bundle, not as an independent decisive proof.

Where we stand on this debate today

In the period 2020-2026, the debate crystallized around three new axes. First, increased interest in "finitist" approaches in philosophy of mathematics itself, where philosophers like neo-Dummett and neo-Brouwer defend rejecting the actual infinite even mathematically, giving Craig's position unexpected allies from within mathematics. Second, Oppy's responses developed in his recent works toward a more precise position that acknowledges mathematical possibility does not settle metaphysics, but he insists that the burden of proof falls on those claiming impossibility. Third, the works of Alex Malpass and Joe Schmid reframed the debate within a broader framework asking: does the kalām argument need impossibility of the actual infinite at all, or is it sufficient to show it is improbable? This last shift aligns perfectly with the method of rational preponderance: what is required is not absolute certainty but sufficient rational preponderance to build upon within a broader cumulative argument.