A Paradox of Time Travel Revisited
Total Page:16
File Type:pdf, Size:1020Kb
What Tim Can and Cannot Do: A Paradox of Time Travel Revisited Romy Jaster Abstract Time travel, it has been argued, leads to paradoxes, and in particular to a problem known as the grandfather paradox. Lewis has famously argued for the now standard view that the grandfather paradox is merely apparent. But underlying Lewis's solution is a faulty account of ability statements { one, according to which ability statements express possibility statements. I argue, contrary to Vihvelin and others, that an ameliorated view of ability statements allows for the same treatment of the seeming paradox. Hence, Lewis's take on the grandfather paradox stands despite the failure of the particular view of ability statements it is built upon. Keywords: time travel, grandfather paradox, abilities, can, possible worlds Time travel, it has been argued, leads to paradoxes, and in particular to a problem known as the grandfather paradox. If time travel were possible, it would be possible for a situation to occur in which a time traveler can and cannot kill his own grandfather. Since that is impossible, time travel is impossible. Or so the argument goes. For illustration, suppose Tim travels back to the year 1921 to kill his grandfather. Back in the past, he buys a rifle, trains to shoot, tracks his grandfather down, and aims. Can Tim kill his grandfather? The answer seems to be: yes and no. On the one hand, he can; he clearly has what it takes and the circumstances are just perfect. On the other hand, he cannot; if he could, he could do what is logically impossible. Tim obviously did not kill Grandfather in 1921, after all, because Grandfather lived on after that and, among other things, fathered Tim's father. If Tim killed him in 1921, it would therefore be true that he killed him in 1921 and did not kill him in 1921. Hence, it is logically impossible for Tim to kill Grandfather in 1921. Kriterion { Journal of Philosophy, 2020, 34(4): 93{110. http://www.kriterion-journal-of-philosophy.org c 2020 The author 94 KRITERION { Journal of Philosophy, 2020, 34(4): 93{110 Lewis [7] has famously argued for the now standard view that the grandfather paradox is merely apparent. On Lewis's view, the time traveler can kill his own grandfather in one sense of \can", but not in another. On Lewis's view of ability statements, which I will call \Possibilism", a statement of the form \S can φ" is true if and only if it is possible, relative to certain facts, for S to φ. Based on this view, it can then be shown that it is possible for the time traveler to kill his grandfather relative to one set of facts but not another. As Lewis puts it, \he can and he can't, but under different delineations of the relevant facts" [7, p. 151]. Thus, there is no paradox to begin with, on his view. In this paper, my aim is twofold. In the first three sections, I will argue that Lewis's solution to the grandfather paradox stands on shaky ground because the view of ability statements it is based upon is false. In the second part of the paper, however, I will defend Lewis's solu- tion to the grandfather paradox on the basis of a more comprehensive view of abilities. Section1 briefly recapitulates Lewis's analysis of abili- ties in terms of restricted possibility and his solution of the grandfather paradox. Section2 recapitulates Kenny's [3] demonstration that ability statements do not express restricted possibility. In section3, I will pro- vide what I take to be the reasons for the divergence between the logic of possibility and that of ability statements. In section4, I will present a more comprehensive view of abilities { the success view { and show that it incorporates a crucial insight from Lewis's account of abilities, while circumventing its problems. In section5, I will derive Lewis's solution for the grandfather paradox from the success view and conclude that Lewis's take on the grandfather paradox stands despite the failure of the particular view of ability statements it rests upon. Section6 raises a well-known problem for conditional analyses of abilities and shows that it does not affect the success view. 1 The grandfather paradox and Lewis's solution If Lewis is right, the grandfather paradox is merely apparent because it equivocates on \can". Given Lewis's views on ability statements, this is an obvious take on the problem. Ability statements, as I will use the term, are statements of the form \S can φ", where S is an agent, φ is an action, and \can" is used circum- stantially, as opposed to deontically or epistemically. Examples are \I can dance", \Sue can fly a plane" and, most crucially for our purposes, \Tim can kill Grandfather". On Lewis's view, ability statements express Romy Jaster: What Tim Can and Cannot Do 95 restricted possibility claims. \S can φ" is true, according to Lewis, iff S's φing is compossible with the relevant facts. In other words, POSS. \S can φ" is true iff there is a relevant world in which S φs. The relevant worlds are those in which the relevant facts obtain. Call this view \Possibilism". Possibilism is a contextualist view about ability statements: which facts are relevant will vary across ascriber contexts: To say that something can happen means that its happen- ing is compossible with certain facts. Which facts? That is determined (. ) by context. An ape can't speak a hu- man language { say, Finnish { but I can. Facts about the anatomy and operation of the ape's larynx and nervous sys- tem are not compossible with his speaking Finnish. The corresponding facts about my larynx and nervous system are compossible with my speaking Finnish. But don't take me along to Helsinki as your interpreter: I can't speak Finnish. My speaking Finnish is compossible with the facts considered so far, but not with further facts about my lack of training. What I can do, relative to one set of facts, I cannot do, rel- ative to another, more inclusive, set. (ibid.:150) Lewis's views about ability statements are in line with Kratzer's ([4], [5]) modal semantics. According to Kratzer, the modal auxiliary \can" functions as a sentence operator which has scope over a proposition and assigns restricted possibility. \Lewis can speak Finnish" has the same deep structure as \Apple trees can grow here" on that view, namely \CAN relative to F (p)", where F is the set of facts that has to obtain in the relevant worlds and p is the proposition which has to be true in at least one of those worlds. In the case of \Apple trees can grow here", F may contain facts about the soil and the weather, for instance; in the case of \Lewis can speak Finnish", F may contain facts about Lewis's larynx system, his amount of training, or any other set of Lewis's features. Let's now see how the grandfather paradox equivocates on \can", on Lewis's view. As he points out, Tim's killing Grandfather that day in 1921 is compossible with a fairly rich set of facts: the facts about his rifle, his skill and training, the unobstructed line of fire, (...) and so on. (...) Relative to these facts, Tim can kill Grandfather. But his killing Grandfather is not compossible with another, more inclusive set of facts. There is the simple fact that 96 KRITERION { Journal of Philosophy, 2020, 34(4): 93{110 Grandfather was not killed. (...) Relative to these facts, Tim cannot kill Grandfather. He can and he can't, but under dif- ferent delineations of the relevant facts. You can reasonably choose the narrower delineation and say that he can; or the wider delineation and say that he can't. But choose. What you mustn't do is waver, say in the same breath that he both can and can't, and then claim that this contradiction proves that time travel is impossible. (ibid.:151) Lewis's take on the grandfather paradox is very appealing: SOLUTION. Tim can kill Grandfather in one sense, but not in an- other, in that he can kill him, relative to one set of facts, but cannot kill him, relative to another. SOLUTION is widely accepted throughout the literature on time travel.1 Yet, as I shall now argue, it is ill-justified as it stands, because Possibilism is false; ability statements are not restricted possibility claims. Since SOLUTION rests on a false assumption, it stands on shaky ground. 2 The problem with Possibilism That Possibilism fails is most vividly shown by Kenny [3]. As Kenny lays out, the \can" of ability does not obey the most fundamental laws of the logic of possibility. Since the possibility operator is defined by the formal rules that govern it, treating the \can" of ability in terms of a restricted possibility operator is bound to fail. Any system of modal logic normally thought suitable for alethic in- terpretations of the operators contains the axiom K. ♦(p) _ ♦(q) $ ♦(p _ q) Let's focus on the right-to-left direction of the biconditional: K*. ♦(p _ q) ! ♦(p) _ ♦(q) As Kenny lays out, K* does not hold if the possibility operator is in- terpreted as the \can" of ability. Inserting the \can" of ability for the diamond, K* reads: K*ABILITY. If S can φ or , then S can φ or S can .2 K*ABILITY has many true instances: if I can eat an apple or a banana, then I can eat an apple or I can eat a banana.