### A Critique of one of William Lane Craig's Arguments For a Finite Past

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

In some of his popular apologetics writings, Craig uses the following argument to support a key premise in his kalam cosmological argument, viz., that the universe began to exist:

"Suppose we meet a man who claims to have been counting down from infinity and who is now finishing: . . ., -3, -2, -1, 0. We could ask, why didn’t he finish counting yesterday or the day before or the year before? By then an infinite time had already elapsed, so that he should already have finished. Thus, at no point in the infinite past could we ever find the man finishing his countdown, for by that point he should already be done! In fact, no matter how far back into the past we go, we can never find the man counting at all, for at any point we reach he will already have finished. But if at no point in the past do we find him counting, this contradicts the hypothesis that he has been counting from eternity. This shows again that the formation of an actual infinite by never beginning but reaching an end is as impossible as beginning at a point and trying to reach infinity."

Call this "the immortal counter" argument". The argument can be expressed as a reductio, with (1) below as the premise set up for reduction:

1. The past is beginningless (conceived as a set of events with the cardinality A0, and the order-type w*).

2. If the past is beginningless, then there could have been an immortal counter who counts down from such a past at the rate of one negative integer per day.

3. The immortal counter will finish counting if and only if he has an infinite number of days in which to count them.

4. If the past is beginningless, then there are an infinite number of days before every day.

5. Therefore, the immortal counter will have finished counting before every day.

6. If the immortal counter will have finished counting before every day, then he has never counted.

7. Therefore, the immortal counter has both never counted and has been counting down from a beginningless past (contradiction)

8. Therefore, the past is not beginningless (from 1-7, reductio).

The undercutting defeater can be brought out by a careful look at (3). Grant the 'only if'. But why think the immortal counter will finish his count if he has had an infinite number of days to count them? For it's epistemically possible that he's counted down an infinite number of negative integers from a beginningless past, and yet has not counted them all. So, for example, he could now be counting "-3", so that he has just finished counting an infinite number of negative integers, viz., {...-5, -4, -3}, and yet he has not counted down all the negative integers. Given this epistemic possibility, any reason for believing his (3) is undercut.

Craig thinks he has a reply to this.

“I do not think the argument makes this alleged equivocation [from 'infinite' to 'all'. -EA], and this can be made clear by examining the reason why our eternal counter is supposedly able to complete a count of the negative numbers, ending at zero. In order to justify this intuitively impossible feat, the argument’s opponent appeals to the so-called Principle of Correspondence…On the basis of the principle the objector argues that since the set of past years can be put into a one-to-one correspondence with the set of negative numbers, it follows that by counting one number a year an eternal counter could complete a countdown of the negative numbers by the present year. If we were to ask why the counter would not finish next year or in a hundred years, the objector would respond that prior to the present year an infinite number of years will have elapsed, so that by the Principle of Correspondence, all the numbers should have been counted by now.

But this reasoning backfires on the objector: for on this account the counter should at any point in the past have already finished counting all the numbers, since a one-to-one correspondence exists between the years of the past and the negative numbers.” (Craig, “Review of Time, Creation, and the Continuum”, p. 323.)

Thus, Craig thinks the objector is committed to the claim that the counter will finish his count iff the days he's counted can be put into a 1-1 correspondence with the set of natural numbers. And since this can be done at any day of a beginningless past, the counter should always be done. But that contradicts the hypothesis that he's been counting down from a beginningless past.

But this won't do at all. For why, exactly, must the objector presuppose that the counter will finish his count iff the set of days he counts can be put into 1-1 correspondence with the set of natural numbers? Craig says that it's because otherwise the objector can't account for the possibility of an immortal counter who finishes the task on a particular day, as opposed to any other day. Now granted, counting a set of days that can be put into such a correspondence is a necessary condition for counting down a beginningless set of negative integers, but why in the world are we supposed to think it also sufficient?

Call the biconditional above 'Craig's Claim' (hereafter 'CC'):

