Classical Logic in the Quantum Context

It is generally accepted that quantum mechanics entails a revision of the classical propositional calculus as a consequence of its physical content. However, the universal claim according to which a new quantum logic is indispensable in order to model the propositions of every quantum theory is challenged. In the present essay we critically discuss this claim by showing that classical logic can be rehabilitated in a quantum context by taking into account Bohmian mechanics. It will be argued, indeed, that such a theoretical framework provides the necessary conceptual tools to reintroduce a classical logic of experimental propositions in virtue of its clear metaphysical picture and its theory of measurement. More precisely, it will be showed that the rehabilitation of a classical propositional calculus is a consequence of the primitive ontology of the theory, a fact which is not yet sufficiently recognized in the literature concerning Bohmian mechanics. This work aims to fill this gap.

[1]  Karl Svozil,et al.  Quantum Logic , 1998, Discrete mathematics and theoretical computer science.

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

[3]  Dov M. Gabbay,et al.  Handbook of Quantum logic and Quantum Structures , 2007 .

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

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

[6]  Edmund Taylor Whittaker Philosophic Foundations of Quantum Mechanics , 1946, Nature.

[7]  W. Quine Main trends in recent philosophy: two dogmas of empiricism. , 1951 .

[8]  V. Allori Primitive Ontology and the Structure of Fundamental Physical Theories , 2013 .

[9]  F. David The Formalisms of Quantum Mechanics: An Introduction , 2014 .

[10]  Stefan Teufel,et al.  Bohmian Mechanics: The Physics and Mathematics of Quantum Theory , 2009 .

[11]  C. Rovelli,et al.  Relational Quantum Mechanics , 2006 .

[12]  Enrico G. Beltrametti,et al.  Quantum Logic and Quantum Probability , 2004 .

[13]  J. Bricmont Making Sense of Quantum Mechanics , 2016 .

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

[15]  Michael Esfeld,et al.  The primitive ontology of quantum physics: guidelines for an assessment of the proposals , 2014, 1406.0732.

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

[17]  THE DE BROGLIE-BOHM THEORY AS A RATIONAL COMPLETION OF QUANTUM MECHANICS , 2018 .

[18]  Paul Weingartner,et al.  Alternative logics : do sciences need them? , 2004 .

[19]  E. Villaseñor Introduction to Quantum Mechanics , 2008, Nature.

[20]  Michael Esfeld,et al.  Observables and Unobservables in Quantum Mechanics: How the No-Hidden-Variables Theorems Support the Bohmian Particle Ontology , 2018, Entropy.

[21]  John L. Bell,et al.  Logic, Quantum Logic and Empiricism , 1982, Philosophy of Science.

[22]  T. Maudlin Why Bohm's Theory Solves the Measurement Problem , 1995, Philosophy of Science.

[23]  D. Finkelstein SECTION OF PHYSICAL SCIENCES: THE LOGIC OF QUANTUM PHYSICS* , 1963 .

[24]  Sheldon Goldstein,et al.  Quantum physics without quantum philosophy , 1995 .

[25]  O. Passon No-Collapse Interpretations of Quantum Theory , 2018 .

[26]  P. Holland,et al.  The Quantum Theory of Motion: An Account of the de Broglie-Bohm Causal Interpretation of Quantum Mechanics , 1993 .

[27]  GianCarlo Ghirardi,et al.  Dynamical reduction models , 2003 .

[28]  Mario Hubert,et al.  The wave-function as a multi-field , 2017, 1710.03260.

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

[30]  Are all particles identical , 2004, quant-ph/0405039.

[31]  Masanori Ohya,et al.  Quantum information and computing , 2006 .

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

[33]  Max Jammer,et al.  The philosophy of quantum mechanics : the interpretations of quantum mechanics in historical perspective , 1974 .

[34]  G. Jaeger,et al.  Entanglement, Information, and the Interpretation of Quantum Mechanics , 2010 .

[35]  J. J. Sakurai,et al.  Modern Quantum Mechanics , 1986 .

[36]  J. Bell,et al.  Speakable and Unspeakable in Quatum Mechanics , 1988 .

[37]  Sheldon Goldstein,et al.  Quantum Equilibrium and the Role of Operators as Observables in Quantum Theory , 2003, quant-ph/0308038.

[38]  Simon Kochen,et al.  Logical Structures Arising in Quantum Theory , 1990 .

[39]  S. Goldstein,et al.  The Quantum Formalism and the GRW Formalism , 2007, 0710.0885.

[40]  T. Maudlin Three measurement problems , 1995 .

[41]  W. Quine The two dogmas of empiricism , 1951 .

[42]  M. Esfeld,et al.  The British Journal for the Philosophy of Science , 1957, Nature.

[43]  Are all particles real , 2004, quant-ph/0404134.

[44]  George W. Mackey,et al.  Quantum Mechanics and Hilbert Space , 1957 .