{"id":243,"date":"2012-09-17T01:25:42","date_gmt":"2012-09-16T14:25:42","guid":{"rendered":"http:\/\/www.skepticblogs.com\/reasonablyfaithless\/?p=243"},"modified":"2013-04-04T23:49:22","modified_gmt":"2013-04-04T23:49:22","slug":"infinite-dreams","status":"publish","type":"post","link":"https:\/\/skepticink.com\/reasonablyfaithless\/2012\/09\/17\/infinite-dreams\/","title":{"rendered":"Infinite Dreams"},"content":{"rendered":"<h2>\u00a0William Lane Craig on the infinite \u2013 Part I<\/h2>\n<p>&nbsp;<\/p>\n<ul>\n<li>Part 2 is here: <a href=\"https:\/\/skepticink.com\/reasonablyfaithless\/2013\/03\/25\/infinity-minus-infinity\">Infinity minus infinity<\/a><\/li>\n<\/ul>\n<p>During my path out of Christianity, I read and watched a lot of material from the Christian philosopher and theologian William Lane Craig: lectures, debates, books and journal articles.\u00a0 As I began to think critically about the logical underpinnings of Christianity, I came to realise that the arguments Craig presented were not sound (even if many of his opponents in live debates were unable to adequately point this out).\u00a0 I intend to explore Craig&#8217;s main arguments at length in future posts.\u00a0 But one particular aspect of Craig\u2019s thinking struck me as especially problematic, and that was his rejection of the infinite.<!--more--><\/p>\n<p>Craig\u2019s motivation for rejecting the infinite<sup>1<\/sup> is that some of his central arguments attempt to establish the existence of a divine First Cause of the universe, something that \u201cstarted it all off\u201d.\u00a0 Of course, if the universe didn\u2019t actually have a beginning, then it couldn\u2019t have a first cause.\u00a0 So a beginningless universe seems like a problem for Craig.\u00a0 One way a universe could be beginningless is for time to stretch infinitely into the past,<sup>2<\/sup> and it is this that Craig seeks to show is impossible.<\/p>\n<p>Someone familiar with other aspects of his work might wonder why Craig would bother attempting this via philosophical arguments, as in other places he relies on the Big Bang Theory, which he takes to imply that the universe (including space and time itself) had a beginning.\u00a0 But some modern cosmological theories<sup>3<\/sup> interpret the Big Bang as an event leading from some state of another universe to ours (possibly in a black hole of some other universe).\u00a0 So, with his First Cause arguments in mind, it seems sensible for Craig to argue that even if our universe was caused to exist (in some sense) by some other universe, which itself might have been caused by another, which was caused by yet another, then this process could not go back forever.\u00a0 Craig wants to show that time itself, even if it transcends our own universe, could not be infinite in the past.<\/p>\n<p>In what follows, it will be convenient to formally refer to the proposition<\/p>\n<p style=\"padding-left: 30px\"><strong>(P1)<\/strong> \u00a0<em>Time could not be infinite in the past.<\/em><\/p>\n<p>This is the specific claim that Craig wishes to demonstrate.\u00a0 To do this, Craig argues for the stronger proposition<\/p>\n<p style=\"padding-left: 30px\"><strong>(P2)\u00a0 <em>Nothing<\/em><\/strong><em> could be infinite.<\/em><\/p>\n<p>Since (P1) is a special case of (P2), it is clear that (P2) entails (P1).\u00a0 Conversely, (P2) clearly cannot be deduced from (P1), or from any single special case (or even from a handful special cases) \u2013 at least not without some extra argumentation.\u00a0 But it seems that Craig\u2019s attempts to demonstrate (P2) revolve around appeals to several special cases that he takes to be problematic.\u00a0 For example, in his <a href=\"http:\/\/www.youtube.com\/watch?v=w7FhphWDokA\">debate with Stephen Law<\/a>, he dismissed the possibility of an infinite collections of coins, or of Jupiter and Saturn orbiting the sun since eternity past.\u00a0 Elsewhere, he objects to the possibility of infinite hotels and libraries, counting backwards from infinity and other oddities.<\/p>\n<p>I do plan to address these special cases, and many others, in a subsequent post.\u00a0 However, while this is an interesting path to take, it is nevertheless tangential to a critique of Craig\u2019s main objective of establishing (P1).\u00a0 As I have already said, (P2) cannot be established simply by pointing to a collection of special cases.\u00a0 Such a method could only be successful if one was able to consider <em>all<\/em> special cases.\u00a0 And, since (P1) itself is one of those special cases, it seems a rather futile way of proving (P2), as it is really (P1) that Craig wishes to establish in the first place!\u00a0 Furthermore, the task of considering all special cases of (P2) must seem hopelessly impossible to Craig, since there are <em>infinitely many <\/em>special cases to consider.\u00a0 Even if Craig objected that the special cases of (P2) form a merely <em>potential <\/em>infinite collection, I\u2019m sure he\u2019d agree it had turned into an <em>actual<\/em> infinite once the task had been completed.<\/p>\n<p>But with that said, I do actually think there is a reason for theistic philosophers like Craig to consider special cases of (P2).\u00a0 For example, if I was suspicious of (P2), I might suggest scenarios that seem to be problematic for its proponents, and say that I could only consider accepting the proposition if such potential counterexamples could be adequately resolved.\u00a0 I would not be doing this in an attempt to <em>prove<\/em> that (P2) is false.\u00a0 Rather, I would be doing it to remind Craig of his burden of proof.\u00a0\u00a0 Since he has asserted (P2), and has not offered a general argument in its support, but instead attempted to prove it by considering various special cases, he must be prepared to refute any potential counterexample he is presented with.<\/p>\n<p>As it happens, there are many potential counterexamples to (P2), and I intend to present just one (which I don\u2019t claim is original, as I\u2019m aware of many similar scenarios floating around in the philosophical journals).\u00a0 Consider a world in which God exists in some spatially unbounded heavenly realm.\u00a0 Rather than creating a universe, God instead decides to create an infinite number of angels to keep him company.<\/p>\n<p>Now what is wrong with this possibility?\u00a0 I don\u2019t see why, if there really is a God that is as powerful as the one the Bible speaks of, he could not accomplish such a task.\u00a0 Does it lead to logical absurdities?\u00a0 I don\u2019t really see how.\u00a0 Perhaps we could grant that strange things might happen.\u00a0 For example, if God could communicate telepathically with the angels, and if they could teleport instantaneously (neither of which seems unlikely, from reading various Biblical passages), then God could cause the angels to arrange themselves into an infinitely long line.\u00a0 He could then cause them to rearrange themselves into two infinitely long lines, or three, or even infinitely many infinitely long lines.\u00a0 But what is wrong with this?\u00a0 On another day, God could choose to send infinitely many of the angels out of his throne room in such a way that there would still be infinitely many left with him.\u00a0 Or he could have dismissed a different infinite collection of angels so that only three remained with him.\u00a0 Sure, we don\u2019t have experience of infinitely long lines of people in our everyday lives, or of varying answers to \u201csubtraction problems\u201d,<sup>4<\/sup> but what is to say that such scenarios are impossible even for an omniscient and omnipotent God to accomplish?\u00a0 There just doesn\u2019t seem to be any glaring logical impossibilities.\u00a0 A proponent of (P2) has the burden of demonstrating conclusively that such a scenario really is logically impossible before anyone else should even consider accepting (P2).<\/p>\n<p>In conclusion, I don\u2019t know whether or not time extends infinitely in the past\u00a0\u2013 in our universe, or a multiverse, or even just some logically possible world.\u00a0 And I don\u2019t think anybody else does either.\u00a0 But it seems clear that Craig has not successfully demonstrated that time does not (or cannot) extend infinitely in the past.\u00a0 It seems to me that neither a finite nor infinite past leads obviously to logical absurdities.\u00a0 In fact, I would be more surprised if we <em>could<\/em> resolve such questions than if they remained unanswered forever (whatever \u201c<em>forever<\/em>\u201d might mean).<\/p>\n<p>&nbsp;<\/p>\n<p><strong>Footnotes<\/strong><\/p>\n<p>1.\u00a0 Going back to Plato and Aristotle (look up), Craig distinguishes between two kinds of infinities: \u201cactual infinities\u201d and \u201cpotential infinities\u201d.\u00a0 I won\u2019t go into too much detail here, but the former is meant to correspond to some kind of real existent infinite collection of things (such as an infinite number of books), while the latter merely reflects infinite possibilities (such as a universe or heavenly realm that extends indefinitely into the future, even though all the \u201cdays\u201d have not happened yet).\u00a0 There are blurry edges and, for example, some philosophers disagree on whether a (real or hypothetical) infinite past and\/or future would constitute an actual or potential infinity; for example, see Wes Morriston\u2019s article <a href=\"http:\/\/spot.colorado.edu\/~morristo\/EndlessFuture.pdf\">Beginningless Past, Endless Future, and the Actual Infinite<\/a>.<strong><\/strong><\/p>\n<p>2.\u00a0 Another way would be for time to be an \u201copen interval\u201d.\u00a0 In this scenario, there would be a point in the past beyond which time did not reach, but there would not be an actual moment of time<em> at<\/em> this point.\u00a0 By way of analogy, let<em> S<\/em> denote the set of all real numbers<em> x<\/em> such that 0<em>&lt;x<\/em>&lt;1.\u00a0 Although the number 0 is less than every element of<em> S<\/em>, 0 is not itself an element of<em> S<\/em>.\u00a0 In fact,<em> S<\/em> does not possess a minimum element.\u00a0 So, for every element of<em> S<\/em>, there is a smaller element of<em> S<\/em>.\u00a0 For considerations like this relating to the logical possibility of a beginningless universe that only extends finitely in the past, see Quentin Smith\u2019s article <a href=\"http:\/\/www.infidels.org\/library\/modern\/quentin_smith\/self-caused.html\">A Cosmological Argument for a Self-Caused Universe<\/a><strong>.<\/strong><\/p>\n<p>3.\u00a0 <a href=\"http:\/\/en.wikipedia.org\/wiki\/Lee_Smolin\">Smolin Selection Theory<\/a>\u00a0or\u00a0<a href=\"http:\/\/en.wikipedia.org\/wiki\/Eternal_inflation\">Chaotic Inflation Theory<\/a> or <a href=\"http:\/\/en.wikipedia.org\/wiki\/Cyclic_model\">Cyclical Models<\/a>,\u00a0to name just a few.<\/p>\n<p>4.\u00a0 These examples respectively correspond to the fact that any infinite set may be partitioned into a finite or countably infinite number of equinumerous subsets, or that any infinite set has various equinumerous subsets with complements of varying cardinalities. \u00a0While these properties are not shared by finite sets, one should not be surprised that infinite sets behave differently to their finite counterparts.<\/p>\n<p>&nbsp;<\/p>\n<p>http:\/\/www.youtube.com\/watch?v=zCjQqKCLkis&#038;feature=player_embedded<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u00a0William Lane Craig on the infinite \u2013 Part I &nbsp; Part 2 is here: Infinity minus infinity During my path&hellip;<\/p>\n","protected":false},"author":16,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8,12,14,17,25],"tags":[193,197,199,202,209],"class_list":["post-243","post","type-post","status-publish","format-standard","hentry","category-cosmological-argument","category-god","category-infinity","category-mathematics","category-william-lane-craig","tag-cosmological-argument","tag-god","tag-infinity","tag-mathematics","tag-william-lane-craig"],"_links":{"self":[{"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/posts\/243","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/comments?post=243"}],"version-history":[{"count":0,"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/posts\/243\/revisions"}],"wp:attachment":[{"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/media?parent=243"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/categories?post=243"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/skepticink.com\/reasonablyfaithless\/wp-json\/wp\/v2\/tags?post=243"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}