(CC) The counter will have finished counting all of the negative integers if and only if the years of the past can be put into a one-to-one correspondence with them.

Now consider the following epistemically possible scenario as an undercutting defeater for CC:

Suppose God timelessly numbers the years to come about in a beginningless universe. Suppose further that He assigns the negative integers to the set of events prior to the birth of Christ, and then the positive integers begin at this point. Then the timeline, with its corresponding integer assignment, can be illustrated as follows:

…-3 -2 -1 Birth of Christ 1 2 3…

Suppose yet further that God assigned Ralph, an immortal creature, the task of counting down the negative integers assigned to the years BCE, and stopping at the birth of Christ. Call this task ‘T’. With this in mind, suppose now that Ralph has been counting down from eternity past and is now counting the day assigned (by God) the integer -3. In such a case, Ralph has counted a set of years that could be put into a one-to-one correspondence with the set of negative integers, yet he has not finished all the negative integers.

This case shows that, while it is a necessary condition for counting all of the events that one is able to put them into a one-to-one correspondence with the natural numbers, we have reason to doubt that it's sufficient. For if the events that are to be counted have independently “fixed”, or, “designated” integer assignments set out for one to traverse, one must count through these such that, for each event, the number one is counting is the same as the one independently assigned to the event. In the scenario mentioned above, God assigned an integer to each year that will come to pass. In such a case, Ralph must satisfy at least two conditions if he is to accomplish T: (i) count a set of years that can be put into a one-to-one correspondence with the natural numbers, and (ii) for each year that elapses, count the particular negative integer that God has independently assigned to it. According to CC, however, Ralph is supposed to be able to accomplish T by satisfying (i) alone. But we have just seen that he must accomplish (ii) as well. Therefore, being able to place the events of the past into a one-to-one correspondence with the natural numbers does not guarantee that the counter has finished the task of counting all the negative integers. And given that this scenario is epistemically possible CC is undercut. But recall that CC is Craig’s rationale for (3). Thus, (3) is undercut.

### 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…

### Notes on Mackie's "Evil and Omnipotence"

0. Introduction
0.1 Mackie argues that the problem of evil proves that either no god exists, or at least that the god of Orthodox Judaism, Christianity, and Islam, does not exist. His argument is roughly the same version of the problem of evil that we’ve been considering.
0.2 Mackie thinks that one can avoid the conclusion that God does not exist only if one admits that either God is not omnipotent (i.e., not all-powerful), or that God is not perfectly good. 0.3 However, he thinks that hardly anyone will be willing to take this route. For doing so leaves one with a conception of a god that isn’t worthy of worship, and therefore not religiously significant.
0.4 After his brief discussion of his version of the problem of evil, he considers most of the main responses to the problem of evil, and concludes that none of them work.

1. First Response and Mackie's Reply
1.1 Response: Good can’t exist without evil; evil is a necessary counterpart to good.
1.2.1 this see…

### Notes on Swinburne, "On Why God Allows Evil"

Notes on Swinburne’s “Why God Allows Evil”

1. The kinds of goods a theistic god would provide: deeper goods than just “thrills of pleasure and times of contentment” (p. 90). For example:
1.1 Significant freedom and responsibility
1.1.1 for ourselves
1.1.2 for others
1.1.3 for the world in which they live
1.2 Valuable lives
1.2.1 being of significant use to ourselves
1.2.2 being of significant use to each other

2. Kinds of evil
2.1 Moral evil: all the evil caused or permitted by human beings, whether intentionally or through negligence (e.g., murder, theft, etc.)
2.2 Natural evil: all the rest: evil not caused or permitted by human beings (e.g., suffering caused by hurricanes, forest fires, diseases, animal suffering, etc.)

3. The gist of Swinburne’s answer to the problem of evil: God cannot – logically cannot -- give us the goods of significant freedom, responsibility and usefulness without thereby allowing for the possibility of lots of moral and natural evil. This is why he has al…