Speakable in quantum mechanics

At the 1927 Como conference Bohr spoke the famous words “It is wrong to think that the task of physics is to find out how nature is. Physics concerns what we can say about nature.” However, if the Copenhagen interpretation really adheres to this motto, why then is there this nagging feeling of conflict when comparing it with realist interpretations? Surely what one can say about nature should in a certain sense be interpretation independent. In this paper I take Bohr’s motto seriously and develop a quantum logic that avoids assuming any form of realism as much as possible. To illustrate the non-triviality of this motto, a similar result is first derived for classical mechanics. It turns out that the logic for classical mechanics is a special case of the quantum logic thus derived. Some hints are provided as to how these logics are to be used in practical situations and finally, I discuss how some realist interpretations relate to these logics.

[1]  Cliff Hooker,et al.  The Logico-Algebraic Approach to Quantum Mechanics , 1975 .

[2]  G. Bacciagaluppi Is logic empirical , 2007 .

[3]  Allen Stairs Quantum Logic, Realism, and Value Definiteness , 1983, Philosophy of Science.

[4]  Andreas Doering,et al.  “What is a Thing?”: Topos Theory in the Foundations of Physics , 2008, 0803.0417.

[5]  J. Corbett,et al.  Collimation processes in quantum mechanics interpreted in quantum real numbers , 2009 .

[6]  Martin Heidegger,et al.  What is a thing , 1967 .

[7]  A. Kent,et al.  Simulating quantum mechanics by non-contextual hidden variables , 1999, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[8]  D. Bohm A SUGGESTED INTERPRETATION OF THE QUANTUM THEORY IN TERMS OF "HIDDEN" VARIABLES. II , 1952 .

[9]  Bob Coecke Quantum Logic in Intuitionistic Perspective , 2002, Stud Logica.

[10]  A. Zeilinger,et al.  Speakable and Unspeakable in Quantum Mechanics , 1989 .

[11]  H. Lakser,et al.  Injective Hulls of Semilattices , 1970, Canadian Mathematical Bulletin.

[12]  K. Popper Birkhoff and von Neumann's Interpretation of Quantum Mechanics , 1968, Nature.

[13]  L. Ballentine,et al.  Quantum Theory: Concepts and Methods , 1994 .

[14]  P. Frank,et al.  Boston Studies in the Philosophy of Science , 1968 .

[15]  J. Bell On the Problem of Hidden Variables in Quantum Mechanics , 1966 .

[16]  E. Specker,et al.  The Problem of Hidden Variables in Quantum Mechanics , 1967 .

[17]  A. Peres Unperformed experiments have no results , 1978 .

[18]  Hilary Putnam: The Tale of Quantum Logic , 2005 .

[19]  R. Griffiths EPR, Bell, and quantum locality , 2010, 1007.4281.

[20]  A. Shimony,et al.  Proposed Experiment to Test Local Hidden Variable Theories. , 1969 .

[21]  A. Peres The classic paradoxes of quantum theory , 1984 .

[22]  R. Leighton,et al.  Feynman Lectures on Physics , 1971 .

[23]  Bob Coecke,et al.  New Structures for Physics , 2011 .

[24]  Bas Spitters,et al.  Bohrification of operator algebras and quantum logic , 2009, Synthese.

[25]  H. Dishkant,et al.  Logic of Quantum Mechanics , 1976 .

[26]  R. Hermens The problem of contextuality and the impossibility of experimental metaphysics thereof , 2010, 1012.3052.

[27]  P. Atkins,et al.  The Logico–Algebraic Approach to Quantum Mechanics Vol 1: Historical Evolution , 1976 .

[28]  J. Neumann Mathematical Foundations of Quantum Mechanics , 1955 .

[29]  Jonathan Barrett Information processing in generalized probabilistic theories , 2005 .

[30]  Bas Spitters,et al.  Intuitionistic Quantum Logic of an n-level System , 2009, Foundations of Physics.

[31]  Christopher Isham,et al.  Lectures On Quantum Theory: Mathematical And Structural Foundations , 1995 .

[32]  D. Meyer Finite Precision Measurement Nullifies the Kochen-Specker Theorem , 1999, quant-ph/9905080.

[33]  Alexandru Baltag,et al.  Quantum logic as a dynamic logic , 2011, Synthese.

[34]  A. Kent Noncontextual Hidden Variables and Physical Measurements , 1999, quant-ph/9906006.

[35]  D. Branston The tempestuous life of the arc , 1990 .

[36]  J. Bell On the impossible pilot wave , 1982 .