Skip to main content

Craig's Case Against the Existence of Actual Infinites, Part Four

Fourth Version: Subtracting the Same Amount Yields Contradictory Results

(The rest of the posts in this series can be found here.)

Hilbert's Hotel Illustration:
Imagine a hotel with an infinite number of rooms and an infinite number of guests. Such a hotel would have some surprising features. So, for example, suppose all the guests in the even-numbered rooms check out. Then the hotel would still have infinitely many occupied rooms, viz., the odd-numbered rooms. On the other hand, suppose all the guests in rooms 4, 5, 6, ... check out of the hotel. Then the hotel will no longer have infinitely many occupied rooms -- it will have three. But how can this be? Just as many guests checked out in the first scenario as in the second scenario. This is because (i) the infinite set of even-numbered rooms (2, 4, 6, …) can be put into a one-to-one correspondence with the set of rooms numbered 4 and higher (4, 5, 6, …), and (ii) any two sets that can be put into a one-to-one correspondence with one another are the same “size” – each set has just as many members as the other. But this is absurd; subtracting the same amount cannot yield different amounts. Therefore, an infinite hotel is metaphysically impossible. But the absurdity here isn't particular to just infinite hotels. Rather, they generalize to every denumerably infinite set of concrete entities whatsover. Therefore, concrete actual infinites are metaphysically impossible.

We can express the argument illustrated above as follows:

1. If concrete actual infinites are possible, then a hotel with infinitely many rooms and infinitely many guests is possible.
2. If a hotel with infinitely many rooms and infinitely many guests is possible, then it’s possible to remove just as many guests from the hotel and get different amounts of remaining guests.
3. It’s impossible to remove just as many guests from the hotel and get different amounts of remaining guests.
4. Therefore, concrete actual infinites are impossible.

What to make of this argument?[1] By now the problem with Craig's argument is a familiar one: there is an equivocation on the locution "just as many" in (2) and (3). On the one hand, it might mean that "just as many" guests were removed in the two scenarios in the sense that the two sets of rooms have the same cardinal number. Then while (2) is true, it’s not obvious that (3) is true. For while the two sets of rooms have the same cardinal number, one set has all the members of the other set and then some, viz., the odd-numbered rooms. Referring to the coarse-grained similarity of the two sets (viz., sameness of cardinal number) conceals this crucial difference. But once one shifts one's focus from the sameness of cardinality to the finer-grained difference in the particular members of the two sets, the intuitiveness of premise (3) disappears. For then one would expect different results when the sets removed in the two scenarios are different in this crucial way.

On the other hand, one might mean that "just as many" guests were removed in the two scenarios in the sense that neither set of guests has members besides the ones they share in common. Then while (3) is true on that reading, (2) is not. For of course the set of guests removed in the second scenario has all the guests that were removed in the first scenario and others besides.

Yet again, the upshot is that the argument gets its intuitive appeal by equivocating on the notion of “just as many”. Thus, once the different readings of the expression are disambiguated, the argument loses its force.

[1] For more careful and rigorous versions of the following sort of criticism of the argument at hand, see the following articles: Morriston, Wes. "Craig on the Actual Infinite", Religious Studies 38 (2002), pp. 147-166, esp. pp. 151-152; Morriston, "Must Metaphysical Time Have a Beginning?", Faith and Philosophy 20:3 (July 2003), pp. 288-306, esp. 300-301. See also Dever, Josh. "Worlds Apart: On the Possibility of an Actual Infinity", esp. pp. 8-10.


Popular posts from this blog

Epicurean Cosmological Arguments for Matter's Necessity

One can find, through the writings of Lucretius, a powerful yet simple Epicurean argument for matter's (factual or metaphysical) necessity. In simplest terms, the argument is that since matter exists, and since nothing can come from nothing, matter is eternal and uncreated, and is therefore at least a factually necessary being. 
A stronger version of Epicurus' core argument can be developed by adding an appeal to something in the neighborhood of origin essentialism. The basic line of reasoning here is that being uncreated is an essential property of matter, and thus that the matter at the actual world is essentially uncreated.
Yet stronger versions of the argument could go on from there by appealing to the principle of sufficient reason to argue that whatever plays the role of being eternal and essentially uncreated does not vary from world to world, and thus that matter is a metaphysically necessary being.
It seems to me that this broadly Epicurean line of reasoning is a co…

CfP: Inquiry: New Work on the Existence of God

In recent years, methods and concepts in logic, metaphysics and epistemology have become more and more sophisticated. For example, much new, subtle and interesting work has been done on modality, grounding, explanation and infinity, in both logic, metaphysics as well as epistemology. The three classical arguments for the existence of God – ontological arguments, cosmological arguments and fine-tuning arguments – all turn on issues of modality, grounding, explanation and infinity. In light of recent work, these arguments can - and to some extent have - become more sophisticated as well. Inquiry hereby calls for new and original papers in the intersection of recent work in logic, metaphysics and epistemology and the three main types of arguments for the existence of God. 

The deadline is 31 January 2017. Direct queries to einar.d.bohn at

Andrew Moon's New Paper on Recent Work in Reformed Epistemology... the latest issue of Philosophy Compass. Here's the abstract:
Reformed epistemology, roughly, is the thesis that religious belief can be rational without argument. After providing some background, I present Plantinga's defense of reformed epistemology and its influence on religious debunking arguments. I then discuss three objections to Plantinga's arguments that arise from the following topics: skeptical theism, cognitive science of religion, and basicality. I then show how reformed epistemology has recently been undergirded by a number of epistemological theories, including phenomenal conservatism and virtue epistemology. I end by noting that a good objection to reformed epistemology must criticize either a substantive epistemological theory or the application of that theory to religious belief; I also show that the famous Great Pumpkin Objection is an example of the former. And if a copy should make its way to my inbox...

UPDATE: Thanks!