Branching Time and the Semantics of Future Contingents
Jacek Wawer
PhD dissertation prepared under the supervision of Prof. dr hab. Tomasz Placek
Institute of Philosophy Jagiellonian University Kraków, Poland Acknowledgments
First and foremost, I would like to express my gratitude to Professor Tomasz Placek, the supervisor of my dissertation. Over a decade ago, he introduced me to the world of branching and has helped me to travel it ever since. The assistance he provided during my work cannot be overestimated. The philosophical community was impoverished due to his dedication, but I benefited enormously. Also, thanks to his continuous sup- port, I had the best possible environment to develop my thought. I have never been an obedient student and often challenged, rather than developed his philosophical views. Nonetheless, he only doubled his support and helped me to express my views better than I could have done it myself. I count myself to be immensely lucky to be his student. I would like to thank Professors Fabrice Correia, John MacFarlane, and Thomas Müller who mentored me during my research visits in Geneva, Berkeley, and Konstanz respectively. Many of their helpful suggestions influenced my views. I am indebted to Alex Malpass, Leszek Wronski,´ Juliusz Doboszewski, Antje Rumberg, and Michał Marczyk for their feedback on various fragments of this work and many inspiring dis- cussions which helped me clarify my ideas and recognize new paths. I would have not accomplished this work, if not for the continuous support and encouragement of my wife, Karolina. My research was possible due to the financial, administrative, and scientific sup- port of many institutions. Most importantly, the Jagiellonian University, and also (in alphabetic order) of the Foundation for Polish Science, Ministry of Science and Higher Education of the Republic of Poland, the Polish National Science Centre, the Polish- U.S. Fulbright Commission, and the Rector’s Conference of the Swiss Universities supplemented my research. Last, but not least, I would like to thank Professor Nuel Belnap and Professor Peter Øhrstrøm. I had a chance to personally discuss philosophy with them only a few times. Nonetheless, their influence and inspiration will be visible at virtually every page of this work. I disagree with some of their views (always with considerable discomfort), but the problems I undertake are their problems, expressed in their vocabulary, and approached using their methods. If I was able to see anything at all, it is only because I stood on the shoulders of the giants. Contents
1 Introduction1
2 Branching Realism5 2.1 Naïve Branching Realism...... 7 2.1.1 Futures in abundance...... 8 2.1.2 Problem with the trousers universe...... 11 2.2 Genuine Branching Realism...... 13 2.2.1 Two perspectives...... 16 2.2.2 Two languages...... 18 2.2.3 Which perspective is basic?...... 20 2.2.4 Are possible histories possible?...... 23 2.2.5 Indexical actuality...... 25 2.2.6 Towards Branching Actualism...... 27
3 Ockhamist semantics 31 3.1 Branching structure...... 31 3.2 Ockhamist truth...... 32 3.3 A few remarks on the logic of Ockhamism...... 37 3.4 Future tense operator...... 39 3.5 Modal operator...... 41 3.6 Sentences and propositions...... 44 3.7 From semantics to postsemantics...... 45
4 Semantics of Branching Realism 47 4.1 Metaphysical constraint of semantics...... 47 4.2 Extremism...... 49 4.3 Modalism...... 59 4.4 Many-valued semantics...... 62 4.5 Supervaluations...... 76 4.6 Assessment relativism...... 83 4.7 History relativism...... 93 4.8 Local relativism...... 99 4.8.1 Recognized possibilities...... 99 4.8.2 Counterfactual branches...... 105
iii CONTENTS
4.8.3 Continuations...... 110 4.8.4 Sets of transitions...... 119 4.8.5 A problem with local relativism...... 126
5 Thin Red Line 129 5.1 Metaphysics of the Thin Red Line...... 129 5.2 Semantic impact...... 133 5.3 Objections to the Thin Red Line...... 137 5.3.1 Metaphysics...... 137 5.3.2 Epistemology...... 137 5.3.3 Actuality...... 138 5.3.4 Semantics...... 139 5.3.5 Postsemantics...... 146
6 Branching Actualism 166 6.1 Metaphysical background...... 166 6.2 Semantic impact...... 173 6.3 Response to objections...... 179 6.3.1 Metaphysics...... 179 6.3.2 Epistemology...... 180 6.3.3 Actuality...... 181 6.3.4 Semantics...... 186 6.3.5 Postsemantics...... 188 6.3.6 Possible predictions...... 192 6.4 Branching possibilities...... 198 6.4.1 Are actualist possibilities sufficiently real?...... 198 6.4.2 Are genuine possibilities sufficiently real?...... 203 6.4.3 The nature of branching possibilities...... 206 6.4.4 Divergence or branching?...... 213 6.5 Localism and trans-localism...... 217
Summary 230
APPENDIX 232
iv Chapter 1
Introduction
Aristotle has stated the famous problem of the so-called future contingents in section 9 of De Interpretatione. Future contingents are statements concerning possible future eventualities. Aristotle describes them as “affirmations regarding particulars that are going to be” with respect to which “both possibilities are open, both being and not being, and consequently, both coming to be and not coming to be” (18a28–18a32 and 19a10-19a12). When Aristotle reflected on such affirmations, he noticed that we are torn by two conflicting ideas. On the one hand, if something might happen and it might not happen, then we can- not truly say that it will happen, nor can we truly say that it will not happen. If the affirmation were true, then the affirmed state would necessarily have to happen. If the negation were true, then the state would necessarily have to not to happen. Therefore, neither the affirmation, nor the negation of a contingent event is true (De Interpreta- tione, 18a34–18b16). On the other hand, the contingent occurrence either will happen, or will not happen. If it will happen, then the affirmation of the future occurrence is true and if it will not happen, then the negation of the future occurrence is true. It is thus absurd to say that neither the affirmation, nor the negation is true because, “Take a sea-battle: it would have neither to happen nor not to happen” (De Interpretatione, 18b17–18b25).1 Aristotle identified the tension between our notions of truth, possibility, and time. Every solution generates some substantial conceptual costs (otherwise, the issue would not have been so fervently disputed for over almost two and a half millennia in both European and Arab philosophy). In fact, it is not even entirely clear what was Aris- totle’s own reaction to the dialectical situation he outlined, since his comments are vague enough to allow mutually exclusive interpretations. This work addresses Aristo- tle’s problem yet again, this time in the form it assumed in the modern temporal logic. Specifically, in the context of the model of branching time. To get a better taste of Aristotle’s puzzle, let us use a simple example. The Greeks triremes were berthed at the harbor of Salamis. The captains were awaiting the orders, ready to fight the approaching Persian fleet. As Herodotus re-
1Throughout my dissertation, I use the translations of Aristotle’s work contained in (Aristotle, 1991).
1 CHAPTER 1. INTRODUCTION counts, Queen Artemisia of Caria advised emperor Xerxes against attacking the Greeks at Salamis. As she had provided very good reasons, she could have swayed him in fa- vor of another tactics. At that point, the faith of the naval campaign was unsettled. Had Xerxes listened to Artemisia, there would not have been a sea battle, had he rejected her advice, there would have been one. At the same time, the Greek leaders—Themistocles and Eurybiades—had observed the maneuvers of the Persian fleet from a hill nearby Salamis and Themistocles said to Eurybiadeds, “There will be a sea battle tomorrow.” Let me depict the story with a very simple, branching model:
no sea battle m3 m2 sea battle
There will be a sea m0 battle tomorrow m1 Xerxes and Artemisia Confer
Point m0 represents the moment at which the future sea battle is being decided. The right “branch” of the treelike model represents the continuation of this moment which holds the sea battle, the left branch represents the opposite continuation. At moment m1, Themistocles says, “There will be a sea battle tomorrow.” The Aristotelian question is: is the sentence true? Even a quick glance on the model suffices to recognize that the issue is highly prob- lematic. All that we have at our disposal is two alternative continuations of moment m1, which seem to be of little help if we want to answer the Aristotelian question. Based on the picture alone, one can easily argue that the sentence might be true and it might be false, but there is no clear way of deciding whether it is true. The formally most at- tractive semantic theory of branching (which I discuss in chapter3) o ffers a somewhat evasive answer to the Aristotelian question—it depends! With respect to the “right” branch, the sentence is true; with respect to the “left” branch, it is false. In a sense, such an answer is definitely correct. Indeed, in the battle-possibility, it is true that there will be a sea battle, and in the peace-possibility, it is true that there will be none. But is it really the answer we were looking for? Many philosophers were unconvinced. There seems to be a gap between the common-sense notion of truth and the notion of truth embodied in the most accurate semantic theory. A real question is: how (and if) to bridge this gap? Any answer to this question requires taking a side in the debate which originated with Aristotle’s puzzle. A majority of branching theorists side, in one way or another, with the first of Aristotle’s intuitions. They argue that none of the branches extending Themistocles’ utterance can be somehow privileged. Therefore, they all concede that no sentence regarding the contingent future event is true. Their theories can be subsumed under the umbrella term—antifuturism (I discuss them in chepter4). There is also a weaker, but persistent trend in the other direction. Philosophers and logicians in this community argue that there exists a very natural way to distinguish one of the branches. After all, only one of the alternative future continuations will actually
2 CHAPTER 1. INTRODUCTION take place and it is the continuation that is relevant for semantic purposes. The sentence about the future is true if and only if what it says will actually happen. This brand of theorists side with the second of Aristotle’s intuitions. They might be characterized as futurists. The branching environment is generally believed to be hostile to the futuristic ap- proach. It seems unlikely to distinguish the actual continuation of the utterance given that both continuations have the utterance as their parts. I partially agree with this assessment. Under one interpretations of the branching model—which I call branch- ing realism—there indeed is no place for the distinguished actuality. In this account, the temporal and modal reality is best represented as a branching object. Or, as Nuel Belnap likes to put it, Our World is branching. There is a lot of misconceptions regarding branching realism. One of them is that according to branching realism, actual world is branching. In this view, the branching tree represent the ordering of actual events. This leads to unacceptable consequences and the branching realists rightly rejected this interpretation. There is another mis- understanding of branching realism that is far less recognized, however. According to the second misrepresentation of branching realism, it holds that the branching tree represents the ordering of possible events. I might be sticking my neck out too far, given that many branching realists themselves describe the elements of the structure as possible events, but I think that they must mean it at most metaphorically. I base my opinion on an Aristotelian precept that one can talk of possibility only if one is ready to complement it with actuality. The second misinterpretation of branching realism might have led some futurists astray. On the one hand, they held that our world is branching, and on the other, since they believed that the branching represents possible events, they insisted that it needs to be supplemented with actual events. They ended up with a controversial view that our world is branching, but the actual part of our world is not. These vague comments need to suffice at this point. I describe in chapter5 how this particular brand of futurism has evolved, and, more importantly, how it was criticized by branching realists. I mostly agree with their criticism. Indeed, if you believe in the branching world, you cannot distinguish the actual branch. The realists conclude that the idea of a distinguished actual branch needs to be abandoned. As they say, one philosopher’s modus ponens is another’s modus tollens. I accept the implication mentioned above, but I derive the opposite conclusion. I do want to think about the elements of the branching structure as the possible events. Then, in accordance with the Aristotelian idea, I complement the possible with the actual. Then, I distinguish one of the branches as the possible branch that gets actualized. Therefore, I abandon the idea that the world is branching. Thus, I accept branching among the possible events and reject branching among the actual events (where the difference between the two is absolute). I call this position branching actualism. The branching pictures might easily suggest a realist picture. Remember that when I presented you with the Aristotelian question in the branching setting, I suggested that Themistocles utters a sentence at moment m1. It suggests, in turn, that a concrete person—Themistocles—occupies a realm of partially overlapping worlds. In the ac- tualist setting, however, Themistocles does not live on the branching tree, he lives in a non-branching actual world and when he says what will happen, he says what will
3 CHAPTER 1. INTRODUCTION happen in the actual world that he lives in. Therefore, I shall argue that branching actu- alism offers a much more hospitable environment for futurism than branching realism does. The most general aim of this work is to establish futurism as a viable semantic theory in the context of branching possibilities. Let me end with a short road map of the remaining material. In the next chapter, I will recount the history of the idea of the branching model. As I present the proces- sions of the idea, I will explain how the realist understanding has gradually become the prevalent account of branching. Then, I will explicate branching realism in more detail and defend it against possible misconceptions. Since the remaining part of the world is largely technical in character, I will devote chapter3 to the exposition of the formal apparatus I am going to use. In particular, I will discuss the formal properties of the branching structure and the basic properties of the Ockhamist semantics. In chapter 4, I will describe how branching realism naturally leads to antifuturism and discuss a number of specific proposals which rationalize the position. The discussion is both expository and critical in character. Chapter5 is devoted to the discussion of the so- called Thin Red Line theory. It is a theory which tries to combine branching realism with futurism. I give the historical background of the theory and its technical details. Then, I recount the criticism that was targeted at the Thin Red Line. Finally, chapter 6 advocates a futuristic theory based on the actualist account of branching. I introduce branching actualism in more detail and examine how it can be used to support futurism. I also explain what is the actualist approach to possibility and how the actualist-based futurism defends itself against the attacks mounted against the Thin Red Line. Finally, I argue that while branching actualism—in contrast to branching realism—does not ex- cludes futurism, it also does not enforce it. Branching actualism admits both futuristic and antifuturistic theories. I end with a tentative suggestion that the discrepancy among the actualists results from a disagreement regarding the temporal character of truth. A fraction of this work has already appeared in print. In particular, fragments of (Wawer, 2014) are incorporated, in a modified form, as sections 5.3.1– 5.3.4, 6.3.1– 6.3.4, while sections 7.8– 7.11 of the appendix are a portion of (Malpass and Wawer, 2012).
4 Chapter 2
Branching Realism
The earliest mention of the branching structure as a semantic device is due to Saul Kripke. As a high-school student in Omaha, Nebraska, Kripke read Prior’s Time and Modality (1957), and impressed by the content, wrote a letter to the author. In the letter, he suggested to Prior a “tensed” interpretation of one of Kripke’s own semantics of modal logic: Now in an indetermined system, we perhaps should not regard time as a linear series, as you have done. Given the present moment, there are several possibilities for what the next moment may be like—and for each possible next moment, there are several possibilities for the next moment after that. Thus the situation takes the form, not of a linear sequence, but of a “tree” (. . . ) The whole tree then represents the entire set of possibilities for present and future; and every point determines a subtree consisting of its own present and future. (Kripke, 1958) There is a characteristic hesitation inherent in this short note that was preserved for a few decades to come. On the one hand, the first sentence suggests that the elements of the structure are times and explicitly says that time is non-linear. On the other hand, the second sentence recommends a different interpretation—the elements of the structure represent possibilities (what moments may be like). This reading is further supported by the last sentence, which explicitly says that the tree represents “the entire set of possibilities for present and future.” These two readings: (a) branching structure as a set of times, and (b) branching structure as possible developments in time, were often confused throughout the history of application of branching. The textual work reveals an element of similar conceptual ambiguity implicit in many early works on the subject. It might be partly explained by the novelty of the relational semantics for modal and temporal logic in general. The early writers seem to have been so thrilled by the new semantic tool that they often rushed to apply it in their logical investigation, setting aside the conceptual interpretation. It is not uncommon to see but a few lines devoted to the description of the branching structure before an author proposes a semantic definition of this or that modal connective and investigates its logical properties. The interpretation of the structure is left to the reader. Since
5 CHAPTER 2. BRANCHING REALISM the structure is so innovative, however, the interpretation is far from self-evident and different accounts might render different intuitions. One of the best examples of a philosopher who had a rather instrumental approach to branching structures was the addressee of the letter, Arthur Prior. He put them to extensive use in his logical investigations, but introduced them with a few laconic sentences:
[W]e may define an Ockhamist model as a line without beginning or end which may break up into branches as it moves from left to right (i.e., from past to future), though not the other way; so that from any point on it there is only one route to the left (into the past) but possibly a number of alternative routes to the right (into the future). (Prior, 1967, p. 126)
The quote is open to a number of alternative interpretation concerning both the metaphysical status of the structure and its detailed formal properties. Prior describes a line which branches as it moves from past to future, but it is not entirely clear what the line is meant to represent: times, possible times, possible developments, the world, or something still different. Elsewhere (Prior, 1967, p. 53), he is slightly more informative and claims that the “tree” structure represents “branching futures” or “alternative routes into the future.” It might suggest branching of time view, but in a following fragment, Prior consistently refers to those futures as “possible futures,” which suggests a modal reading.1 The branching model was precisely formally defined in an influential work of Rich- mond Thomason(1970). The paper explicitly defines (and extends) the Ockhamist semantics, but As far as the interpretation of the structure is concerned, he is also am- biguous.
[F]or many philosophical (and perhaps even some scientific) purposes it is more interesting to consider the case in which time may be nonlinear. Such an account of time will permit instances in which a time α has alternative possible futures. (. . . ) [N]onlinear time puts these alternatives into the ontological structure of time. (Thomason, 1970, p. 265)
On the one hand, Thomason explicitly espouses a non-linear account of time (he argues that such an account is enforced by indeterminism). On the other hand, even this short fragment contains a hint for an alternative interpretation. After all, the author writes that “α has alternative possible futures,” rather than “α has many futures,” which would be a more accurate description of a branching of time. The constant ambiguity as to what the structure represents remained unresolved at this early stage. John Burgess, for example, describes it as follows:
1It is not entirely surprising that Prior was so scarce in his interpretation of the structure, given that he treated the relational models of tense logic with considerable reserve. As Goldblatt(2006, p. 27) notices, already in 1958 Prior firmly claimed that the relational structure of times has little, if any, metaphysical significance, (Prior, 1958, pp. 115–116). He held this view ever since and reaffirmed it as late as (Prior and Fine, 1977, p. 37). Interestingly, regardless of his explicit reservation about the relational structures and their philosophical importance, Prior was considered an advocate of the branching of time. This view was attributed to Prior by allies of the view (Thomason, 1970) and by its adversaries (Rescher and Urquhart, 1971).
6 CHAPTER 2. BRANCHING REALISM
If the determinist sees Time as a line, the indeterminist sees it as a system of forking paths (. . . ) paths from left to right represent possible courses of history. (. . . ) [T]he picture only included courses of events that at some point or other were possibilities. (Burgess, 1978, pp. 159–160)
The beginning of the first sentence clearly states that it is the time that branches (and, presumably, the events in time as well). He also conjectures that indeterminism requires such a decision. The remaining part, nevertheless, supports another view: that a branching diagram depicts possible courses of events. A similar confusion can be found in Gabbay et al.’s (2000) monograph on temporal logic.
Much of the motivation for considering time to be branching comes from the idea of using different branches to represent different possible histories of some part of the world. (Gabbay et al., 2000, p. 63)
Let me first explore the literalist understanding, i.e., that (space)time is literally branching in an indeterministic world.
2.1 Naïve Branching Realism
Throughout the years, it has become more popular to refer to the theory of branching structures as Branching Time theory. In an important monograph on history of tem- poral logic, Øhrstrøm and Hasle(1995) o ffer the following summary of the history of branching:
[D]uring the last decades a number of intellectuals have suggested a new kind of time models. According to these models time is viewed as a branching system—a tree-structure. (Øhrstrøm and Hasle, 1995, p. 180)2
I think that the continuous tendency among the branching theorists to reify the structures and to treat them as a representation of a temporal reality is largely due to a historical coincidence. The branching model was often considered a generalization of the linear temporal model. Since the line means to represents the succession of times, the tree was also taken to represent the succession of times. The analogy is misleading, however, and a very simple argument is sufficient to show it. First of all, as long as the focus is on purely temporal relations, it is natural to assume that the following four statements are analytically equivalent:
1. Time t1 is earlier than time t2.
2. Time t2 is later than time t1.
3. Time t2 is in the future of time t1.
2Notably, Peter Øhrstrøm admitted in personal communication in September 2014 that “there is obviously a need for clarity” regarding the accurate interpretation of the branching structures. I hope that my work will at least partly answer the need.
7 CHAPTER 2. BRANCHING REALISM
4. Time t1 is in the past of time t2.
In my view, the interrelations encoded above partly constitute the meaning of tem- poral notions. In temporal logic, in fact, these interrelations are built into the very notion of a model. We assume in such models (a) that the earlier-later relation is the inverse of the later-earlier relation, (b) that the earlier-later relation is the accessibility relation of future-operator F, and (c) that the later-earlier relation is the accessibility relation of past-operator P. Keeping these definitions in mind, let us now consider a typical application of the branching model and represent an indeterministic fragment of the Greek-Persian war.
t4 t5
Greeks Persians win win
no sea battle t3 t2 sea battle
t1 Xerxes decides whether to fight
Let us now assume that the branching is indeed about time. That is, let us assume that the ordering relation in the branching structure represents the relation of temporal precedence among times, earlier-later-than. Based on this assumption, we can conclude that there are times in the branching structure which have more than one future! If the diagram above represents the branching time, we infer that as of time t1, there is time t2, later than t1, at which there is a sea battle, and there is a time t3, later than t1, at which there is no sea battle (times t2 and t3 are not comparable by temporal relations). It means, by the above-presented equivalence, that as of t1, there will be a sea battle in the future and there will be no sea battle in the future. Furthermore, the sea battle will be followed by the Greek victory and it will be followed by the Greek defeat. It is the bizarre conclusions which result from the idea that the branching structure represents succession of times. I call such an interpretation of the structure Naïve Branching Realism.
2.1.1 Futures in abundance Naïve Branching Realism was criticizes along similar lines by David Lewis(1986). He defined branching as follows:
In branching, worlds are like Siamese twins. There is one initial spatiotem- poral segment; it is continued by two different futures—different both nu- merically and qualitatively—and so there are two overlapping worlds. One world consist of the initial segment plus one of its futures; the other world
8 CHAPTER 2. BRANCHING REALISM
consists of the identical initial segment plus the other future. (Lewis, 1986, p. 206).
Thereby, Lewis considers a temporal series of events S 0 followed by two, mutually incomparable, temporal series of events, S 1 and S 2. Both S 1 and S 2 are temporal continuations of S 0. Lewis calls S 0 + S 1 a “world,” S 0 + S 2 is also called a “world.” Lewis implicitly assumes a form of equivalence described above. If an event e1 is in a spatiotemporal continuation of event e2, then e2 is in the future of e1. He then concludes that the events in S 0 have two distinct futures. The consequence of this view is rather unwelcome: The trouble with branching exactly is that it conflicts with our ordinary presupposition that we have a single future. If two futures are equally mine, one with a sea fight tomorrow and one without, it is nonsense to wonder which way it will be — it will be both ways — and yet I do wonder. The theory of branching suits those who think this wondering is nonsense. (Lewis, 1986, pp. 207–208). Thus, from so construed branching model, Lewis derives the conclusion that any indeterministic moment has many futures, all of which actually happen. He raises two concerns about this view (i) it is in conflict with common sense, (ii) some attitudes, such as wonder (but presumably also hope, desire, guess, or expectation) are pointless, since they presuppose a single future. When Peter Øhrstrøm(1981) considers a similar theory, he agrees with Lewis’ diagnosis and states that Many will probably agree with me that with respect to the future operator, [it] is not a theory that pays due regard to everyday language and generally accepted ideas. (Øhrstrøm, 1981, p. 87) When confronted with Lewis’ objection, the theorists of branching often turn lin- guistic. They proceed to demonstrate, in contrast to Lewis’ suggestion, that no sentence of the form “Tomorrow:φ and Tomorrow: non-φ” is ever true in branching models. A characteristic line of thought is presented by Belnap et al.(2001): Lewis misdescribes the theory of branching time in saying of such a sit- uation that “it will be both ways.” Branching time is entirely clear that “Tomorrow there will be a sea fight and tomorrow there will not be a sea fight” is a contradiction. (Belnap et al., 2001, p. 206) The “theory of branching time” that Belnap et al.(2001) have in mind is Ock- hamism. I define it in detail in section 3.2. For now it is sufficient to note that in Ockhamism the truth of a sentence is relative to a “moment” on a tree and a “branch” of a tree. The branch is a maximal line through a tree, typically called a history or a chronicle. Histories resemble what Lewis calls “worlds” in the above-cited fragment. Since the truth value of a sentence is relative to a history, then even if a moment is followed by a sea battle in one of the histories and is not followed by a sea battle in another history, the contradictory sentence is not true. Belnap et al.(2001) argue that Lewis failed to recognize that the notion of truth-at-moment does not make sense.
9 CHAPTER 2. BRANCHING REALISM
One must relativize truth to the history parameter as well. The reason is that only thus can we make sense, in branching time, out of plain (lin- ear) future-tense sentences such as “There will be a sea battle tomorrow.” (Belnap et al., 2001, p. 225)
In a nutshell, they explain that if a moment is part of many histories, it makes no sense to talk about the future. Consequently, sentences in future tense are nonsensical, unless relativized to a history. While so relativized, they are perfectly meaningful and they behave just as the common sense commands. Essentially, the same semantic line of defense against Lewis’ objection is embraced by Placek(2012)
To state things bluntly, in constructing a semantic model for this Humphrey story, we will take care to preclude that at some valuation point e/h the two sentences “Humphrey has five fingers on his left hand” and “Humphrey has six fingers on his left hand” were true. The Lewis objection does not, therefore, demonstrate any contradiction or some other logical problem resulting from the concept of branching individuals. (Placek, 2012, p. 36)
Most recently, a similar argument was made by John MacFarlane:
All we conclude from the datum that it won’t be both ways is that our semantic theory must avoid making (4) Tomorrow it will be sunny here and won’t be sunny here. Tomorrow (Here is sunny ∧ ¬Here is sunny) true at any context. (MacFarlane, 2014, p. 211)
The Ockhamist semantics guarantees that such a sentence is indeed self-contradic- tory (as do numerous other semantic theories discussed in chapter4). Nonetheless, I do not find the purely semantic line of defense entirely convincing. In my view, it does not address the underlying metaphysical concern. To make my meaning clear, let me elaborate an analogy. If you stand at the foot of the obelisk in the center of Piazza del Popolo and face south, you will clearly see two churches in front of you (the “twin churches” of Santa Maria dei Miracoli and Santa Maria in Montesanto). You will be inclined to say that the sentence “There are two churches in front of me” is true and the sentence “There is one church in front of me” is false. Let us consider, however, a semantic theory—a spatial analog of Ockhamism— according to which a sentence of the form “in front of me, φ” is not simply true or false. According to this theory, the truth of a sentence needs to be relativized to a person and to a particular spatial angle. Let us say that angle zero is determined by a person’s sagittal axis and that all the angles ranging from −45◦ to +45◦ can be used to determine the truth value of the sentence “In front of me, φ.” Let us call such theory Euclidianism. Let us return to the foot of the obelisk. In Euclidianism, the sentence “There is a church in front of me” is true relative to some angles and false relative to other angles. Importantly, there is no angle relative to which the sentence is both true and false.
10 CHAPTER 2. BRANCHING REALISM
Hence, Euclidianism guarantees that it is not both ways in front of me. Importantly though, the sentence, “There are two churches in front of me,” is true relative to no angle. Therefore, we can say that it is definitely false that there are two churches in front of me (it is false at all angles). Clearly, however, none of the two churches in front of you is going to disappear due to my technical trick. No matter what the semantic theory tells you, you are still facing the two of them. The analogy with branching is evident. One could argue that Ockhamism re- lies on the same trickery as Euclidianism. We have introduced an artificial semantic parameter—“history,” analogous to the “angle”—that bring about the result we desire. Making a future tense sentence relative to histories does guarantee that the sentence, “Tomorrow it will be sunny here and won’t be sunny here,” is false, but one can easily argue that it does not make one of the futures disappear. There still are two differ- ent future ahead of us, it will be this way and it will be the other way, we have just gerrymandered the semantic apparatus to conceal this inconvenient reality.
2.1.2 Problem with the trousers universe Not only the common sense, but also advanced science speaks against branching of time (or, as is more appropriate in the context of relativity theory, spacetime). John Earman(2008) provides an argument, grounded in philosophy of physics, against the idea of “branching in individual spacetime models” (p. 189, he also calls it “individual branching”). He identifies two worries with such a position. The first is a conceptual one:
[T]here is no necessary connection, in either direction, between determin- ism and individual branching. (. . . ) [B]ranching in individual spacetime by itself need not entail indeterminism. (Earman, 2008, p. 192)
Thus, Earman argues, against Thomason or Burgess, that branching (space)time is not an appropriate representation of physical indeterminism. He claims that an indi- vidual branching structure might be deterministic and that a non-branching structure might be indeterministic. The quote reveals that Earman construes the ordering as a non-modal, spatiotemporal relation within a single (space)time. Under this reading, it is hard to disagree with the author’s concern: a branched spatiotemporal structure does not indicate indeterminism. The second argument against individual branching is motivated by more specific physical considerations.
One might contemplate a literal branching of a relativistic spacetime as pictured in Figure 10.1, which shows an upside down “trousers universe” for which the “trunk” bifurcates into two “legs.” However, such a con- templation involves a change in the spatial topology and, thus, it runs up against no-go results for topology change. (Earman, 2008, pp. 193)
Subsequently, Earman mounts a number of topological results relevant for the the- ory of general relativity which show that acceptance of branching within a spacetime incurs very high costs—we need to give up a number of physically relevant properties
11 CHAPTER 2. BRANCHING REALISM which we would like any spacetime to posses. Similar argument along was earlier pro- posed by Gordon McCabe(2005). Both authors refer to Penrose(1979), who pursued the same general strategy. I trust the scientific expertise of the authors and conclude that acceptance of branching within the spacetime structure is a very costly decision and that we should prefer philosophical theories which do not make such a commit- ment, i.e., reject Naïve Branching Realism. It is an open question, deserving a more thorough exegesis, if anyone has ever held such a position. It is sometimes attributed to the so-called “many-worlds” interpretation of quantum mechanics. Some of the their statements do encourage such a reading, e.g.,
Of the three main proposals for solving this dilemma [i.e., the measure- ment problem—JW], I shall focus on one that pictures the universe as con- tinually splitting into a multiplicity of mutually unobservable but equally real worlds. (DeWitt, 1973, p. 155)
“[R]elative state formulation of quantum mechanics” was and is still more radical: it claims that the formalism of quantum mechanics, taken com- pletely literally, describes a reality where every macroscopic superposition of quantum states is really a splitting of the universe into parallel copies. (Barrett et al., 2010, p. vii)
These suggestions are nonetheless sufficiently general to allow multiple interpretations and I am not competent enough to render a definite judgment (Belnap and Müller, 2010, offer a reading of the many-worlds interpretation which does not require branch- ing within a world, but a branching of worlds). Earman(2008) attributes individual branching to Storrs McCall(1994), which is at least disputable, given that McCall writes “[T]he model to be presented consists of a branching set of many space-time manifolds” (McCall, 1994, p. 2).3 Earman hesitates whether his arguments apply to the the so-called Branching Space-Time theory of Nuel Belnap. For an extensive argu- ment that it does not, see (Placek and Belnap, 2012). We might thus suspect that Naïve Branching Realism is a paradigmatic straw man. A theory that has been often discredited, but never endorsed. A theory resembling Naïve Branching Realism was taken most seriously, perhaps, by Borghini and Torrengo (2013). The authors write that
Granted: the two events ex and ey are both in the same world [i.e., the branching world]; if we take such world to be the actual world, then ex and ey are both actual. (Borghini and Torrengo, 2013, p. 109)
3It is a view much closer to what Earman calls “ensemble branching,” i.e., a branching among models rendered by an appropriate isomorphism between appropriate fragments of the model. Some of McCall’s claims suggest individual branching, e.g.,: “In general there will be many such futures. If for example a draw for a lottery takes place on 31 December 1999, and a million different people have purchased tickets for a prize of a million dollars, then, assuming that the procedure of drawing the winning ticket is a truly random one, there will be a million different physically possible outcomes, in each of which a different person wins. Every one of these futures branches off from a single space-time manifold” (p. 3). However, this fragment also admits many interpretations and, as far as I can see, McCall’s theory is compatible with a version of Earman’s ensemble branching based on identity isomorphism—a version that Earman does not disqualify.
12 CHAPTER 2. BRANCHING REALISM
Thus, the authors conclude that the actual world is indeed branching. It resembles the version of branching criticized by Lewis and Earman.4 To summarize, a number of arguments, both common sense and scientific, speak strongly against the idea of branching (space)time. Therefore, one should not endorse such a version of branching realism. As I have already noted, not many people do. When confronted with the type of problems described above, branching theorists typ- ically turn to the other insight present in the citation from Kripke, and insist that the relation encoded by the branching structure is not a purely temporal relation, but it includes a modal component. It means, however, that it is (at least) slightly misleading to call the theory of branching structures Branching Time.5 This criticism extends to my work. When I decided on the title, I chose to follow, somewhat recklessly, perhaps, the established terminology and risk misunderstanding. Nonetheless, in the course of this work, I will avoid such façon the parler.
2.2 Genuine Branching Realism
When confronted with difficulties above, the proponents of branching often answer that the odd conclusions ensue from misconception. They turn to the second understanding of branching inherent in Kripke’s letter and argue that the tree has a modal character. The modal component of branching has been strongly stressed by the very person who propagated the branching-of-time view, i.e., Richmond Thomason. In 1984, he proposes the following interpretation of the model:
These treelike frames represent ways in which thing can evolve indeter- ministically. (Thomason, 1984, p. 213)
Thus, he explicitly promotes the idea which I find particularly appealing: That the branching structure represents possible scenarios. He further explicates his notion in terms of overlapping possible worlds:
I like to think of possible worlds as overlapping, so that the same moment may have alternative futures. (Thomason, 1984, p. 207, n. 5)
The notion of a “possible world” admits many different interpretations and Thoma- son chooses the Lewisian concrete worlds sharing initial segments. He does not de- velop his metaphysical picture in much detail, but is generally sympathetic towards Lewisian account of modality. He writes, for example, that “the prose of philosophical
4The authors do not stop there. They want to defend a version of the Thin Red Line (TRL): “TRL and branching time theory share the same treelike topological structure of time, but the former adds a special entity: the thin red line (R), representing that special future which will be the case.” (Borghini and Torrengo, 2013, p. 110). So, the authors want to combine the view that all possible futures are actual with the claim that only one of the futures will be the case. I find such a combination hardly defensible. Regardless, it should be noted that Borghini and Torrengo’s account of branching is not a pure Naïve Branching Realism. 5This might be part of the reason why Belnap changed the name of his theory from Branching Space Time to Branching Space Times (see e.g., Belnap, 2003a).
13 CHAPTER 2. BRANCHING REALISM modal realists, such as D. Lewis, is much more judicious than that in which the physi- cists sometimes indulge” (Thomason, 1984, p. 211). It means that Thomason rejects the Naïve idea of the branching actual world and replaces it with a branching among possible worlds. Nonetheless, he retains the “objective” flavor of the theory by adopt- ing the most realist account of possible worlds available at the philosophical market, where the worlds are understood as maximal concrete objects. The realist attitude towards branching is taken over by Nuel Belnap. It culminates in (Belnap et al., 2001), where we can find the most elaborate discussion of the struc- ture. The authors introduce an important terminological shift, however. What is called a possible world in (Thomason, 1984) is termed a history in (Belnap et al., 2001), while the Thomason’s collection of overlapping possible worlds is called Our World by Bel- nap et al.(2001). It is important to keep the terminological di fference in mind to avoid confusion since Belnap et al.’s (2001) Our World is crucially different from Thoma- son’s possible world. In Facing the Future, we can find a thorough discussion of the foundations of indeterminism, involving, among other things, a description of what the authors refer to as the “ontology,” “metaphysics,” or “extra-linguistic” portion of the theory of branching. An extensive quote is worthwhile:
There are three fundamental ideas, already employed in earlier chapters: moments, the causal ordering relation, and Our World. First there is the idea of a moment (we use “m”); a moment is an instantaneous concrete event with unlimited (presumably infinite) spatial extent. (. . . ) The second idea is the causal ordering relation, also called the earlier- later-than relation, m1 ≤ m2. This is a B-order relation, which we postu- late to be branching rather than linear because of indeterminism. (. . . ) The final idea is Our World. Start with this very moment (yours or ours; at this level of idealization it does not matter). Now form the set of all moments that are connected to this very moment by means of any zigzag combination of the causal ordering or its converse. That is, include all moments that you can reach by means of a “causal path,” no matter how complicated. That is what we mean by “Our World” construed as a set of moments. (Belnap et al., 2001, pp. 139–140)
Thus, according to this metaphysical picture, our worlds consists of a huge bunch of concrete events connected by the causal relation “earlier-later-than.” Some of the events are “compatible” (i.e., those which are connected by a linear path), some are not. My writing this words, just as your reading them, are both parts of our world (these two events are compatible). Importantly, the concrete situation in which I studied economics, instead of philosophy, is also a part of our world (a part incompatible with your reading these words). Adopting John Divers’s (2002) terminology, I call such conception Genuine Branching Realism.6
6Belnap(2003b) also o ffers a version of Genuine Branching Realism compatible with special theory of relativity (so called BST). The interpretation of the generalized structure is very similar: “A single, individual model of BST theory represents many pairwise-incompatible branching courses of events (each course of events imagined as a spacetime with content)” (Placek and Belnap, 2012, p. 445).
14 CHAPTER 2. BRANCHING REALISM
A cursory reading might leave the reader with an impression that Belnap et al. (2001) endorse a version of Naïve Branching Realism. Nonetheless, the authors in- dicate on numerous occasions that the branching structure should be understood in modal terms. When they comment on the ordering relation, for example, they explain that “[G]iven m1 < m2, (. . . ) one should say that m2 is in the ‘future of possibilities’ of 7 m1—not simply in its ‘future.’ ” (pp. 139–140). Elsewhere, they write that:
What branching time says is that the captain “has it both ways” in the entirely innocuous sense that he lives through a sea battle on history h1 and lives through no-sea battle on history h2. That just says that there are at m0 two possibilities for him, a fact about our world that we must keep. (Belnap et al., 2001, p. 207)
It turns out, then, that the idea of branching is completely non-controversial. It is meant to capture a simple-minded idea that, in some cases, more than one option is possible. How could anyone argue with that? In fact, not many people do. The opponents of branching are rarely the raging determinists who argue that possibilities are illusory. Many of them are ready to admit, for example, that the third world war could rally have happened in the last century. They object to the further claim of Belnap et al.(2001) that the possible third world war is a concrete event in our world. This means that they object to statements like:
It is good to think of a moment as a possible event, a possible momen- tary event. Momentary events automatically have their locus in the causal structure of our world, so that it makes sense to think of them as concrete. (Belnap et al., 2001, p. 190)
Many people, myself included, would disagree with this statement. I think that WWII sadly does have its “locus in the causal structure of the world,” while WWIII fortunately does not. It does not seem as if both wars are equally real parts of Our World. Admittedly, the view according to which our world contains all the mutually in- compatible events is rather unusual. Even the authors agree that it is an extraordinary conception of the world, distinct from “that of Kripke 1959 (etc.), of Lewis 1986 (etc.), or of the standard four-dimensional concept derived (we suppose) from Newton by way of Einstein and Minkowski” (Belnap et al., 2001, p. 179). In light of the comment, it is easier to sympathize with John Earman’s remark: “I have been unable to get a fix on what Belnap branching involves” (Earman, 2008, p. 192). On the one hand, Our World is described as a representation of a completely
7Incidentally, it means that Belnap et al.(2001) severe the link between “earlier,” “later,” “past,” and “future,” and replace it with an alternative equivalence:
1. Moment m1 is earlier than moment m2.
2. Moment m2 is later than moment m1.
3. Moment m2 is in the future of possibilities of m1.
4. Moment m1 is in the settled past of moment m2.
15 CHAPTER 2. BRANCHING REALISM innocuous idea that many scenarios are possible. On the other hand, it is (less in- nocuously) depicted as a branching structure of concrete events connected by spatio- temporal and causal relations. It is just not easy to get one’s head around this idea. Let me now spend a few more pages trying to figure out what Genuine Branching Realism comes down to.
2.2.1 Two perspectives It is easy to misrepresent Belnap et al.’s (2001) idea of the branching world, unless we distinguish two distinct perspectives, “internal” and “external.” Belnap(2011) himself describe these perspectives as “standpoints.” He metaphorically describes the external standpoint as “godlike,” “scientific,” or “outside of Our World”(Belnap, 2011, p. 86), while the internal standpoint is always “located at some point event (paradigmatically the one to which “here-now” refers) in Our World”(Belnap, 2011, p. 87). This kind of distinction of two “standpoints” is familiar from the philosophy of time. It is inherent in McTaggart’s (1908) famous distinction of two ways to order times, in shape of the so-called A-series and B-series. The basic concepts defining A- series of times are those of past, present, and future. While the basic concept used to define the B-series of times is the earlier-later relation. The A-concepts might be called “internal,” since they can be intelligibly interpreted only from a particular temporal location, while the B-concepts might be call “external” since they abstract from a particular location in the temporal series. In fact, Belnap et al.(2001) themselves admit that “in considering indeterminism we concentrate on a generalization of McTaggart’s ‘B-series’ ” (Belnap et al., 2001, p. 134). Seemingly, they just replace a linear order with a partial order, but the generalization they advocate is much more substantial. The crucial addition they make to McTaggart is that when they describe reality from the “external” standpoint, they abstracts not only from the particular temporal location, but also from the particular modal location. This makes their account more unusual. They argue that from the external standpoint we can neither see what happens now, nor can we see what happens actually. All we can see is a number of overlapping temporal paths of evolution.8 This line of thought is well-phrased by Tomasz Placek:
From the external perspective, a branching model contains a plethora of possibilities, all on par, with no distinction between possible and actual. It is somewhat similar to the physicist’s study of the possible evolutions of a given system; the study does not ask which of these possible evolutions the system actually travels. This is a “scientific view” or “a view from nowhere.” (Placek, 2012, 36–7)
8It is not the usual “godlike” perspective on reality. In the typical account, it is clear from the “godlike” perspective, whether I live my life righteously and deserve salvation, or whether my life is a disgrace and I should be condemned. The God of Branching Realism cannot answer if I should be condemned or redeemed. All he can do is to point to different regions of the world and say “I shall condemn him over here and I redeem him over there.” Nor is it the usual account of the world in the philosophy of science. The collection of all the scenarios is sometimes considered a representation of a scientific theory (as in the so-called semantic view of theories, see, van Fraassen, 1980), but it is rarely seen as the representation of the world itself.
16 CHAPTER 2. BRANCHING REALISM
Not only is it the view from no-where (i.e., neither here, nor there), but it also a view from no-when (i.e., neither now, nor then), and from no-how (i.e., neither actually, nor possibly). In this respect, Genuine Branching Realism closely resembles the realist project of David Lewis(1970a).
If we take a timeless point of view and ignore our own location in time, the big difference between the present time and other times vanishes. That is not because we regard all times as equally present, but rather because if we ignore our own location in time we cannot use temporally indexical terms like “present” at all. And similarly, I claim, if we take an a priori point of view and ignore our own location among the worlds, the big difference between the actual world and other worlds should vanish. (Lewis, 1983, pp. 19–20)9
Our World looks differently if we look at it from the “internal” standpoint, i.e., from the perspective of a particular moment on the tree. Then, the difference between the present, past, and future becomes very vivid, just as the difference between the actual and the possible. The events on the tree no longer seem on a par. The events taking place at the moment are much more “lively.” The world looks different from perspectives of various moments. For example: from the perspective of the Treaty of Versailles, the second world war is a distressing possibility; from the perspective of the Anschluss of Austria, the war is an imminent danger; and from the perspective of the Berlin Blockade, the war is a horrible past. Similarly, from our present perspective, the third world war in the 20th century is a horrifying, but unrealized, possibility, while from perspective of an alternative possibility, the third world war has wreaked havoc on the human race. The crucial claim of Genuine Branching Realism is that none of these perspectives is privileged. None of them has a more accurate vista on Our World. In particular, the fact that there was no WWIII in the last century is relative. It holds from our viewpoint, but it does not from different points of view. The attitude towards branching was clearly endorsed by Richmond Thomason
Consider two different branches b1 and b2, through t, with t < t1 ∈ b1 and t < t2 ∈ b2. From the standpoint of t1, b1 is actual (at least up to t1). From the standpoint of t2, b2 is actual (at least up to t2). And neither standpoint is correct in any absolute sense. (Thomason, 1984, p. 215)
The fragment encapsulates the essence of Genuine Branching Realism. First of all, we cannot evaluate what is actual, unless we specify the “standpoint” and, secondly, no particular standpoint is “correct in any absolute sense.” It means, in particular, that we should not “absolutize” our particular modal perspective on reality and should not
9Warning, I quote a reprint of the article. The original contains a potentially misleading typo: (. . . ) if we ignore our own location among the worlds we cannot use temporally indexical terms like “present” at all. (. . . ) [I]f we take an a priori point of view and ignore our own location in time, the big difference between the actual world and other worlds should vanish. (Lewis, 1970a, pp. 186–187) It is clear that the reprint gets it right.
17 CHAPTER 2. BRANCHING REALISM claim that the facts we consider to be actual are absolutely different from the facts we consider to be merely possible. Due to this commitment of Genuine Branching Realism, Our World resembles a tree, rather than a line or a point. A version of the view has been defended by Nuel Belnap and many of his collab- orators (which is particularly resonant in their arguments against the Thin Red Line which I shall discuss in section 5.3). A version of this view was recently rephrased by John MacFarlane:
From today’s point of view, we (on the sunny branch) can rightly as- sess yesterday’s prediction of sunny weather as accurate. But equally, the “branched” versions of ourselves (on the rainy branch) can rightly assess it as inaccurate. (MacFarlane, 2014, p. 202)
In a way, such a metaphysical vision is very natural for a modal logician to have. After all, when we construct a Kripke model, we simply take a set of “points” or “cases” (times, worlds, epistemic states, states of a computer program, etc.) and define relations between those points. We do not distinguish any of these points as “real.” For example, in a temporal model, none of the times is distinguished as The Present, in a model of possibility, none of the worlds is distinguished as The Actual etc.10 From the “outside” all the cases are on a par. Only when we select a particular case, we can speak about what presently or actually happens. Genuine Branching Realists raise the semantic model of modal logic to the metaphysical level. Just as no particular moment or history is semantically privileged, no particular moment or history is privileged in reality.
2.2.2 Two languages To explicate the idea of the two perspectives, Belnap(2011) appeals to a linguistic criterion. Suppose we “step outside of branching time.” To do this is to confine ourselves to language that has no trace of indexicality, a perfectly proper thing to do. (Belnap et al., 2001, p. 207) Hence, the litmus paper distinguishing the external perspective is that “we are not entitled to use either tense expressions or differentially applicable modal expressions” (Belnap, 2011, p. 86). Just as it makes no sense to distinguish past, present, and future moments in the ordinary B-series, ”it makes no sense to distinguish two kinds of point events, the ‘possible’ and the ‘actual’ ” (Belnap, 2011, p. 86) in the generalized B- series. The notions like “past,” “present,” “future,” “possible,” “settled,” “actual” make sense only when used at a particular location “within” a branching model. None of the internal, non-relative, tense and modal concepts makes any sense from the outside. Some languages distinguish not only tenses that differentiate between past, present, and future events but also an indicative and hypothetical mood. The former is used to talk about what actually is the case, while the latter to talk about what could have been the case. When we “step outside of branching time,” we need to speak in a “tenseless”
10Interestingly, Kripke himself, when he first introduced the relational semantics for modal logic, explic- itly distinguished the actual world as a special element of the model (cf. Kripke, 1959).
18 CHAPTER 2. BRANCHING REALISM and “moodless” language, a language whose sentences are in neither past, present, nor future tense and in neither indicative, nor hypothetical mood. I will distinguish between “mooded” sentences that refer to what is actual and possible and “moodless” sentences that, even if grammatically in an indicative mood, are not intended to describe the actual situation. If we read tenseless sentences as if they were in the present tense, we could mis- construe the B-series. For example, we could understand a sentence like, “The night is the shortest on Midsummer,” as a bizarre tensed sentence “The night is presently the shortest on Midsummer.” It might even suggest a peculiar view that, in B-theory, all times are present. Similarly, if we read moodless claims as if they were claims in the indicative mood, we could easily misconstrue the branching model. We could under- stand a claim like, “Moment m has two incompatible continuation,” as, “Moment m actually has two incompatible continuations,” which would reduce Genuine Branching Realism to Naïve Branching Realism. It seems to me that David Lewis committed this very mistake, when he criticized the idea of overlapping worlds. Interestingly, John Divers observed that Lewis’ own modal realism could be criticized in a similar vein:
Genuine Realism treats our non-modal claims about ordinary individuals such as donkeys, swans, planets, etc., as implicitly world-restricted claims. Thus (5) There are donkeys is to be interpreted—by default, in ordinary contexts of use—as the (true) claim that the actual world has donkeys as parts (. . . ) However, there are non-modal existential claims about properties, numbers, propositions which GR takes to be true—e.g., (6) There is a plurality of worlds. (7) Natural properties exist. Genuine Realism cannot construe the quantifiers in these cases as (invari- ably) world-restricted, for if read that way, they express—what are from the Genuine Realist standpoint—falsehoods. (Divers, 2002, p. 48)
It means that the claim that there is a plurality of worlds cannot be understood as an indicative claim that there actually is a plurality of worlds (actually, there is only one world). Similarly, the branching claim that many events have many incompatible con- tinuations cannot be read as the claim that many events actually have many incompati- ble continuations. Therefore, if Lewis’ criticism were to be effective against Branching Realism, Divers’s criticism would be equally effective against Lewis’ realism. Things are considerably more intricate in the modal case than in the temporal. Firstly, we are more familiar with tenses then with moods, so understanding a tenseless expression is somewhat easier than understanding a moodless expression. Secondly, we have names of times in form of specific dates and hours, while we have no anal- ogous linguistic devices to refer to elements of modal space. Thirdly, in the temporal case, we clearly distinguish the internal notions like “past,” “present,” and “future” from the external notions like “earlier,” “later,” “before,” “after.” In the modal case, we do not make an analogous distinction. We have the internal modal notions “necessary”
19 CHAPTER 2. BRANCHING REALISM
“possible” and “actual,” but we do not have the external modal analog of “earlier-later” relation.11 A particularly popular strategy is to externally characterize the elements of the modal space as “possible.” David Lewis characterized his worlds as “possible worlds,” while Nuel Belnap characterizes his moments as “possible moments” and histories as “possible histories.”12 We need to keep in mind, however, that it might be a misleading terminology, since it introduces a dangerous equivocation of the term “possible.” On the one hand, “possible” is the internal concept that can be interpreted only from a par- ticular location on the tree, and on the other hand it is the “external” concept applicable to all the elements of the tree (it would be comparably misleading to describing all the events on the tree as “past events”). In fact, I will argue that some philosophers have indeed been misled by such a characterization of the tree. I would claim that a Branching Realist should simply call the elements of the model events, moments, or histories, without further modal qualification, and I will do so, when I present their views. I imagine that Belnap et al.(2001) chose to call them “possible” to avoid the impression that the all moments on the tree are actual moments. However, even if Belnap et al.(2001) call their moments, “possible moments,” it is important to keep in mind that they do so in a special sense of “possible” and that they are in neither possible, nor actual in the ordinary sense.
2.2.3 Which perspective is basic? We have introduced two standpoints: external and internal. We have also introduced two types of languages to describe the world: tenseless, moodless language and tensed, mooded language. We might wonder which of the standpoints is more accurate and which language more fit to describe reality. Is Our World fundamentally constituted of tenseless and moodless facts like, “The Persians are winning the Battle of Salamis at moment m in history h,” or is it fundamentally constituted of tensed and mooded facts like, “The Persians could have won the battle of Salamis”? Belnap et al.(2001) do not give any definite answer to this question. They use tenseless and moodless conceptual apparatus in their theoretical investigations, but with regards to the metaphysical ques- tion about which kind of facts is more fundamental, they say, “We aim to avoid this question altogether” (Belnap et al., 2001, p. 134). We should note, however, that modal neutrality for which Belnap et al.(2001) argue seems to privilege moodless facts. Observe that from our everyday perspective, we clearly distinguish indicative from hypothetical facts. For example, the fact that the war now takes place in Syria is clearly distinct from the fact that the war now could have taken place in Iran. The difference is lost in Belnap et al.’s (2001) model of Our World. In this model, none of the facts are distinguished, as the facts corresponding to the indicative modal facts—as the facts that actually take place. If the mooded facts were primitive, then we would loose a substantial amount of information when switching to the external perspective. The description from the external perspective would thus
11These linguistic observations might suggest a certain metaphysical dis-analogy between modal and tem- poral case. 12See e.g., (Belnap and Green, 1994; Belnap et al., 2001; Belnap, 2002b, 2011, 2003b; Placek and Belnap, 2012).
20 CHAPTER 2. BRANCHING REALISM be highly incomplete. It would have to be completed with the data indicating which events on the tree are actual and which are merely possible. As we shall see, Belnap et al.(2001) fiercely argue against such completion of their model. It suggests that their privilege the moodless perspective on reality. The vocabulary chosen by Nuel Belnap is also evocative. He describes the branching model (as represented from the external, moodless perspective) as Our World with the capital “O” and the capital “W”. Not much can be based on this observation, but it gives you a general idea of what gets stressed. If Branching Realists chose moodless over the mooded facts, they could share David Lewis’ greatest achievement in the philosophy of possibility and declare that there is no primitive modality. Phillip Bricker explicates this thesis as follows:
[The thesis that there is no primitive modality] demands that our total the- ory, our best account of the whole of reality, can be stated without recourse to modal notions, that the (primitive) ideology of our total theory be non- modal. (Bricker, 2008, p. 115) Belnap et al.(2001) tend to theorize along these moodless lines. I have already mentioned that in the B-theoretic model of Our World which they develop, “it makes no sense to distinguish two kinds of point events, the ‘possible’ and the ‘actual’ ” (Belnap, 2011, p. 86). Also, in the generalized model of Our World, the so-called Branching Space Times, it is also presumed that the best model of the world should be expressed in non-modal terms:
In what follows I will try to avoid indexical language. In particular, I will not draw a distinction (inevitably indexical when not relational) be- tween the actual and the possible—except in motivating or giving exam- ples. “Possible point events” are just “point events.” These point events are to be taken not as mere spatiotemporal positions open to alternative concrete fillings, but as themselves concrete particulars. (Belnap, 2003b, pp. 4–5) The addition that the events are “concrete particulars” is as symptomatic. Bricker (2008, p. 114) explains that Lewis’ major incentive to think of possibilities as concrete entities was to get rid of primitive modality.13 Modal neutrality thus suggests the moodless account of reality. Nonetheless, it does not enforce it. It is theoretically possible to combine neutrality with the view that there are fundamentally mooded facts. To do so, one could adopt what Kit Fine calls non-standard realism. I will explore the possibility, since it elucidates a great number of discussions that has taken place in the branching community. Fine developed non- standard realism in the domain of time, rather than possibility. Non-standard tense- realism holds that 13I hesitate to declare in full confidence that the B-theory of Belnap works entirely without primitive modality, since it is not clear to me, if the causal relation < between events can be explained in entirely non-modal terms. Also, Belnap says that he will “try to avoid indexical language,” but does not declare if he thinks that it is possible to eradicate indexicality altogether.
21 CHAPTER 2. BRANCHING REALISM
(i) Among basic constituents of reality, there are tensed facts (each ori- ented towards a time), and (ii) “No single time is privileged, the tensed facts that constitute reality are not oriented towards one time as opposed to another” (Fine, 2005, p. 271).
Thesis (i) accounts for “realism,” while thesis (ii) accounts for “non-standard.” The standard form of tense-realism—presentism—has it that all the tensed facts that con- stitute reality are oriented towards one time—the present time. Tense antirealism holds that the facts constituting reality are tenseless. By analogy, non-standard form of realism in the philosophy of modality holds that
(i) Among basic constituents of reality, there are mooded facts (each ori- ented towards a possibility), and (ii) No single possibility is privileged, the mooded facts that constitute reality are not oriented towards one possibility as opposed to another.
The standard form of mode-realism—actualism—insists that all the mooded facts that constitute reality are oriented towards one possibility—the actuality. According to mood antirealism, the basic constituents of reality are moodless.14 Certain claims of Branching Realists suggest that they might be closer to non- standard mood realism than to a straightforward mood antirealism. For example, Tomasz Placek writes that
Lewis’ objection that branching individuals appear absurd has some sub- stance if considered from the external standpoint. This objection, however, is overturned if interpreted from the internal standpoint. For branching theory the concept of indexically-given modalities and tenses is essential. (Placek, 2012, pp. 37, emphasis mine)
If we accept non-standard mood realism, we need to somehow deal with the prob- lem that among basic constituents of reality, there is a fact that there is WWIII in the 20th century and also the fact that there is no WWIII in the 20th century. We either need to conclude that reality is inconsistent or accept that mooded facts are not absolute. Belnap et al.(2001) would definitely prefer the second option. After all, they write that:
[B]ranching time then seems to say that the captain has it both ways, both living through a sea battle and living through no-sea-battle. The reductio is, however, an illusion. Omitting the relativization to histo- ries is intolerable. (Belnap et al., 2001, 207).
14Admittedly, it is difficult to clearly differentiate between non-standard mood realism and standard mood antirealism. According to antirealism, reality consists of moodless fact like that-the-captain-is-living- through-a-sea-battle-in-history-h. According to non-standard mood realism, reality contains mooded facts like that-the-captain-is-living-through-a-sea-battle, but these facts hold relative to a history. Schemati- cally, antirealism depicts basic constituents of reality as FACT(p-at-h), while non-standard realism as At-h(FACT(p)). In contrast, actualism holds that basic constituents of reality have the form FACT(p).
22 CHAPTER 2. BRANCHING REALISM
When considered in this context, relativization to a history amounts to much more than just a technical, semantic trick. It amounts to a metaphysical thesis that a mooded fact like that the captain is living through a sea battle is not absolute, but relative to a modal standpoint, i.e., to a history. One can then combine mood realism with modal neutrality and argue that branching theory of Belnap et al.(2001) is in fact a non-standard tense and mood realism in the style of Fine. This interpretation could be supported by Fine’s observation that non- standard realism naturally generates the distinction between the internal and external account of reality which Belnap(2011) and Placek(2012) advocated:
Each of the non-standard positions is committed, in its own way, to a dis- tinction between a single comprehensive über-reality and a plurality of more particular realities. (Fine, 2005, p. 282)
In the context of Branching Realism, the über-reality reality is the reality depicted by a branching structure of concrete events, while the particular realities are the facts perceived as actual and present through the perspective of the moments in the structure. If like me, you struggle with the idea of two realities, you might find consolation in Fine’s remark that “it is very hard to say what this distinction comes to” (Fine, 2005, p. 282). In the end, Fine proposes a vague and metaphorical account of the difference between the external and internal perspective generated by non-standard realism:
One might say that über-reality “manifests itself” in the form of the par- ticular realities, that it becomes “alive” or “vivid” through the particular realities obtaining. Each particular reality presents itself as the whole of reality. It creates the illusion, if you like, that there are no further facts, even though there are many such realities and each is equally real. But it should be acknowledged that these remarks merely gesture in the direction of a certain idea and that, if we have here a viable conception of pluralistic universe, then none of the usual models for making sense of it will apply. (Fine, 2005, p. 283)
The fact that the usual models of thinking will not do for this new conception might partly explain why it was so notoriously difficult to capture what the Belnap et al.’s (2001) idea of branching comes down to, and why it has generated so many controver- sies and inaccurate interpretations. Fine himself observes, with regards to über-reality and its relation to particular realities, that “there is a constant temptation to try to under- stand it in more intelligible, yet ultimately inappropriate, terms” (Fine, 2005, p. 282). Naïve Branching Realism is one such misunderstanding, since it interprets über-reality as the actual reality. It is a clearly misguided idea. It is equally misguided (even though less clearly) to interpret über-reality as the collection of possible realities.
2.2.4 Are possible histories possible? I have already indicated that it is misleading to call the elements of the Genuine Realist branching structure “possible moments.” I have observed that the notion of possibility belongs to the “internal” vocabulary and it is a category mistake to apply it to elements
23 CHAPTER 2. BRANCHING REALISM of the branching structure when considered from the external perspective. Kit Fine also diagnosed that such terminological choice might have problematic consequences [O]ne might think of über-reality as a manifold of possible or potential realities. But there is no possibility of potentiality without actuality; and so, on this view one of the realities is distinguished as actual, whereas the view is that all are equally real. (Fine, 2005, p. 283) The fragment expresses the view that nothing can be meaningfully described as “possible,” unless it is contrasted it with what is actual. This attitude originates with Aristotle, who introduced actuality and potentiality to his metaphysics as a pair of mutually complementing notions (see Metaphysics 1048a25–1048b9, specifically, “Let actuality be defined by one member of this antithesis, and the potential by the other.”). If possibility and actuality always operate in tandem, then, if we decide to call the elements of the branching structure “possible moments,” we need to be ready to con- trast them with the actual moments. If we do that, however, we encounter a conceptual puzzle. On the one hand, all of the moments in Our World are supposed to be “equally real,” but on the other hand, they are “differently real,” because some of them are actual and some are possible. I think that this very problem has surfaced in the debate among branching theorists. Some philosophers and logicians misunderstood the über-reality of branching events as the structure of possible events and intended to supplement it with actual events. Let me quote here just one early example of such an attempt. In their book on temporal logic, Rescher and Urquhart wrote:
Let us represent the world as an infinite tree branching toward the future (. . . ) The actual course of history will be one among the branches of such a tree. (Rescher and Urquhart, 1971, p. 201)
The idea that the treelike world should be supplemented with an actual history recurred a number of times. It was finally pined down and described as the “Thin Red Line” by Belnap and Green, and later characterized as follows:
One is thereby tempted to continue to represent objective indeterminism by postulating that our world (up to an idealization) is treelike, but to hold in addition that there is a distinguished history, the Thin Red Line (TRL). (Belnap et al., 2001, p. 161)
This metaphysical amalgam sounds very much like the wrong-headed conception described by Fine, that “one of the realities is distinguished as actual, whereas the view is that all are equally real.” It is not entirely clear whether the philosophers that are usu- ally subsumed under the Thin Red Line view did actually hold the precise combination of ideas. They were often more interested in developing some innovative semantic the- ories, rather then in drawing a detailed metaphysical picture. In any case, at least some of their remarks might suggest the view (for a more detailed exegesis, see section 5.1) The notion of a distinguished actual branch is usually invoked in connection to semantics of a future tense operator. It is argued that the truth value of future-tensed
24 CHAPTER 2. BRANCHING REALISM sentence should be assessed with respect to the actual branch. The whole idea behind the branching structure is, however, that we abstract from what is actual and from what is possible. If all events in the structure are equally real, one cannot appeal to what is actual in an analysis of the future tense. Belnap and his collaborators has repeatedly pointed out the tension in the Thin Red Line theory (see sections 5.3 for details). I am sympathetic to many of their worries and I agree that
To suppose that there is one from among the histories in Our World that is the absolutely actual history is rather like purporting to stand outside Lewis’ realm of concrete possibilia and pointing to the one that is actual. But this is wrong in both cases. (Belnap et al., 2001, p. 163)
As soon as we have accepted a modal neutrality inherent to the treelike represen- tation of the world, we cannot bring back the idea that one of the branches of the tree is objectively actual. It would be a little bit like admitting that the universe contains multitude of vast galaxies, but to insist at the same token that planet Earth has a distin- guished metaphysical status.
2.2.5 Indexical actuality Judging by the problems of the Thin Red Line theory, Genuine Branching Realists conclude that the idea of absolute actuality is fundamentally confused. They argue that on the fundamental level, it is a mistake to divide the reality into the actual and the possible. This view is typical to Genuine Realism in general, as David Lewis has famously argued:
If I am right, the ontological arguer who says that his world is special because his world alone is the actual world is as foolish as a man who boasts that he has the special fortune to be alive at a unique moment in history: the present. The actual world is not special in itself, but only in the special relation it bears to the ontological arguer. Other worlds bear the same relation to other ontological arguers. (Lewis, 1970a, p. 187)
Therefore, if we accept modal neutrality and think of all events on the tree as con- crete events, ontologically on a par with what happens around us, then it is problematic to add that only “our” concrete situations is absolutely actual. Lewis proposes a more realist friendly understanding of actuality.
I suggest that “actual” and its cognates should be analyzed as indexical terms: terms whose reference varies, depending on relevant features of the context of utterance. The relevant feature of context, for the term “actual,” is the world at which a given utterance occurs. According to the indexical analysis I propose, “actual” (in its primary sense) refers at any world w to the world w.(Lewis, 1970a, pp. 184–185)
25 CHAPTER 2. BRANCHING REALISM
Thus, according to a Genuine Realist the term “the actual world” does not denote a metaphysically distinguished situation any more than the term “I” denotes a metaphys- ically distinguished person, the term “here” denotes a metaphysically distinguished place, or the term “now” denotes a metaphysically distinguished time. The Lewisian way of thinking about actuality is endorsed by Thomason:
See Lewis(1970a) and substitute “the actual future” for “the actual world” in what he says. That is the view of the thoroughgoing indeterminist. (Thomason, 1984, p. 215, n. 14)
When we try to proceed with the suggested substitution, however, it quickly turns out that it is easier said than done. At this point, the difference between branching and non-branching versions of Genuine Realism turns out to be crucial. Observe that Lewis claims that the relevant feature of the context upon which the reference of the term “actual” depends is “the world at which a given utterance occurs.” But in Genuine Branching Realism worlds (histories) overlap, so it often happens that the given utter- ance occurs in more than one world. Consequently, the definite description that Lewis uses does not refer in many contexts! There is no easy fix to this defect, since it is generated by reasons of fundamental importance, as Belnap et al.(2001) make clear, “It seems mystery, however, just how the context of our modest speech act could determine the exact course of world history from now on, long past the dissolution of our galaxy. The phrase ‘our history’ does not make sense, unless determinism be permanently true” (Belnap et al., 2001, p. 164). In fact, even Thomason himself opposed the “actual” history of the context
To a thoroughgoing indeterminist, the choice if a branch b through t has to be entirely prima facie; there is no special branch that deserves to be called the “actual” future through t.(Thomason, 1970, p. 215)
This view has been almost universally accepted among the Genuine Branching Re- alists.15 Interestingly, even though Belnap et al.(2001) are aware of the di fficulties the in- dexical actuality generates in the branching context, they still subscribe to this vision:
As Lewis has argued (Lewis, 1970a), this world’s being the actual world does not favor it over any others, but is just a reflection of the fact that this is the world at which we are conversing. (Belnap et al., 2001, p. 163)
It is not straightforward to decode the authors’ meaning. They say that the actual world is simply “the world at which we are conversing.” However, we have already seen that they cannot possibly mean “the history at which we are conversing,” since they themselves argue that such a description does not denote in indeterministic con- texts. The second natural guess is that “the world at which we are conversing” is simply Our World. But this interpretation is also out of the question, since we would need to conclude that Our World is actual and, hence, that all the possibilities are actual. Thus,
15For an important exception, see Loss(2012) and Sweeney(2015) who have recently suggested innova- tive ways to combine the history of the context with the Realist ideology.
26 CHAPTER 2. BRANCHING REALISM we would reduce Genuine Branching Realism to Naïve Branching Realism and make “branching time look silly in a way that it surely isn’t silly.” (Belnap et al., 2001, p. 206). Genuine Branching Realists needs to resolve the tension. On the one hand, they find the Lewisian conception of actuality very attractive, but on the other hand, the Lewisian assumption that no two worlds overlap seems to be built into the very heart of his understanding of actuality. The usual reaction of the Branching Realists is to insist that the relevant feature of the context the term “actual” is sensitive to is a moment, rather than a history. Remember that “moment” does not refer to an instant of time, but to a spatially extensive super-event. Branching Realists tend to identify what is actual relative to a moment with what is settled relative to a moment.16 We have seen, however, that the notion of a history is immensely helpful on the semantic ground. In particular, thanks to the history parameter, sentences like, “There will be a sea battle tomorrow and there will not be a sea battle tomorrow,” are never true, which takes some wind out of the argument against branching. Belnap et al. (2001, p. 207) even state that “Omitting the relativization to histories is intolerable.” Hence, Genuine Branching Realists got involved in a long-standing love-hate re- lationship with the history parameter. On the one hand, the history parameter is very useful for semantic reasons, and they need it as an element of the semantic index. On the other hand, they find it very suspicious for philosophical reasons and they do not want it as an element of the context. Ultimately, they resign themselves to a regrettable necessity of using a history as a part of the semantic index, but even then treat it with considerable distrust. When Arthur Prior first introduced Ockhamism, he called the choice of a history parameter “prima facie” (Prior, 1967, p. 126). Richmond Thoma- son suggested that we can “provisionally posit” a given history, but was was skeptical even about this provisional procedure (Thomason, 1970, pp. 270–271). When Belnap et al.(2001) introduced the history parameter, they referred to it as “auxiliary” (Belnap et al., 2001, p. 147). The story of systematic discrimination is much longer. So, it is clear that as far as the internal standpoint is concerned, Genuine Branching Realists prefer the standpoint of a moment to a standpoint of a moment/history pair, even if it generates a conflict with indexical actuality.
2.2.6 Towards Branching Actualism The essential feature of Genuine Branching Realism is modal neutrality, which can be summarized in Finean terms:
No single history is privileged, the mooded facts that constitute reality are not oriented towards one history as opposed to another.
Due to modal neutrality, Nuel Belnap insist that Our World, the über-reality, should be represented as a branching structure. From our particular, internal point of view, it
16This attitude is reflected in the semantic definition of the operator “actually.” I discuss the definition and its drawbacks in section 6.2. In personal communication (September 2010), Nuel Belnap expressed the view that “ ‘actually’ is just a ‘dummy word.’ ” In linguistics, a “dummy pronoun” is a pronoun which serves a grammatical function, but does not contribute to the meaning of the sentences in which it occurs. Therefore, he might not be so worried with the problems that “actually” generates in the context of branching.
27 CHAPTER 2. BRANCHING REALISM might seem as if the world were to actualize only one of the histories, but it would be a mistake to take the appearance for an absolute fact. The view is well expressed in the following citation:
Each of two events can happen, but it is not possible that both happen. It sounds to the naive ear as if we are saying that at most one of the two events can be part of Our World, but that is precisely wrong. (Belnap, 2002a, p. 5)
Our World contains both these events. From our viewpoint, they “manifest” them- selves as possibilities, and it seems as if only one of them could take place, but it is not the ultimate picture. We need to keep in mind that, from their viewpoint, each of these two events consider itself to be actual. Moreover, in accordance with modal neutrality, neither our viewpoint, nor any of their viewpoints is the absolutely correct perspective. We should not get tricked and remember that Fine has warned us that in non-standard realism
Each particular reality presents itself as the whole of reality. It creates the illusion, if you like, that there are no further facts, even though there are many such realities and each is equally real. (Fine, 2005, p. 283)
We shall see that such a metaphysical position significantly influences the attitude towards the semantics of future contingents. In particular, we cannot correlate the truth value of future-tensed sentences with “what will really happen in our world,” since both options are real and they are parts of Our World. To overcome the difficulty, some theorists wanted to distinguish, within Our World, the events that actually take place and events that possibly take place. We have seen already, and will see in much more detail in chapter5, that it is a misguided strategy. As soon as we accept modal neutrality and agree that all moments on the tree are equally real, we cannot also insist that some are differently real. We need to choose between between modal neutrality encoded by the branching world on the one hand, and the absolute distinction between actuality and possibility on the other. Branching Realists firmly stand on the side of the branching world: To the extent that common sense asks (. . . ) for a unique naturally given “actual history” to which a given utterance-event belongs, to that extent, common sense is asking for something it cannot have. (Belnap et al., 2001, p. 206) I will explore the alternative path and assume that there is the absolute difference be- tween actuality and possibility. As a consequence, I shall give up the idea that the world is branching. Nuel Belnap might describe my position as particularism, since I will base my approach on the exact naïvité that he has described. Based on the observation that it is not possible for both events to happen, I conclude that only one of them can be a part our world. I thus reject modal neutrality and assume that mooded facts are indeed oriented towards one history. They are oriented towards the actual history. I call this view Branching Actualism.
28 CHAPTER 2. BRANCHING REALISM
I will thus base my theory on the assumption that the accurate description of the world should not abstract from what is actual and what is possible. I will assume, in contrast, that the conviction that our modal viewpoint is privileged is not an “illusion.” Our mooded facts are the ultimate facts about our world. They do not require any further modal relativization. I might well be confused in this respect; let me point out, however, that I am confused jointly with a large number of other philosophers, as Kit Fine recapitulates:
If we ask in the modal case whether we should be a non-standard realist (and adopt the principle of neutrality), then the answer has seemed to most philosophers to be clear “No.” It has seemed evident that, of all the pos- sible worlds, the actual world is privileged; it is the standpoint of reality, as it were, and the facts that constitute reality are those that obtain in this world. (Fine, 2005, p. 285–6)
Thanks to my rejection of modal neutrality, I can wholeheartedly embrace the view that the branching structure represents possible events. I can do this, because I am willing to contrast them with actual events and be faithful to the Aristotelian idea that there is no possibility without actuality. In my view, only when we describe both these aspects, we give full account of reality. Observe that the idea that the branching tree represents possibilities is in agreement with how the tree is usually introduced. We typically first present an uncontroversial story which suggests that in some situation many outcomes are possible (e.g., two possible results of a coin toss, a few possible ways a person might act, or various possible results of a measurement of an electron). For example, Xerxes could have listened to Artemisia and avoid the battle and he could have resisted her arguments. Given that he had decided to attack Salamis, the Persian fleet could have won and could have lost. The structure of alternatives is very naturally pictorially represented by a tree (like a tree on page8. The description of the situation indicates that there are (at least) three possible ways in which the Xerxes-Artemisia debate could have been followed. Thus, it seems natural to assume that the picture represents the temporal dynamics of possibilities. I propose to consider the tree structure as a generalization of our toy-model; it represents all the possible temporal developments of the entire world. Branching actualists are often accused, however, of being determinists in disguise. Branching Realists believe that the actualist notion of possibility is not substantial enough. They argue that unless one accepts that actuality is relative and that possi- bilities are as real as actuality, one can only purport to believe in the real possibilities. They typically characterize the actualist possibilities as “epistemic,” “doxastic,” “lin- guistic,” etc. The dismissive attitude is not limited to Genuine Branching Realism. After all, David Lewis referred to the actualist possible worlds as “ersatzes.” I side with the the actualists who refuse to accept this reasoning. I insist that one can believe that an event is really possible without believing that this event is a part of reality comparable to the actual events (in section 6.4.3, I mention a few of realistic ac- counts of possibility available to actualists). In this view, I follow the notable example of Robert Stalnaker:
29 CHAPTER 2. BRANCHING REALISM
One could accept thesis one—that there are many ways that things could have been—while denying that there exists anything else that is like the actual world. (Stalnaker, 1976, p. 68)
I agree that indeterminism requires that there is more than one possible way for the world to develop. I accept the branching structure of possibilities as a real and important aspect of the world. Nonetheless, since possibility requires actuality, I add that the world does in fact (indeterministically) develop in one and only one particular manner. In the process of development, the world realizes exactly one of the available possibilities. Observe that as long as we assume that the branching structure represents the pos- sible ways in which the world can develop in time, then the actual world is kept com- pletely out of the picture. This observation has important semantic consequences: if all that the structure represents is what might and must happen in any possible situ- ation, then it is going to be difficult to interpret sentences that simply say what will happen. The history of discussion around branching semantics confirms the conjec- ture. It is reasonably easy to interpret modal sentences, but, as chapter4 reveals, there are numerous difficulties interpreting the “bare” future tense. Here, I reverse the claim of McKim and Davis(1976), who wrote that
[I]n linear time models we are considering only the series of actual states of the world. If we have no means for representing possibilities that are not actualized then it follows immediately that we have been deprived of the semantical resources required to explicate the concept of a modal future tense. (McKim and Davis, 1976, p. 237, emphasis mine)
I claim, in a similar vein, that In branching models we are considering only the series of possible states of the world. If we have no means for representing possibilities that are actualized then it follows immediately that we have been deprived of the semantical resources required to explicate the concept of a factual future tense. If we side with actualism, we retrieve these semantical resources (I do this in chap- ter6). It means that a position in modal metaphysics can influence the view on seman- tics, especially the semantics of future contingents. If we side with Branching Realism and opt for modal neutrality, then, when we consider a future-tensed sentence, we can- not resort to absolute actuality to say whether it is true or false. We also cannot resort to the indexical notion of actuality, since the event of utterance is a part of many dis- tinct histories. As a result, the future-tensed sentences are notoriously problematic in the realist setting. In contrast, in actualist setting, we do distinguish between the actual and the possible, so we can always say that a sentence in future tense is true if and only if what it says will actually take place.
30 Chapter 3
Ockhamist semantics
I try to avoid, wherever possible, highly technical arguments. Many of the theories I discuss, however, have a partially formal character. I cannot therefore proceed without introducing some basic technical vocabulary that will accompany us throughout the whole work.
3.1 Branching structure
I have already discussed the metaphysical significance of the branching structure. Let us now look at it from a more formal angle. Definition 3.1 (Branching Structure). A branching structure B is an ordered pair hM, ≤i, where M , ∅ and ≤ is a relation on M satisfying the following conditions: reflexivity ∀m∈Mm ≤ m;
antisymmetry ∀m1,m2 ((m1 ≤ m2 & m2 ≤ m1) ⇒ m1 = m2); transitivity ∀m1,m2,m3 ((m1 ≤ m2 & m2 ≤ m3) ⇒ m1 ≤ m3); backward linearity ∀m1,m2,m3 ((m1 ≤ m3 & m2 ≤ m3) ⇒ (m1 ≤ m2 or m2 ≤ m1)); connectedness ∀m1, m2∃m3 (m3 ≤ m1 & m3 ≤ m2).
If m1 ≤ m2 and m1 , m2, I write that m1 < m2. If it is not the case that m1 ≤ m2, I write m1 m2. I refer to the elements of the set M as “momentary possibilities” or, for short, “moments.” I read m1 < m2 as “moment m2 might follow moment m1” or “moment m1 must precede moment m2.” The appropriate sense of “might” and “must” is explained in section 3.5 below. If m1 ≤ m2, we can also say that m1 admits m2 and m2 requires m1. I will refer to the set of moments that might follow m1 as its future of possibilities. I will refer to the set of moments that must have preceded moment m1 as its settled past. Two moments, m1 and m2, are compatible iff either m1 admits m2 or m2 admits m1 (i.e., m1 ≤ m2 or m2 ≤ m1). A set of momentary possibilities is compatible iff every two elements of the set are compatible.
31 CHAPTER 3. OCKHAMIST SEMANTICS
Let me comment on a few properties of the ordering relation. Firstly, momentary possibilities do not repeat. Two moments might be indistinguishable, when taken in isolation, but if they occupy a different place on the tree, they are different.1 Secondly, the settled past of a moment is compatible. In contrast, the future of possibilities of a moment might not be compatible, i.e., there might be momentary possibilities in the future of possibilities such that neither follows the other. It is philosophically the most important aspect of the branching structure, since it formally encodes the modal asym- metry between the settled past and the open future. Lastly, the possibilities are “inte- grated”; it means that for any two momentary possibilities, there is a single possibility that they might follow. In the actualistic setting, it can be justified by the observation that all elementary possibilities are “derived” from a single, actual reality (I explore this idea in section 6.4.3). Connectedness reflects the assumption that we study possibilities inherent in our world. To use the branching structure for semantic purposes, we need the notion of a his- tory. A history is a maximal compatible subset of momentary possibilities.2 Thus, every two moments in a history are compatible and, furthermore, every moment not in a history is incompatible with at least one moment in the history. Histories, in contrast to moments, are temporally “thick” possibilities; they depict a whole course of events, from the dawn to the dusk of time. I will use the symbol h as a metavariable ranging over histories. In a branching structure B, a history can be identified with a maximal subset of W, linearly ordered by ≤, i.e., ∀m1,m2 ∀h(m1, m2 ∈ h ⇒ (m1 ≤ m2 or m2 ≤ m1)) 0 and ∀m∀h(m ∈ W\h ⇒ ∃m0∈h(m m & m‘ m)). The set of all histories is denoted by Hist. When m ∈ h, I say that history h passes through moment m. The set of all histories passing through m is denoted by Hm (i.e., Hm B {h|m ∈ h}). Introduction of histories into semantic analysis was one of the great conceptual achievements which allowed Arthur Prior to improve on the simplistic semantic model, originally suggested by Saul Kripke. It allowed Prior to study a language with clearly distinguished modal and temporal operators (I use the term “modal” in a narrow sense encompassing only the historical modalities of possibility and necessity). Thanks to this device, he was able to disentangle the modal and the temporal component implicit in the semantics of future contingents.
3.2 Ockhamist truth
The branching structure originated as a technical tool, devised to interpret a tempo- modal language and to elucidate the more intricate pieces of reasoning on time and modality. It has been used in a variety of different ways. One of the most successful theories based on the branching structure, proposed already by Arthur Prior(1966, 1967), is the so-called Ockhamism. We shall see that it has numerous desirable formal
1We can justify the claim in the spirit of Genuine Realism and say that they are distinct, concrete events, so, to use Aristotelian vocabulary, even if they have identical “form,” they are distinguished by their “matter.” An alternative justification says that momentary possibilities are partially individuated by their settled past. Then, even if two internally indistinguishable possibilities have different settled pasts, they are different possibilities. 2The nomenclature in the field is not homogeneous. What I call histories is sometimes called routes, chronicles, or branches. The general proof of existence of histories requires Kuratowski-Zorn Lemma.
32 CHAPTER 3. OCKHAMIST SEMANTICS properties. Furthermore, it is presupposed by many theories discussed in this work, so I will discuss it first. Ockhamism requires a very simple, sentential language containing a countable, in- finite set of sentential variables Atom, the left and right parentheses, the classical sen- tential operators of negation (¬) and conjunction (∧), two one-argument temporal op- erators, “it will be the case that” (F) and “it was the case that” (P), and a one-argument operator of historical modality “It is possible that” (^). The complex sentences are constructed out of atoms using the standard recursive procedure. The temporal and modal operators have natural duals: G stands for “it is always going to be the case that” (G B ¬F¬), H for “it has always been the case that” (H B ¬P¬), and abbre- viates “it is settled that” ( B ¬^¬). The classical connectives →, ∨, ↔ are defined in the standard manner. I reserve these symbols for the object language connectives. In the metalanguage, I mostly use English and occasionally help myself with the lan- guage of set theory (the symbols & and ⇒ stand for metalinguistic conjunction and implication, respectively). A valuation function V assigns a set of moments to every sentential constant, V : Atom 7→ P(M).3 A branching model M, based on a structure B, is a pair M B hB, Vi. The sentences are evaluated in a model, at an index. The exact shape of the index depends on the type of operators included in a language, since the role of an operator is to shift a parameter of the index (therefore, the exact shape of the index will fluctuate throughout the book, tracing the changing linguistic resources). In Ock- hamism, index contains two parameters: a moment parameter is shifted by temporal operators, while a history parameter is shifted by modal operators. In any index hm, hi, m ∈ h. To indicate this property in notation, I write m/h, rather than hm, hi. Con- sequently, sentences are evaluated at triples hM, m/hi. The Ockhamist truth (|=) of a sentence in a model at an index is inductively defined along the following procedure: Definition 3.2 (Sentence φ is Ockhamist true in model M, at index m/h).
1. For p ∈ Atom, M, m/h |= p iff m ∈ V(p); 2. M, m/h |= ¬φ iff it is not the case that M, m/h |= φ (M, m/h 6|= φ); 3. M, m/h |= φ ∧ ψ iff M, m/h |= φ & M, m/h |= ψ; 4. M, m/h |= Pφ iff ∃m0(m0 < m & M, m0/h |= φ);
5. M, m/h |= Fφ iff ∃m0(m < m0 & m0 ∈ h & M, m0/h |= φ);
6. M, m/h |= ^φ iff ∃h0(m ∈ h0 & M, m/h0 |= φ). Thus, the temporal operators shift the moment of evaluation up and down within the history of evaluation. It is a part of the reason why histories are required as parameters of truth. Thanks to histories, F behaves like “will,” rather than like “might” (as it did in the original Kripke’s model). The second crucial role of the history is to interpret the historical possibility. The sentence, “It is possible that φ,” is true at a history and
3Alternatively, we can say that V : Atom × M 7→ {T, F}. After all, every set can be identified with its characteristics function.
33 CHAPTER 3. OCKHAMIST SEMANTICS a moment iff φ is true at some history passing through the moment. Observe that if the sentence is about the past or present, then shifting the histories makes no difference (after all, there is no backward branching, so all histories passing through m are identi- cal until m). Therefore, if the sentence is about the past, truth conflates with necessity and possibility (^φ ↔ φ and φ ↔ φ). The history parameter makes a difference only when a sentence is about the future. When the future of possibilities of a moment is incompatible, there are sentences which are true relative to some histories, but false relative to other histories. Thus, if a sentence is about the future, then settled truth implies truth (φ → φ) and truth implies possible truth (φ → ^φ), but not conversely. The asymmetry reflects the idea that the future is modally distinct from the past. The future is “open,” while the past is “closed.” To briefly examine behavior of this semantics, let us once again use a simple model M,4 depicted in figure 3.1.
h h h1 2 3
Greeks (q) Persians (r) win win
no sea battle (¬p) m2 sea battle (p)
m1 Decision whether to fight
Figure 3.1: Sea battle.
Let p stand for “There is a sea battle,” q for “Greeks win,” and r for “Persians win,” and let us consider a few interesting cases.
1. m1/h2 |= F p 6. m2/h3 |= p ∧ HF p
2. m1/h1 |= ¬F p 7. m2/h2 |= HF p ∧ P¬F p
3. m1/h1 |= F p ∨ ¬F p 8. m2/h2 |= PFq ∧ ¬PFq
4. m1/h1 |= ^F p ∧ ^¬F p 9. m1/h3 |= F(p ∧ ^Fr ∧ ^Fq)
5. m1/h3 |= F p ∧ ^¬F p 10. m1/h3 |= F(p → ^Fq) Example8 is of a particular, historical importance. It fact, it explains why the se- mantics is called Ockhamism5. William of Ockham struggled with an argument that
4I will usually omit symbol of the model in the definition of truth. I bring it back on the few occasions when I study general logical properties like validity or consequence. 5However, the historical accuracy of the nomenclature is sometimes undermined. For an argument that the semantics does not fully reflect Ockham’s original intentions see (Øhrstrøm, 1984).
34 CHAPTER 3. OCKHAMIST SEMANTICS threatened compatibility of divine foreknowledge with human freedom. I will not out- line all the details of the argument here (for a detailed exegesis see e.g., Øhrstrøm and Hasle, 1995; Fischer and Todd, 2015; Zagzebski, 2016). Let me just point out that the crucial assumption of the argument is that whatever is past is necessary (settled, inevitable). Should it apply to divine cognitive states, it would imply that if God knew something yesterday, it is now settled that he knew it. Nonetheless, among the things that God knew yesterday, there was that which would happen two days later. It seems to follow that what will happen tomorrow is necessary today. A secular version of the argument has been sketched already by Aristotle:
Again, if it is white now it was true to say earlier that it would be white; so that it was always true to say of anything that has happened that it would be so. But if it was always true to say that it was so, or would be so, it could not not be so, or not be going to be so. (. . . ) Everything that will be, therefore, happens necessarily. So nothing will come about as chance has it or by chance; for if by chance, not of necessity. (De Interpretatione, 18b10–18b16)
To get around this argument (at least in the reconstruction of Arthur Prior, 1967, ch. VII), Ockham rejected the premise that every sentence in past tense is necessary. For example, the sentence, “Yesterday, it was true that I would smoke two days later,” seems to be about the past, but it really is about the future and the principle of the past necessitation does not apply to it. The example8 proves that Ockhamism confirms Ockham’s diagnosis. The sentence, “It was the case that the Greeks would win,” eval- uated before the battle is resolved, seems to be about the past, but it really is about the future, so it is not necessary. It means that the principle Pφ → Pφ is not valid in Ockhamist semantics. The theological version of the argument is harder to dispel, however, as it involves mental states which seem to subsume under the principle of past necessitation much more than truth does.6 It is dubious whether the sentence, “Yesterday, God believed that the Greeks would win in two days,” is really about the future. To get his point across, Ockham had to insist that it is, but, as Øhrstrøm and Hasle recount, he also had to admit “that it is impossible to express clearly the way in which God knows future contingents” (Øhrstrøm and Hasle, 1995, p. 98). The theory depicted above is the core of the classical Ockhamism. Nonetheless, it will be useful for many future purposes to slightly extend the repertoire of the logical vocabulary. In particular, it will be useful to introduce metric version of tense operators and “date” operators. Both of them require, however, that we enrich the notion of the branching structure. We need a way to “coordinate” the momentary possibilities, i.e., to determine which of them happen at the same time. The usual procedure is to “cut” the branching tree horizontally into so-called instances. Intuitively, an instant is a set of alternative moments which take place at the same time. I repeat the definition of Belnap et al.(2001) verbatim:
6More on this issue in (Prior, 1968, ch. 4). For a particularly relevant commentary, see (Belnap et al., 2001, sec. 2B.10).
35 CHAPTER 3. OCKHAMIST SEMANTICS
Definition 3.3 (Instants). Partition. Instant is a partition of Tree into equivalence classes; that is, Instant is a set of nonempty sets of moments such that each moment in Tree belongs to exactly one member of Instant.
Unique intersection. Each instant intersects each history in a unique moment; that is, for each instant i and history h, i ∩ h has exactly one member.
Order preservation. Instants never distort historical order: Given two instants i1 and 0 i2 and two histories h and h , if the moment at which i1 intersects h precedes, or is the same as, or comes after the moment at which i2 intersects h, then the same 0 relation holds between the moment at which i1 intersects h and the moment at 0 which i2 intersects h . (Belnap et al., 2001, pp. 194–5) The collection of all instants of a structure will be denoted by I. The instant con- taining moment m is denoted by im. The term m(i,h) refers to the moment in history h taking place at instant i. It will be useful to supplement instants with coordinalization function T, which is an isomorphism between I and R (T : I 7→ R; I assume, for sim- plicity, that cardinality of I equals cardinality of reals). Thanks to the coordinalization function, instants can be numerically represented. We can also define distance between moments in the structure: dist(m1, m2) = x iff |T(im1 ) − T(im2 )| = x. We can now augment our language with a collection of metric operators, Fx and Px, where x refers to a real positive number. Operator Fx stands for “in x units of time, it will be the case that,” and Px for “x units of time ago, it was the case that.” We can also add date-operators Att, where t refers to a real number. Att stands for “at instant t, it is the case that.” Let M be a model supplemented with I and T. The semantics of these operators is given by the following definition:
Definition 3.4 (Metric and date operators).
0 0 0 0 1. M, m/h |= Fxφ iff ∃m0 (m > m & m ∈ h & dist(m, m ) = x & M, m /h |= φ);
0 0 0 2. M, m/h |= Pxφ iff ∃m0 (m < m & dist(m, m ) = x & M, m /h |= φ);
3. M, m/h |= Attφ iff M, m(T −1(t),h)/h |= φ. I will translate English into our language in a rather loosely fashion. For example, I will let the context decide what is the intended unit of time (a second, a minute, an hour, a day, a year). Also, when it causes no ambiguity, I will allow F1 to stand for “tomorrow” although it is not an indexical expression and would be better represented as “one day later” (or even more appropriately: “exactly 24 hours later”). Furthermore, even though t refers to a specific instant of time, I will allow Att to encode phrases like “on Monday,” “in year 1933,” “in April,” etc. Any attempt to introduce more precision would require a lot of detailed investigations, while their benefits would be marginal for my purposes.
36 CHAPTER 3. OCKHAMIST SEMANTICS
3.3 A few remarks on the logic of Ockhamism
The general logical properties of Ockhamism are highly appealing. Firstly, it has suffi- cient conceptual resources to interpret both modal and temporal operators. Secondly, it validates the truths of logic of linear time and truths of modal logic S5, which “is good for those who (like me) are not determinists, but feel that these validities are intuitively plausible” (Thomason, 1984, p. 215). Thirdly, it elegantly models the mutual relation- ships of time and possibility, and is able to express the temporal dynamics of the notion of historical possibility. Moreover, this semantics has proven its worth in numerous ap- plications in metaphysics, deontic logic, doxastic logic, logic of agency, linguistics, robotics, or software engineering. One might question some technical details, but the core of Ockhamism is sturdy. It is a very good starting point for investigations of time and possibility. Furthermore, we shall see, over and over again, that as soon as one departs the safe ground of Ockhamism, one generates some highly questionable results with respect to interrelations of tense and modality, which is an indirect argument in favor of this semantics. Moreover, although Ockhamism does not validate Pφ → Pφ, it still vindicates the modal asymmetry between the past and the future. Consider a pair of mirror principles:
• If something was once settled, then it is settled now (Pφ → Pφ). • If something will once be settled, then it is settled now (Fφ → Fφ).
The second principle is violated even in our simple model: m1/h2 |= Fp ∧ ¬F p. The first is valid in Ockhamism, because the branching model presupposes backward linearity. Thanks to this assumption, once something gets settled, it remains settled forever. The procession of time closes some future possibilities which now are open, but it does not open new past possibilities which are now closed. It is a matter of some controversy, whether we should go one step further and vali- date Aristotle’s principle that “with regard to what is and what has been it is necessary for the affirmation or the negation to be true or false” (De Interpretatione, 18a29– 18a30). Since we are dealing with tense logic, it is most natural to assume that atomic sentences are simple, present tensed, declarative sentences. It is more arguable, how- ever, if we can assume that these present tensed sentences have no “trace of futurity” (Prior, 1967, p. 124). Among the present tensed sentences that do have a trace of futurity, one can name e.g., “I am having the last cigarette,” “I am choosing to stay home,” or “Pope Francis is beginning a very long pontificate.” To accommodate such examples, Prior(1967) introduced a syntactic distinction between two kinds of atomic sentences.7 As soon as we assume that the atomic sentences are “wholly about the present,” we can conclude that for any propositional constant p, the principles p → p and Pp → Pp are valid. This gives justice to Aristotle’s principle of necessity of the past and the present. More generally, if F does not occur in φ or if it occurs only in the scope of a modal operator, we have it that φ → φ. I have to admit that I have already built in the assumption that the atomic proposi- tional variables are “chronologically pure” into the definition of the model. If valuation
7One should hope that the trace of futurity can be ultimately traced to some more fine-grained, temporal modifiers applied on the sub-sentential level.
37 CHAPTER 3. OCKHAMIST SEMANTICS function V maps atoms into subsets of M and we have that m ∈ V(p), then (by point 1 of definition 3.2) ∀h(m ∈ h ⇒ m/h |= p), which means (by point6) that m/h |= p for any h ∈ Hm. Therefore, for any m/h, m/h |= p ⇒ m/h |= p, which means that I implicitly assumed that the atomic sentences of our language have no trace of futu- rity. I share this assumption, among others, with Prior(1966), Thomason(1984), and Reynolds(2003). However, the assumption is dispensable. We can avoid it if we accept (together with Burgess, 1979; Zanardo, 1996; Belnap et al., 2001) an alternative, history-depen- dent notion of valuation: V : Atom 7→ P(M/Hist) (where M/Hist B {hm, hi|m ∈ h}). If we do so, however, the underlying branching structure is no longer reflected in the evaluation of sentences. For example, if we encode the sentence, “John is meeting Paul in the Old Town square in Warsaw,” as an atomic sentence q, then, as far as formalism is concerned, they might well be meeting at m in history h1 and not meeting at the same m in history h2 (even though h1 and h2 identical at m). As a result, the question, “Did John meet Paul in the Old Town square in Warsaw yesterday noon,” has no straightforward answer. In some histories leading to the present, they did; in some others, they did not. To avoid the consequence, we need to accept an extra-logical assumption that in case of this particular sentence q, q → q. The history-dependent valuation has a formal advantage, as it preserves the rule of substitution. Observe that in models with history-independent valuation, p → p is a validity, but if we substitute F p for p, we arrive at a sentence F p → F p, which evidently is not valid. In any case, throughout this entire work, I will focus on the atomic sentences which have no trace of futurity about them. Therefore, the assumption that the valuation function maps sentences to moments rather than moment/history pairs simplifies a lot of my arguments. Another controversy of Ockhamism concerns the notion of the history. It is dis- putable whether all the maximal linear subsets of the underlying branching structure should be regarded as histories relevant for semantic evaluation. We might want to exclude some maximal linear subsets. However, when we prune the histories, we need to be careful to assure that the limited set of histories, Hist− ⊆ Hist, satisfies the con- − dition that ∀m∈M∃h∈Hist− m ∈ h. The structure hM, ≤, Hist i is called a bundled tree in the literature. The bundle Hist− might be very limited with respect to the original set Hist. In some cases, the original set is uncountable, while we can “cover” all the moments in the structure by its countable subset. Belnap et al.(2001) discuss formal and philosophical reasons why we should prefer the whole set Hist as our bundle, i.e., why we should prefer complete bundled trees. Incidentally, this renders the study of metalogical properties of Ockhamism much more difficult. Ockhamism is a relatively intuitive semantic theory, but it has been surprisingly resistant to attempts of syntactic characterization. While the sixties and the seventies witnessed a real boom of completeness proofs for modal logics, Ockhamism has proven to be particularly difficult to handle. The first attempts to axiomatize it were made by Prior(1966, 1967). In 1970, Richmond Thomason codifies the semantics and writes that:
I mean to present an axiomatization of the theory discussed in Section 7 [Ockhamism] in a forthcoming paper. (Thomason, 1970, p. 279, n. 15)
38 CHAPTER 3. OCKHAMIST SEMANTICS
Over a decade later, he was forced to admit that Since the paper has never appeared, this intention was evidently premature. (Thomason, 1984, p. 223, n. 24) He reports a several (unsuccessful) attempts made in the meantime, for example: In (Burgess, 1979), it is claimed that Ockhamist validity is recursively axiomatizable, and a proof is sketched. Later (in conversation), Kripke challenged the proof and Burgess has been unable to substantiate all the details. (Thomason, 1984, p. 223) A significant step forward was made by Alberto Zanardo, who proved the com- pleteness theorem with respect to bundled frames. The set of “bundled” validities is smaller than the set of Ockhamist validities, however. Nishimura(1979) was the first to point it out. Thomason(1984, pp. 221–2) discusses a few simple examples that are valid with respect to complete bundled trees, but not bundled trees in general. A breakthrough was made by Mark Reynolds. He first proved (Reynolds, 2001) the completeness theorem for CTL∗ (Full Computation Tree Logic∗, which is a simplified version of Ockhamism studied by computer scientists) and then, in 2003, announces that: Despite this effort and interest, technical difficulties have left the presenta- tion of a sound and complete axiom system of Prior’s most basic original Ockhamist logic of historical necessity as an open problem. In section 6 below we present a complete axiom system for this logic. (Reynolds, 2003, p. 356) The system is indeed presented, but the author adds that: This conference paper also gives a brief sketchy overview of the long, complex and quite interesting completeness proof. (. . . ) A full version of the proof (of over 100 pages) is in preparation. (Reynolds, 2003, p. 356) As far as I know, the full proof has not appeared in print as of now.
3.4 Future tense operator
I have mentioned that operator F is meant to stand for “it will be the case that.” The lin- guists noticed, however, that “will” comes in different flavors. Mikhail Kissine(2008) groups them in five crucial categories, illustrated by the following examples: (1) Mary will come. [future/prediction] (2) Oil will float on water. [generic] (3) Mary will be at the opera now. [epistemic] (4) In winter, Mary will always wear a green coat. [habitual/dispositional/ volitional] (5) You will leave tomorrow by the first train. [deontic] (Kissine, 2008, p. 130)
39 CHAPTER 3. OCKHAMIST SEMANTICS
Ockhamism focuses on the first, “predictive” meaning of “will.” The exact account of this notion has generated some controversy in the linguist community. Kissine re- counts that there is a consensus among linguists that cases (2)–(5) have some sort of modal component build into their meaning (but the purpose of his paper is to shake the consensus). There is a considerable disagreement, however, regarding the modal status of (1). Some authors are inclined to the view that predictive uses of “will” involve a form of necessity, while others believe they have a non-modal, “factual” reading (for references, see Kissine, 2008, p. 130). Ockhamism sides with the second group of linguists. In this setting, operator F is relative to a history, but it does not quantify over histories (or other sort of mutu- ally incompatible possibilities). It only shifts the moment of evaluation up the given history and the sentence Fφ is true in a history iff φ is true later in this history. In my final theory, I add that the “default” history on which the operator F operates is the actual history and it can be shifted to another history, only when prompted by a modal operator. Thus, it is assumed within Ockhamism that tenses are purely temporal concepts. They can interact with modal operators, but they are semantically “orthogo- nal.” Interestingly, when Prior(1967) discusses branching in Past, Present, and Future, he contrasts the Ockhamist, factual reading of F with the “Peircean,” modally loaded reading (I briefly discuss Peirceanism in section 4.3). Thus, the indecision witnessed in the community of linguists is paralleled in Prior’s early studies. One more comment is due. I encode future tense as a sentential operator. In this, I join the theorists of branching who practically unanimously followed Arthur Prior and encoded English future tense as such an operator. Thus, my work would be less intelligible if I broke ranks. There is a general worry, however, regarding this modeling technique:
It is important to be clear at the outset that the claim that tenses are op- erators that shift features of the index of evaluation is an empirical claim about natural language. It is a claim to the effect that in the best syn- tax and semantics for natural language, tenses will be treated syntactically and semantically as such operators. I shall argue that given the available evidence, this is an implausible empirical claim. (King, 2003, p. 215)
King then lists a number of examples of English sentences that are more conve- niently modeled if tenses are captured in terms of object language temporal quantifiers, rather than sentential operators (some more examples can be found in Stanley, 2000). He also invokes the authority of numerous linguists who preferred quantifiers over op- erators. I should mention right away that King’s objection is methodological in character. He acknowledges himself that Max Cresswell(1990) has proved that if we extend the repertoire of tense operators sufficiently and simultaneously extend the semantic index, we achieve the expressive power of the language with quantifiers ranging over instants of time (I shall make use of Cresswell’s technique in sections 6.3.6 and 7.7). King’s methodological complaint focuses on the observation that an analysis in terms of quan- tifiers “(i) allows for a simpler, more elegant, less ad hoc treatment of tenses (. . . ); and (ii) allows for a more plausible account of the relation between the surface structures
40 CHAPTER 3. OCKHAMIST SEMANTICS of English sentences and the syntactic representations of those sentences at the level of syntax that is the input to semantics” (King, 2003, p. 221). Within my limited exper- tise, I tend to agree with this statement. My own research in the semantics of tensed expressions embedded in counterfactual constructions convinced me that it is useful to analyze tenses as quantifiers. Nonetheless, I decided to stick with the operator analysis to assure uniformity with the existing philosophical and logical literature. Moreover, the examples I will study are usually so simple that the choice of a particular set-up hardly makes any difference (in fact, in the simplest cases, operators appear to be more plausible than quantifiers). Anyhow, I do not think that anything substantial hangs on this. All the theories presented in my work could be easily translated into the vocabu- lary of quantifiers. In particular, as far as I can see, interpretation of future contingents is not any easier if we replace operators with quantifiers. Let me mention that King’s reason to privilege quantifiers over operators extends syntactic convenience. There is no place here to recapitulate the whole intricate ar- gument, so let me summarize merely the most important points. King believes that quantifiers are more appropriate devices of semantic analysis than the operators, since the latter, but not the former, require time as an element of semantic index. As a re- sult, the semantic value of a tensed sentence analyzed in terms of operators resembles a temporalist proposition that changes its truth value from one time to another. King believes that “ordinary” propositions do not behave like that, so the semantic value of an operator-analyzed sentence cannot be identified with the proposition expressed by the sentence. This mismatch undermines the operator analysis. I am not convinced by this line of argument, however. Let me limit my point to the most rudimentary observation that King neglects a significant aspect of the quan- tifier analysis of tenses. As we have learned from Tarski, an appropriate analysis of quantifiers requires that we enrich the semantic index with an assignment of values to variables (or a sequence of objects, or some other analogous device). In case of tem- poral quantifiers, we need to enrich the semantic index with an assignment that maps temporal variables into instants of time. Then, just as the truth of a tensed sentence depends on the temporal parameter in the operator-analysis (o-analysis), it depends on an assignment function in the quantifier analysis (q-analysis). Just as the sentential op- erator shifts the temporal index, the temporal quantifiers shift the assignment function. And—most importantly—just as the truth value changes from one time to another on the o-analysis, it changes from one assignment to another on the q-analysis. Thus, the semantic value required by the q-analysis also resembles the temporalist, time-neutral proposition which King finds so suspicious. Thus, this reason alone cannot privilege one analysis over the other.
3.5 Modal operator
Given his prodigious talent and impressive early achievements, in 1908, it was possible for Wittgenstein to become a very successful engineer and a world class specialist in aeronautics. This possibility was significantly diminished, however, due to an unfor- tunate exposure to the works of Frege and Russell. After the personal encounter with both authors, Wittgenstein’s failure in engineering was inevitable. When he moved to
41 CHAPTER 3. OCKHAMIST SEMANTICS study in Cambridge, his fate as an intellectual was already settled. The modal operators of Ockhamism, ^ and , are meant to mimic the notions of “possible” and “inevitable/settled” used in the story above. It is often called historical possibility. I distinguish three crucial aspect of this notion of possibility. Namely, it is circumstance dependent, metaphysical, and temporally asymmetric. Circumstance dependence means that what is possible depends on which conditions prevail in a given situation. It implies that the range of possibilities might change if conditions change. Thus, Wittgenstein’s illustrious career in engineering is possible, when he is a young researcher studying jet engines in Manchester. It is not possible, however, in 1937, when he is a mature philosopher busy with his work on Philosophical Investigations; these conditions do not bode well for new technical inventions. The historical notion of possibility is also intended to be metaphysical, which means that possibilities depends on how things are in a given situation.8 Whether it is possible in 1908 that Wittgenstein will participate in the invention of the next gener- ation of jet engine depends on Wittgenstein’s capacities and the resources of the Uni- versity of Manchester. For this reason, historical possibility is sometimes referred to as a real possibility. It should be contrasted with logical possibility. Presumably, not ev- erything that is logically consistent is really possible; in particular it was not really pos- sible for Wittgenstein to land on the Moon. We should also contrast it with epistemic possibility. If some traits of Wittgenstein’s character were essentially at odds with the laborious work as an engineer, then it was not really possible for him to become a world-class designer even if, for all we know, it was possible. Historical possibility is also distinct from doxastic possibility. Even if psychological and physical theories that we currently believe in were to exclude Wittgenstein’s success in engineering, it might, in fact, have been possible anyway. The historical notion of possibility is also temporally asymmetric. The future is open to numerous, mutually incompatible continuations (given they are admitted by how things are in the given circumstances, of course), while the past is settled and immutable. It also means that the range of possibilities gradually diminishes as time goes by and no new possibilities pop into existence in the procession of events. In 1908, it was possible that Wittgenstein would in 1925 pilot the plane of his own design, but it is now settled that he did not pilot the plane in 1925, and it will never become possible that he did. On the one hand, the notion of historical possibility is closely related to physical or natural possibility. One can even risk the statement that an event is historically possible in circumstances c iff it is physically possible, given what the world is like at c. One can go one step further and say that an event is really possible in circumstances c iff the laws of nature and circumstances c admit the event. However, the proponents of real possibility tend to be skeptical of such characterization (see e.g., Belnap et al., 2001, p. 137). Firstly, this definition might not guarantee temporal asymmetry. Many of the current physical theories are time-reversible and if they admit future possibilities, they also admit past possibilities. So, the laws of nature might not ensure that the past is settled. The problem can be easily amended if we explicitly “rigidify” the past and
8“Things” are conceived very broadly here. Depending on one’s choice of metaphysics, they may be thought of as objects, properties, events, facts, processes etc.
42 CHAPTER 3. OCKHAMIST SEMANTICS say that an event is really possible in circumstances c iff it is admitted by the laws of nature, given how the world has been until c. One might argue, however, that this proviso is entirely ad hoc. Secondly, and more importantly, it is not entirely clear if the laws of nature are sufficiently “metaphysical.” The philosophers of real possibility are particularly skeptical regarding the Humean tradition of thinking about the laws of nature—in terms of appropriately chosen regularities and frequencies. Such conceived laws do not involve the idea of necessary connection between elements of reality, so the possibilities generated by these laws are usually taken to be not “substantial” enough. On the other hand, historical possibility is closely tied to what might be called “practical possibility.” An event is practically possible iff it is in human power to influence it. This explains the temporal asymmetry of possibility, which is well phrased by Stephan Torre: I think that our notion of an asymmetry in openness between the past and the future is tied to an asymmetry in what we can affect or have power over. We take ourselves to have power over the future, yet lack power over the past. There is no use crying over spilt milk because once it has happened, there is nothing we can do about it (except clean it up of course). In contrast, we take it to be (partially) within our power whether or not future milk is spilled. (Torre, 2011, p. 361) The verdict is partially supported by Aristotle, who rejects determinism with a simple observation that “we see that what will be has an origin both in deliberation and in action.” Nonetheless, he does not think that it is the whole story since he adds that “in general, in things that are not always actual there is possibility of being and of not being; here both possibilities are open” (De Interpretatione, 19a8-19a11). Thus, the real possibilities seem to extend human capacities. It is in agreement with common sense. If there are indeterministic processes in the core of the Sun, there certainly are many possibilities regarding how these processes will eventuate, nonetheless, it is hardly in the human power (even “in principle”) to affect these processes. Besides, one might convincingly argue that the notion of human agency presupposes the notions of real possibility and open future, so if we tried to define real possibility in terms of human actions, our account of real possibility would be circular. In face of the last remark, we can consider an assumption that the notion of his- torical possibility is conceptually primitive and that it can be used to understand the “practical” possibility or the “natural” possibility, and not the other way around. Then, branching setting could serve as a general set-up spanning these two accounts of possi- bility. It could offer a platform that would help to understand the relationship between human and nature. This view is argued for by Thomas Müller:
The theory should lend itself to applications in both of the great theoretical endeavors in which we engage: coming to grips with the world in which we live in terms growing out of our lived experience, as well as in terms provided by science. In bridging that gap, BST [Branching Space Times] would help to establish the “humanistic” and the scientific respectability of the concept of indeterminism. (Müller, 2010, p. 396)
43 CHAPTER 3. OCKHAMIST SEMANTICS
For an extended discussion of the notion of possibility embodied by the branching structure, see (Xu, 1997, p. 144–5) and (Belnap et al., 2001, sec. 6A.3). I offer some remarks on the actualist friendly possibility in section 6.4.3.
3.6 Sentences and propositions
In the semantic exposition of Ockhamism, I follow the tradition popularized by Tarski and ascribe truth values to (interpreted) sentences at semantic indexes. One could ar- gue, however, that propositions are more fitting to serve as truth bearers. There is a rel- atively easy way to introduce propositions into the Ockhamist setting. Actually, there are two relatively easy ways, mentioned by Belnap et al.(2001, pp. 189–90) and later developed by MacFarlane(2014, p. 207). These two ways represent the “temporalist” and “eternalist” propositions, respectively.9 Both these kinds of propositions are “modalist,” which means that they are “history- neutral” and change their truth status from one history to another. The temporalist propositions are additionally “time-neutral.” The temporalist proposition that it is sum- mer on the southern hemisphere does not specify any particular instant of time and it changes its truth status from one time to another. It is true at all and only those times at which it is summer on the southern hemisphere.
Definition 3.5 (Temporalist proposition). Let φ be a sentence. The temporalist propo- sition expressed by sentence φ, |φ|T , is the set of moment/history pairs, m/h, such that m/h |= φ, i.e., |φ|T B {m/h|m/h |= φ}. For example, the proposition expressed by an atomic sentence p is the set {m/h|m ∈ 0 h&m ∈ V(p)} and the proposition expressed by the sentence F p is the set {m/h|∃m0 m > m & m0 ∈ h & m0 ∈ V(p). We say that the temporalist proposition A is true at a m/h iff m/h ∈ A. Things get more complicated, when we extend the language with indexical expres- sions. After all, the sentence, “I am hungry,” uttered by me and you—even if they have the same linguistic meaning—express different propositions. One expresses the proposition that I am hungry and the other that you are hungry. I will introduce tem- poral indexical Now into our language, so the same argument applies in our case. For example, the proposition expressed by the sentence, “It is summer now,” uttered by me now (i.e., in April) is false not only now, but also in the middle of the summer. There- fore, which proposition is expressed by a sentence depends on the context in which the sentence is used. We are also going to need a context of use to express an eternalist proposition with a temporalist sentence. The eternalist proposition is time-specific. It does not change its truth status from one time to another (within a history). The context allows to “fix” the relevant time of reference and evaluate the proposition at the same instant in all histories. Let us call instant ic, the time of the context.
9Both these ways offer rather simplistic accounts of propositions. They do not consider whether proposi- tions are structured, centered, mentally graspable, etc.
44 CHAPTER 3. OCKHAMIST SEMANTICS
Definition 3.6 (Eternalist proposition). Let φ be a sentence. The eternalist proposition E expressed by sentence φ in context c, |φ|c , is the set of histories h such that for m ∈ ic∩h, E m/h |= φ, i.e., |φ|c B {h|m/h |= φ & m ∈ ic}. We say that an eternalist proposition A is true at a history h iff h ∈ A. The semantic interpretation of sentences in Ockhamism is “temporalist.”10 Nonetheless, we can ex- press eternalist propositions with temporalist sentences. The mere fact that sentences change their truth values from one moment to another in Ockhamism does not imply that propositions inherit this kind of variability. Whether they do needs to be decided on independent grounds. I do not intend to settle the issue and all the investigations in this book are meant to be compatible with both resolutions. Remember that the propositions are meant to be not only the semantic values of sentences, but also the objects of propositional attitudes. Therefore, the nature of propositions needs to be decided, at least in part, in broadly conceived philosophy of mind. The nature of propositions partially depends on whether the best theory of propositional attitudes takes their objects to be temporalist or eternalist entities. In any case, deciding the nature of propositions would not solve the problem of future contingents. Let moment m1 in the model depicted on page 34 be a moment of the context of use of the sentence, “There will be a sea battle.” Is the proposition expressed by this sentence true at m1? Consider first the temporalist proposition A— that there will be a sea battle. Clearly m1/h2 ∈ A, while m1/h1 < A. Thus, it is difficult to decide the truth value of A at m1. Let us now consider the eternalist proposition B—that there will be a sea battle later than m1. We have that h2 ∈ B and h1 < B. But m1 ∈ h1 ∩ h2, so it is equally difficult to say whether B is true at m1. The observation points to the most problematic feature of Ockhamism.
3.7 From semantics to postsemantics
In Ockhamist semantics, the truth value of a sentence (or a proposition) is relative to a modal parameter—a history. There is formally nothing wrong with such a relativiza- tion, but it creates an obstacle for application of Ockhamism to actual uses of future contingents. Let us take the sentence (S), “There is going to be no world war in the 21st century,” as used during 2014 Wales Summit of the NATO. How should we use the Ockhamist semantics to evaluate this sentence? Well, we need to check if it is true at a moment/history pair. So far so good, but exactly which moment and, more importantly, which history to use? After all, the Wales Summit has many possible continuations. Here the trouble begins. In Ockhamism, we use a technical notion of truth at an index (or truth at a context and an index if we include the indexical expressions). The index needs to contain a moment and a history to guarantee compositionality of semantics, to generate reason- able validities, and to induce a desirable interaction of temporal and modal operators.
10 Unless every occurrence of a sentential variable is placed in scope of a date operator Att, or in scope of operator Now, which “eternalize” the sentence.
45 CHAPTER 3. OCKHAMIST SEMANTICS
Nonetheless, we need to go one step further to apply Ockhamism to the sentence (S) used in Wales. As MacFarlane explains:
We are now defining truth at a context and index (. . . ). At the end of the day, though, what we care about is truth at a context, since it is this notion, not the technical notion of truth at a context and an artificial sequence of coordinates, that has direct pragmatic relevance. (MacFarlane, 2014, p. 57)
Thus, we need to somehow relate the pragmatically relevant notion of truth of a sen- tence used at a particular context to a technically relevant notion of truth of a sentence at an index.
Our Ockhamist semantics gives us a definition of truth at a context and index (world/time pair) for arbitrary sentences in our language. But how can we move from this to the pragmatically relevant notion of truth at a context? A parallel problem arises for propositions. We have an account of truth relative to a world for the propositions expressed by arbitrary sentences in context. But what is it for such a proposition to be true at a context? (MacFarlane, 2014, pp. 207–208)
The easiest way to connect the truth at a context and truth at an index is to dis- tinguish the index designated by the context (it is what I will eventually advocate in chapter6). Nonetheless, as we shall see in the next chapter, the branching theorist al- most unanimously reject the easy road. They argue that the context does designate a moment, but it does not designate a history (see especially Belnap et al., 2001, pp. 151– 2, 231–3). Therefore, they face what I call the initialization failure. The Ockhamist semantics requires that the process of semantic evaluation begins at some specific in- dex, but the context does not initialize the relevant index. To address this problem, MacFarlane(2003) introduces a new level of semantic analysis—postsemantics. Its role is to bridge the gap between the context and the index. Postsemantics dictates how to use Ockhamism to ascribe truth status to sentences at contexts. To avoid confusion, when I formally represent various positions, I use two different symbols: ||− to indicate truth-at-context and |= to indicate truth-at-index. The simple |= is reserved for Ockhamist truth throughout my entire work. Other notions of truth at an index will be distinguished in notation.
46 Chapter 4
Semantics of Branching Realism
4.1 Metaphysical constraint of semantics
If a world is a tree, let us step into the shoes of the tree-dwellers and see how (and if) we can talk about the future. One problem with an interpretation of future tense operator is straightforward. Let us take the sentence, “There is going to be no world war in the 21st century,” as used in a branching world during the 2014 Wales Summit of the NATO. There are numerous alternative branches growing upwards from the event of the summit and each of them, on face value, is equally well-suited for the purposes of semantic evaluation and none is preferable to any other. The Ockhamist semantics requires, however, that one specific history should be chosen. It is the gist of the initialization failure. The standard method to overcome the failure was stated at least as early as in 1900 by Kazimierz Twardowski: “Circumstances accompanying speaker’s words comple- ment what the words do not express” (Twardowski, 1900, p. 6).1 The circumstances which Twardowski refers to are usually called the context in contemporary semantics. The idea behind Twardowski’s claim is fairly simple: the context provides the appro- priate circumstances of evaluation. The author discusses the sentence as an example: “It is raining.” Such a sentence is true, when used in certain times and places, but false, when used in other times and places. In most cases, however, we do not hesitate which time and place are relevant for the truth ascription. We just check if it is raining at the time and place “provided” by the context at which the sentence is uttered. Generally, to determine whether a sentence is true at a particular context, we need to check whether it is true at the circumstances provided by the context of its use.2 Why not to apply this idea to solve the initialization failure? To interpret a sentence at a context just use the circumstances provided by the context. That is, use the context
1Translation mine, original: “Okolicznosci,´ towarzysz ˛acesłowom mówi ˛acego, uzupełniaj ˛a,czego one nie wyra˙zaj˛a.” 2Actually, Twardowski preferred a slightly different procedure. He used the information provided by the context to replace the context-sensitive expression with a non-sensitive judgment which specifies all the relevant parameters (like time, place, etc.). Wolenski´ (2011, p. 39) compares the former with open and the latter with closed formulas of first-order logic.
47 CHAPTER 4. SEMANTICS OF BRANCHING REALISM to initialize the moment/history pair relevant to semantic purposes. The Branching Realists strongly object against this notion. I consider the objection to be significantly influenced by metaphysical considerations. Let us assume, together with Branching Realists, that the world is best character- ized as a branching structure of concrete events. Now, let us take a specific utterance. It occurs at some specific moment on the tree. It is most natural to assume that this moment is the moment initialized by the context. We have thus solved half of the ini- tialization problem—the moment at which the evaluation procedure should begin is initialized by the context. What about the second semantic parameter, the history? The issue is decidedly more tricky in this case. We should select one particular history, but finding a principled reason to designate any one of them poses a problem. After all, the utterance is a concrete event and it is a part of many overlapping, concrete courses of events, all of them equally real. Unlike worlds, histories overlap, so that a single speech act will typically belong to many possible histories. (Belnap et al., 2001, p. 152) [A] single utterance, together with all the most distant “facts,” belong to many histories (Belnap et al., 2001, p. 233) [T]he utterance takes place in many worlds. (MacFarlane, 2008, p. 85) Consider a concrete case in which a sentence is used. (. . . ) There will be many worlds, in general, that represent the very same past and present happenings. (. . . ) The concrete episode of use takes place in all of them. (MacFarlane, 2014, p. 208) Since the concrete act of utterance is a part of many distinct histories, we can- not select the history of a context as the history in which the utterance happen. The Branching Realists add that if an utterance is a part of many distinct courses of events, then it is unwise to distinguish just one of these as absolutely actual (see section 5.3 of chapter5 for an extended discussion of the arguments). They conclude that the his- tory parameter simply is not initialized by the context of use of the sentence (see e.g., Belnap et al.(2001, pp. 151–152, 163–164, 232–233); John MacFarlane (2003, p. 323; 2014, p. 208); Tomasz Placek (2011, p. 756); or Thomas Müller (2014, p. 350). At this juncture, the metaphysical presuppositions of Branching Realism have a direct impact on the process of semantic analysis. Hence, the simple procedure suggested by Twardowski does not work. The context of a sentence is not sufficient to designate the appropriate circumstances of evaluation of the sentence. The content of the sentence does not seem to do the job either. The meaning of, “There is going to be no world war in the 21st century,” does not indicate which history is being referred to. However, if neither the context, nor the content initializes a history, then how shall one use the Ockhamist semantics? The situation is imperfect. The immediate route from the truth of a sentence at a context to the truth of a sentence at a semantic index is blocked. Therefore, the realists are forced to find another, less direct way to relate the notion of truth at a context and truth at an index. We shall see that the initialization failure is not fatal for Branching Realism and a number of postsemantic strategies to avert the crisis has been proposed.
48 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
Some of them are quite radical. In the face of initialization failure, they abandon the safe ground of Ockhamism and introduce a modified semantics, where a world/history does not feature as an element of the semantic index (see sections 4.2, 4.3, 4.4, and 4.8). If history is not an element of the semantic index, then there is no need to initialize a history and, consequently, there is no initialization failure. These attempts are usually easier to discredit. They fiddle with the intuitive definitions of temporal and modal connectives offered by Ockhamism and, as a result, they usually generate controversial semantic consequences. In particular, one usually finds a rather unexpected specimens among the validities of these semantics (or one fails to find the expected validities). These proposals rarely turn out to be consequently convincing. If the results of a se- mantic theory diverge from the common sense, we tend to trust the latter, rather than the former. Of course, in a case of a very complex sentence or reasoning our intuition is often lost and then it is very useful to have a rigorous semantic machinery to set our thinking straight. However, if semantics fails to meet common sense in the basic cases, the usual objection is that the semantics models some technical notion of “will,” “was,” or “possible,” rather than their English counterparts. Therefore, it is no longer clear if the semantics can be used to elucidate the everyday notions of past, future, or historical possibility. Other theorists rely on Ockhamism and try to figure our some other way around the initialization failure (see sections 4.5, 4.7, 4.6). They usually use the semantics, but in a less straightforward manner. They resort to postsemantics to settle the relation between truth at a context and truth at an index. On the methodological level, the (post)semantic theories might be distinguished depending on their attitude to Ockhamism (acceptance or denial). On the conceptual level, they can be divided according to their attitude to relativity of truth. Some theo- ries insist that even if the context does not initialize a single history, it is still sufficient to determine the truth status of a sentence used in the context. I divide these theo- ries into the following categories: extremism, modalism, many-valued semantics, and supervaluationism (sections 4.2–4.5). Other kind of theories deny this. They claim that a sentence plus the context do not determine the truth status of a sentence. According to these theories, the truth value of the sentence is relative to some extra factor. A sentence at a context may be true relative to one factor, false relative to another, and truth-valueless relative to still another. I discuss the relativist theories in sections 4.6— 4.8.
4.2 Extremism
Let me begin with the most radical approach to the semantics of future contingents. It is a common view among the Branching Realists that the notion of the actual future is bogus. One needs to be careful with such statements, however, as they are likely to result in overreaction. One such, as I shall argue, inadequate reaction can be found in a recent paper by Patrick Todd(2015a). In his project, he attempts to motivate a novel treatment of future contingents which would render them all false. He offers a surprisingly simple rationale for his semantic endeavor: a sentence in future tense is true, if and only if what it says happens in the actual future. But if there is no
49 CHAPTER 4. SEMANTICS OF BRANCHING REALISM actual future, then nothing happens in the actual future and any sentence in future tense is false. It certainly is an original semantic proposal, well-grounded in existing philosophical views. I am going to argue, however, that it ultimately fails. Upon closer examination it turns out that Todd’s definitions generate numerous difficulties which are hard to accept (or overcome). Many of the arguments presented below apply to more conventional accounts of future contingents. Let me first briefly recapitulate metaphysical considerations that influence Todd’s semantic decisions. The future, following the author’s argument, is contingent, if and only if it is not causally determined. Todd prefers to describe the contingent, undeter- mined future as the “open future.” Then, he imposes a very specific condition on the notion of the open future:
(OF) If the future is open, then there is no actual future.
The author does not motivate the condition, only stipulates it as the starting point of his investigations. One needs to be careful with claims like (OF), however, because, under one natural understating of the claim that there is no actual future, it says that nothing will actually happen—that is, that all the world’s days are run. But then, (OF) would allow us to infer that the world has just come to its end from the assumption that the future is open. It is surely not a valid inference, so (OF) must be wrong (an argument along this lines has been presented by David Lewis, 1986, p. 207). It indicates that the claim that there is no actual future requires clarification since, when taken at face value, it might lead to unwelcome consequences. I should stress that Patrick Todd does not fully embrace (OF) in the paper I discuss. At some point, he even admits that “[t]he motivation for having an open future view may be dubious” (p. 4). He just stipulates (OF) and proceeds to construct a hypothetical argument: If one wished to accept such a notion of the open future, then one could, or even should, accept the semantic proposals he puts forward. Therefore, I will assume for the purposes of reconstruction such a notion of the open future. Todd offers two theories. Let me first reconstruct Todd’s initial, ingenious proposal (I will refer to it as F1).
1. Fφ is true iff 2. In the actual future, φ iff 3. There is a unique actual future and in the future, φ.
If the future is open and (OF) is true, then there is no actual future. Then,3 is false in virtue of falsity of the first conjunct. Therefore, in face of the open future, every sentence in future tense is false. Todd is ready to admit the consequence:
On the relevant semantics for “will”, something “will” happen (as a first approximation) if and only if “the unique actual future” features the thing happening. But if there is no “unique actual future,” as open futurists contend, then (on a Russellian analysis) such a proposition simply comes out false. (Todd, 2015a, p. 2)
50 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
Let me note that the future might well be open, even if some truths are settled. For the future to be open, it is sufficient that some truths are not settled and Aristotle once sanely noticed that “it is necessary that he who lives shall one day die (. . . ) But whether he dies by disease or by violence, is not yet determined” (Metaphysics 1027b, 10–14). In case the world is not completely deterministic, the future is open, and therefore it does not exist.3 Therefore, if the future is open, Todd’s claim extends to settled truths. It is settled that I will die, but the sentence which states that I will die is false according to (F1). The result of all sentences in future tense being false might look unappealing at first, but Todd argues that if it is where our philosophical precepts take us, we can do nothing but follow. I admire the Puritan spirit of this proposal. As Todd puts it himself: “On my view, when we try to talk about ‘what will happen’, we presuppose a metaphysical picture of time and the world that philosophical reflection ultimately recommends that we reject” (Todd, 2015a, p. 23). Todd describes his project as a “Russellian” approach to future contingents and he contrasts it with a “Strawsonian” approach. He alludes to the famous debate regarding the analysis of definite descriptions. On the one hand, according to Russell (1905), every affirmative sentence with a non-denoting definite description as a subject is false. On the other hand, Strawson (1950) argues that such a sentence should be considered neither true nor false. Patrick Todd(2015a) argues that the same argument can be re- stated for sentences which talk about the future. If there is no actual future, then every sentence of the form “The future features φ” should be considered false, on the Russel- lian approach, and indeterminate, on the Strawsonian. The supervaluational proposal of Thomason (1970) (which I discuss in section 4.5) might be seen as a paradigmatic Strawsonian account of future contingents, whereas Todd proposes a Russellian alter- native. The elegant simplicity of his theory is impressive. In a sense, it is astounding that it had to wait until 2015 to be presented. Well, this is not quite true. I have identified two sources, where a view like (F1) is mentioned. Firstly, it is considered (but instantly discarded) by David Lewis:
It is false that the future holds a sea fight; because “the future” is a denota- tionless improper description. (. . . ) But [if we go this way], our customary thought about “the” future is in bad trouble. (Lewis, 1986, p. 207)
A sketch of a theory like (F1) can be also identified in a few remarks by Michael Tooley(2012):
First of all, there is what might be called “extreme” presentism, where this is the view that any positive proposition that is expressed by some statement about the past, or about the future, however that statement is interpreted, is false. (Tooley, 2012, p. 26)
Tooley does not develop this view at any length, only briefly comments:
3One might be inclined to say that “parts” of the future that are determined do exist. The insight is incorporated into the second of Todd’s theories.
51 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
[E]xtreme presentism with its radical view that all positive propositions about the past (and about the future) are false, has not recommended itself to many philosophers. (Tooley, 2012, p. 26)4
(F1) is not, strictly speaking, a case of extreme presentism in Tooley’s sense, as Todd limits his investigation to future tense. Anyhow, it is fair to describe his initial proposal as extremism. Not only does it partly coincide with Tooley’s extreme presen- tism, but, more importantly, advocates a quite extreme revision of the future talk of English (it might be what Lewis had in mind, when he warned against “bad trouble”). Russell rightly suggested that “[a] logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science” (Russell, 1905, pp. 484–485). In what follows, I am going to present a short list of puzzles that extremism should solve. In my opinion, these “logical experiments” jointly constitute a serious challenge for this view. To examine the details, let us assume then that the future is open (and thus, all F-sentences are false) and study how sentences in future tense behave in various contexts.
1. In (F1), sentences resembling tautologies come out false. Let us take the sen- tence:
I will have a cup of coffee tomorrow or I will not. (F1 p ∨ F1¬p) Patrick Todd realizes that this kind of cases might be problematic for his pro- posal. Therefore, he treats them with special care. In the end, he adopts the tactics originally devised by Russell himself. He argues that the sentence above is ambiguous and it is false only under one of its readings (just as the sentence, “The present king of France is bald or not,” is false under one of Russellian readings). “I will have a cup of coffee tomorrow or I will not” is false, only if we understand it as F1 p ∨ F1¬p. Unfortunately for Todd, elsewhere (p. 6) he assumes that F1¬ is the default reading of “will not.” Therefore, according to Todd, we should naturally take the sentence above to be false, while most of us would consider it true. It also implies, by De Morgan’s law, that we need to accept as true a sentence that sounds pretty much like a contradiction:
It is not the case that there will be a sea battle, but it is not the case that there will be no sea battle (¬F p ∧ ¬F¬p).
Todd rightly stresses (pp. 20–21) that, given the logical form he proposes, “will φ”(Fφ) does not contradict “will not φ”(F¬φ). So, strictly speaking, Fφ ∨ F¬φ is not a case of the law of excluded middle and it is logically consistent to say, as he does, that both elements are false. To defend his account, Todd could in principle argue that the default reading of “will not” is overruled in the example above and that for some reason the logical form of the sentence considered above
4Unfortunately, Tooley does not state the names of the precious few philosophers to whom extreme presentism recommended itself.
52 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
is F p ∨ ¬F p. This sentence is always true in Todd’s semantics and it fits our intuitions. However, it is crucial for this strategy that F¬φ and ¬Fφ are carefully distinguished, which brings me to the following problem. 2. According to (F1), the English phrase “will not” is ambiguous. More specifically, there is a syntactic scope ambiguity of the sentences like
(a) I will not drink coffee tomorrow. It can be understood in either of these two ways: (b) It will be the case tomorrow that I do not drink coffee. (c) It is not the case that it will drink coffee tomorrow.
However, as John MacFarlane notices, this kind of ambiguity does not seem to be present in the English “will not”: It is striking, though, that although we can mark the syntactic distinc- tion by resorting to cumbersome circumlocutions, as in (b)–(c), these variants seem like different ways of saying the same thing. If you ask somebody who utters (a) whether they meant (b) or (c), you are likely to be met with a blank stare. (MacFarlane, 2014, p. 216) Therefore, if MacFarlane is right, the users of English do not recognize the two meanings of “will not” that Todd is forced to stipulate. It seems, however, that the difference should be easily detectable, given that every sentence of the form F¬ is false, while every sentence of the form ¬F is true. 3. Let us reflect for a moment on the temporal operator “it is always going to be the case” (G). It is commonly introduced as a dual of F (G = ¬F¬). But then, since every sentence of the form Fφ is false, then every sentence of the form ¬Fφ is true. Therefore, (F1) implies that every sentence of the form “It is always going to be the case that φ” is true. In a sense, it should not come as a surprise. If Fφ means something like “some moment in the actual future features φ,” then Gφ means something like “all mo- ments in the actual future feature φ.” However, since there are no moments in the actual future (because there is no actual future), then the latter claim is vacuously true. Thus, according to (F1), it is false that I will drink another coffee. (F p) But it is true that
I am always going to be drinking coffee. (Gp) Also, a short reflection is sufficient to realize that, if we use operators to encode tense, then ¬F is more plausible than F¬ as the form of English “will not.” When I say that I will not eat meat, I mean that at no future occasion will I eat meat
53 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
rather than that at some future occasion I will not eat meat. (Also, Todd should endorse this reading of “will not” to solve problems1 and7.) But if this is right, then on (F1) all the “will not” sentences come out true. Then, it is true that I will not eat meat and it is also true that I will not eat anything else. 4. (F1) falsifies the basic principle of the majority of tense logics: φ → HFφ. The operator H stands for “It has always been the case that.” Observe that in (F1), even if φ is true now, the sentence Fφ was once false (assuming that what has in fact happened, might not have happened). Therefore, even if φ is true, HFφ is not. According to (F1), it means that, even if I do drink coffee right now, it was false to say that I would. This stands in conflict with how we usually assess our predictions. If you said that I would drink coffee today and I do, then it seems that I am entitled to say that what you said was true (or, more commonly, that you were right).5 Also, the principle φ → HFφ, together with its dual φ → GPφ, are meant to grasp an elementary symmetry between temporal concepts. They encode the idea that the present is in the past of the future and in the future of the past (in relational semantics, these two sentences guarantee that the accessibility relation for operator F is the converse of the relation for operator P). (F1) violates this idea in at least one direction—the present is no longer in the future of the past. 5. (F1) also generates problems for analysis of speech acts. Many of them seem to be systematically related with the truth value of the sentences used in the acts. The paradigm example is the act of betting. If α bets that φ, then α wins, only if φ is true. (For a detailed discussion of speech acts in the context of open future, see Belnap, 2002b). If this understanding of betting is sound, then, if (F1) is accepted, then no bet can ever be won. After all, if the future is open, whenever you say “Eclipse will come first,” your sentence is false (and it will remain false forever). Therefore, even if you bet on Eclipse and Eclipse does in fact come first, you still stand no chance, when bargaining with the bookie about your payoff. Actually, Todd refers (p. 9) to an argument by Arthur Prior to the effect that betting is problematic for an open futurist. He uses this argument to distinguish his version of open futurism from Prior’s. However, he does not restate this argument against his own proposal, nor does he make any attempt to rationalize betting behavior within his account of future tense.
6. Let us introduce one more connective, “it is determined that” ( D ) expressing causal necessity. We say that D φ is true, iff φ is true in all causally possible futures. Remember that even if D φ is true, the future might still be open. It is enough that some other aspect of the future is indetermined. Then, if the future is open, (F1) breaks the natural connection of “will” (F) and “determined” ( D ). For example, even if φ is causally necessary to happen, it is still false that it will happen. So, the following implication is false:
5I discuss the so-called retrospective accuracy assessment in sections 4.5 and 4.6.
54 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
If it is determined that I will drink a cup of coffee tomorrow, then I will. ( D p → F p) 7. Since all sentences in future tense are false, then “I will drink a cup of coffee tomorrow” and “I will not drink a cup of coffee tomorrow” are both false. Todd is well-aware of that and he is ready to accept it. However, he might have not noticed that it means that these two are (materially) equivalent. Thus, if the future is open, then it is also true that: I will drink coffee tomorrow, if and only if I will not. (F p ↔ F¬p) (Of course, the alleged scope ambiguity might come to the rescue here.)
8. Every (material) implication with an antecedent in future tense is true. Therefore, it is true that
• If I drink coffee tomorrow, then I will be the king of France. (F p → Fq). • If I drink coffee tomorrow, then it is determined that I will not. (F p → D ¬p).
Perhaps none of the arguments above is decisive. When accumulated though, they constitute a rather strong case against (F1) as a semantics of the future tense. This result might serve as a warning to take cum grano salis the slogans like “there is no (actual) future.” To my mind, a proponent of (F1) has two solutions open to him. He can bite the bullet, endorse the error theory and insist that people are massively confused when they use the future tense. This strategy has not recommended itself to many philosophers indeed. Even Todd admits that “[t]his is not an easy philosophical road to walk” (p. 23). This is not to say that a philosopher has nothing to say about the most fortunate semantics of future tense. It might be that our ordinary attitude towards “the future” is tangled and a philosopher can help to clarify, or even regiment, our way of talking. However, when a philosophical theory (and a semantic theory in particular) gets as remote from common usage as (F1) does, then it is most likely that the concept of the future encoded by this theory is very distantly related to our every-day concepts. It leaves us with the other solution, which is to admit that (F1) models a technical sense of “will” used, for example, by extreme presentists. Then, (F1) might be useful, if the purpose was to study the linguistic niche of these philosophers. However, it will not teach us much about how people actually do, or should, think about notions like “the future.” None of these two solutions seems particularly appealing and both might discour- age one from endorsing (F1) (they certainly discourage the person writing these words). However, I still believe that any of these two solutions are better than the route de- scribed below that Patrick Todd has actually chosen. In the face of the mounting technical difficulties,6 Todd has relaxed his view. He gave up some of his philosophical chastity and acknowledged that some sentences
6I am not sure which of the problems I have discussed above presented themselves to Todd. In his paper, he writes (pp. 18–19) that he was particularly discouraged by the result that I described in point6.
55 CHAPTER 4. SEMANTICS OF BRANCHING REALISM about the future should be true, even if there is no future. Specifically, he makes an exception for the sentences about the future events which are causally determined to happen. For example, he admits that the sentence like “I will die” is true. To convey this insight technically, the author proposes a modification of the definition of future tense (F2):
It will be the case that p iff there exists a unique actual future, and that future features p, OR p is true in all causally possible futures. (Todd, 2015a, p. 19)7
Since all causally possible futures feature my death, the sentence “I will die” is true. Thus, the semantic maneuver allows the author to generate the result he desired. The semantic shift suggested by Todd marks a transition from “extreme” to “austere” form of semantics, to use Tooley’s (2012) terms once again. In the austere version of presentism, we can reasonably talk about the future as long as it is in some sense present, for example, if it is “present in its causes.” I understand the “linguistic” motivation to escape from the dubious theory (F1). However, the fix proposed by Todd reduces rather than increases the philosophical allure of his position. To be fair, (F2) does avoid some of the concerns pointed out above. To be exact, the problems3 and6 do not threaten this position. However, the remaining problems are not answered by this semantic change (these problems apply to any φ that is not causally determined to happen). Worse even, the transition from (F1) to (F2) generates new semantic oddities. For example:
9. If it is causally determined that I will have one more cup of coffee today, but it was not causally determined two hours ago (e.g., I could have taken a nap an hour ago), then it is true to say:
I will drink a cup of coffee today but an hour ago it was false that I would. (Fφ ∧ P¬Fφ) In fact, Todd does not find this sentence as peculiar as I do. He even tries to justify why we should consider it true in a recent paper (Todd, 2015b).
10. Whenever it is determined that I will have either a cup of coffee or a cup of tea, but it is indetermined which one, I can truly say that: I will drink coffee or tea, but it is not the case that I will drink coffee or that I will drink tea. (F(φ ∨ ψ) ∧ ¬(F p ∨ Fq))
To my ear, the sentence above sounds very much like a contradiction. The intu- ition becomes even clearer, when restated as: I will drink coffee or tea, but I will not drink coffee and I will not drink tea. (F(φ ∨ ψ) ∧ ¬Fφ ∧ ¬Fψ)
7Incidentally, Malpass and I (see Malpass and Wawer, 2012, p. 132) have proposed a very similar defini- tion of the future tense operator. I present it in section 5.3.5.2. The argument presented below does not apply to our view.
56 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
I find it utterly bizarre that this sentence should ever be true. However, I have to admit that Todd may attempt to explain away the truth of the last sentence by once again evoking the scope ambiguity. 11. The next problem with (F2) is that nothing is ever true in this theory without being causally determined. It means that it is never true that:
It is not determined that John will drink another coffee today, but he will. (¬ D p ∧ F p)
It is a matter of some controversy whether these kind of sentences should ever be considered true (see MacFarlane, 2014, pp. 215–216). However, it is worth noticing that they always come out false in (F2). (In fact, they come out false also in (F1), but for different reasons.)
On top of all of all of those, there is a methodological problem with (F2). Namely, the second disjunct in the definition of “will” seems to be added entirely ad hoc, just to explain away some controversial consequences. I hope that by now it is clear that the switch from (F1) to (F2) is not as good a deal as it might seem.8 We do get rid of two controversial cases, but we generate two new ones. Even if this new semantics is slightly better, it not much better than the previous one. Thus, the meta-philosophical reasons that might discourage us from accepting (F1), apply to (F2) as well. Things, however, get even worse. . . Remember that Todd has accepted (OF), which says that if the future is open, then there is no actual future. Bearing this in mind, let us muse a little more on the modified truth condition of the future tense operator:
Fφ is true iff there exists a unique actual future, and that future features φ, OR φ is true in all causally possible futures.
I shall encode this condition symbolically:
Fφ iff (@Fφ or D φ) Let us now consider two scenarios. First, assume that the future is open. This implies that there is no actual future. It implies in turn that the first disjunct in the definition above is false and Fφ inherits the truth value of the second disjunct. Thus, if the future is open, we arrive at a simplified definition of truth:
Fφ iff D φ Now, let us assume that the future is not open. Then, there is only one possible way in which the world can develop. Todd admits that in this case the actual future exists and it is simply identical to the unique, causally possible future (see Todd, 2015a, p. 11). But then, doubtlessly, whatever the actual future features, it is determined to happen. Thus, in case the future is not open, we arrive at the same simplified definition:
8It definitely seemed a good deal to Todd, who writes “I am deeply grateful to Andrew Bailey for sug- gesting this disjunctive approach, thereby saving me from a great many complications” (Todd, 2015a, p. 19, n. 28).
57 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
Fφ iff D φ Therefore, no matter if the future is closed or open, the truth conditions for the future tense operator are exactly the same. The first disjunct in definition (F2) makes no difference and Fφ and D φ are necessarily equivalent. The equivalence can be derived on the basis of the definitions (OF) and (F2), so the identity of F and D is not only necessary, but also analytic. We can put this point differently, if we notice that on the open future view the following implication holds: ¬ D φ → ¬@Fφ. It says that if φ is not determined to happen, then the actual future does not feature φ. Todd admits that much when he says that “given indeterminism, there does not now exist a complete ‘story of the future’ ” (Todd, 2015a, p. 2). We can now formally restate the previous argument as:
Fφ ↔ (@Fφ ∨ D φ) (F2 definition of “will”) ¬ D φ → ¬@Fφ (from the stipulated meaning of OF) Fφ iff D φ
Thus, it is clear that the first disjunct is just a smokescreen. It is redundant for any open futurist in the style of Todd. The classical logic and Todd’s definitions are sufficient to establish equivalence of “will” and “determined.” Therefore, we can safely conclude that in (F2), “It will be the case” means “It is determined to be the case.” However, if we identify these two, we simply end up with the good old Peircean semantics of Arthur Prior (to be discussed in the following section). Of course, it is not a sin to adopt (even unknowingly) a semantic devised by such an illustrious philosopher. Todd’s major problem is not that the semantics he devised is not entirely novel, but that has himself wants to distinguish his view from Priorian Peirceanism:
Hartshorne and Prior showed that one could have an open future with- out denying bivalence, given (at least what most will regard as) a rigged, causally-loaded semantics for the future-tense “will,” according to which to say that something will happen is (roughly) to say that it is determined to happen. However, I aim to show that one can have such an open future without adopting these semantics. (Todd, 2015a, p. 3)
Given the argument above, Todd fails to fulfill his promise. Doubtless, his ini- tial proposal (F1) does achieve his aim. It does distinguish “plain” future tense from “causally-loaded” future tense. In Todd’s initial proposal, the sentence “I will die” is false, while it is true in Peirceanism. However, Todd decided to give up (F1) as an analysis of “will” and accept another semantics—(F2)—that he finds less problematic. Closely examined, however, (F2) turns out to be nothing but Prior’s Peirceanism. Ultimately, the author has sacrificed the novelty of his proposal for the sake of a slightly more intuitive explanation of a few controversial cases. At the same token, he failed to achieve his primary aim, which was to propose a semantics which would (a) render all future contingents false, and (b) distinguish “plain” future tense from “causally loaded” future tense. Therefore, I would suggest Todd to reject the trade-offs and stick to (F1). In fact, I believe that he could philosophically support the result that scared him away from (F1). After all, if there is no actual future, the actual future does
58 CHAPTER 4. SEMANTICS OF BRANCHING REALISM not feature my death, so the full-fledged Russellian open-futurist in the style of Todd can easily explain, why it is false that I will die. To sum up, none of the semantics of “will” recently proposed by Patrick Todd is a reasonable analysis of the English future tense. Moreover, I claim that the proposal he ultimately recommends, on closer inspection, turns out to be a version of the semantics which he wants to reject. In light of these results, it would be better to either abandon his semantic project altogether, or stick to his initial proposal, as it might be useful for some theoretical applications in philosophy of time.
4.3 Modalism
I will now discuss a more moderate approach to the idea that there is no actual fu- ture. The idea is to reinterpret the “plain” future in modal terms, (“in an indetermin- istic context, factual statements are covertly modal” McArthur, 1974, p. 283). If so reinterpreted, the sentence no longer refers to actual future and we can ascribe to it a history-independent truth value. I will use modalism as an umbrella term to cover a family of such theories. McArthuro ffers two modalist interpretation of the operator F: • It may be the case • It must be the case Both these translations share the common feature: the truth value of so understood future operator is independent of the choice of a history and the initialization failure never arises. Let us consider the first of McArthur’s proposals and identify “will” with “may” understood as “possibly-will.” I call this view “possibilism.” Definition 4.1 (Possibilism). 0 0 m|=Fφ iff ∃m0 (m < m & m |= φ) 0 0 m|=Pφ iff ∃m0 (m < m & m |= φ) In a sense, possibilism is the most natural choice from the semantic viewpoint, since it treats the branching structure hM, ≤i as a proper Kripke frame of temporal logic. In ordinary temporal frames, we take the relation which orders the structure to be a relation of temporal precedence and we treat this relation (and its converse) as accessibility relations of temporal operators. Nonetheless, if we continue to use the tree to represent modal reality, we arrive at the conclusion that whatever may happen, will happen.9 The consequences of such identification are intuitively unacceptable. It was recognized already by Arthur Prior (1967, pp. 53–54), who was cautious not to understand the possibilist future operator f as the future tense of English. To exemplify but a few problems with this semantics, let us take p to stands for “There is a sea battle” and q for “There is a land-battle.” Then, under the possibilist reading of “will” we can conclude that at some moments of some models the following sentences are true:
9Prima facie, it resembles the so-called Diodorean definition of possibility, see (Rescher, 1968), but the idea is substantially different.
59 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
1. There will be a sea battle tomorrow and there will not be a sea battle tomorrow (F1 p ∧ F1¬p, thus the implication Fn¬p → ¬Fn p is not valid). 2. There is a sea battle, but yesterday, there was going to be no sea battle today (p ∧ P1F1¬p). 3. There was going to be a sea battle, but it has never happened and never will happen. (PF p ∧ ¬Pp ∧ ¬p ∧ ¬F p). 4. Once, an endless sea battle will begin and once, an endless sea-peace will begin (FGp ∧ FG¬p). 5. There will be a sea battle and once, there is always going to be the case that there has been no sea battle (F p ∧ FG¬Pp). 6. There will be a sea battle and there will be a land-battle, but the sea battle will be neither in the past nor in the future nor in the present of the land-battle (F p ∧ Fq ∧ ¬F(p ∧ Fq) ∧ ¬F(q ∧ F p) ∧ ¬F(p ∧ q)).
I hope that these few examples demonstrate conclusively that the possibilist “will” has little to do with the future tense of English. Possibilism may be used, perhaps, to study the temporal logic of Naïve Branching Realism or a simplified logic of the “trousers-like” spacetimes of general relativity that Earman writes about, but it does not grasp the common sense temporal relations. In the previous section, I mentioned the more promising modalist alternative— Peirceanism. This semantics has been proposed by Arthur Prior(1967) to grasp the notion of the future he reconstructed from the writings of Charles Sanders Peirce This corresponds (. . . ) to C.S. Peirce’s description of the past (with, of course, the present) as the region of the “actual,” the area of “brute fact,” and the future as the region of the necessary and the possible. (Prior, 1967, p. 132) The gist Prior’s the semantic definition is easy enough, a sentence in future tense talks about what is predetermined to happen or, as he concisely puts it, “ ‘Will’ here means ‘will definitely’ ” (Prior, 1967, p. 129). Definition 4.2 (Peirceanism). P 0 0 0 P m|=Fφ iff ∀h(m ∈ h ⇒ ∃m0 (m ∈ h & m < m & m |=φ)); P 0 0 0 P m|=Gφ iff ∀h(m ∈ h ⇒ ∀m0 (m ∈ h & m < m & m |=φ)); P 0 0 P m|=Pφ iff ∃m0 (m < m & m |=φ). The operators F and G need to be independently introduced, since they are not duals.10 It means that the equivalence F p ↔ ¬G¬p is not valid. If p happens in some, but not all continuations, then F p is false, while ¬G¬p is true. In contrast, its mirror
10The operator dual to F is sometimes called g. The sentence gφ is true at m iff φ is true at all moments later than m in some history passing through m. The dual of G is f and f φ is true at m iff φ is true at some moment later than m of some history passing through m. The operator f can be identified with the possibilist sense of “Will.”
60 CHAPTER 4. SEMANTICS OF BRANCHING REALISM image, Pp ↔ ¬H¬p, is valid, because if something happened in one past, it happened in all pasts. It means that Peirceanism sharply distinguishes the past from the future and it has a way of expressing that the future, contrary to the past, is open. Nevertheless, Peircean semantic is open to numerous objections. First of all, I agree with Todd that Peirceanism relies on intuitively suspicious, “rigged, causally- loaded semantics for the future-tense.” We clearly distinguish the future from the nec- essary future and “will” follows the former rather than the latter.11 Due to the spurious identification, Peirceanism generates a number of unsettling results. Specifically, the arguments 1, 2, 4, 5, 7, 8, 9, 10, 11 discussed in the previous section, all apply to Peircean semantics. In fact, many of them have already been noticed by Prior (1967), but he was so hostile to the notion of the actual future that he was nonetheless inclined to accept Peirceanism over Ockhamism. In my opinion, these arguments combined seriously undermine the feasibility of Peirceanism. In fact, I found only one defense of this semantics, as applied to English, in a paper by Alan Rhoda(2006). However, the author does not rebut a majority of the linguistic oddities mentioned above. His argumentative strategy focuses on the meta- physically motivated reasons to embrace Peirceanism (he supports the move with the contention that there is no future). Moreover, the author seems to mistake the pragmatic phenomena accompanying the speech act of assertion for the semantic phenomena in- dicating the meaning of future tense. It is a common tendency in the literature on future contingents, so let me briefly comment on the mistake. An act of assertion does indeed seem to require more than simple truth to be correct. In particular, the assertor should have solid grounds to make an assertion. One might even argue that the grounds must be so solid that they guarantee that the sentence asserted is true and they exclude any alternative possibility.12 If this was correct, then one could assert “There will be a sea battle tomorrow” only if one were in a position to also assert “It is settled that there will be a sea battle tomorrow.” I believe, however, that this phenomenon should be explained on the level of pragmatics of asserting rather than on the level of semantics of tenses. Even if the separation is frequently difficult, the pragmatic and semantic considerations should be separated. It means that an extensive focus on assertion might be misleading. First of all, examples 1–12 in the previous section indicate that the future tense does not have the strong modal meaning when embedded in scope of other connectives (for example, it is not modally loaded in construction like F1φ ∨ F1¬φ). Surprisingly enough, even Michael Dummett concludes that “this compels us to make the sharpest possible dis- tinction between the condition for the truth of a sentence and that which entitles a speaker to make an assertion” (Dummett, 1976, p. 52). Second of all, “will” does not function like “necessary-will” when used in acts other than assertion (see e.g., Belnap et al., 2001, p. 160). I touched upon this issue discussing problem 5 of the preceding section. Consider Eclipse, who is about to run in a horse race. She is a well-known underdog but, being a risk taker, I say:
11Interestingly, a similar kind of reasoning persuaded theoretical computer scientists to abandon Peirceanism in favor of Ockhamism, (cf. Gabbay et al., 1994, pp. 5–6). 12Nevertheless, if we required such solid grounds, hardly anyone could hardly ever make any assertion, about the future or otherwise.
61 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
1. I bet that Eclipse will come first. and now compare my bet with its modalistic variants: 2. (Peirceanism) I bet that it is settled that Eclipse will come first. 3. (Possibilism) I bet that it is possible that Eclipse will come first. It is clear that bet 1 is significantly different from the remaining two. If, against all odds, Eclipse in fact does come first, then whomever made bet 1 wins, while whomever made bet 2 looses. If Eclipse does not overcome the odds and comes third, then one looses bet 1, but one might still win bet 3.13 No bookie would be much impressed if I demanded the payoff after the lost race on the ground that it was possible that Eclipse would win. He would be as unimpressed as I would be upset if he denied me the money after Eclipse’s victory on the ground that the victory was not necessary. It means that neither I nor the bookie understand “will” as “possibly-will” or “necessarily-will.” A similar kind of objections can be rephrased in terms of other propositional atti- tudes like hopes, desires, fears, guesses, or conjectures. For example, when I hope that Eclipse will come first, I hope for something very different than when I hope that it is settled or possible that she will come first. It seems that assertion is to a large degree exceptional. There is one more reason to distinguish F from F and ^F. Compare three sen- tences uttered just before a fair coin is being tossed: (i) The coin will land heads up. (ii) The coin will possibly land heads up. (iii) The coin will necessarily land heads up. Let us take John who knows that the coin is fair (equally likely to land both ways). Consider how strongly John believes in what is expressed by sentences above. It is quite clear to me that on a scale from 0 to 1, John’s degree of belief that (i) is about 0.5, John’s degree of belief that (ii) is almost 1, and John’s degree of belief that (iii) is almost 0. It shows that John’s cognitive attitude towards what is expressed by (i)–(iii) is different in each case, which indicates in turn that he does not equate the meaning of these four sentences. Neither do I. I close the discussion of modalism convinced that it is not a viable candidate for a semantic analysis of future tensed expressions. It prevents initialization failure, but the benefit is far-outweighed by the costs incurred.
4.4 Many-valued semantics
Another way to tackle the initialization problem is to incorporate Łukasiewicz’s formal insight into the branching setting and introduce yet another history-independent seman- tic theory. Łukasiewicz has developed his formal machinery long before the treelike
13Also, the epistemic procedures required to settle these bets are crucially different. In case of the first bet, it is enough to wait and see which horse comes first, while the remaining two require different kind of investigation altogether.
62 CHAPTER 4. SEMANTICS OF BRANCHING REALISM model was first used for semantic purposes, so let me briefly sketch his original pro- posal, before I adopt his theory to suit the branching representation. Łukasiewicz got interested in the foundational issues in the philosophy of logic quite early in his philosophical career. In 1910, he wrote a book entitled On the Prin- ciple of Contradiction in Aristotle and an article devoted to the law of excluded middle (see Łukasiewicz, 1910a,b). Part of the reason why Łukasiewicz was so interested in these fundamental logical principles might have been his conviction that they imply determinism. He expressed such a conjecture in 1910 (Łukasiewicz, 1910b) and ex- plicitly argued this point in 1913 (Łukasiewicz, 1970a, pp. 35–37). The notion that the classical logic has deterministic consequences has probably been instilled in Łukasie- wicz by (his reception of) Aristotle’s De Interpretatione. Nonetheless, Łukasiewicz was unwilling to accept the deterministic worldview. He was driven by a firm incompatibilist belief that determinism precludes creativity and free human action. He passionately defended human freedom against the threat of physical and logical necessity in 1922, in his famous lecture “On determinism” (first published almost four decades later). The incompatibilist position, conjoined with his conviction that classical logic presupposes determinism, led Łukasiewicz to question the foundations of classical logic, especially bivalence. He preferred to sacrifice the basic principles of logic than human creativity and freedom. He was not the only logical revolutionary living in Lvov during that period. His student, Tadeusz Kotarbinski´ , wrote an article arguing that the law of bivalence is not universal (Kotarbinski´ , 1913). He offered two arguments to the effect that the law does not apply to propositions regarding the portion of the future that might be influenced by human actions. The similarity between ideas presented by Kotarbinski´ and those later defended by Łukasiewicz is striking. It is a matter of some controversy who inspired whom in this respect. Doubtlessly, Kotarbinski´ has been influenced by Łukasiewicz’s critical assessment of classical logic in general, but it is unclear how many of the spe- cific arguments presented in (Kotarbinski´ , 1913) had earlier been advocated by Łuka- siewicz.14 However, Kotarbinski´ soon abandoned the idea (convinced by Lesniewski’s´ critique, I briefly recapitulate their debate in section 6.5), while Łukasiewicz took it one step further. In 1917–20, he transformed the general notion that the future contingents are neither true nor false into a specific formal system. A system that postulates three 1 logical values: the true (1), the false (0), and the possible ( 2 ). Then, he interpreted logical connectives as functions defined on the 3-element set. His definitions can be represented by table 4.1.
1 → 0 2 1 ¬ 0 1 1 1 1 1 1 1 2 2 1 1 2 1 1 0 2 1 0 Table 4.1: Łukasiewicz’s 3-valued logic.
14 Grodzinski´ (1989, p. 39) and Malinowski(2007, p. 17) suggest that Kotarbi nski´ ’s ideas were a source of inspiration for Łukasiewicz, while Surma(2012, p. 101) o ffers a range of arguments to the contrary. The material on the subject is too scarce for the matter to be decisively resolved. See (Wolenski´ , 1990, pp. 194–5) for a detailed, historically plausible reconstruction.
63 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
Łukasiewicz does not elaborate on his choice of these particular truth functions as semantic interpretations of implication and negation. He just mentions that his deci- sion was based on “detailed considerations, which were more or less plausible to me” (Łukasiewicz, 1970d, p. 166). An interesting rationalization of the table has been of- fered by Alasdair Urquhart(2001), who argues that the truth table is natural, if we think 1 about Łukasiewicz’s truth values as sets of classical truth values: 1 = {T}, 2 = {T, F}, and 0 = {F}. Each set represents a range of classical truth values that a given proposi- tion can take in the future. Then, to compute the truth value of a complex proposition, we examine all classical combinations of the truth values of its components, e.g., if φ has the truth value {T, F} and ψ, the truth value {T}, then the truth value of φ → ψ is {T} because a classical implication with a true consequent is true regardless of the truth value of the antecedent. The truth table computed according to this method (see table 4.2) closely resemble the table above.15 In fact, the only difference is in the center of
1 → 0 2 1 ¬ 0 1 1 1 1 1 1 1 1 2 2 2 1 2 1 1 0 2 1 0 Table 4.2: Urquhart truth table. the truth table of implication. According to Urquhart, the implication of two possible sentences should be possible. Let us consider a specific example. Let us say that I eat either a doughnut or a croissant and I drink either tea of coffee every morning. The choice of food does not strongly correlate with the choice of beverage; each of the four combinations happens every now and then. Let us now consider a sentence “If I drink coffee tomorrow, I will eat a doughnut.” According to Urquhart’s procedure, this sen- tence is possible. It might turn out true (if I have tea or coffee+doughnut), but it also might turn out false (if I have coffee+croissant). 1 1 Why would Łukasiewicz disagree and require that the implication from 2 to 2 should be true? Observe that under Urquhart’s semantics, arbitrary sentence expressed by means of negation and implication, whose all basic components have the truth value 1 1 2 , also has the truth value 2 . This implies that no sentence of this language is true regardless of the valuation, i.e., the set of validities is empty. Urquhart conjectures that the Polish logician wanted to avoid this consequence. In particular, Łukasiewicz seem to have been convinced that the sentence φ ↔ φ should always be true. There is another reason that might have supported Łukasiewicz’s decision. In 1922 (see Łuka- siewicz and Tarski, 1970, p. 140, n. 15), he extended his semantics to account for an infinite and all finite-valued logics. Let v(φ) be the truth value of φ. Łukasiewicz’s idea can be expressed by the following, general pattern: 1, if v(φ) ≤ v(ψ), v(φ → ψ) = v(¬φ) = 1 − v(φ). (1 − v(φ)) + v(ψ), otherwise. This pattern induces Łukasiewicz’s 3-valued table as a special case. Therefore,
15Incidentally, it is the truth table of Kleene’s strong implication.
64 CHAPTER 4. SEMANTICS OF BRANCHING REALISM theoretical uniformity supports Łukasiewicz’s choice over Urquhart’s. The remaining standard operators can be defined in Łukasiewicz’s theory as abbre- viations: (φ ∨ ψ) ↔d f ((φ → ψ) → ψ), (φ ∧ ψ) ↔d f ¬(¬φ ∨ ¬ψ), (φ ↔ ψ) ↔d f ((φ → ψ) ∧ (ψ → φ)). When, we compute the functions induced by these definitions in 3-valued case, we arrive at the functions represented in table 4.3.
1 1 1 ∨ 0 2 1 ∧ 0 2 1 ↔ 0 2 1 1 1 0 0 2 1 0 0 0 0 0 1 2 0 1 1 1 1 1 1 1 1 1 2 2 2 1 2 0 2 2 2 2 1 2 1 1 1 1 1 1 1 0 2 1 1 0 2 1 Table 4.3: Truth tables for disjunction, conjunction, and equivalence.
It is crucial to stress that all the connectives of this logic are entirely extensional, i.e., the truth value of the composed sentence functionally depends on the truth val- ues of its components. Łukasiewicz never questioned this property, even when he was fully aware of the intentional systems of C. I. Lewis or H. von Wright.16 Łukasiewicz does not abandon extensionality, even when he extends his logical system to include modal notions like “possible” and “necessary.” In fact, as he explains in (Łukasiewicz, 1970d, pp. 154–164), he introduced the third truth value, partly because he realized that no truth function defined on the set of only two values can interpret an operator that would verify some basic modal claims (i.e., ¬^φ → ¬φ, ¬φ → ¬^φ [sic], and ∃φ(^φ ∧ ^¬φ)). The third truth value allowed him to introduce a truth function that interprets modalities considerably better than any of the two-valued truth functions. Łukasiewicz, inspired by Alfred Tarski’s remark from 1921, defines the notion of pos- sibility in terms of implication and negation as ^φ ↔d f (¬φ → φ). Then, he introduces as the dual of ^, := ¬^¬ (Łukasiewicz used M and L to indicate possibility and necessity, respectively). This allows modalities to be defined in terms of the truth func- tions illustrated by table 4.4.
φ ^φ φ 0 0 0 1 2 1 0 1 1 1
Table 4.4: Truth tables for modalities.
Notice that the modalized fragment of the language is bivalent. It sounds reason- 1 able, if the truth value of φ is 2 , i.e., the possible, the truth value of ^φ should be 1, and the truth value of φ should be 0.17 Nonetheless, defining modalities in extensional terms sounds almost paradoxical from the contemporary perspective. Łukasiewicz’s idea is much more comprehensible, 16Wolenski´ (1989, p. 271–2) explains that such an attitude was common among the key figures of the philosophical Lvov-Warsaw school. Lesniewski´ was particularly hostile towards intensional contexts and he probably influenced Łukasiewicz, Kotarbinski,´ and Ajdukiewicz (Wolenski´ , 1989, p. 145). 17Interestingly, this intuitive result does not generalize to more-than-three valued logics build according to Łukasiewicz’s pattern. Let us take an infinitely valued logic whose truth values are the rational numbers in [0,1]. Given that ^φ is an abbreviation for ¬φ → φ, we can compute the semantic value of ^φ as follows:
65 CHAPTER 4. SEMANTICS OF BRANCHING REALISM however, if we remember that he thought about the truth values themselves in modal terms. He repeats on numerous occasions, from 1913 (Łukasiewicz, 1970a) through 1956 (Łukasiewicz, 1957), that a sentence is true only if what it says is necessary and it is false only if what it says is impossible. Hence, in Łukasiewicz’s thought, truth and falsity are modally charged. The third truth value also has a modal character. After all, Łukasiewicz even calls it “possibility” (in Łukasiewicz, 1970b, he referred to it as “indeterminacy”). It represents the modal territory stretching between the impossible and the necessary. The truth tables presented above partially confirm the thought. Observe that φ is true if and only if φ is true and φ is false if and only if ¬^φ is true. Nonetheless, truth and necessity are not synonymous, as φ is false in different conditions than φ. Consequently, the equivalence φ ↔ φ is not valid. Interestingly, also the implication 1 1 φ → φ is not always true in Łukasiewicz’s semantics (it is 2 , when φ is 2 ), while one of his reasons for introducing the third truth value was to validate this implication. Łukasiewicz observes that a similar implication φ → (φ → φ) is indeed valid in his system and, as a result, φ can be properly inferred from φ. Clearly then truth and necessity, just as falsity and impossibility, are very closely related in Łukasiewicz’s theory. This might seems surprising. After all, we would not naturally say that if something does not happen, it is impossible. To refute this controversy and to defend Łukasiewicz’s modal logic, Arthur Prior(1953) stressed that the notion of possibility that Łukasiewicz had in mind was not logical possibility, but the kind of temporal possibility that Aristotle considered when he discussed future contingents. It is the notion of possibility that allows only the contingent future to be open to alternative options. The past and the present are, in this sense, necessary. If we conjoin this claim with a view that a sentence can be true only in virtue of what is past or present, then we need to conclude, as Łukasiewicz did, that whatever is true, is necessarily true. Prior’s rationalization largely coincides with Łukasiewicz’s own views; the latter essentially opted for what I call a “temporally local” notion of truth (see sec. 6.5). In his view, a sentence is true at time t if and only if there exists at time t something that grounds the truth of the sentence. In particular, presently existing causes which necessitate what a sentence predicts are the only ground for the truth-at-now of the sentence.
The cause of the future fact, which the sentence “p” states and which exists at instant t, is an actual correlate of the sentence “it is the case at instant t that p.” (Łukasiewicz, 1970b, p. 122)
He repeats essentially the same argument over four decades later:
1, if v(¬φ) ≤ v(φ) iff 1 − v(φ) ≤ v(φ) iff v(φ) ≥ 1 , 2 v( φ) = v(¬φ → φ) = ^ (1 − v(¬φ)) + v(φ) = (1 − (1 − v(φ))) + v(φ) = 2v(φ), otherwise. 1 As a result, if the truth value of φ ranges from 2 to 1, then ^φ is true, but if the truth value of φ is less than 1 2 , then the truth value of ^φ is not 1, but twice the truth value of φ. If we interpret, as Łukasiewicz(1970d, p. 173) suggests, the truth value of φ as its “degree-of-possibility” (analogous to probability), then we need 1 to conclude that even if the degree of possibility of φ is 3 , then the degree of possibility of ^φ is not 1, but 2 3 .
66 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
I mean that there is nothing that is real today and that would cause there to be a sea-fight tomorrow, not yet anything that would cause there not to be one. Hence, if truth rests on conformity of thought with reality, the proposition “The sea-fight will happen tomorrow” is today neither true nor false. (Łukasiewicz, 1957, pp. 155–156) In case of sentences referring to the past, the only things that can ground their truth are presently existing effects or traces of what the sentences represent (see Łukasiewicz, 1970b, p. 112, 128). In any case, a sentence φ is true at time t iff what exists at t makes it unpreventable that φ takes, took, or will take place.18 Due to this feature of Łukasiewicz’s semantics, Borkowski(1981) claims that it is misleading to say that he rejected bivalence. He argues that it is more accurate to say that Łukasiewicz replaced the classical notions of “truth” and “falsity” with an alternative (time-indexed) triad which is best characterized as • true-at-t = determined-at-t, • false-at-t = precluded-at-t, • contingent-at-t = neither-determined-nor-precluded-at-t.19 I am in broad agreement with Borkowski’s observation. I return to this issue in section 6.5. The three-valued approach has never been widely popular in the branching com- munity. It is worth noting, however, that it has recently resurfaced in a book by John MacFarlane(2014). To incorporate Łukasiewicz’s insight into the semantics of branch- ing, MacFarlane ascribes one of three truth values to sentences evaluated at moments. I will use v to denote a function that maps the Cartesian product of the set of all sentences 1 1 and the set of all moments to the set {0, 2 , 1} (v: S ent × M 7→ {0, 2 , 1}). Unfortunately, MacFarlane does not specify how to evaluate atomic sentences, so let me assume that v maps them to the set {0, 1}. Thus, I assume that the atomic sentences are “wholly about the present,” while Łukasiewicz makes clear that the present is not open to alternative 1 possibilities. Therefore, no sentence about the present should have the truth value 2 . The function v needs to satisfy the requirements for the connectives ¬, ∨, ∧, and ^, as illustrated by Łukasiewicz’s tables above. MacFarlane enriches Łukasiewicz’s lan- guage with a temporal indexical Tomorrow. To avoid the problem of context-sensitivity, let me modify his definition and introduce a non-indexical, temporal operator F: 0 0 1, if ∀ 0 ∃ 0 m > m & v(φ, m ) = 1, h ∈Hm m ∈h 0 , if ∀ 0 ∀ 0 v φ, m , v(Fφ, m) = 0 h ∈Hm m >m ( ) = 0 1 2 , otherwise.
18This conception also explains why the modal fragment of the language should be bivalent. For any φ, either the necessitating causes/effects of φ presently exist or not. If they do, φ is true and ^¬φ is false, if they do not φ is false and ^¬φ is true. Given the present state of the world is fully determinate, every modal sentence can be evaluated as true or false based on the present state of the world. 19Essentially the same definition of the three truth values was given by Słupecki(1964), who o ffered an algebraic interpretation of Łukasiewicz’s logic (see Malinowski, 2007, pp. 20–22 for a short summary of Słupecki’s ideas).
67 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
1 MacFarlane’s theory guarantees that 2 is ascribed to a sentence only if it contains operator F. Therefore, it adequately conveys the Aristotelian idea that only the future is the source of contingency.20 MacFarlane’s theory significantly departs, however, from the historical Łukasiewicz. As I have already mentioned, the Polish logician held sacrosanct the extensionality of logical connectives, while MacFarlane’s temporal operator violates this requirement. The truth value of Fφ at m does not functionally depend on the truth value of φ at m. Let me remedy the problem and introduce a fully extensional, 3-valued semantics to the branching setting. The easiest way to do this is to conceive of English sentences like “It is sunny” as somehow incomplete, missing an essential reference to an instant of time. Following Twardowski(1900), Łukasiewicz endorses this claim: “Statements of facts are singular and include an indication of time and place” (Łukasiewicz, 1970b, p. 118).21 To grasp Łukasiewicz’s idea, let me assume that the atomic sentences of a language are tenseless and they have the form pt which, as he explains, stands for the English “it is the case at instant t that p”(Łukasiewicz, 1970b, p. 112). I will call the set of such atomic sentences AT. The only logical connectives required are ¬ and →, the remain- ing connectives, including the modal connectives, can be defined along the procedure described by Łukasiewicz. To interpret this language in the branching structure (with instants), we need a proto-valuation function V that maps AT to the power-set of Hist (V : AT 7→ P(Hist)) which satisfies an extra requirement ∀t∀h1,h2∈Hist((h1 ∩ t = h2 ∩ t) ⇒ h1 ∈ V(pt) ⇔ h2 ∈ V(pt)
It means that if two histories overlap at time t (that is, they share a moment at instant t), then all the atomic sentences referring to time t have the same truth value in both these histories. Observe that function V is, so to speak, fully “bivalent.” For any sen- tence pt and any history h, either h ∈ V(pt) or h ∈ Hist\V(pt), there are no “halfways.” It reflects the fact that in each specific possibility, either p happens at t or not. The in- determinism is encoded by multiplicity of possibilities, not by indeterminacy of those possibilities. Using proto-valuations, we can define the proper valuation function v that assigns one of three truth values to sentences of our language, relative to moments (v: S ent × 1 M 7→ {0, 2 , 1}). Remember that Hm = {h ∈ Hist|m ∈ h}. For atomic sentences AT, the function works as follows: 1, if H ⊆ V(p ), m t v(pt, m) = 0, if Hm ∩ V(pt) = ∅, 1 2 , otherwise.
20It does not cohere well, however, with Łukasiewicz’s view that both the future and the past can bring about indeterminism. Łukasiewicz’s idea is notably difficult to square with the standard branching model, so I will leave it aside. 21This statement goes against Prior’s deep conviction that the sentence “It is sunny” expresses a complete, “temporalist” proposition which changes its truth value from one time to another. Clearly, the two great logicians would disagree at this point, since Łukasiewicz expresses the “incompleteness” thesis even in his posthumously published (Łukasiewicz, 1957, p. 147).
68 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
It intuitively means that an atomic sentence referring to time t is true at moment m iff what the sentence says happens at t in all the histories passing through m. It is false iff it happens at t in no history passing through m, and it takes a third truth value iff it happens at t in some, but not all histories passing through m. I prefer this approach to atomic sentences, because it explains why an atomic sentence takes a truth 1 value 0, 1, or 2 at a moment m, whereas in Łukasiewicz’s theory the ascription of truth values to the basic sentences is just “a given.” It also clearly indicates that the 1 truth value 2 arises from, and only from, future-oriented indeterminism encoded by the branching histories. To extend v to the set of all sentences, we need to require that the valuation function obeys the requirements encoded by the three-valued truth functions depicted by tables 4.1, 4.3, and 4.4. The validities generated by the semantics I have just described coincide with the validities generated by Łukasiewicz’s semantics. This should come as no surprise as the the very same truth functions are used to interpret the operators. The only difference is that the truth values of the atomic sentences are “grounded” in the properties of the branching structure. Such semantics has the interesting characteristics that the truth value of a sentence 1 at a moment depends on a temporal dimension. In particular, if v(pt, m) = 2 , then 0 0 00 00 v(pt, m ) = 1, for some m > m and v(pt, m ) = 0 for some m > m. This naturally encodes the idea that a sentence which is initially possible is later true in some possibil- ities and false in other. The phenomenon shows that there is no straightforward relation between the fact that a sentence is tenseless, on the one hand, and that its truth value is time-independent, on the other. The logic just described is not a temporal logic as there are no temporal operators in the language I propose to account for Łukasiewicz’s find- ing in branching structure. The whole temporal aspect is build into the semantics (and syntactics) of atomic sentences. Hence, the result is a time-sensitive, non-temporal logic. It might be also described as time-sensitive modal logic. A downside of the semantics is its relative limitation. In particular, it offers no means of judging if what is the case at m has always been inevitable to be the case. For example, it is true that you read these words at your present time t. It is true regardless of whether it is contingent or necessary that you would read them at time t0 when I write them. Thus, the truth-value-at-t of the sentence “It is necessary at t0 that pt” does not functionally depend on the truth-value-at-t of pt. It means that this semantics can assess what is possible, but it has no means of assessing what was and will be possible. Therefore, it does not exploit the full potential of the branching structure. I doubt that the problem could be easily remedied without violation of extensionality requirement. It is then possible to introduce a fully extensional, three-valued semantics to the branching setting. Let me discuss, however, the main reason why this idea has not gained much popularity. I have already touched on this delicate point. Remember the controversy regarding the truth value of an implication whose antecedent φ and 1 consequent ψ have the truth value 2 . According to Łukasiewicz it should be true, while according to Urquhart it should be possible. Which is it? The answer is: it depends on what φ and ψ mean. Evidently, if φ is synonymous to ψ, then φ → ψ comes down to φ → φ and it should be true, as Łukasiewicz requires. However, if φ and ψ are logically and causally independent, then we have the doughnut-coffee situation and it 1 should have the truth value 2 . Therefore, one cannot determine the truth value of an implication solely on the basis of the truth values of its components. One needs to take
69 CHAPTER 4. SEMANTICS OF BRANCHING REALISM into account the meaning of the components as well.22 An example usually used to argue against 3-valued semantics appeals to disjunction 1 rather than implication. Observe that if φ and ψ have the truth value 2 , then φ ∨ ψ also 1 has the value 2 . In some cases, this is desirable. If φ stands for “I will drink coffee 1 tomorrow” and ψ for “I will eat croissant tomorrow,” then φ ∨ ψ should be 2 . Notice, 1 however, that if φ has the truth value 2 , then ¬φ also has this truth value. As a result, the sentence φ ∨ ¬φ is not true, but possible, which means that the sentence “I will drink coffee tomorrow or not” is not true. The result struck many people as decisive argument against 3-valued approach. In fact, even Łukasiewicz required that the alternative composed of these sentences, “either John will be at home tomorrow noon or John will not be at home tomorrow at noon,” must be true in accordance with the principle of the excluded middle. (Łukasie- wicz, 1970b, p. 124)23 We can construct a similar argument to demonstrate that an apparently self-contradictory sentence, “I will drink coffee tomorrow and I will not” is not false. A possible rationalization of this controversial result is to impose a verificationist- like reading of disjunction and conjunction. We could insist that a disjunction can be true only in virtue of one of its disjuncts being true and a conjunction can be false only in virtue of one of its conjuncts being false, which is is based on the idea that we should not trust the principles of classical logic as such to be the ultimate ground for truths. Interestingly, a trace of such approach can be found in Łukasiewicz’s early book On the Principle of Contradiction in Aristotle, where he writes
The propositions about which we do not know whether they are true or false have no logical value, until their truth can be stated; they are logi- cally valueless propositions. The principle of contradiction is among such propositions, if we apply it to the being in general, especially to the real being. (Łukasiewicz, 1910a, p. 135, translation mine)
At that period, he treated the principle of excluded middle along similar lines (Łu- kasiewicz, 1910b). He argued that these principle cannot be demonstrated to be true. Pragmatic considerations might convince us in favor of these principles, but pragmatic utility should not be confused with indubitable truth.24 If the truths of logic are so understood, then, if φ is a future contingent, it is unreasonable to expect that φ ∨ ¬φ should be true. If logic cannot serve as the ground for its truth, it needs to be grounded either in the truth φ or in the truth of ¬φ. However, neither of these two is true, given that φ is a future contingent. If you are unsatisfied with this rationale, you will probably share Arthur Prior’s impression regarding future contingents that “The truth-functional technique seems
22This observation is attributed to Gonseth(1941) (see, e.g., Urquhart, 2001; Surma, 2012). 23Incidentally, Łukasiewicz explicitly states in a paper published in 1920, two years before the lecture “On determinism,” that the formula φ ∨ ¬φ is not valid in his system (Łukasiewicz, 1970c, p. 88). The supervalu- ational system that I discuss in the next section seems to be closer to Łukasiewicz’s informal motivation than the 3-valued system he introduced. 24Jan Wolenski´ (2014, pp. 9–10) has further strengthened the case for classical logic as he provided an extensive list of pragmatic considerations favoring bivalence.
70 CHAPTER 4. SEMANTICS OF BRANCHING REALISM out of place here” (Prior, 1967, p. 135). John MacFarlane is convinced by Prior’s argument and restates that “there is no way for a truth-functional semantics to give all future contingents the value i without also assigning i to sentences like ‘Either it will be sunny tomorrow or it won’t be sunny tomorrow’ ” (MacFarlane, 2014, p. 221). This consequence dissuaded Prior from Łukasiewicz’s approach to temporal modal- ities. He viewed his Ockhamism and Peirceanism as significant improvements on the three-valued logic. Also, by this time extensionality had lost a lot of its allure. The birth of formally rigorous, relational semantics for modal logics, which Prior helped to initiate, gradually included the intensional operators in the realm of legitimate logical tools.25 As a result, the three-valued approach to modalities has never been widely popular in the branching community. I do not intend to suggest that Prior wanted to entirely diverge from Łukasiewicz’s ideas. On the contrary, he felt a strong affinity with his thought. It should not be sur- prising, as both were strongly inspired by classical philosophy and logic, both took metaphysics seriously, both appreciated the temporal dimension in logical reasoning, both stressed the inherent link between time and modality, both highly valued preci- sion and formal methods, both even used the Polish notation invented by Łukasiewicz. There is no doubt that Prior looked up to Łukasiewicz as his master. In fact, he ex- pressed this view himself in the preface to Time and Modality: “And while I differed radically from the late Professor Łukasiewicz on the subject of modal logic, my debt to him will be obvious on almost every page” (Prior, 1957, pp. vii-viii). To be fair, even Łukasiewicz himself seemed to have been discouraged by the re- sults mentioned above. In his later works, he did not try to provide an intuitive interpre- tation of many-valued systems. He studied them in isolation, as abstract mathematical constructions—and finally found a way to answer the problem. In 1953, Łukasiewicz offers a truth-functional semantics, which renders a disjunction of two possible sen- tences like “I will have a coffee or a doughnut” neither true nor false, while it also renders the sentence “I will have a coffee or not” true. The achievement of the logician is not widely known, so let me quickly summarize it. Łukasiewicz presents a four-valued modal logic—Ł4 in my terminology—in which the distinguished truth value is the truth (i.e., the truth is used to determine the set of validities, and is symbolized by Łukasiewicz as 1). The semantics also includes falsity (denoted by 4) and two “middle” values—2 and 3—about which Łukasiewicz comments that they “represent one and the same possibility in two distinct shapes” (Łukasiewicz, 1953, p. 290). Łukasiewicz introduces three primitive operators: →, ¬, and ^ (possibility is not definable in terms of other connectives). The operators of disjunction, conjunction, and equivalence can be defined in the classical manner and the necessity operator , as ¬^¬. The truth tables of these operators are easily understood if we represent the truth values as ordered pairs of classical truth values, i.e., 1 B hT,Ti, 2 B hT,Fi, 3 B hF,Ti, 4 B hF,Fi (for simplicity sake, I will omit the square brackets and the comma). To arrive at the truth functions for the “classical” connectives, the classical, two-valued
25Łukasiewicz died at the time when the relational semantics had just germinated, so it would be hard to predict how he would have reacted to the new program. The correspondence that Prior and Łukasiewicz exchanged in the 1950s could shed some light on Łukasiewicz’s initial attitude.
71 CHAPTER 4. SEMANTICS OF BRANCHING REALISM functions are applied axis-wise. For example, TT→FT=FT, since the classical im- plication from T to F is F, while the implication from T to T is T. The possibility operator applied to XY leaves X untouched and raises Y to T. These procedures result in the following table :
→ TT TF FT FF ¬ ^ TT TT TF FT FF FF TT TF TF TT TT FT FT FT TT TF FT TT TF TT TF TF FT FF FF TT TT TT TT TT FT FF
Let us return to the problem with Łukasiewicz’s three-valued logic. Consider two equivalent sentences φ and ψ, such that neither of them is true and neither is false. If φ ↔ ψ is TT and φ is neither TT nor FF, then both φ and ψ have the same possible truth value, either TF or FT. Then, if you apply the classical disjunction axis-wise, you will easily compute that φ ∨ ψ has the same truth value as both disjuncts, i.e., it is either TF or FT. Hence, the disjunction of two equivalent possible sentences is also possible. By contrast, if φ is neither true nor false, for example it has the truth value TF, then ¬φ has the truth value FT and, as a result, φ∨¬φ has the truth value TT. Therefore, the disjunc- tion of two contradictory, possible sentences is true. Thus, contrary to MacFarlane’s claim, there is a truth functional mechanism which assigns truth to a disjunction of two contradictory sentences that are neither true nor false. By an analogous argument, φ∧¬φ is false, while φ∧ψ is neither true nor false. Also, if φ and ψ are neither true nor false, and they are not equivalent, then the implication φ → ψ is neither true nor false, while both implications φ → φ and ψ → ψ are true. Consequently, the four-valued, truth-functional semantics can cope with the typical objections raised against 3-valued semantics. The fact is hardly recognized in the literature on future contingents. It is pointless to look for controversial results in the non-modal fragment of the language since, as Font and Hájek(2002, p. 162) note, Ł 4 is a conservative extension of the classical, propositional logic. The difficulties arise, however, when we study the modal fragment of the language. Some of the modal tautologies of Ł4 are familiar from other modal systems. For example, we have that:
• φ → ^φ • φ → φ • (φ ∧ (φ → ψ)) → ψ • φ ↔ φ • (φ ∧ ψ) ↔ (φ ∧ ψ) The system, however, generates a range of rather unusual effects. For example, if you consult the truth tables above, you will realize that no sentence of the form φ is ever true and that no sentence of the form ^φ is ever false. It means, in particular, that the sentence (p ∨ ¬p) is not true and the sentence ^(p ∧ ¬p) is not false. These results seem peculiar from the modern reader’s viewpoint. Łukasiewicz did not share
72 CHAPTER 4. SEMANTICS OF BRANCHING REALISM the contemporary sentiment, as he claimed (in his discussion of classical tautologies) “that true propositions are simply true without being necessary, and false propositions are simply false without being impossible. This certainly does not hurt our logical intuitions, and may settle many controversies” (Łukasiewicz, 1953, p. 377). In fact, he had a positive reason to accept the result. He observes (in Łukasiewicz, 1957, pp. 149–151) that if we assumed that (x = x) is true, then we could infer (x = y) from x = y, “That means, any two individuals are necessarily identical, if they are identical at all” (p. 150). While Kripke took this principle as one of the basic tenets of Naming and Necessity, Łukasiewicz considered it “obviously false” (p. 150). He based his rejection on Quine’s example of the number of planets being contingently equal to nine. Since Łukasiewicz refused to limit the substitution in modal contexts (once again standing firmly on the side of extensionality), he was forced to conclude that ¬(x = x), i.e., “we are compelled to assume that no analytic proposition is necessary” (Łukasiewicz, 1957, p. 151). Another controversial property of Ł4 is that it validates
• (^φ ∧ ^¬φ) → ^(φ ∧ ¬φ) which seems wrong. If φ is a contingent statement, it is natural to expect that both ^φ and ^¬φ are true, but to derive on this basis that a contradiction is possible is dubious. Łukasiewicz defends the sentence in an astonishing way (Łukasiewicz, 1953, p. 378). He discusses C.I. Lewis’ example of an (apparent) future contingent, “A reader will see it” and subsequently presents the following line of reasoning:
1. Either a reader will see it or he won’t. 2. If a reader will see it, then it’s true that a reader will see it.
3. If it’s true that a reader will see it, then it’s impossible that a reader won’t see it. 4. If a reader won’t see it, then it’s true that a reader won’t see it. 5. If it’s true that a reader won’t see it, then it’s impossible that a reader will see it.
6. Therefore, it can never be jointly proven that it’s possible that a reader will see it and that it’s possible that a reader won’t see it.
I find this line of defense very surprising, as Łukasiewicz seems to go against his entire life project and assume that out of two contradictory sentences (even about a contingent future) one needs to be true and the other needs to be false. As a result, he seems to conclude that out of any two contradictory sentences only one is possible. The proviso that it can never be “proven” that both ^φ and ^¬φ slightly weakens Łukasiewicz’s conclusion, but he must have realized that to reject (^φ ∧ ^¬φ) → ^(φ ∧ ¬φ), we do not need to prove ^φ and ^¬φ, but only need to assume that ^φ and ^¬φ are consistent. Łukasiewicz should be more than willing to accept this assumption on the philosophical grounds. To further reinforce the impression that his formula is valid, Łukasiewicz investi- gated the following example:
73 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
If it is possible that n is even and it is possible that n is odd, then it is possible that n is even and n is odd. He then proceeds to demonstrate that the implication holds good, because the two conjuncts in the antecedent can never be jointly true, so the whole implication is vacu- ously true. Nonetheless, there is a great difference in the modal status of the sentence “n is even” and the sentence “A reader will see it,” and I find it extremely surprising that Łukasiewicz should be a person to miss it. Łukasiewicz is obviously formally correct. If you inspect his semantics, you will clearly realize that the pair of sentences ^φ and ^¬φ cannot be jointly true, which seems to imply that nothing is contingent. We can alleviate the problem, if we use a “twin” modality, , introduced by Łukasiewicz in form of the following table: TT TT TF TF FT TT FF TF
Łukasiewicz comments that ^ and “are like twins who cannot be distinguished when met separately, but are instantly recognized as two when seen together” (Łukasiewicz, 1953, p. 370).26 If we have both these modalities at our disposal, we can restore con- tingency in our system, since if φ is TF, then ^φ ∧ ¬φ is true, and if φ is FT, then φ ∧ ^¬φ is true. Interestingly, neither of the two: • φ ∧ ^¬φ → ^(φ ∧ ¬φ) • φ ∧ ^¬φ → (φ ∧ ¬φ) is valid in Ł4. I cannot imagine how Łukasiewicz would react to this observation in face of his fervent defense of (^φ ∧ ^¬φ) → ^(φ ∧ ¬φ). Another oddity of Łukasiewicz’s system has been observed by Arthur Prior(1957, p. 3), who noticed that (φ → ψ) → (φ → ψ) is valid in Ł4. He undermined the truth with the following example. It is necessary that if someone is a logician, then someone is a logician, but it is not the case that if someone is a logician, then it is necessary that someone is a logician. Łukasiewicz’s response to these problems would probably point to the fact that no sentence of the form φ is true in his system. Therefore, no counterexamples with a necessary antecedent poses a serious threat. Another property of Ł4 that is rather unusual in the realm of modal logics is what Łukasiewicz himself calls “laws of extensionality in a wider sense”:
• (φ → ψ) → (^φ → ^ψ) • (φ → ψ) → (φ → ψ)
26By which he means that if you systematically replace every occurrence of ^ with in a validity that contains just ^, the resulting sentence will also be valid. They are not the same, however, because, e.g., ^^φ ↔ ^φ is a valid, while ^φ ↔ ^φ is not.
74 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
Both are valid in his system. Łukasiewicz justifies these results as a faithful repre- sentation of “Aristotle’s most important and—as I see it—most successful attempt to go beyond basic modal logic” (Łukasiewicz, 1957, p. 138). Łukasiewicz provides an extensive exegesis of a fragment of Aristotle’s Prior Analytics, where these principles seem to be endorsed (Łukasiewicz, 1957, §39–§42). However, Aristotle’s claims are vague enough to allow for alternative interpretations. In particular, Łukasiewicz(1957, p. 147) himself noted that they might be given a weaker reading, acceptable for a wide variety of modal notions:
• (φ → ψ) → (^φ → ^ψ) • (φ → ψ) → (φ → ψ) Nonetheless, a detailed analysis of Aristotle and his commentators convinced Łukasie- wicz that the stronger reading is more accurate. Interestingly, Łukasiewicz noticed that one of the ancient interpreters of Aristotle—Alexander—stressed the stronger, modal reading of the principle. In response, Łukasiewicz argues that the modality in the an- tecedent should be read in a temporal fashion, (φ → ψ) means that it is always the case that if φ, then ψ. Then, he argues that it is consistent with his stronger understand- ing, since “a true material implication must be, of course, always true” (Łukasiewicz, 1957, p. 147). I would not expect to hear such a declaration from Łukasiewicz. For example, I had a doughnut and tea this morning (at time t), consequently, the material implication, “If I eat a doughnut at t, then I drink tea at t,” is true, but does Łukasiewicz really want to conclude that this sentence has always been true, even yesterday, when it was undetermined what I would eat the next day? Certainly, an important fact about Łukasiewicz’s four-valued logic is the solution it provides to the problem that Prior considered unsolvable. However, just the modest list of objections I have presented undermines accuracy of Ł4 as a faithful representation of the notion of possibility. Doubtlessly, most formal systems diverge from the ordinary usage to some degree, but Łukasiewicz’s system is extreme in this regard. Hughes and Cresswell underline that: If by a “modal logic” we mean a logic of possibility and necessity, this system takes us to the limit of what we should regard as a modal logic at all. (Hughes and Cresswell, 1968, p. 310) Once again, Arthur Prior has proved to be Łukasiewicz’s most able attorney and at- tempted to explain some of the apparently counter-intuitive consequences of Ł4. Prior (1954, 1957) argued that there is a lower and an upper limit of what an (alethic) modal- ity can mean. The weakest reading of φ is that φ is equivalent to φ, while the strongest reading of φ is that φ implies everything (i.e., it is equivalent to φ ∧ ¬φ). Regarding ^φ, its strongest reading is the weakest reading of φ, while its weakest reading is that ^φ is implied by anything (i.e., is equivalent to φ ∨ ¬φ). A formula of Ł4 is true if and only if it is true in the classical, 2-valued logic, under the strong and under the weak reading of the modalities (systematically applied to all their oc- currences in the sentence). Prior does not advocate that it is a common usage of the modals, but observes that it is not entirely outrageous: “Sometimes when a man says ‘Possibly p’ it does look as if he is trying to convey to some people the idea that he is
75 CHAPTER 4. SEMANTICS OF BRANCHING REALISM assenting to the proposition p, and to others that he is not really committing himself to anything at all” (Prior, 1957, p. 5). A sentence is Ł4-true iff both theses groups would agree that what the man said is true. The validities of Ł4 are easily explainable under this interpretation. Clearly, no sentence of the form φ is valid, because under the strong interpretation of φ, it is equivalent to φ ∧ ¬φ which is a classical counter-tautology. The sentence φ → ^φ is valid, because both φ → φ and φ → (φ ∨ ¬φ) are classical validities. This reading also explains why ^^φ ↔ ^φ is a validity, while ^φ ↔ ^φ is not. The usage of the two different weak modals allow us to substitute two distinct readings of “possible” within a single sentence. I leave it to the reader to verify that all the examples discussed above agree with the interpretation proposed by Prior. In any case, this usage of the modals remains highly unusual. Hence, Ł4 is interest- ing mainly from the formal point of view and it has indeed been studied formally, both on the syntactic and the semantic level (for an overview, cf. Font and Hájek, 2002). It has not found its way, however, to philosophical applications. Even historians of modal logic tend to forget about Łukasiewicz’s achievements. Font and Hájek(2002, p. 173) offer a list of influential publications on modal logic that do not even mention Ł4 (their list could be extended with (Blackburn et al., 2001) and (Goldblatt, 2006), who also neglect this work). It is symptomatic, perhaps, that it is discussed in Hughes and Cresswell’s An Introduction to Modal Logic (1968), while it is omitted in their A New Introduction to Modal Logic, published nearly three decades later (Hughes and Cresswell, 1996). In this manner, the history has not vindicated Łukasiewicz’s hope that his system “is remarkably important both from the philosophical and logical viewpoint” (Łuka- siewicz, 1953, p. 284). As I have already mentioned, a part of the reason was Łukasie- wicz’s attachment to extensionality. In his final book, he writes that: [The truth of the laws of extensionality for modal operators] seems to be perfectly evident, unless modal functions are regarded as intensional func- tions, i.e., as functions whose truth values do not depend solely on the truth values of their arguments. But what in this case the necessary and the possible would mean is for me a mystery as yet. (Łukasiewicz, 1957, p. 140) At that time, modal logic was taking a sharp turn towards intensionality. The raise of relational semantics paved the way for intensional notion to the mainstream of formal logic. Unfortunately, Ł4 does not fit very well into this set-up. It is probably the main reason why Łukasiewicz’s work on modal logic has been largely forgotten.
4.5 Supervaluations
Let me turn now to the first truly postsemantic response to the initialization failure. The response is the one recognized by John MacFarlane in Richmond Thomason’s (1970) supervaluationism. This view in many respects resembles three-valued seman- tics. Most notably, future contingents are neither true nor false in this theory. The key
76 CHAPTER 4. SEMANTICS OF BRANCHING REALISM difference is, however, that it is not assumed that they posses some other truth value. In this setting, future contingents have no truth value. To achieve this effect, Thomason applied van Fraassen’s (1966) technique of super- valuations to branching setting. He distinguished two distinct notions of truth, which I shall identify with truth at a context (||−) and truth at an index (|=). The supervaluational postsemantics relates these two notions to one another along the following lines: Definition 4.3 (Supervaluationism). m||−S φ iff m/h |= φ for every h such that m ∈ h. In supervaluationism, a sentence is true at a context iff it is true at each history passing through the context. In this framework, a sentence is false at a context iff its negation is true at the context. As a result, the fact that a sentence is not true does not imply that it is false. In particular, future contingents are neither true nor false. If the sentence φ is true at some histories passing through m and its negation is true at others, then m||−/S φ and m||−/S ¬φ. The distinction between the two notions of truth allows supervaluationism to bypass the initialization failure at a relatively low cost. We can ascribe truth status to sentences used at contexts without specifying a history parameter. At the same token, we do not need to give up the attractive features of Ockhamism, since we use it as the base semantics proper. In particular, we do not need to modalize the meaning of the future tense or introduce the third truth value. Nevertheless, the notion of truth is closely related to necessity in supervaluationism. Just as in Peirceanism and in three-valued semantics, a sentence is true at a contexts S S iff it is historically necessary, i.e., ∀m(m||−φ ⇔ m||−φ). These two are not identified, however; if φ is a future contingent at context m, m||−/S φ ↔ φ.27 A short exegetic remark is in place here. Although MacFarlane (2003; 2008; 2014) identifies supervaluationism as an exemplary postsemantic theory, such categorization requires significant addition to Thomason’s own exposition of the theory. Thomason (1970, pp. 273–274) does distinguish two notions of truth of a formula in a model—the truth at a moment/history pair and the truth at a moment. However, he does not iden- tify, at least not openly, the former with the truth at an index and the latter with truth at a context.28 A more suggestive description is provided in (Thomason, 1984), where the author distinguishes between history-relative truth and absolute truth at a moment (p. 215), but the connection of these notions of truth to truth at an index and a context is also unclear. I am not going to settle these interpretative controversies. I am satis- fied with the observation that there doubtlessly is an explicit distinction between two notions of truth in the papers of Thomason(1970, 1984) and, thanks to MacFarlane’s ingenuity, we can use the distinction to address the initialization failure. The logic generated by supervaluations fares better than logics of the theories dis- cussed above, i.e., modalism, extremism and three-valued semantics. In fact, if we concentrate on the set of supervaluational truths, i.e., sentences true at every context,
27We can recognize the difference on the postsemantic level if we inspect the falsity conditions of these two sentences: m||−/S ¬φ, but m||−S ¬φ. 28Probably due to the fact that the distinction was popularized largely by David Lewis’ paper (1970b) which appeared in the same year as Thomason’s. Thomason ascribes truth to “statements” (p. 265), “predic- tions made” (p. 270), or “assertions” (p. 279).
77 CHAPTER 4. SEMANTICS OF BRANCHING REALISM then we end up exactly with the Ockhamist tautologies. It is instructive to discuss two important cases:
1. In contrast to three-valued semantics F1φ ∨ ¬F1φ is true at context m, even if neither F1φ nor ¬F1φ is true. The disjunction is true at every context, because the sentence F1φ ∨ ¬F1φ is Ockhamist-true at m/h, no matter which history h passing through the moment of context m we choose, . Incidentally, it implies that the “classical” connectives are not (postsemantically) truth-functional. We have just observed that a disjunction can be true at a context at which neither of the disjuncts is. However, if F1φ is neither true nor false at m, then ¬¬F1φ is also neither true nor false. Therefore (since F1¬φ ↔ ¬F1φ), F1φ ∨ ¬¬F1φ is neither true nor false. So in this case the disjunction of two truth-valueless sentences lacks a truth value. In consequence, we cannot establish the truth status of a disjunction in a context, basing it solely on the truth values of its disjuncts in the context (the same applies to conjunction, implication and equivalence). It is the cost which Łukasiewicz was not ready to accept. He preferred to sacrifice the universal truth of the sentence φ ∨ ¬φ, rather than the truth-functionality of disjunction. Supervaluationism makes an alternative decision, but it is important to realize that it comes with a price.
2. Let us explore another significant example. In supervaluationism, the sentence φ → HFφ is valid. Let us study this example in detail on a very simple model.
S S m1||−It was going to be sunny. m2||−It was going to be rainy. h1 h2
m1: m2:!
S S m0||−/ It is going to be sunny. m0 m0||−/ It is going to be rainy.
First, let us take the sentence, “It is going to be sunny,” (F p) used at context m0. It is neither true nor false at the context. However, at a later context m1, the sentence, “It was going to be sunny” (HF p) is true since for arbitrary history h passing through m1, m1/h |= HF p. This effect looks even more interesting if we express it in the language with dates. Let us say that both m1 and m2 occur at instant t. Now, let us study the sentence, “At instant t, it is sunny” S S S (Att p). We can conclude that m0||−/ Att p, while m1||−Att p and m2||−¬Att p. Thus, the very same sentence, which has the very same semantic value, changes its
78 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
truth status from one context to another (such a behavior is characteristic to what MacFarlane(2009) calls non-indexical contextualism). The e ffect represents the claim that sentences which are initially truth-valueless become true or false with the procession of events in time (in Branching Realism, they become true in some parts of the world and false in others).
In general, as far as the set of supervaluational truths is concerned, there is nothing to worry about, since it coincides with the set of Ockhamist truths. The pretty parallel is lost, however, if we focus on preservation of truth rather than on truth itself. Timothy Williamson(1994, 151–152) pointed out that truth at a context is not preserved by very natural rules of inference. It means that the consequence relation for truth-at-context has questionable features under supervaluationism. Let me use the symbol φ||−S ψ to S S indicate that ∀m(m||−φ ⇒ m||−ψ), i.e., that inference from φ to ψ preserves truth at a S S context; and symbol ||−φ to indicate that ∀mm||−φ, i.e., that φ is true at every context. Williamson notices that supervaluational consequence relation violates:
Contraposition φ||−S φ, but ¬φ||−/S ¬φ.
Conditional proof φ||−S φ, but ||−/S φ → φ. Argument by cases φ||−S φ ∨ ¬φ and ¬φ||−S φ ∨ ¬φ, but φ ∨ ¬φ||−/S φ ∨ ¬φ. Reductio ad absurdum φ ∧ ¬φ||−S φ and φ ∧ ¬φ||−S ¬φ, but ||−/S ¬(φ ∧ ¬φ) (observe that ¬(φ ∧ ¬φ) is equivalent to φ → φ, which lacks a truth value if φ is a future contingent).
Let us study the first case only. The fact that φ||−S φ is easy enough to understand. After all, if c||−S φ, then φ is true at every history passing through c, which means that S S c||−φ. To see that ¬φ||−¬φ does not hold, let us substitute F1(sunny) for φ. If you S consults the model depicted on page 78, you will clearly see that m0||−¬F1(sunny), S S while m0||−/ ¬F1(sunny). Therefore, ¬φ||−/ ¬φ. The results above are problematic for supervaluationism, because we have a clear sense that each (or at least some) of the rules of reasoning mentioned above are valid. Therefore, we need to conclude that validity of reasoning does not coincide with preser- vation of truth of a sentence at a context. I consider this to be a bad result, since the notion of truth at a context was supposed to be a “down-to-earth” notion of truth, which is most familiar and upon which we build our intuitions upon. Therefore, if the intu- itive, “down-to-earth” notion of valid inference diverges from the preservation of truth- at-context, then it turns out that our basic intuitions regarding valid, truth-preserving reasoning are not connected to preservation of truth-at-context. Supervaluationism generates problematic results, since the indexes on which the operators are defined, i.e., moment/history pairs, are not the appropriate candidates for contexts. Hence, the notions of truth at an index and truth at a context diverge. However, only the former is required to behave in accordance with the standard rules of logic. It comes as no surprise, therefore, that truth at a context is not a logically orderly notion. For example, let us say that extensionality fails for the sentence F1 p ∨ F1¬φ at context m. The sentence is true at context m due to its truth at all pairs m/h.
79 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
Nonetheless, no pair m/h is an appropriate context. Thus, the truth-at-context of F1 p ∨ F1¬φ cannot be explained in terms of truth-at-context of F1φ or F1¬φ. Also, all the rules of reasoning discussed above preserve truth at an index. If only every index was an available context, none of the problems mentioned above would arise. It also means that there are context at which the sentence ^(F p ∧ ¬F p) is true, even though there is no context in which the sentence F p ∧ ¬F p is true. So, a supervaluationist can truly say that it is possible that a non-necessary sea battle will take place, but it is not possible for her to truly say that a non-necessary sea battle will take place. This last observation was transformed into a more general argument by Tweedale (2004), who noticed that φ, ^ψ||−S ^(φ ∧ ψ) is a valid inference rule in standard super- valuationism. It is a bad result, since if we substitute F p for φ and ¬F p for ψ, we obtain that F p, ^¬F p||−S ^(F p ∧ ¬F p). Namely, we can infer a logical impossibility from logically possible set of assumptions.
A problem with retrospective accuracy ascription Supervaluationism has its problematic features, especially concerning the formal prop- erties of the notion of truth-at-context (truth value gaps, non-extensionality of classical connectives, consequence relation). In addition to these John MacFarlane(2003; 2008; 2014) has distilled one more argument that undermines supervaluationism. It is based on the Retrospective Accuracy judgment. Generally, MacFarlane is greatly impressed by the results that supervaluationism offers for future contingents (see MacFarlane, 2014, p. 226). He thinks, however, that it needs to be updated to be entirely faithful to our linguistic intuitions. The leitmotiv of MacFarlane’s theorizing about future contingents is the clash which he observes between two attitudes towards the future oriented talk: “ante factum” indeterminacy intuition and “post factum” determinacy intuition. In his first paper on the subject, he describes the clash in the following manner:
Suppose that the world is objectively indeterministic. In some possible futures, there is a sea battle tomorrow. In others, there is not. How should we evaluate an assertion (made now) of the sentence “There will be a sea battle tomorrow”? The question is difficult to answer, because we are torn between two in- tuitions. On the one hand, there is a strong temptation to say that the assertion is neither true nor false. After all, there are possible future his- tories witnessing its truth and others witnessing its falsity, with nothing to break the symmetry. I shall call this “the indeterminacy intuition.” On the other hand, there is a strong temptation to say that the assertion does have a definite truth value, albeit one that must remain unknown until the future “unfolds.” After all, once the sea battle has happened (or not), it seems quite strange to deny that the assertion was true (or false). I shall call the thought that the assertion does have a definite truth value “the determinacy intuition.” (MacFarlane, 2003, p. 321).
In 2003, he argued that supervaluationism gave justice only to the indeterminacy
80 CHAPTER 4. SEMANTICS OF BRANCHING REALISM intuition.29 A few years later, MacFarlane(2008) softened his criticism. He realized that supervaluationism actually had a way to capture determinacy intuition. I will not discuss all the details of his argument, let me just note its core. Observer that in the middle of the sea battle a supervaluationist can truly say, “It was true yesterday that there would be a sea battle today.” To reconstruct the observation, I need to augment our language with a truth opera- tor.30 Since we are dealing with two notions of truth in supervaluationism, the decision about the semantics of operator Tr is not straightforward. Both Thomason(1970) and MacFarlane(2008, 2014) decide to link the truth operator with a history-relative no- tion: Definition 4.4 (Truth and falsity operators). m/h |= Trφ iff m/h |= φ; m/h |= Flφ iff m/h |= ¬φ. Let us now analyze the sentence, “It was true yesterday that there would be a sea battle today,” uttered in the middle of the sea battle.
S 1. m1||−P1TrF1 p iff (by def. 4.3)
2. ∀h(m1 ∈ h ⇒ m1/h |= P1TrF1 p) iff (by semantics of P1)
3. ∀h(m1 ∈ h ⇒ m0/h |= TrF1 p), where m0 is the moment one instant earlier than m1, iff (by def. 4.4)
4. ∀h(m1 ∈ h ⇒ m0/h |= F1 p)
Remember that there is a sea battle at m1, so in all the histories passing through m1, moment m0 is followed by a sea battle (by analogy, at context m2 where there is no sea battle, one can truly say “It was false yesterday that there would be a sea battle today”). Let me mention one concern regarding this line of defense of supervaluationism. If post factum determinacy is explained in terms of the truth (at m1) of the sentence “It was true yesterday that there would be a sea battle today,” then ante factum indeterminacy should be expressed, at face value, in terms of truth (at m0) of the sentence, “It is not true that there will be a sea battle” (¬TrF1 p). Nonetheless, a supervaluationist cannot truly say ¬TrF1 p a m0 even though the sentence is not true at context m0. In fact, she can truly say at m0, “It is true that there will be a sea battle or it is false that there will be a sea battle” (TrF1 p ∨ FlF1φ). It seems, therefore, that if a supervaluationist can express post factum determinacy, she can no longer express ante factum indeterminacy. MacFarlane decided to modify his criticism of supervaluationism. Rather than phrasing it in terms of truth of things asserted, he presents the determinacy/indetermi- nacy conflict in terms of accuracy of acts assertions:
This, then, is the puzzle:
29Let me note that not everyone shares both MacFarlane’s intuitions. Some are willing to accept ante factum determinacy, while others the post factum indeterminacy. I will argue in sec. 4.6 (pp. 90, ff.) that the apparent conflict is based on equivocation of two notions of “assertion.” 30I assume that the necessary precautions have been taken to avoid the semantic paradoxes.
81 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
• present assertions concerning the future can be shown to be inaccu- rate by a proof of present unsettledness, but • past claims concerning the present cannot be shown to have been inaccurate by a proof of past unsettledness. (MacFarlane, 2014, p. 226).
It is unclear, at this point, how accuracy of acts of assertion can affect the postse- mantic theory of truth at a context. To establish the connection, MacFarlane postulates the following norm:
Suppose that at c0 (on Monday) Jake asserts, (3) Tomorrow Berkeley will be sunny. (. . . ) the assessor should take Jake to have spoken accurately just in case (3) is true at c0.(MacFarlane, 2014, p. 210)
We can extract from this fragment the general norm of assertion: Definition 4.5 (Supervaluational truth norm). If an act of assertion is accurate, then the sentence asserted is true in the context in which the act takes place.31
The most important consequence of the truth norm is that if the sentence is not true-at-a-context, then the assertion which uses this sentence as a vehicle is not accu- rate. The inaccuracy of an act of assertion is inherently connected to the retraction obligation: if an act of assertion is not accurate, then the assertor who made it should retract it, or “take it back.”32 With the truth norm at our disposal, we can use the accuracy and retraction judg- ments to test different postsemantic theories. In particular, when the truth norm is applied to supervaluational postsemantics, we arrive at the norm which says that an act of assertion made at context m is accurate only if the sentence is settled true at c. The consequence vindicates ante factum indeterminacy intuition. As an example, let us take a look at the tree depicted on page 78. At moment m0, at which the future weather is objectively undetermined (which can be attested by the Bureau of Quantum Weather Prediction), Jake makes the assertion, “It will be sunny tomorrow.” According to supervaluationism, the sentence asserted is not true at context m0, which implies, by the truth norm of assertion, that Jake’s act of asserting is not accurate. Moreover, if the director of the Bureau confronted Jake with the proof of indeterminacy, Jake should retract his claim.
31Which could just as well be stated in terms of propositions: [T]he assertion under discussion is accurate just in case the proposition denoted by “what was asserted” is true at all the circumstances compatible with the context of the assertion. (MacFarlane, 2014, p. 224).
32Of course, the obligations resulting from the truth norm can be overruled by other consideration. For example, people are obliged to protect their families, which may imply that in some circumstance (for exam- ple, when interrogated by a member of an enemy army), they should not tell the truth and should not retract inaccurate assertions.
82 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
Let us look at the situation from the perspective of context m1. In the middle of sunbathing, we reflect on the act of assertion that Jake made the day before. MacFar- lane argues that we should accept it as accurate, “after all, the assertor has only to feel the sun on her skin to know that Jake’s assertion was accurate” (MacFarlane, 2014, p. 210). However, it is not the prediction that supervaluationism generates. According to supervaluationist postsemantics conjoined with the truth norm of assertion, no matter what we feel on our skins, the sentence asserted at m0 is not true at m0, so the act of assertion is inaccurate and should be retracted.
And that seems wrong. For assessors at m1, the fact that rain was still a possibility when Jake made his assertion isn’t relevant to its accuracy. (. . . )
To see how strange the supervaluationist’s verdict is, suppose that at m1, the Director of the Bureau of Quantum Weather Prediction offers Jake an irrefutable proof that, at m0, it was still an open possibility that it would not be sunny on the next day. Should such a proof compel Jake to withdraw his assertion? Clearly not. (p. 225 MacFarlane, 2014, I inserted my names of the moments). Therefore, supervaluationism violates determinacy intuition for retrospective ac- curacy ascription. It is the core of MacFarlane’s Retrospective Accuracy argument against supervaluationism. The very same argument can be raised against extremism, Peirceanism, and three-valued semantics discussed before.
4.6 Assessment relativism
MacFarlane’s sets for himself the task of improving supervaluationism and his work results in assessment relativism. Let me first note that the semantic theories I discussed so far are not completely absolutist either. If only the state of the weather is a chancy affair, then each single one of them allows for the same tenseless sentence “It is sunny in Lvov on March 1, 1900” to be not true at some context earlier than March 1, true at some context later than March 1, and false in other contexts later than March 1. Nonetheless, each of these theories hold that once the context is fixed, then the truth value of a sentence (or the lack of it) is absolute. The problem with supervaluationism, MacFarlane diagnoses, originates in this last assumption. Therefore, he has proposed a modification of supervaluationism which takes into account another aspect—the context of assessment. He argues that the truth value of a sentence can be determined in an absolute manner only if we also take into account the circumstances from which the truth value is assessed. A premonition of such an idea can be traced back to (Thomason, 1970), who suggests that: [R]ather than making formulas true or false with respect only to the times at which they are true or false, we make their being true or false relative to subsequent times as well. (Thomason, 1970, p. 268). The particular technical realization of the idea proposed by Thomason was dis- satisfactory even to its author. It was later revived by Nuel Belnap(2002b), under the
83 CHAPTER 4. SEMANTICS OF BRANCHING REALISM name of “double-time reference.” Belnap did not use the technique, however, to as- sess the truth value of a sentence, but to provide satisfaction conditions for assertion and other speech acts. Finally, John MacFarlane used Belnap’s technical apparatus to formalize the double-relativized notion of truth in form of “double-time reference post- semantics” (MacFarlane, 2003, p. 331). The postsemantic has been later incorporated into a more general theory of assessment relativism (MacFarlane, 2014). The formal idea of assessment relativism, as applied to branching, is such that when we assess a truth value of a sentence used in one context from the perspective of another context, we should check if the sentence assessed is true at the context of use with respect to histories passing through the context of assessment.33 To state the relativist postsemantics, we need an auxiliary notion of a set of histories passing through a pair of moments H ∩ H , if m ≤ m , m1 m2 1 2 Definition 4.6. Hm1|m2 = Hm1 , otherwise. We can now state assessment relativism as follows
R Definition 4.7. mu, ma||−φ iff M, mu/h |= φ for every history h ∈ Hmu|ma .
A sentence is true at a pair of contexts mu, ma iff it is true at moment mu in all histories passing through ma (or all histories passing through mu if mu ma). The assessment relativism truly deserves its name, since the very same sentence used in a single context can be true when assessed from one perspective, false when assessed from another perspective, and neither true nor false when assessed from still another perspective.34 Let us study relativist postsemantics with a particular example:
h1 h2
m1: m2:!
It will be sunny tomorrow. m0 m3:
33In particular, when the context of use is identical with the context of assessment, we should use all the histories passing through the context of use. 34In terms of propositions, assessment relativist insists that the proposition expressed by a sentence in a given context changes its truth status relative to the context of assessment. The term fits well with the notion of relativism introduced by Kazimierz Twardowski(1900). According to Twardowski’s absolutism, if we take a unambiguous sentence and specify the context-dependent parameters (he mentions: time, place, and the speaker), then the sentence is true or false. Assessment relativism reject this notion.
84 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
In such a model, we have that: R R • m0, m0||−/ F1(sunny) • m0, m2||−¬F1(sunny)
R R • m0, m0||−/ ¬F1(sunny) • m0, m3||−/ F1(sunny)
R R • m0, m1||−F1(sunny) • m0, m3||−/ ¬F1(sunny) So, at contexts m0, m0, the sentence “It will be sunny tomorrow” is neither true nor false, at m0, m1, it is true, and at m0, m2, false. At m0, m3, it is neither true nor false. As for the last case, MacFarlane gives very little explanation. He does not say what it means to assess a truth value of a sentence used in a different possibility.35 With relativist postsemantics at our disposal, we can address the problem of su- pervaluationism, but first, we need to adjust the truth norm of assertion, to take into account the extended context: Definition 4.8 (Relativist truth norm). If an act of assertion is accurate, then the sen- tence asserted is true at a context of use and a context of assessment pair.
Let us have another look at Jake’s act of asserting “It will be sunny tomorrow,” performed at m0. When assessed from the perspective of m0, it is not accurate, since it is not true at the pair of contexts m0, m0. However, when assessed from the perspective of m1, it might well be accurate, since it is true at m0, m1. Thus, an act of assertion can be accurate even if the sentence uttered is not settled true at the moment at which the utterance happens.
When m0 is in the past of m1, Hm0|m1 = Hm1 , so an assessor at m1 should take an assertion made at m0 to be accurate just in case its content is true at all the worlds overlapping at m1. That is why a proof of past unsettledness is not sufficient to compel retraction. But when m0 = m1, the assessor should take the assertion to be accurate just in case its content is true at all the worlds overlapping at m0. That is why a proof of present unsettledness is sufficient to compel retraction. (MacFarlane, 2014, p. 227, notation modified).
Hence, thanks to relativization of truth and accuracy to the context of assessment, MacFarlane was able to overcome the difficulties he diagnosed in supervaluationism and wed determinacy and indeterminacy intuitions.
Some controversies regarding assessment relativism I am going to question both MacFarlane’s diagnosis and the cure he prescribes. I think that he misinterpret certain linguistic phenomena, which, when we properly under- stood, do not require relativism. Firstly, I demonstrate that all the results desired by MacFarlane can be achieved without relativism. Secondly, I argue that his desired re- sults are not necessarily the results we actually want. I think that relativism introduces
35One might surmise that assessment of a sentence used in a different possibility comes down to assess- ment from the actual context, whether the sentence would have been true, had it been used. However, at another juncture, MacFarlane(2014, p. 228) claims that counterfactual constructions shift the context of assessment.
85 CHAPTER 4. SEMANTICS OF BRANCHING REALISM a rather peculiar normative theory of language. I also explain the appeal of relativism, pointing to equivocation easily introduced by the term “assertion.” Moreover, in ap- pendix 7.7, I present a more technical result that relativism generates wrong accuracy judgments for counterfactual accuracy ascription, under a plausible formal reconstruc- tion.
Relativist results without relativism First, I will formally reconstruct the retrospec- tive accuracy problem, which MacFarlane identified in supervaluationism. Then, I will show how it can be overcome on supervaluational ground without evoking the context of assessment. To explain MacFarlane’s argument, let me introduce a slightly convoluted connec- tive to our language, “It is accurate to assert that.” For simplicity’s sake, I take it to be a sentential connective, rather than a predicate operating on names of sentences. In other words, I focus on constructions like “It is accurate to assert that it will rain” rather than “The assertion of a sentence ‘It will rain’ is accurate.” To indicate that the operator is sensitive to the supervaluational truth at a context, I will call it AccS . Definition 4.9 (Supervaluational accuracy). If m/h |= AccS (φ), then ∀h(m ∈ h ⇒ m/h |= φ). I state the definition in form of implication, and not equivalence, since the truth at a context is a necessary condition of accuracy, but might be not sufficient. With the accuracy operator at our disposal, let us return to our meteorological model depicted at page 78. We can establish that it is not accurate to assert at m0 that on the following S day, it would be sunny, i.e., m0||−/ AccS F1(Sunny).
S 1. m0||−AccS F1(Sunny) iff (by supervaluational postsemantics, def. 4.3)
2. ∀h(m0 ∈ h → m0/h |= AccS F1(Sunny), then (by def. 4.9)
3. ∀h(m0 ∈ h → m0/h |= F1(Sunny)) iff
4. m1/h1 |= Sunny and m2/h2 |= Sunny.
As it is not sunny at m2, it is not accurate to assert at m0 that it would be sunny on the next day. MacFarlane’s objection to supervaluationism can be reconstructed as well. Let us study the sentence “Yesterday, it was accurate to assert that it would be sunny today” (P1AccS F1(Sunny)), uttered at m1, in the middle of a sunny afternoon
S 1. m1||−P1(AccS (F1(Sunny))) iff (by def. 4.3)
2. ∀h(m1 ∈ h ⇒ m1/h |= P1AccS F1(Sunny)) iff (by semantics of P1)
3. ∀h(m1 ∈ h ⇒ m0/h |= AccS F1(Sunny)), then (by def. 4.9)
4. ∀h(m0 ∈ h ⇒ m0/h |= F1(Sunny)) iff (be def. of F1)
5. m1/h1 |= Sunny & m2/h2 |= Sunny
86 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
As 5 is false (due to the rain at m2), one cannot say at m1 that it was accurate to assert a day before that it would be sunny on the next day. This very claim is the core of MacFarlane’s criticism of supervaluationism. There is, therefore, a sharp contrast between accuracy ascription and truth ascrip- tion:
S Prospective truth ascription m0||−/ TrF1S unny
S Prospective accuracy ascription m0||−/ AccS F1S unny
S Retrospective truth ascription m1||−P1TrF1S unny
S Retrospective accuracy ascription m1||−/ P1AccS F1Sunny
Thanks to this observation, we can easily understand MacFarlane’s claim that in supervaluationism “monadic truth ascription can come apart from accuracy judgments and retraction obligations,” (MacFarlane, 2014, p. 224). The truth and accuracy ascrip- tion coalesce at moment m0, but they diverge at the later moment m1. MacFarlane approves of the first three verdicts of supervaluationism, while he dis- approves of the fourth. The simplest way to rescue supervaluationism would be to identify AccS with Tr. In fact, I consider it to be a very reasonable strategy. In my view, post factum determinacy intuition is solid only if we understand “accurate” as “true.” I will promptly return to this issue. Nonetheless, MacFarlane does not share my opinion. He thinks that accuracy ascription should be intrinsically connected with truth at context(s) and, thus, he wants to connect accuracy ascription with the truth at a pair of contexts along the relativist lines: “When m0 is in the past of m1, (. . . ) an assessor at m1 should take an assertion made at m0 to be accurate just in case its content is true at all worlds overlapping at m1”(MacFarlane, 2014, p. 227, notation modified). It turns out, however, that we do not need to evoke relativism and introduce the con- text of assessment to achieve this result. It is enough to assume that accuracy ascription is an expression sensitive to the context of use: Definition 4.10 (Relativist accuracy). ∀h(m ∈ h → m/h |= φ), if m ≤ m c c If m , m/h |= Acc (φ), then or c R ∀h(m ∈ h → m/h |= φ), otherwise. Given this definition (inspired by relativist postsemantics), the accuracy operator is sensitive to the context in which the accuracy judgment is made. If a supervaluation- ist subscribes to the context-sensitive notion of accuracy, she can generate the results desired by MacFarlane
S 1. m1||−P1AccRF1(sunny) iff (by def. 4.3)
2. ∀h(m1 ∈ h ⇒ m1, m1/h |= P1AccRF1(sunny) iff (by def. of P1)
3. ∀h(m1 ∈ h ⇒ m1, m0/h |= AccRF1(sunny) iff (by def. 4.10)
4. ∀h(m1 ∈ h ⇒ m1, m0/h |= F1(sunny) iff (by def of F1)
87 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
5. ∀h(m1 ∈ h ⇒ m1, m1/h |= sunny)
The last statement is true in our meteorological model, so is the first. Therefore, a supervaluationist can say, on a sunny day, that she was right the day before asserting that it would be sunny on the following day.
S Retrospective accuracy ascription m1||−P1AccRF1Sunny
Therefore, the context of use alone provides sufficient resources to secure the results MacFarlane requires.36 One might argue that the solution I have just described is just a notation variant of the assessment relativist postsemantics, which, in a way, it is. It is faithful to the idea that when we assess accuracy of an assertion, at the back of our minds, we should keep the context in which we perform the assessment. In any case, I find this variant revealing, as it demonstrates that the key issue is not the relativity of truth-at-context, but whether the accuracy ascription is context-sensitive. It means that context-sensitivity of accuracy, rather than the mechanism of double-time reference, is the core of relativist proposal. We have just seen that a supervaluationist can account for both determinacy and indeterminacy intuition within their theoretical setting. I am now going to argue, how- ever, that the game is not worth the candle. The the tension between the two intuitions can be explained away. Furthermore, relativism imposes unreasonable set of norms on the language users.
Strange consequences of relativist norms The truth at a context is connected to our linguistic practice through the truth norm of assertion. Consequently, postseman- tics poses some constraints on our actions—it dictates when we are entitled to make certain assertions and when we are required to retract them. I think that inspecting the collection of rights and duties imposed by relativism will demonstrate their very limited appeal. Let us think through the implications of the relativist proposal with the help of a specific example. Our good friend, Jake, asserts at moment m0: (S) “It will be sunny tomorrow.” The sentence is not true at the pair of contexts m0, m0. Therefore, if we assess Jake’s act of assertion at moment m0, relativism gives a straightforward verdict: Jake’s assertion is not accurate. He should not have made it and he should retract it, if urged. So, at m0 it is inappropriate for Jake to assert “It will be sunny tomorrow.” Well, it does happens. After all people sometimes do as they should not. This by itself is not a problem for relativist theory. An unpalatable conclusion follows if we continue the relativist story. Let us say that, per chance, it is sunny on the next day, i.e., we end up at the sunny moment m1. According to relativism, at the pair of contexts m0, m1, the sentence (S) is true. So, the act of assertion made by Jake a day before might be accurate. In fact, MacFarlane argues that even the expert opinion of the Director of the Bureau
36However, to apply the supervaluational fix I have just described, we need to relax the connection between accuracy ascription and truth at context(s). As far as I understand, it is also the upshot of the paper by Brogaard(2008). I imagine that John MacFarlane could object to my strategy since he expressed, in personal communication, concerns regarding such relaxation.
88 CHAPTER 4. SEMANTICS OF BRANCHING REALISM of Quantum Weather (that on the previous day, the state of weather on the following day was undetermined) should not convince Jake to retract his act of assertion. Then, unless some other unusual norm intervenes, Jake has every right to boast at m1 about his perfectly accurate prediction! Weirdly, the pure passage of time somehow absolved Jake from his previous sin. The act he should not have performed (and should, if urged, retract) turned into an act that he had every right to have performed, to be proud of, and resist to retract. This case generalizes to all assertions of future contingents. It turns out that under relativism, Jake can make a (retrospectively) accurate act of assertion about contingent future, only if he previously decides to perform an assertion which, by the same stan- dards, is impermissible. I take it to be a very bizarre normative theory. It implies that only the people who are willing to violate the norms of assertions can be rewarded for having made accurate assertions. Only they, by performing (initially) inaccurate acts, stand a chance to be post factum appreciated for having made accurate predictions. Compare this case with any other norm. For example, let us imagine a norm that says that if one is caught stealing red-handed, one is declared a thief and punished for such an action. However, if one manages to escape with the loot and hide sufficiently long, not only does one become the owner of the item, but we should also, retrospectively, assess that the act this person performed was not an act of theft! Retrospectively, we can truly say that one just took what was rightfully theirs. To my judgment, it is a rather barbaric and predatory set of norms. A similar problem is discussed by García-Carpintero(2013), regarding epistemic relativism. He discusses the case when Sally has a strong evidence that Uncle Jack is coming to lunch and she asserts “Uncle Jack is coming to lunch.” Later on, however, she receives a new piece of evidence about Uncle Jack: he broke his leg in the morning and needs to stay in the hospital. Having heard the news, Sally retracts her previous assertion. The story is perfectly intelligible and García-Carpintero does not question appropriateness of Sally’s behavior. He does, however, question the interpretation pro- posed by relativists. The common sense suggests that when Sally said, “Uncle Jack is coming to lunch,” she thought she made an accurate assertion, but she in fact made an inaccurate one (as the further evidence made clear). Nonetheless, according to rela- tivism, she initially performed a perfectly accurate act of assertion, it just so happened that it later turned into an accurate act and that is why Sally needs to retract it. García- Carpintero makes a telling comment:
I cannot see how it can ever be rational to carry out activities governed by a relativist truth norm, and although it is, in principle, possible that we are foolish enough to have instituted an intrinsically irrational practice, I find it methodologically advisable not to assume that this is so. (. . . ) What MacFarlane’s account envisages is rather that I can perform an ac- tion that is constitutively legitimate—an assertion that meets it constitutive norm—and later be obliged to take it back. One should be excused for not finding this an intelligible possibility. (García-Carpintero, 2013, p. 24–5).
A similar kind of problem can be identified in case of future contingents. In the epistemic case, an accurate act turns into an inaccurate act under the influence of addi-
89 CHAPTER 4. SEMANTICS OF BRANCHING REALISM tional information. In case of future contingents, the converse is true: the very same act of assertion which initially violates an important linguistic norm, turns later into a per- fectly accurate act, in agreement with all the norms. I agree with García-Carpintero’s judgment that “I cannot see how it can ever be rational to carry out activities governed by a relativist truth norm.” Something clearly went wrong. To give proper due to both determinacy and in- determinacy intuitions, MacFarlane introduced the context of assessment as an extra postsemantic parameter and then relativized truth to a pair of contexts. But we have just seen that the notion of accuracy induced by relativism leads to a counter-intuitive account of our linguistic practice. What should we do then? I think that we should recognize that there is no actual conflict between the two intuitions. If we understand them properly, the tension disappears. Let me restate the two conflicting claims: This, then, is the puzzle: • present assertions concerning the future can be shown to be inaccu- rate by a proof of present unsettledness, but • past claims concerning the present cannot be shown to have been inaccurate by a proof of past unsettledness. (MacFarlane, 2014, p. 226). I think that a large part of the energy that inflates the puzzle resides in the equivoca- tion induced by the ambiguity of English. Observe that words like “assertion,” “claim,” “prediction,” can denote both the act of asserting, claiming, predicting, and the thing asserted, claimed, predicted, i.e., “assertion” can denote either an act of assertion or the content of the sentence asserted.37 In my opinion, indeterminacy intuition is valid for the acts of assertion of future contingents, while determinacy intuition applies to the contents of assertions. Therefore, when we say that an assertion is (in)accurate, we need to be very careful distinguishing between these two meanings of “assertion.” I think that if we focus our attention on one meaning of “assertion” at a time, the tension between two intuitions does not arise. Let us first investigate the action of asserting a future contingent, i.e., the act of predicting. Let us take Jake who, on Mon- day, provides forecast for a national television. He consults the standard meteorological model and makes the prediction: “It will be sunny tomorrow.” Let us further say that it was one of these very rare cases where the standard model was misleading and only a very diligent quantum proof could show that the probability of sunny weather was ac- tually only 20%. Fortunately, just when he picked up the receiver to call the television, Mike—the Director of the Bureau of Quantum Weather—entered Jake’s office with the exact proof that the weather on the next day is unsettled. Mike’s proof shows that the act of Jake’s assertion was inaccurate, so he needs to take it back.38 Jake says when
37Or, to use Kazimierz Twardowski’s (1912) vocabulary, it can denote either the action, or the product of asserting. 38I do not agree with MacFarlane that any degree of indeterminacy invalidates a prediction. For exam- ple, if Mike’s proof conclusively established that the probability of non-sunny weather on the next day is 0.000000001%, it would probably not convince Jake to retract his assertion. I think that Jake could easily say that such a marginal probability does not need to be accounted for, even by professional forecasters; i.e., he would deny to increase his epistemic standards to an unreasonably high level.
90 CHAPTER 4. SEMANTICS OF BRANCHING REALISM confronted with the proof, “Oh dear, you are right Mike, my (act of) prediction was not quite accurate, I should not have said what I did, given the data you have just offered.” Jake’s behavior confirms MacFarlane’s indeterminacy intuition. Let us now imagine that Mike got stuck with his proof in a huge traffic jam and did not make it on time to warn Jake. Fortunately for the forecaster, however, the weather turned out to be sunny anyway (after all, there was 20% chance for such an outcome). Mike enters Jake’s office in the middle of the sunny Tuesday and gives him the proof to show him how lucky he was. In my opinion, if Jake is a responsible forecaster, he should react in the exact same way: “Oh dear, you are right Mike, my (act of) prediction was not quite accurate, I should not have said what I did, given the data you have just offered.” The mere fact that Jake got lucky does not make his previous act immune to Mike’s objection. If that is right, it goes against MacFarlane’s determinacy intuition. I think, therefore, that if we focus on the acts of assertion, the indeterminacy intuition prevails, regardless of the context of assessment. How, then, to explain MacFarlane’s argument to the contrary: Should such a proof compel Jake to withdraw his assertion? Clearly not. If he had asserted that it was settled that it would be sunny on Tuesday, he would have to stand corrected. But he did not assert that. He just said that it would be sunny on Tuesday—and it is. (MacFarlane, 2014, p. 225)? I think that the argument goes down only if we understand “assertion” as the proposi- tion asserted. In this case, Mike’s proof is indeed unconvincing. Mike’s proof shows that it was not necessary that it would be sunny on Tuesday, but it cannot undermine the brute fact that it was true (to prove it, you do not need quantum mechanics; it is sufficient to look out of the window). There is no doubt that Jake was right, regardless of Mike’s proof. That Jake was “right” does not mean, however, that he had the right to make the act of assertion that he had, but that the proposition he had asserted was true.39 Post factum determinacy intuition, therefore, is solid only if we focus on the content of assertion. Nonetheless, the ante factum indeterminacy intuition in this case is lost to me. After all, even if Jake was confronted with Mike’s proof on Monday, he could have easily (although irresponsibly) answered:
If I asserted that it is settled that it will be sunny tomorrow, then your proof would prove me wrong. But I don’t assert that! I just say that it will be sunny tomorrow. The weather tomorrow will show if my assertion is accurate or not.40
In my opinion, the legitimacy of Jake’s response proves that when we focus on the truth bearers, then the determinacy intuition prevails. Not only do we have post factum determinacy intuition, which MacFarlane likes to stress, but we also harbor ante factum
39The Czech language might be our guide here. If we wanted to say in Czech that Jake was right, we would say “Jake melˇ pravdu” which literally translates to “Jake had the truth.” 40 MacFarlane himself might have sensed this problem, since he admits that even if the director visited Jake just after he had made his prediction, then Jake “arguably would have had to retract” (MacFarlane, 2014, p. 225, emphasis mine).
91 CHAPTER 4. SEMANTICS OF BRANCHING REALISM determinacy intuition, which he does not seem to notice (or prefers to neglect). Observe that when Jake says: “It will be sunny tomorrow,” not only has he the right to say “My assertion was accurate, (i.e., true)” on the next day, experiencing the sunny sky, but even on the previous day, he can say: “If it will be sunny, then my assertion is accurate. (i.e., true).” The fact that the rain is a possibility for the day after the day of assertion does not shake the determinacy intuition in neither of these cases. Therefore, I think that determinacy and indeterminacy intuition are not really in conflict and that accuracy judgments actually go in pairs. When we focus on the propo- sition asserted, then judging an assertion accurate post factum, we should say that it was accurate (unbeknown to us) already at the context at which it was made. Otherwise, when we focus on the act of assertion, then if we initially judge an act of assertion inaccurate, we should abide by our judgment post factum. In face of this observation, there are two theoretical choices regarding the postse- mantic theory and the notion of truth-at-context. One the one hand, we can let it follow our intuitions regarding the acts of assertion and accept supervaluational postseman- tics, i.e., that every act of assertion of a future contingent is inaccurate (regardless of it being assessed before or after the indeterminacy is resolved). On the other hand, the postsemantic notion of truth-at-context can follow the intuitions regarding the content of the sentence asserted and accept a theory which allows some future contingents to be true. In any case, we do not need to succumb to relativism. Incidentally, I think that it is more reasonable to choose the second option. To explain the inaccuracy of assertions of (some) future contingents, we do not need to postulate that sentences asserted are lacking in truth value (or false). Notice that ac- cording to the truth norm of assertion, the truth-at-context of the sentence asserted is a necessary, but not a sufficient condition of accuracy for an act of assertion. Therefore, the fact that we sometimes take assertions of future contingents inaccurate can be ex- plained by failure of another necessary condition. Most evidently, it is often very hard (arguably, even impossible) to justify that a contingent state of affairs will in fact take place. Thus, if some epistemic factor influences accuracy of acts of assertion, then we do not need to abandon bivalence to explain why the acts of assertions of future con- tingents are often inaccurate. They are inaccurate, because the claims asserted are not sufficiently well justified (even if they happen to be true). Moreover, another piece of data suggests that we actually should allow some future contingents to be true. Namely, people are often willing to accept assertions of future contingents as accurate, even if it is not objectively settled that the asserted state of affairs will occur. For example, if my friend checked the timetable and told me that our train departs in 30 minutes, I would have no trouble accepting his assertion as accurate (even though the trains are not physically determined to depart according to the schedule and I am perfectly aware of that). If we choose supervaluational postsemantics, we need to conclude that people are regularly wrong in such cases, i.e., we need to accept a version of an error theory. However, if we agree that some future contingents are true, we can grant that some assertions of future contingents are accurate indeed, thereby explaining why people talk as they do. An elaborate argument along these lines is presented by Besson and Hattiangadi(2014).
92 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
4.7 History relativism
History relativism agrees with assessment relativism that the truth status of a sentence used in a context cannot be determined based solely on the meaning of the sentence and features of a context of use. According to MacFarlane’s relativism, we need to specify one more factor—the context of assessment. Only if another moment is iden- tified as the perspective of assessment can we reasonably ask if the sentence is true, false, or neither. History relativism takes assessment relativism to the extreme. To use Richmond Thomason’s words, in history relativism we are “adopting a whole possible future for α as our perspective, rather than a single time in the future of α”(Thomason, 1970, p. 269. In appendix 7.6, I study the specific sense in which history relativism is indeed an extreme case of assessment relativism). Such attitude is characteristic to Belnap et al.(2001). 41 In their view, unless a specific possible history is specified, a future contingent cannot be evaluated in a given context. The authors express their attitude in the following words:
Then the truth of that sentence (given indeterminism) depends not only on the moment at which the sentence is uttered. It depends in addition on which future course of events—which history—is being considered. (Belnap et al., 2001, p. 225)
Nonetheless, the authors ferociously argue that a context does not initialize a his- tory of evaluation (after all, an utterance is a part of many different courses of events). As a result, it is simply meaningless to call the sentence, “There will be a sea battle,” true or false in the context in which the sea battle is contingent. As the authors put it
“M, mc |= Will: the coin lands heads” does not make sense. (Belnap et al., 2001, p. 155)
Only if one independently specifies a continuation of a moment of utterance, one can ask about the truth value of the uttered sentence. Therefore, the history relativist answer to the question whether it is true that there is going to be a sea battle tomorrow is very philosophical: It depends! Relative to a sea-battly continuation, this sentence is true, relative to no-sea-battly continuation, it is false. It is as much as can be said regarding the truth value of a sentence uttered in a context. One can say that history relativists simply capitulate in face of the initialization failure. Given the evident indispensability of the history parameter in the Ockhamist semantic analysis, they simply duplicate it on the postsemantics level. We end up with a theory according to which the truth value not only of a sentence-at-index, but also of a sentence-at-context is relative to a history.
Definition 4.11 (History relativism postsemantics). m/h||−hφ iff m/h |= φ. A minor problem with such a relativist approach is that it is prone to over-genera- lization (a similar point is raised by Sweeney, 2015, p. 9). Remember that for the sake
41Their terminology differs from mine. When I write about a sentence being true at a context, Belnap et al. (2001) write about a stand-alone sentence being true at a context-initialized point of evaluation.
93 CHAPTER 4. SEMANTICS OF BRANCHING REALISM of uniformity the Ockhamist semantics always requires history-relativization, indepen- dently of whether the sentence is about a contingent future or not. Consider the phrase “M, mc |= Was: the coin lands heads.” Since the history is not specified, it is not a well-defined expression in the framework of Ockhamist semantics. So, apparently, even when we have witness the result of the coin-toss, we cannot call the sentence, “The coin has landed heads,” true. It means that we can hardly ever call any sentence true in any context. In response to this objection, Belnap et al.(2001) observe that in many cases the truth value of a sentence at a context remains the same regardless of the choice of the history parameter.42 In Belnap et al.’s (2001) terminology, such a sentence is independent of the choice of history parameter and this parameter can be closed by independence (see, pp. 153– 154). The authors give an example of the present tense sentence, “Meg is hungry,” and they claim that the phrase
“M, mc |= Meg is hungry” makes sense (Belnap et al., 2001, p. 155).
Consequently, such a sentence can be ascribed a truth value at a context. It is the truth value which this sentence has for an arbitrary choice of the history parame- ter. In this respect, history relativism resembles supervaluationism. A sentence can be evaluated as true (false) in a context if and only if it is true (false) at all histories pass- ing through the context-initialized moment. However, the authors distance themselves from supervaluation-like reading of their theory (see Belnap et al., 2001, p. 156). The difference is that, according to supervaluationism, the sentence which is true at some histories and false at others is described as missing a truth value, while for history relativism, it is meaningless to ask about the truth value at context of such a sentence. The appeal to independence permits ascription of truth values at a context to sen- tences about the past and the present. The strategy has a controversial consequence, however. It implies that the truth-aptness of a sentence in a context cannot be estab- lished a priori. It depends on whether the sentence is settled true or settled false in the context. For example, let us suppose that I play a coin tossing game with a conjurer. Unbeknown to me, the coin which is about to be tossed is double-headed. Then, the history parameter can be closed by independence and, therefore, the phrase
“M, mc |= Will : the coin lands heads” makes sense. However, as soon as the prestidigitator secretly replaces the rigged coin with a fair one, the truth ascription makes no sense again. It is a rather bizarre postsemantic mechanism. In my opinion, it would be preferable if the truth-aptness of sentence in a context depended more systematically on the features of the sentence. For the same reason, before the conjurer tosses the fair coin, one cannot mean- ingfully assign denotation to the definite description “The side on which the coin will land.” Nonetheless, the sentence “There is a side on which the coin will land” is true
42Strictly speaking, it is not guaranteed by Belnap et al.’s (2001) semantic definitions. They assume that truth value of atomic sentences depends both on a moment and a history (see Belnap et al., 2001, p. 227, def. 15). Thus, it is possible that the sentence “Was:the coin lands heads” is true relative to some histories passing though mc and false relative to other histories. We need to independently assume that the meaning of “lands” excludes such valuations.
94 CHAPTER 4. SEMANTICS OF BRANCHING REALISM in this very context. It is true, because it is closed by independence (in every history passing through the context there is exactly one side on which the coin lands). It is slightly peculiar result, however. Since it is true that there is a side on which the coin will land, the uniqueness condition for definite description seems to be satisfied. There- fore, we should be able to attributively43 use the description, “The side on which the coin will land,” to denote the unique side of the coin such that the coin will land on it. The authors claim, however, that the ascription of denotation makes no sense in this context. In my opinion, to avoid the above-mentioned problems, a history relativist should just admit that it is never meaningful to call a sentence true or false in a context (unless a specific history is specified, of course). More precisely, it is never meaningful to ascribe a truth value in a context to a sentence which contains any occurrence of a propositional variable unbound by a (historically) modal operator. It is an unusual approach, but easily understandable within Branching Realism. After all, for a Genuine Branching Realist the world is a modal object. So, the only sentences fitting to describe the world are the sentences which talk about the modal reality—the sentences which say what is possible and what is necessary. These sentences have the “appropriate format” to describe the world and they are truth-apt, while the non-modalized sentences, which simply say what is the case, are somewhat defective, since it is unclear what they refer to in a world “made of possibilities.” Regardless of whether the relativists would agree that the truth value of all (non- modal) sentences is history-relative, it is clear that at least the truth of future contingents is. It implies, however, that under some specifications of the history parameter, the sentence is true and under other specifications, it is false. It means that the truth value of a sentence in a context is highly arbitrary—it depends on something as whimsical as an entirely unmotivated choice of a parameter. It is not how we ordinary think about the truth values of future tensed sentences. We usually think that the truth value of a sentence used in a context should be grounded in something more solid than just an ad hoc decision of a semanticist who needs one history or another to do their job. It is also not entirely clear what this decision should consist of. When the relativists talk in terms of abstract Ockhamist semantics, they say that a possible future needs to be “posited” (Thomason, 1970, p. 271) or “supplied” (Belnap et al., 2001, p. 156). However, when they want to give a more down to earth description of the procedure, they often help themselves with intentional vocabulary. For example, Burgess writes that “The truth value of a future tense statement depends on which branch we think of as representing the course of events which is actually going to turn out to happen” (Burgess, 1979, p. 575, emphasis mine) and Müller(2014) echos that “we normally need to specify which of the equally possible futures we mean to refer to” (Müller, 2014, p. 354, emphasis mine) (we call this procedure “inner baptism” in Malpass and Wawer, 2012, p. 122). However, if all that is required to specify a possible history is an intention of a speaker, then making predictions true or false would be all too easy. Such a procedure has very little in common with everyday usage. If Leszek and Juliusz are about to visit Tomasz and Leszek says, before the visit, “Tomasz will offer white
43See the classical (Donnellan, 1966) for the distinction between referential and attributive uses of definite descriptions.
95 CHAPTER 4. SEMANTICS OF BRANCHING REALISM coffee,” then no-one can make this sentence true or false by fiat—just by thinking of this or that possible future. What, then, does relativization to a history consists in? To domesticate their proposal, Belnap et al.(2001) refer to certain formal analogy. They compare unmodalized sentences (in particular, those about the contingent future) with sentences of first-order logic containing unbound variables. They argue that the sentence like, “The summer will be hot,” is semantically analogous to the sentence “x is white.”44 Clearly, the context does not initialize the “default” assignment of free variables, and the the sentence, “x is white,” changes its truth value depending on which object is assigned to x. Therefore, the sentence with a free variable is closed neither by context, nor by independence. As a result, we cannot reasonably assess if the sentence “x is white” is true in a given context, unless a particular assignment is explicitly specified. The authors claim (Belnap et al., 2001, p. 155, thesis 6–6) that the future tensed sentences are exactly analogous. In their case, the context also does not initialize the “default” value of the history parameter, so the sentence, “The summer will be hot,” changes its truth value depending on which history is chosen. Therefore, the contingent sentence is closed neither by context, nor by independence. Consequently, we cannot reasonably assess if the sentence, “The summer will be hot,” is true in a given context, unless a particular value of a history is explicitly specified. Notice that we are not worried, when we realize that the truth of the expression, “x is white,” depends on an entirely arbitrary choice of an assignment, because we recognize that this expression is merely a by-product of compositional analysis of the sentences like, “Everything is white,” “Something is white,” or “Most things are white.” Even though the truth of “x is white” does depend on the assignment, the truth of the last three sentences does not depend on a particular choice of assignment parameter. And it is the truth of these three sentences that we truly care about. By analogy, the expression, “The summer will be hot,” might be thought of as a by-product of com- positional analysis of sentences like “It is settled that the summer will be hot,” “It is possible that the summer will be hot,” or “Most likely, the summer will be hot,” whose truth value is history-independent. This line of thought is not entirely convincing, however. When we are faced with the expression, “x is white,” we immediately recognize that it is not even a sentence of English. It is not an accident that in the traditional logical vocabulary introduced by Tarski(1933), “ x is white,” it is not called a sentence, but an open formula.45 He chose the vocabulary, since he believed that when we study formal languages, we should remember that: We shall always ascribe quite concrete and, for us, intelligible meanings to the signs which occur in the languages we shall consider. The expression which we call sentences still remain sentences after the signs which occur in them have been translated into colloquial language. (Tarski, 1956, p. 167) Clearly, “x is white” does not look like a sentence of English. The problem with
44To make these cases analogous also on the syntactic level, you can assume that in its deep structure the sentence, “The summer will be hot (in h),” has a free variable ranging over histories which is unbound by any “modal” quantifier. 45Wolenski´ (2003, p. 129, vol. III) explains that Tarski inherited the view from Le sniewski.´
96 CHAPTER 4. SEMANTICS OF BRANCHING REALISM this expression is that we cannot reasonably call it true or false. Tarski was fully aware of the difficulty and for this reason he employed the notion of satisfaction, rather than truth, in his recursive analysis of quantifiers. In contrast, when faced with the expression, “The next summer will be hot,” we immediately realize that it is a full-fledged sentence of English. When we know at which moment it was used, we do not have the nagging feeling that it is somehow defective or it needs to be supplemented with additional information to make sense. It is not likely that its role can be reduced to a by-product of semantic analysis. One could even add (as I will in chapter6) that we understand perfectly well what needs to happen for this sentence to be true. Namely, the next summer needs to be hot. The truth value of this sentence is relative, but only in a trivial sense: it depends on what will in fact happen (just as the truth of past tense statements depends on what in fact happened). Thus, the analogy that Belnap proposes is imperfect. “x is white” is not a sentence, and it is not truth-apt, but satisfaction-apt, while “The next summer will be sunny” is a sentence and it seems to be truth-apt. To parry this argument, Belnap et al.(2001) respond that the di fference between these two cases resides in pragmatics rather than in semantics. Namely, the sentence, “The next summer will be hot,” is assertable, while “x is white” is not (cf. Belnap et al., 2001, p. 157, assertability thesis 6–7). What makes the difference is not the first sentence having a truth value at a context and the second lacking it, but their different “modal profile” . In case of a sentence about the future, it is settled that it will have been settled true or settled false. By the next Autumn, Each history containing the utterance of this sentence will have given the verdict whether it is settled that the sentence was true. (Of course, in case of future contingents, different histories will have given conflicting verdicts, which should be expected from a relativist theory.)46 The difference in the “modal profile” can be used to explain why history-open sen- tences like “The next summer will be hot” are assertable, while the assignment-open sentences like “x is white” are not. The authors argue that when people assert sen- tences, they enter the market of linguistic transactions in which they exchange rights and obligations. Assertions are comparable to wagers. The assertor “bets” that the things will have settled as she said they would. In the parts of the world in which things thus settle, the assertor is vindicated, while in the parts of the world in which they settle otherwise, she is impugned. This kind of wager cannot be made using the expression of the type, “x is white,” because it never gets settled whether it is true that x is white. The procession of time does not settle issues like that, whereas the procession of time does settle, in every alternative future, the issue of the next, hot summer. The notion allows the authors to deal with another problematic feature of their the- ory. Remember that the concept of truth at a context was meant to serve an important theoretical goal. It was meant to serve as an intermediary between the technical appa- ratus of semantic analysis and the pragmatics of asserting. After all, the accuracy of an act assertion was supposed to depend, through the truth norm, on the truth-in-context of the sentence asserted. However, Belnap et al.(2001) argue that it makes no sense to say that a sentence at a context is true or false. To overcome the obstacle, Belnap
46To explicate the idea that what is said at moment m is settled true at a later moment, Belnap(2002b) develops the formal apparatus of double-time reference.
97 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
(2002b) “postpone” the assessment of accuracy of an act of assertion until what the sentence says gets settled. Belnap argues that as soon as the sentence asserted gets settled true, the assertor is vindicated (her assertion turns out to have been accurate), as soon as it is gets settled false, the assertor is impugned (her assertion turns out to have been inaccurate), and as long as the sentence asserted is neither settled true, nor settled false, the assertor is neither vindicated, nor impugned. So, the vindication of an act of assertion made at one moment depends on its modal status at another moment (i.e., whether it is settled at another moment). And the same act of assertion can be vindicated from the perspective of one moment and impugned from the perspective of another moment.47 As an example, take an assertion of the sentence, “The coin will land heads.” It is vindicated at the moment at which the coin lands heads, it is impugned at the moment at which it lands tails, and it is neither vindicated, nor impugned at the moment at which the toss has not yet been resolved. Then, the only difference between assertions about the past and about the future is that the acts of assertions about the past are accurate/vindicated “immediately,” i.e., at the same moment at which the assertion is being made, while the acts of assertions about a contingent future are vindicated at later moments. When we associate the notion of accuracy of an act of assertion with Belnap’s notion of vindication, we do not need the notion of truth-at-context to do the job of the middleman between Ockhamist semantics and pragmatics of assertion. In particular, the accuracy of the assertion (about the past, present, or future) does not depend on whether the sentence asserted is true at the context. It depends on whether what the sentence says is settled true. This line of thought can be used to alleviate the problem of arbitrariness of the truth value. Remember that the truth value of a sentence about a contingent future used at a particular context depends on a whim—the entirely unmotivated choice of a particular history parameter. However, given the theory of assertion just sketched, a history relativist can baldly answer: so what! After all, the truth value of a sentence at a context has little to do with accuracy/vindication of the act of assertion made with a use of the sentence. The accuracy of an act of assertion depends on whether what is asserted is necessary or contingent, not on whether it is true or false. And what is necessary and contingent is no longer arbitrary—it is decided by how the world is. Therefore, the arbitrariness of the truth value of a sentence asserted does not affect the practice of assertion. Consequently, the theory of assertion of Belnap(2002b), based on the idea of a double-time reference, has a lot to offer to history relativism. It can be used to explain why we draw a distinction between future contingents and formulas with free variables. It explains what people do, when they seem to be talking about what will actually be the case. It explains how to detach the notion of vindication of an act of assertion from the truth at a context of the sentence asserted and attach it to the settled truth of the sentence. Finally, it tones down the objection of arbitrariness of the truth value of a sentence in a context. The speech act theory so construed can teach us to stop worrying and learn to love history relativism.
47This mechanism clearly resembles the assessment relativism of John MacFarlane.
98 CHAPTER 4. SEMANTICS OF BRANCHING REALISM
4.8 Local relativism
According to Belnap et al.(2001), it is unintelligible to ascribe truth value to a sentence in a context, unless a history is specified. At least a few theorist, including some Belnap’s most faithful followers, observed that even if we grant relativity of truth, it is still hard to believe that such a truth should be relative to histories. After all, even if we so desired, it is unclear how we should specify a history to which we intend to relativize the truth value. We do not have anything like “names” of possibilities, which could be used for the purpose. We also cannot refer to a history directly, by pointing to “this” or “that” continuation. It seams that the only way to specify a possible history is by description. However, histories are very “large” objects (they are complete courses of events, from the dawn to the dusk of time) and to describe a history is not an easy task. In many cases, it might require an infinitely long story to uniquely specify a history. Consequently, even if in some sense a sentence is true at a context, grasping this sense would require abilities well above finite human beings. Therefore, those who look for a “human-scale” notion of truth at a context need to substitute histories with somewhat smaller, more approachable objects. Also, it is very much in spirit of Branching Realism to “go local,” that is, to em- phasize the perspective of a moment that has a somewhat limited vista on the treelike world. Such an attitude has been detectable already in (Prior, 1967) and (Thomason, 1970), but it was most openly stated by Belnap et al.(2001):
It would seem better to begin with a theory about more local incompatible possibilities, such as those available within ten or fifteen minutes, or avail- able within ten or fifteen seconds, or (best) available immediately. (Belnap et al., 2001, p. 197)
A number of authors have transformed this piece of advice into full-blown semantic theories which I will discuss in the four sections below. On the formal level, the four approaches are variations on the theme of Ockhamist semantics. In Ockhamism, we relativize truth to a moment/history pair; the theories below preserve the general mechanism, but modify or limit the notion of a history. The first project of Alberto Zanardo does not explicitly address the initialization problem, so the author might not necessarily classify himself as a relativist. However, I decided to incorporate his research in this chapter, since it serves as a natural introduction to subsequent theories. The next idea originates with Peter Øhrstrøm and his collabo- rators. It is an interesting case, as, otherwise, they are famous anti-relativists in the philosophy of future contingents. Finally, the next two projects of Tomasz Placek and Thomas Müller openly respond to Belnap et al.’s (2001) appeal and device theories “about more local incompatible possibilities.”
4.8.1 Recognized possibilities Let me begin with the theory of Roberto Zanardo(1998). The author replaces the notion of a history with an alternative concept of recognized possibility. Although the name carries an epistemic overtone, the author does not primarily construe of his
99 CHAPTER 4. SEMANTICS OF BRANCHING REALISM models in epistemic terms. Recognized possibilities are clusters of histories grouped together by a factor which the author calls “indistinguishability function” (henceforth, I-function). The set of recognized possibilities (RP) is moment-dependent—different moments might recognize different clusters of histories as possibilities. His paper is technical in nature and the author does not provide any specific interpretation of his notions. All we know is that for each moment m the set RPm is a partition of the set of histories passing through m.48 It is also assumed that I-function, encoding recognized possibilities, has “good memory,” i.e., if the function distinguishes two histories at a given moment, then the histories cannot become indistinguishable at a later moment. In symbols, let M B hM,
Definition 4.12 (undivideness, splitting). Two histories h1 and h2 in Hm are undivided 0 at m, h1≡mh2, iff ∃m0>mm ∈ h1 ∩h2. Two histories h1 and h2 split at moment m, h1⊥mh2, iff h1, h2 ∈ Hm and h1.mh2.
It is immediate to verify that ≡m is an equivalence relation on m and thus it induces a partition Πm of Hm into classes of histories which are undivided at m. Definition 4.13 (Elementary possibilities). Elementary possibilities open at m are the members of the set Πm B {H|H ⊆ Hm and ∀h1,h2 ((h1 ∈ H & h2 ∈ H) ⇔ h1 ≡m h2)}. In his paper, Zanardo proves a remarkable result for a semantics which extends Ockhamism with an extra modal operator sensitive to elementary possibilities. Such a language is more expressive than standard Ockhamism. In particular, it is inexpressible in Ockhamism, and expressible in the enriched language, that “each history undivided with the history we are now considering at this moment verifies φ at some future mo- ment” (cf. proposition 3.1, p. 303). The I-function is not limited by elementary possibilities, however. It can recognize as a single possibility two histories which belong to different elementary possibilities open at a moment (this reading allows for the epistemic notion of indistinguishability). We can also use the I-function to model the idea of histories indistinguishable by a
48The author phrases his definitions in terms of equivalence relation on the set of histories passing though the moment.
100 CHAPTER 4. SEMANTICS OF BRANCHING REALISM choice of an agent. Then, the I-function is just a choice function in the sense of Belnap et al.(2001). Zanardo(1998) uses I-functions to provide a new semantics for a language with temporal and modal operators. He enriches the notion of a model, so an I-model is a triple hM, <, I, Vi, where I is an I-function. The sentences are no longer evaluated at moment/history pairs, but at pairs consisting of a moment and a possibility recognized at that moment, i.e., m/r such that r ∈ I(m). No single recognized possibility is distin- guished as the default parameter of evaluation at a given moment; thus, a truth value of a sentence at the moment is relative to the choice of one of the possibilities recognized at that moment. Hence, unless further developed, Zanardo’s theory can be subsumed under the concept of relativism. The notion of recognized possibility is crucial to semantic evaluation of sentences of the modal language. Zanardo studies a sentential language with four modal oper- ators: ^, P, F, G. Operators F and G are introduced independently, since, just as in Peirceanism, they are not inter-definable. The influence of I-function is detectable al- ready on the basic level of the valuation function, which maps propositional constants into sets of pairs hm, ri, rather than into sets of moments. Thus, the truth value of a propositional constant at a given moment might change from one recognized possi- bility to another.49 However, the influence of I-function is most explicit in the inter- pretation of modal operators. Zanardo’s theory is a specific blend of an Ockham-like notion of possibility with a Peirce-like notion of future tense. Let me denote by rh the recognized possibility r containing history h. Then, truth clauses for modal operators can be defined as follows: Definition 4.14.
rp • m/rh|= p iff m/rh ∈ V(p), for p ∈ Atom; • standard definitions of classical connectives;
0 rp 0 0 0 0 0 0 rp • m/rh|= Fφ iff ∀h ∈rh ∃m |m ∈h & m >mm /rh |= φ;
rp 0 0 rp • m/rh|= Gφ iff ∀h0∈r∀m0|m0∈h0 (m > m ⇒ m /rh0 |= φ);
rp 0 rp • m/rh|= Pφ iff ∃m0 rp 0 0 rp • m/rh|= ^φ iff ∃h ∈Hm m/rh |= φ. Possibility operator shifts the point of evaluation from one possibility recognized at a moment to another, and tense operators basically work as Peircean operators lim- ited to a single recognized possibility.50 The notion of a history is used in Zanardo’s definition, but it does not feature as a semantic parameter of truth. The author shows (proposition 5.3, p. 314) that the truths of his semantics coincide with the truths of Ock- hamism iff I = IO, i.e., iff the I-function distinguishes every history at every moment as 49It is a consequence of Zanardo’s general approach to valuations in the branching setting. Even when he studies Ockhamism, he usually relativize the truth value of propositional constants to moment/history pairs, rather than to moments (see, e.g., Zanardo, 1985, 1996). I discuss this issue in section 3.3. 50Observe, however, that when a temporal operator shifts the moment of evaluation, the rp of evaluation 0 0 might change as well. If m < m , then rh at m might well differ from rh at m . 101 CHAPTER 4. SEMANTICS OF BRANCHING REALISM a distinct possibility. The truths of his system coincide with the truths of Peirceanism iff I = IP, i.e., when the I-function has no distinctive power whatsoever—for every m, I(m) = {{Hm}}. Moreover, Zanardo proves (proposition 5.4, p. 314) that I-structures based on IO and IP are characterizable within the modal language he introduces. A thorough formal investigation of Zanardo’s system, including a proof of completeness, can be found in (Gatto, 2015). The semantics of Zanardo is a remarkable technical development, but I would claim that it is not useful for our project, i.e., to interpret future contingents and investigate interactions of tense with modality. First of all, Zanardo’s theory inherits all the prob- lems of Peirceanism described in section 4.3. Even if the interpretation of temporal operators is relativized to recognized possibilities, these possibilities might still contain many incompatible histories. Since the semantic of future operator requires quantifica- tion over all the histories within the chosen recognized possibility, we can reconstruct all the problems of Peirceanism in this semantics. Secondly, Zanardo looses the crucial advantage of Peirceanism (or any other kind of modalism). In Peirceanism, the truth value of a sentence depends uniquely on a moment of evaluation. Therefore, we do not need to introduce history as a parameter of evaluation. Consequently, we do not need to answer the initialization problem. However, Zanardo does introduce an extra parameter of evaluation: recognized possibility. Just as no history is designated in the Ockhamist semantics, no recognized possibility is designated in Zanardo’s semantics. Therefore, as long as Zanardo does not provide an additional story about which rec- ognized possibility (if any) is supposed to be chosen as a default modal parameter of evaluation, the initialization problem returns at full strength. In Consequence, we we loose the intuitive validities of Ockhamism, but preserve the initialization problem re- sulting from the semantics. Not a very fair deal, as far as the semantics of future tense is concerned. In fact, it gets worse. Thanks to the introduction of recognized possibilities as pa- rameters of truth, Zanardo can introduce a non-trivial modal operator ^ which shifts the point of evaluation from one recognized possibility to another. Then, we can in- vestigate the interaction of this new modality with temporal operators. And the results are far from perfect, if we aim to model interaction of time with possibility. I call the concerns I have identified problems of emerging possibilities, vanishing necessities, and emerging necessities. First, let us look at a sentence expressing the emergence of new possibilities: It will be possible that there will be a sea battle, but it is not possible that there will be a sea battle. (F^F p ∧ ¬^F p) It turns out that this sentence is true under Zanardo’s semantics in a very simple model (fig 4.1) Colors indicate the recognized possibilities generated by the I-function at particular moments, i.e., I(m1) = {{h1, h2}, {h3, h4}}; I(m2) = {{h1}, {h2}}; I(m3) = {{h3}, {h4}}. Letter p indicates the only two points in the model (m4/{h1} and m5/{h3}) where p is rp true. Observe now, that m1/rh2 |= F^F p, since in every history in rh2 (that is in the set {h1, h2}) there is a future moment (e.g., m2) at which ^F p is true. ^F p is true at m2/rh1 and m2/rh2 , since there is a possibility recognized at m2, i.e., {h1} which makes F p true. In fact, F^F p is true at m1. 102 CHAPTER 4. SEMANTICS OF BRANCHING REALISM h1 h2 h3 h4 p m4 ¬p p m5 ¬p m2 m3 m1 Figure 4.1: Emerging possibilities. At the same token, ¬^F p is true at m1, since there is no such recognized possibility at m1 that within the recognized possibility F p would be true. In the “left” recognized possibility, h2 testifies against the truth of F p at m1, in the “right” possibility, h4 does the same. In fact, it means that ¬^F p is true at m1, thus, we can strengthen the problem of emerging possibilities: It is settled that it will be possible that there will be a sea battle, but it is settled that it is not possible that there will be a sea battle. (F^F p ∧ ¬^F p) The problem of emerging possibilities sounds even graver, when phrased in terms of metric operators: Tomorrow, it will be possible that on the next day there will be a sea battle, but it is impossible that there will be a sea battle the day after tomorrow. (F1^F1 p ∧ ¬^F2 p) We can also look at the problem of emerging possibilities from the perspective of one of the possibilities that have emerged. For example, at the moment m4, you can truly say: There is a sea battle, but in the past, it was not possible that there would be one. (p ∧ P¬^F p). The sentence is true at m4/rh1 , since there is a sea battle (p) raging at that moment, but at a past moment m1, there was no recognized possibility such that the sentence F p would be true in this possibility. The problem of emerging possibilities is paired with a similar problem of vanishing necessities. Consider the model depicted in figure 4.2. The difficulty with this model consists in the fact that at m1/rh1 , the following two sentences, which sound contradictory, are jointly true: 103 CHAPTER 4. SEMANTICS OF BRANCHING REALISM h1 h2 h3 h4 p m4 ¬p ¬p p m6 m2 m3 m1 Figure 4.2: Vanishing necessities. 1. It is settled that in two days there will be a sea battle, or there will be no sea battle. (F2 p ∨ F2¬p). 2. Tomorrow, it will not be settled that on the following day there will be a sea battle or there will be no sea battle. F1¬(F1 p ∨ F1¬p). Moreover, if we shuffle the valuation of the previous model slightly, see fig. 4.3, we can also introduce the phenomenon of “emerging necessities” and verify a conjunction which, to my ear, sounds like a contradiction. Namely, the following three sentences are jointly true at m1: 1. It is impossible that tomorrow it will be settled that the sea battle will happen. (¬^F1F p) 2. It is impossible that tomorrow it will be settled that the sea battle will not happen. (¬^F1F¬p) 3. It is settled that tomorrow either it will be settled that the sea battle will happen or it will be settled that it will not happen. (F1(F p ∨ F¬p)) I believe that the few examples mentioned above demonstrate that the operators F and ^, as interpreted in Zanardo’s semantics, do not square well with the ordinary notions of future and temporal possibility. Not only are the questionable results of Peirceanism confirmed, but in addition, the interactions of time with possibility are far from expected. Moreover, it does not provide an easy way to answer the initialization problem. To conclude, Zanardo’s semantics is an interesting and important formal de- velopment which might give a good account of some sort temporally dynamic agentive possibility (what is within a power of the agent) or epistemic/doxastic possibility (what is consistent with subject’s knowledge/beliefs which develop in time). It is rather un- helpful, however, if our project is to investigate future contingents and interaction of time and historical possibility. 104 CHAPTER 4. SEMANTICS OF BRANCHING REALISM h1 h2 h3 h4 p p ¬p ¬p m2 m3 m1 Figure 4.3: Emerging necessities. 4.8.2 Counterfactual branches The next relativist proposal has an unexpected source. It was introduced in a series of articles co-authored by Peter Øhrstrøm (see Braüner et al., 1998, 2000; Øhrstrøm, 2009), who had defended non-relative truth of future contingents since (Øhrstrøm, 1981). I will base my exposition of this relativist theory on the version presented in (Braüner et al., 2000). The semantics they propose has its roots in their earlier project which explicitly aimed at a bivalent and non-relative treatment of future contingents (I recapitulate the details of the project in section 5.3.4 of the next chapter). They abandoned the earlier version of their semantics, since it encountered certain formal difficulties, in particular, (a) it did not validate the sentence φ → HFφ, which is a basic axiom of almost every temporal logic, and (b) it was difficult to introduce operators of historical modality into their earlier system. The authors tried to overcome both these difficulties with a degree of relativization. The project of Øhrstrøm and his collaborators originates with a very anti-relativist attempt to answer the initialization problem. They start with an idea that every pos- sible moment on the tree of possibilities has its actual future. The actual future of a moment should be used to ascribe truth values to sentences about the future of this moment. To model the idea formally, the authors introduce a function—the so-called TRL-function—which assigns a history to every moment in the branching structure; this history is the actual future (and past) of that moment. Not every such function is appropriate. In the process of dispute with Belnap and his collaborators (recapitulated in section 5.3.4), the authors settle for the following constrains on TRL-function: Definition 4.15 (TRL-function). Let hM, 1. ∀mm ∈ TRL(m);