The logic of the future in quantum theory
 1.7k Downloads
 1 Citations
Abstract
According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a manyvalued logic. I propose that the truth value of such a statement should be identified with the probability that the event it describes will occur. After reviewing the history of related ideas in logic, I argue that it gives an understanding of probability which is particularly satisfactory for use in quantum mechanics. I construct a lattice of futuretense propositions, with truth values in the interval [0, 1], and derive logical properties of these truth values given by the usual quantummechanical formula for the probability of a history.
Keywords
Quantum theory Temporal logic probability1 Introduction
The subject of this paper is the logic governing the expressions of present experience, past memory and future expectations of a subject, regarded as a sentient and articulate physical system and therefore governed by the laws of physics in the framework of quantum theory. Since the expressions to be considered refer to the past, present and future of the subject, they must be governed by some form of temporal logic, such as is found in the work of Arthur Prior and his followers. Quantum theory being an indeterministic theory, the problem of future contingents is particularly relevant. In order to incorporate indeterminism in statements in the future tense, the temporal logic proposed here, differing from Prior’s, has truth values which are not bivalent but take real values between 0 and 1 (inclusive)—the truth of a futuretense statement is identified with the probability that it will turn out to be true. Maybe this thesis will be of interest to philosophers of probability and philosophers of quantum mechanics as well as temporal logicians.
Classically, it would be natural to take the past and present as definite: statements in the present and past tenses have truth values 0 or 1. For a apeaker governed by quantum theory, it is not clear that this can be incorporated in the framework suggested here without modification. This is currently being investigated. The present paper, therefore, is restricted to the study of the present and future tenses.
The paper is organised as follows. In Sect. 2 I outline the physical framework being used, that of quantum mechanics, and define the propositions in question: statements about the present and future experiences of the speaker, regarded as a physical system in a world governed by quantum mechanics. This requires a distinction between external statements about the physical world, made from a standpoint outside the world, and internal statements made by a speaker in the world; it is the latter that are discussed here. I argue that the superposition principle of quantum mechanics makes it impossible, in general, for such futuretense propositions to be either definitely true or definitely false, and I introduce my main proposal concerning the relation between probabiliy and the truth values of futuretense propositions in a manyvalued logic. In the next section I acknowledge some of the problems with this idea, and attempt to trace the idea, and some of the reactions to these problems, in previous writers.
In Sect. 5 I examine the logical properties of the temporal logic as it might apply to the utterances of a speaker satisfying the laws of quantum mechanics. The logical system consists of a lattice \(\mathcal {T}\) of tensed propositions with truth values in the interval [0, 1] of real numbers. The lattice \(\mathcal {T}\) is constructed from a tenseless lattice \(\mathcal {E}\) containing propositions about the experiences of a particular sentient system; the elements of \(\mathcal {T}\) are elements of \(\mathcal {E}\), each associated with a time, and elements constructed from them by operations \(\wedge , \vee \) and \(\lnot \) which are assumed to satisfy the same rules as conjunction, disjunction and negation. A further assumption on the tense operators (that they respect the logical operations in the tenseless lattice \(\mathcal {E}\)) leads to the characterisation of the elements of the lattice \(\mathcal {T}\) as disjunctions of histories: conjunctions of statements of experience at different times.
Finally, in Sect. 6 I take a critical look at the theory adumbrated here and try to assess its relevance to different forms of indeterministic physical theory. I claim that it is the appropriate logic for a classical theory of an open future, and for a quantum theory applied to a world in which a mechanism of decoherence operates, as it does in the world^{1} we live in. The section concludes with a discussion of weaknesses in this proposal and possible alternative formulations. The results of the paper are summarised in the concluding Sect. 6.
2 Outline of quantum theory
2.1 Living in the quantum world
Quantum mechanics boasts a simple, welldefined mathematical formalism and an unprecedentedly successful record of calculation and prediction in physical applications. Following Schrödinger (1996), Everett (1957) and Wheeler (1957), I assume that everything in the mathematical formalism can be taken as a true description of the universe, and that no extra apparatus is needed to relate this description to what we measure and observe.
The clean mathematical formalism, in its nonrelativistic form, offers a single mathematical object \(\Psi (t)\rangle \) to describe whatever physical system we are interested in—ultimately the whole universe U. This object is a vector in a Hilbert space \(\mathcal {H}_U\) (the marks \(\rangle \) in the symbol indicate the vector nature of \(\Psi \rangle \)), varying with time t in accordance with a firstorder differential equation (the Schrödinger equation). It follows that if the value of \(\Psi (t)\rangle \) is known at some one time, its value at all other times is determined.
I will denote the experiences of S by \(\eta _i\), pretending for notational convenience that they are countable, and the corresponding elements of the experience basis by \(\eta _i\rangle \); abusing notation slightly, I will use the same symbol for a general element of the experience basis.
Similarly, among the states of the whole universe are tensor products^{3} \(\Psi \rangle = \eta \rangle \psi '\rangle \), in which \(\eta \rangle \in \mathcal {H}_S\) is an experience state and \(\psi '\rangle \) is a state of the rest of the universe which conforms to the experience \(\eta \) in the sense that if \(\eta \) includes the experience of seeing, for example, a tiger about to pounce, then \(\psi '\rangle \) is a state of the outside world including a tiger about to pounce. Such product states are understandable; this is what we expect the sentient system and the outside world, together, to be like.
There are two ways of approaching this strange equation without doing violence to the laws of physics as encapsulated in the Schrödinger equation. Both originate in Hugh Everett’s work in the 1950s, and are expressed in the titles of his PhD thesis and his only published paper in physics. The title of his thesis is “The theory of the universal wave function”, which expresses his main motivation: the idea that quantum mechanics, as expressed in (2), should be taken seriously and literally: however hard to understand, this is a statement of fact about the whole universe. (Schrödinger also expressed this idea in unpublished lectures in the early 1950s, 1996). The title of Everett’s paper is “‘Relative state” formulation of quantum mechanics’, which emphasises another way of understanding (2): any statement about the external world made by an observer must be understood as being relative to a particular state of that observer: if, for any reason, we are entitled to say that the state of the observer at time t is \(\eta _n\rangle \), then we are entitled to assert that the state of the rest of the universe is \(\psi '_n(t)\rangle \). And, of course, as an observer I am entitled to say which \(\eta _n\rangle \) is my experience state, precisely because it is my experience.
These two assertions about the state of the universe appear to be in contradiction. One of them asserts that the truth about the universe at time t is given by the whole state (2); the other that it is given by one of the components \(\eta _i\rangle \psi '_i(t)\rangle \). I now want to argue that they are, nevertheless, compatible, once it is recognised that they belong in different perspectives.
2.2 Internal and external
This contradiction is of the same type as many familiar contradictions between objective and subjective statements. It can be resolved in the way put forward by Nagel (1979, (1986): we must recognise that there are two positions from which we can make statements of fact or value, and statements made in these two contexts are not commensurable. In the external context (the God’seye view, or the “view from nowhere”) we step outside our own particular situation and talk about the whole universe. In the internal context (the view from now here), we make statements as agents inside the universe. Thus in the external view, \(\Psi (t)\rangle \) is the whole truth about the universe; the components \(\eta _i\rangle \psi '_i(t)\rangle \) are (unequal) parts of this truth. But in the internal view, from the perspective of some particular experience state \(\eta _i\rangle \), the component \(\eta _i\rangle \psi '_i(t)\rangle \) is the actual truth. I may know what the other components \(\eta _j\rangle \psi '_j(t)\rangle \) are, because I can calculate \(\Psi (t)\rangle \) from the Schrödinger equation; but these other components, for me, represent things that might have happened but didn’t. From the external perspective the universal state vector \(\Psi (t)\rangle \) is a true description of the world at time t, and each component \(\eta _j\rangle \psi '_j(t)\rangle \) is just part of that description; from the internal perspective of the experience state \(\eta _i\rangle \) at time t, the state vector \(\eta _i\rangle \psi '_i(t)\rangle \) is a true and complete description of the world, and the universal state vector \(\Psi (t)\rangle \) is not a description of the world but a true statement of how the world might change.
2.3 Time and chance
Two questions present themselves. First, time: if it is unproblematic that at time t I can identify my experience \(\eta _i\rangle \) and the corresponding state \(\psi '_i(t)\rangle \) of the rest of the universe, what can I say about other times? For past times, memory might be expected to provide an answer: it seems that we are constructed in such a way that each experience state \(\eta _n\rangle \) that actually occurs at time t (i.e. for which \(\psi '_n(t)\rangle \) is nonzero) contains information about a unique experience state at each time before t. However, quantum mechanics apparently does not allow such a simple model of memory, for reasons related to the “watchedpot effect” (Misra and Sudarshan 1977; Sudbery 1984). For this reason I will only treat present and future tenses in this paper, and leave the past tense for future work.
In general, for a being having a definite experience \(\eta _i\) at time t, there is nothing in the physics to pick out the experience that the being will have at some future time \(t'\): there is no “thin red line” stretching into the future; no fact of the matter, even relative to the experience \(\eta \), about what the subject’s experience will be at time \(t'\).^{4} The Schrödinger equation can be applied to \(\eta _i\rangle \psi '_i(t)\rangle \) to yield a state vector \(\text{ e }^{iH(t't)/\hslash }\big (\eta _i\rangle \psi '_i(t)\rangle \big )\) to which it will evolve at a given future time \(t'\); but in general this will not be another product state in which the subject has a definite experience, but a superposition of such states in which the subject is entangled with the outside world.
Second, probability: quantum mechanics is an indeterministic theory, describing chance events. Its empirical success rests on its ability to give probabilities for such events. But how can there be any place for probability in the framework I have described? In the external view, \(\Psi (t)\rangle \) develops deterministically according to the Schrödinger equation; nothing is left to chance. In the internal view, as we have just seen, there are no definite future events and therefore, it seems, no chances. How can “the probability that my experience will be \(\eta _j\) tomorrow” mean anything if “my experience will be \(\eta _j\) tomorrow” has no meaning?
2.4 Probability and truth
My answer to these two questions is to propose that they answer each other. If there is no experience that can be identified as the experience I will have at a future time \(t'\), then for each \(\eta \) the statement “I will experience \(\eta \) at \(t'\)” is not true. Nevertheless, if that experience is very likely then this statement is nearly true; in other words, it has a degree of truth less than, but close to, 1. This leads to the suggestion that the probability of a future event E should be identified as the degree of truth of the futuretense statement “E will occur”.
This argument reflects the way that probabilities are calculated in quantum mechanics. The vector \(\text{ e }^{iH(t't)/\hslash }\big (\eta _i\rangle \psi '_i(t)\rangle \big )\) to which an experience eigenvector \(\eta _i\rangle \psi '_i(t)\rangle \) evolves from time t to time \(t'\), following the Schrödinger equation, will not in general be an experience eigenvector; but it may be near an experience eigenvector, and the nearness is measured by a number (close to 1 if the vectors are near to each other) which, in conventional quantum mechanics, is identified (according to the “Born rule”) with a probability.
What exactly is a “degree of truth” for a futuretense statement? In the rest of the paper I will explore the possibility that it can be taken to be a truth value in a temporal logic.
3 Truth values as probabilities
3.1 Problems
 1. One function of truth values is to define the meaning of logical connectives such as and and or by means of truth tables. The existence of such tables is made a prerequisite for manyvalued logics in Gottwald’s comprehensive treatise (Gottwald 2001). This is not possible with probabilities. Using \(\tau \) to denote the probability of a proposition, the values of \(\tau (p\wedge q)\) and \(\tau (p\vee q)\) are not determined as functions of \(\tau (p)\) and \(\tau (q)\); the two equations which this would require are replaced by a single relationwith inequalities$$\begin{aligned} \tau (p\wedge q) + \tau (p\vee q) = \tau (p) + \tau (q) \end{aligned}$$(3)$$\begin{aligned} 0 \le \tau (p\wedge q)&\le \min \{\tau (p),\tau (q)\},\end{aligned}$$(4)$$\begin{aligned} \max \{\tau (p),\tau (q)\}&\le \tau (p\vee q) \le 1. \end{aligned}$$(5)

2. Another use of truth values is to identify logical tautologies, which are defined as formulae, with propositional variables, which have truth value 1 for all assignments of truth values to the variables. If truth values were replaced in this definition by probabilities satisfying (3), it would not yield a useful set of tautologies. Instead, the usual procedure in probability logic (Adams 1998) is to require that the value of probability should be 1 for all logical tautologies, assuming that these have already been identified.
3.2 History
Aristotle’s discussion of future contingents in De Interpretatione is often taken to support a threevalued logic for statements about the future. But Aristotle says more than denying truth or falsity to “There will be a seabattle tomorrow”; he also notes that it may be more or less likely that there will be a seabattle. Thus if there is a case for regarding Aristotle as a proponent of manyvalued logic for futuretense statements, there might also be a case that he would regard the appropriate truth values as probabilities.
Łukasiewicz’s first system of manyvalued logic (Łukasiewicz 1913) had truth values related to probabilities, though of a rather different kind from those considered here (he was concerned with propositions containing variables, giving them truth values equal to the proportion of values of the variable which made the proposition true). Later (Łukasiewicz 1930) he was motivated by the problem of future contingents and expressed a preference for manyvalued logic in which the truth values could be any real number between 0 and 1; he asked how this was related to probability theory. In his system the truth values do not satisfy (3), but they satisfy (4) with inequality replaced by equality, so that the logical connectives are truthfunctional.
The failure of probabilities to be truthfunctional led to a reluctance among logicians to accept them as truth values, but this view was defended by Reichenbach (1949) (though his frequentist conception of probability was different from that espoused here) and especially by Rescher (1969). Both these authors claimed to prove that the tautologies of ordinary twovalued logic can all be obtained as tautologies of probability logic, but Reichenbach’s argument depended on his frequentism and Rescher’s, though more formal, required axioms which themselves refer to the classical tautologies, giving his argument an element of circularity.
In a discussion of time, quantum mechanics and probability, Saunders (1998) puts forward a view of time and probability similar to that of this paper: “events in the future ...are indeterminate; ...probabilities ...express the degrees of this indeterminacy” (emphasis in the original). The identification of probabilities with truth values of futuretense propositions has been developed by Pykacz (2014) and references therein, who applies this idea to quantum mechanics and uses it to throw interesting light on the GHZ paradox. Pykacz’s manyvalued logic, however, is different from the one developed here.
The notion of degrees of truth also occurs in fuzzy logic (Zadeh 1975; Edgington 1992; Sainsbury 1986), and in this context also Edgington proposed replacing the classical truth tables by the relation (3). More complicated truth values occur in topos theory (Lawvere and Schanuel 1997), which has been proposed as a suitable logical formalism for the foundations of physics by Isham (2011) and for the discussion of partial truth by Butterfield (2000). Döring and Isham have identified probabilities with truth values in topos theory (Döring and Isham 2012), but the probabilities they discuss seem to be credences rather than chances, occurring in both classical and quantum physics but, in the latter, relevant to mixed states and not to pure states. Isham has also formulated a temporal form of quantum logic (Isham 1994) in which histories are treated as propositions.
4 The logic of tensed propositions in our quantum world
4.1 The lattice of propositions
Living in the quantum world, as we do and as we are described in Sect. 2.1, what can we say about it? Statements about our possible experiences form a Boolean lattice related to the experience state vectors \(\eta _i\rangle \). In the fiction that there is a countable basis \(\eta _i\rangle \), reports of the experiences \(\eta _i\) are atoms in this lattice; more generally, it is a Boolean sublattice \(\mathcal {E}\) of the lattice of closed subspaces of the Hilbert space \(\mathcal {H}_S\). To form the lattice \(\mathcal {T}\) of statements that we want to make about our experience we need maps \(N:\mathcal {E}\rightarrow \mathcal {T}\) (to give statements about our present experience), \(P_t:\mathcal {E}\rightarrow \mathcal {T}\) for each positive real number t (to give statements about our experience a time t in the past) and \(F_t:\mathcal {E}\rightarrow \mathcal {T}\) (for the future). The complete lattice \(\mathcal {T}\) is then generated by the images \(N(\mathcal {E})\), \(P_t(\mathcal {E})\) and \(F_t(\mathcal {E})\). This lattice consists of statements that we make, and should conform to the structure of our language; I therefore assume that the lattice has a classical structure, and in particular that \(\wedge \) distributes over \(\vee \). (The nonclassical features will enter when we consider the relation of this lattice to the physical world, given by truth values—“everything that is the case”). The map N simply embeds the lattice \(\mathcal {E}\) into \(\mathcal {T}\)—it adds the word “now” to a report of an experience—and therefore respects the structure of these reports, so N is an injective lattice homomorphism. Since we are assuming that memory gives reports of past experience with the same quality of definite truth or falsehood as present experiences, I also take the maps \(P_t\) to be injective homomorphisms.
It is not so clear that the future operators \(F_t\) should be homomorphisms, but it is not clear what “and” and “or” should mean for tensed statements with truth values between 0 and 1. I will assume that each \(F_t\) is a homomorphism in order to give a meaning to \(p\wedge q\) and \(p\vee q\) for all tensed statements p and q, but these meanings might be different from “p and q” and “p or q”. This is discussed further at the end of this section. A major objective of the mathematical development in this section is to delineate the differences between \(\wedge \) and “and”, and between \(\vee \) and “or”; this is the content of Theorem 14.
4.2 The truth of histories: conjunction
Truth values are assigned to elements of \(\mathcal {T}\) from the perspective of a particular experience \(\eta _0\) at a time \(t_0\). Past and present propositions are taken to obey classical logic, so any element \(N(\Pi )\) or \(P_t(\Pi )\) has a truth value of 0 or 1, and elements of the sublattice generated by these have truth values determined by the usual truth tables.
I will now explore the logical properties of this definition. First we note the elementary fact
Lemma 1
Proof
Theorem 1
Proof
By repeated application of Lemma 1(i), using \(\langle E_0E_0\rangle = 1\). \(\square \)
Theorem 2
Proof
Corollary
\(\quad \tau (h_1\wedge h_2) \ne 1 \;\Longrightarrow \; \tau (h_1)\ne 1\; \text { or }\; \tau (h_2) \ne 1\).
Theorem 3
Proof
Theorem 4
Proof
Corollary
\(\tau (h_1\wedge h_2) \le \tau (h_1)\).
Theorems 2, 3 and 4 show that the truth values of twotime histories (conjunctions of onetime propositions) have some of the properties that we would expect for the truth and falsity of conjunction. However, the strict falsity of a conjunction (as opposed to its lack of truth) does not imply the strict falsity of one of the conjuncts. This is not surprising, given the probabilistic nature of the truth values. The quantum nature of the truth values becomes apparent in Theorems 3 and 4 which display a lack of symmetry between the conjuncts. The falsity of a proposition \(h_2\) at the later time \(t_2\) does not imply the falsity of the conjunction \(h_1\wedge h_2\), because the interposition of a fact \(h_1\) at \(t_1\) affects the truth of \(h_2\) at \(t_2\). However, this quantum effect should not be visible at the level of our experience. In order to restore the symmetry of conjunction, to make it possible to extend some theorems which would otherwise only apply to onetime histories, and to complete the logic generally, we need the following Consistent Histories assumption:
This is part of a much wider assumption that demarcates the admissible histories in the “consistent histories” formulation of quantum mechanics (Griffiths 2002), and can be justified for macroscopic states like our experience states by decoherence theory (Wallace 2012). We do not need the full strength of the consistent histories formulation.
Lemma 2
Proof
We can now restore symmetry to Theorems 3 and 4 and extend them to multitime histories.
Theorem 5
Proof
Theorem 6
Note that in general \(\lnot h_1\) is a disjunction of histories, so \(\tau (\lnot h_1\wedge h_2\)) is not yet defined.
Proof
Suppose that \(h_1\) and \(h_2\) are as in the proof of Theorem 5, so that \(\lnot h_2 = F_{t_r}(1  \Pi _r)\). Then the result follows immediately from Lemma 2. \(\square \)
Theorem 7
Proof
Theorem 8
Proof
4.3 Disjunction
Theorem 9
Proof
This is a straightforward induction on the number of disjuncts in p. \(\square \)
Theorem 10
Proof
The righthand inequality can be extended to arbitrary histories \(h_1,\ldots ,h_n\) by a similar argument to the last part of the proof of Theorem 8, using successive inductions on the lengths of \(h_1,\ldots ,h_n\). \(\square \)
We can now show that (15) is true in general. This is the replacement for the truth table for \(\vee \) in truthfunctional manyvalued logic.
Theorem 11
Proof
Suppose \(p = h_1\vee \cdots \vee h_m\) and \(q = k_1\vee \cdots \vee k_n\) where \(h_i\) and \(k_j\) are histories. The definition (16) gives expressions for \(\tau (p)\), \(\tau (q)\), \(\tau (p\vee q)\) and \(\tau (p\wedge q)\) which can be rewritten in a factorised form as follows.
For any set X, we write \(2^X\) for the set of subsets of X, as usual. Let U(X) be the commutative ring generated by the subsets of X with union as the ring multiplication (in other words, U(X) is a \(\mathbb {Z}\)module with basis \(2^X\), with the additional operation of union defined on the basis and extended by \(\mathbb {Z}\)linearity). We continue to use the symbol \(\cup \) for this extended operation. Then the empty set is a multiplicative identity in U(X), and we will denote it by 1.
4.4 Negation
Lemma 3
Proof
Lemma 4
Proof
Theorem 12
Proof
A similar double induction can be used to prove the general version of Theorem 6:
Theorem 13
We can now state the general logical properties of conjunction and disjunction in this temporal logic:
Theorem 14
Proof
(iii) and (iv) follow from these by writing \(\tau (p\vee q) = 1  \tau (\lnot p\wedge \lnot q)\). \(\square \)
5 Retrospect
In this final section I will consider to what extent the proposals in this paper meet the objectives set out in Sect. 2.
5.1 The open future

1. The lattice \(\mathcal {T}\) of tensed (and dated) propositions is formed from a lattice \(\mathcal {E}\) of tenseless propositions by means of lattice homomorphisms \(\{P_t, N, F_t: t\in \mathbb {R}, t>0\}\) whose images generate \(\mathcal {T}\).
 2. A set of truth values is a map \(\tau :\mathcal {E}\rightarrow \mathbb {R}\) satisfying
 (i)
\(0\le \tau (p) \le 1\);
 (ii)
\(\tau (p) = 0\) or 1 if p belongs to \(N(\mathcal {E})\) or \(P_t(\mathcal {E})\);
 (iii)
\(\tau (p\wedge q) + \tau (p\vee q) = \tau (p) + \tau (q)\);
 (iv)
\(\tau (p\wedge q) \le \tau (p), \tau (q) \le \tau (p\vee q)\).
 (i)
5.2 Strictly quantum
The reader may also have observed that I have not kept to the faith boldly proclaimed in Sect. 2. I there renounced the devil and all his works, such as the collapse postulate, and his pomps, such as a separate classical realm. But the formula I took for the truth value (or probability) of a history is taken from a calculation of probability based on the collapse postulate; and the Consistent Histories assumption, which I introduced in order to get a recognisable logic, is just a way of eliminating the characteristic features of quantum mechanics. This assumption can be justified by decoherence theory within quantum mechanics, but only if one restricts the set of possible histories (for example, it will not be true if one wants to include times that are arbitrarily close to each other). Moreover, there is no justification for the definite past propositions \(P_t(p)\); there is no thin red line between experience states going into the past, any more than there is one going into the future. There are only statements taken from present memory, which are aspects of the present experience states (in other words, statements about the past can only be in the perfect tense—which is one of the three aspects of the present tense in English, Joos 1968).
These objections can be met by restricting the logic as follows. The present sublattice \(N(\mathcal {E})\) describes present experience, including memory (so statements about the past occur in the perfect tense as elements of \(N(\mathcal {E})\)). From the context of a particular experience state \(\eta _0\), these elements of \(N(\mathcal {E})\) have truth values restricted to \(\{0,1\}\). It is possible to make futuretense statements only about experiences at one future time. A statement about a future history must be regarded as an element of \(F_{t_\text {f}}(\mathcal {E})\), where \(t_\text {f}\) is the last time in the history; the other elements of the history are in the future perfect tense, referring to the contents of memory at time \(t_\text {f}\) (this, after all, is the only way we can verify a statement referring to a number of future times: we wait until the last time referred to and then consult records of earlier times).
In this austere approach, the set of propositions is not a lattice but is the union of the sublattices \(N(\mathcal {E})\) and \(F_t(\mathcal {E})\) for all positive real numbers t. A conjunction or disjunction of elements of different sublattices is not a wellformed proposition in this logic. However, it can be regarded as a statement in the metalanguage, with the usual bivalent truth values: if e and f are experience statements, so that \(F_s(e)\) and \(F_t(f)\) are statements in the future tense, then the disjunction \(F_s(e)\vee F_t(f)\) means, as usual, that one of the two propositions is (definitely) true, i.e. “either \(\tau (F_s(e)) = 1\) or \(\tau (F_t(f)) =1\)”.
6 Conclusion
In this paper I have proposed a way to understand the statements about the future made by a sentient physical system in a universe described by quantum theory. I take it that we are such sentient physical systems, living in such a universe. The proposal is that the statements any one of us can make, from his or her own perspective in the universe, form a lattice with the usual logical operations of conjunction, disjunction and negation obeying conventional laws, but that the appropriate truth values for such statements (or “histories”) are manyvalued, with values in the unit interval [0, 1] of real numbers, and are to be identified with probabilities. The paper has explored the logical properties of the truth values given by quantum theory, delineating which of these properties require the special assumption of “consistent histories”. We find that this assumption is sufficient to prove all the logical properties to be expected from the identification of truth values with probabilities.
Footnotes
 1.
Here, and elsewhere, I use the word “world” in its usual sense, or in the Wittgensteinian sense: “everything that is the case”. No reference is intended to the “worlds” of the manyworlds interpretation of quantum mechanics.
 2.
From now on, I will no longer be careful to distinguish between a state of a physical system and the vector in its Hilbert space which describes that state.
 3.
In this notation, due to Dirac, juxtaposition of vector symbols \(\rangle \) denotes the tensor product of vectors.
 4.
It might seem hard to abandon the assumption, by which we seem to live our lives, that there is something that is going to happen tomorrow, whether or not it is determined by the laws of physics; this might look like just another unacceptable example of scientists dismissing as an illusion a perception which is too immediate to be deniable (like consciousness or free will). However, it has been argued (Sudbery 2011; Wallace 2012 p. 274) that the openness of the future accords better with our prescientific intuition than the existence of a definite future.
References
 Adams, E. W. (1998). A primer of probability logic. Stanford, CA: CSLI.Google Scholar
 Butterfield, J. (2000). Topos theory as a framework for partial truth. In P. Gardenfors, K. KijaniaPlacek, & J. Wolenski (Eds.), Proceedings of the 11th international congress of logic, methodology and philosophy of science. Dordrecht: Kluwer.Google Scholar
 Döring, A., & Isham, C. J. (2012). Classical and quantum probabilities as truth values. Journal of Mathematical Physics, 53, 032101–1–032101–25. arXiv:1004.3564.
 Edgington, D. (1992). Validity, uncertainty and vagueness. Analysis, 52, 193–204.CrossRefGoogle Scholar
 Everett, H. (1957). “Relative state” formulation of quantum mechanics. Reviews of Modern Physics, 29, 141–153.CrossRefGoogle Scholar
 Gottwald, S. (2001). A treatise on manyvalued logics. Baldock: Research Studies Press.Google Scholar
 Griffiths, R. B. (2002). Consistent quantum theory. Cambridge: Cambridge University Press.Google Scholar
 Isham, C. J. (1994). Quantum logic and the histories approach to quantum theory. Journal of Mathematical Physics, 35, 2157–2185. arXiv:grqc/9308006.
 Isham, C. J. (2011). Topos methods in the foundations of physics. In H. Halvorson (Ed.), Deep beauty (pp. 187–206). Cambridge: Cambridge University Press.CrossRefGoogle Scholar
 Joos, M. (1968). The English verb: Form and meanings. Madison, WI: University of Wisconsin Press.Google Scholar
 Lawvere, F. W., & Schanuel, S. H. (1997). Conceptual mathematics. Cambridge: Cambridge University Press.Google Scholar
 Łukasiewicz, J. (1913). Logical foundations of probability theory. In L. Borkowski (Ed.), Selected works (pp. 16–63). Amsterdam: NorthHolland, 1970 (first published in Cracow).Google Scholar
 Łukasiewicz, J. (1930). Philosophical remarks on manyvalued systems of propositional logic. In L. Borkowski (Ed.), Selected works (pp. 153–178). Amsterdam: NorthHolland, 1970 (first published in 1930).Google Scholar
 Misra, B., & Sudarshan, E. C. G. (1977). The Zeno’s paradox in quantum theory. Journal of Mathematical Physics, 18, 756.CrossRefGoogle Scholar
 Nagel, T. (1979). Subjective and objective. In Mortal questions (pp. 196–214). Cambridge: Cambridge University Press.Google Scholar
 Nagel, T. (1986). The view from nowhere. Oxford: Oxford University Press.Google Scholar
 Prior, A. N. (1962). Formal logic (2nd ed.). Oxford: Oxford University Press.Google Scholar
 Pykacz, J. (2014). Can manyvalued logic help to comprehend quantum phenomena? arXiv:1408.2697.
 Reichenbach, H. (1949). The theory of probability. Berkeley, CA: University of California Press.Google Scholar
 Rescher, N. (1969). Manyvalued logic. New York: McGrawHill.Google Scholar
 Sainsbury, R. M. (1986). Degrees of belief and degrees of truth. Philosophical Papers, 15, 97–105.CrossRefGoogle Scholar
 Saunders, S. (1998). Time, quantum mechanics and probability. Synthese, 114, 373.CrossRefGoogle Scholar
 Schrödinger, E. (1996). In M. Bitbol (Ed.), The interpretation of quantum mechanics: Dublin seminars (1949–1955) and other unpublished essays. Woodbridge, CT: Ox Bow Press.Google Scholar
 Sudbery, A. (1984). The observation of decay. Annals of Physics (New York), 157, 512–536.CrossRefGoogle Scholar
 Sudbery, A. (1986). Quantum mechanics and the particles of nature. Cambridge: Cambridge University Press.Google Scholar
 Sudbery, A. (2011). The Everett–Wheeler interpretation and the open future. In G. Jaeger, A. Khrennikov, S. Schlosshauer, & G. Weihs (Eds.), Advances in quantum theory (pp. 492–497). Melville, NY: AIP.Google Scholar
 Tegmark, M. (2000). The importance of quantum decoherence in brain processes. Physical Review E, 61, 4194–4206. arXiv:quantph/9907009.
 Wallace, D. (2012). The emergent multiverse. Oxford: Oxford Unviersity Press.CrossRefGoogle Scholar
 Wheeler, J. A. (1957). Assessment of Everett’s “relative state” formulation of quantum theory. Reviews of Modern Physics, 29, 463–465.CrossRefGoogle Scholar
 Zadeh, L. A. (1975). Fuzzy logic and approximate reasoning. Synthese, 30, 407–428.CrossRefGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.