Counting Incompossibles Peter Fritz University of Oslo [email protected] Jeremy Goodman University of Southern California [email protected] We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinc- tions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases are unavailable if we limit ourselves to the expres- sive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what proper- ties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. We often find ourselves speaking of things there could have been, as much in everyday life as when doing philosophy. We talk about build- ings that could have been built but never will be, and of children who could have been born but never will be. Yet in other moods we are inclined to deny that there are any such things. Surely nothing that could be a building fails to ever be one, and nothing that could be a person fails to ever be one. So our opinions appear inconsistent: we appear committed both to there being and to there not being things that could have been people but never are. Which is it? Philosophical orthodoxy sides with non-being: nothing that could be a person fails to ever be one. If this is right, then the distinctions that we cognize and communicate when we unreflectively speak of things which could have been people but never are must be Mind, Vol. 126 . 504 . October 2017 ß Fritz and Goodman 2017 doi:10.1093/mind/fzw026 Advance Access publication 4 February 2017 Downloaded from https://academic.oup.com/mind/article-abstract/126/504/1063/2966528 by Serials Section Norris Medical Library user on 29 January 2018 1064 Peter Fritz and Jeremy Goodman understood in other terms. For such distinctions are clearly intelli- gible. Consider the opening lines of Richard Dawkins’s Unweaving the Rainbow: We are going to die, and that makes us the lucky ones. Most people are never going to die because they are never going to be born. The potential people who could have been here in my place but who will in fact never see the light of day outnumber the sand grains of Arabia. Certainly those unborn ghosts include greater poets than Keats, scientists greater than Newton. We know this because the set of possible people allowed by our DNA so massively exceeds the set of actual people. In the teeth of these stupefying odds it is you and I, in our ordinariness, that are here. 1 (Dawkins, 1998,p.1) What Dawkins is getting at when he says that most people are never going to be born is clearly not obviously false. Yet it is surely false that most people are never going to be born: every person has been born. So if we wish to speak perspicuously while communicating what he is communicating, we will have to paraphrase him. His talk of ‘potential people’ and ‘possible people’ suggests that we paraphrase him as saying that most possible people are never going to be born. But ac- cording to philosophical orthodoxy, this paraphrase is little improve- ment, since all possible people (i.e. things which could have been people) have been (or will be) people, and so have been (or will be) born. The orthodox position therefore faces a paraphrase challenge: to say what substantive claim Dawkins is making without in so doing saying that there are merely possible people (things which could have been people but never are). The challenge is an urgent one. If it cannot be met, then we will have no choice but to take Dawkins’s talk of merely possible people at face value, and thus, as we will argue, accept 2 that it is a necessary matter what things there are. 1 Merely possible people also figure prominently in ethical debates about the so-called non- identity problem: see Parfit (1984, ch. 16), Hare (1988) and Hare (2007). 2 We have slightly oversimplified the orthodox position, which ought to be compatible with the claim that some future machines will count as people and so be people that are never born. What the orthodox position is committed to is that anything that could be a person is at some time a person. Our ascription of orthodoxy is based on the sociological observation that Williamson’s (2013) view that there actually are things that could have been people yet are never born (for example, Wittgenstein’s possible children) has mostly been met with incredulity. One might think that human zygotes that fail to develop are merely possible people, on the grounds that people are identical to human organisms that were zygotes before they were people (and hence people are not essentially people). Those who accept such views should replace our talk of merely possible people with talk of merely possible organisms. Fine (2005b) defends the eccentric view that you would still have been a person had you not been born; we Mind, Vol. 126 . 504 . October 2017 ß Fritz and Goodman 2017 Downloaded from https://academic.oup.com/mind/article-abstract/126/504/1063/2966528 by Serials Section Norris Medical Library user on 29 January 2018 Counting Incompossibles 1065 The aim of this paper is twofold. The first aim is to formulate the challenge illustrated using Dawkins’s quote in a general and precise way; this is done in §1. The second aim is to explore strategies for how the challenge might be met. §2 considers paraphrase strategies avail- able in first-order modal languages, and argues that, even given highly infinitary resources, they fail to meet the challenge. In §3 we show that the challenge can arguably be met by moving to a higher-order modal language, but only given one of two controversial views. The first of these views holds that it is necessary what properties there are. The second holds both that necessarily coextensive properties are identical and that properties of properties can apply to properties which there could not even possibly be. In §4 we argue that anyone engaged in the project of paraphrase must accept one of these heterodox views, since all other paraphrase strategies are problematic. Assuming that Dawkins is making a substantive claim which can be stated explicitly, we conclude with a trilemma in §5: either our challenge cannot be met, in which case we have no choice but to accept that it is a neces- sary matter what individuals there are, or it can be met, but only via one of the higher-order paraphrase strategies, in which case one of the two controversial views mentioned above concerning the metaphysics of properties must be true. Despite its disjunctive nature, this conclu- sion is striking, since most contemporary metaphysicians reject all three of its disjuncts. An appendix establishes the technical results appealed to in §2; the technical results appealed to in §3 are proved elsewhere. 1. The paraphrase challenge 1.1 Formulating the challenge Dawkins’s quote provides one example of the sort of discourse that, according to orthodoxy, cannot be taken at face value, and hence, given that we use it to sensibly convey precise ideas about modal reality, must admit of some sort of paraphrase. But there is a host of similar sentences equally in need of paraphrase if orthodox meta- physics is to be maintained. The challenge, then, is to come up with a systematic paraphrase for all such sentences, rather than ad hoc can sidestep this dispute by replacing talk of possible people with talk of possible children, since everyone, including Fine, agrees that you would not have been a child had you never been born. Mind, Vol. 126 . 504 . October 2017 ß Fritz and Goodman 2017 Downloaded from https://academic.oup.com/mind/article-abstract/126/504/1063/2966528 by Serials Section Norris Medical Library user on 29 January 2018 1066 Peter Fritz and Jeremy Goodman paraphrases for particular examples. Three aspects of this paraphrase challenge need to be clarified: (1) Which sentences are in need of paraphrase? (2) What does it take for one sentence to count as a paraphrase of a given sentence in need of paraphrase? (3) What counts as a systematic paraphrase strategy? (1) The expression ‘most’, used by Dawkins, is an instance of a well- studied family of variable-binding operators known as generalized quan- tifiers, other examples of which include the existential and universal quantifiers familiar from first-order logic, ‘there are n things such that …’, ‘there are infinitely many things such that …’, and ‘there are 3 uncountably many things such that …’. In logic and formal semantics, generalized quantifiers are taken to express structural constraints on the pattern of satisfaction of the conditions expressed by the formulae whose variables they bind.