The logic of the future in quantum theory

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 many-valued 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 future-tense propositions, with truth values in the interval [0, 1], and derive logical properties of these truth values given by the usual quantum-mechanical formula for the probability of a history.

[1]  H. Everett.  "Relative State" Formulation of Quantum Mechanics , 1957 .

[2]  Bryce S. DeWitt,et al.  Quantum mechanics and reality , 1970 .

[3]  Sandy L. Zabell,et al.  The Subjective and the Objective , 2011 .

[4]  Roderich Tumulka,et al.  What Is Bohmian Mechanics , 2001, Compendium of Quantum Physics.

[5]  Erwin Schrödinger.  The Interpretation of Quantum Mechanics: Dublin Seminars (1949-1955) and Other Unpublished Essays , 1995 .

[6]  T. Nagel.  The view from nowhere , 1987 .

[7]  Nuel Belnap,et al.  Branching space-time , 1992, Synthese.

[8]  A. Kolmogorov.  On Logical Foundations of Probability Theory , 1983 .

[9]  E. Sudarshan,et al.  Zeno's paradox in quantum theory , 1976 .

[10]  Simon Saunders.  Time, Quantum Mechanics, and Probability , 2004, Synthese.

[11]  Hans Reichenbach,et al.  The theory of probability , 1968 .

[12]  Richmond H. Thomason,et al.  Indeterminist time and truth‐value gaps1 , 2008 .

[13]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[14]  R. M. Sainsbury.  Degrees of Belief and Degrees of Truth , 1986 .

[15]  J. Lukasiewicz.  Logical foundations of probability theory , 1970 .

[16]  Chris J. Isham.  Deep Beauty: Topos Methods in the Foundations of Physics , 2011 .

[17]  N. Rescher.  Many Valued Logic , 1969 .

[18]  Max Tegmark,et al.  The importance of quantum decoherence in brain processes , 1999, ArXiv.

[19]  Hugh Everett,et al.  The Theory of the Universal Wave Function , 2015 .

[20]  Ernest W. Adams,et al.  A primer of probability logic , 1996 .

[21]  L. A. Zadeh,et al.  Fuzzy logic and approximate reasoning , 1975, Synthese.

[22]  Joseph Lebacqz,et al.  SUBJECTIVE AND OBJECTIVE , 1967 .

[23]  Jaroslaw Pykacz,et al.  Can Many-Valued Logic Help to Comprehend Quantum Phenomena? , 2014, 1408.2697.

[24]  D. Gillies.  Philosophical Theories of Probability , 2000 .

[25]  N. David Mermin,et al.  An introduction to QBism with an application to the locality of quantum mechanics , 2013, 1311.5253.

[26]  M. Joos,et al.  The English Verb: Form and Meanings , 1965 .

[27]  J. Wheeler.  Assessment of Everett's 'Relative State' Formulation of Quantum Theory , 1957 .

[28]  D. Wallace.  The Emergent Multiverse: Quantum Theory according to the Everett Interpretation , 2012 .

[29]  C. Isham,et al.  Classical and quantum probabilities as truth values , 2011, 1102.2213.

[30]  Diese Verdammte Quantenspringerei , 2000, quant-ph/0011082.

[31]  Dorothy Edgington,et al.  Validity, uncertainty and vagueness , 1992 .

[32]  A. Sudbery.  The Everett-Wheeler interpretation and the open future , 2010, 1009.3914.

[33]  R. Griffiths.  Consistent Quantum Theory , 2001 .

[34]  C. J. Isham,et al.  Quantum logic and the histories approach to quantum theory , 1993 .

[35]  P. Byrne.  The Many Worlds of Hugh Everett III , 2012 .

[36]  A. Sudbery.  The observation of decay , 1984 .