Speakable in quantum mechanics

Hermens, Ronnie
October 2013
Synthese;Oct2013, Vol. 190 Issue 15, p3265
Academic Journal
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.


Related Articles

  • Contextual logic for quantum systems. Domenech, Graciela; Freytes, Hector // Journal of Mathematical Physics;Jan2005, Vol. 46 Issue 1, p012102 

    In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from considering a sheaf over a topological space associated...

  • PRIMACY OF QUANTUM LOGIC IN THE NATURAL WORLD. Larson, Cynthia Sue // Cosmos & History;2015, Vol. 11 Issue 2, p326 

    This paper presents evidence from the fields of cognitive science and quantum information theory suggesting quantum theory to be the dominant fundamental logic in the natural world, in direct challenge to the long-held assumption that quantum logic only need be considered 'in the quantum realm.'...

  • The instrumentalist aspects of quantum mechanics stem from probability theory. Vervoort, Louis // AIP Conference Proceedings;3/29/2012, Vol. 1424 Issue 1, p348 

    The aim of the article is to argue that the interpretations of quantum mechanics and of probability are much closer than usually thought. Indeed, a detailed analysis of the concept of probability (within the standard frequency interpretation of R. von Mises) reveals that this notion always...

  • Quantum logic as a dynamic logic. Baltag, Alexandru; Smets, Sonja // Synthese;Mar2011, Vol. 179 Issue 2, p285 

    We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear 'no'....

  • The dynamic turn in quantum logic. Baltag, Alexandru; Smets, Sonja // Synthese;May2012, Vol. 186 Issue 3, p753 

    In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the 'dynamic turn' in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the...

  • Bohrification of operator algebras and quantum logic. Heunen, Chris; Landsman, Nicolaas; Spitters, Bas // Synthese;May2012, Vol. 186 Issue 3, p719 

    Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by...

  • Gentzen-Type Calculi for Involutive Quantales. Kamide, Norihiro // International Journal of Theoretical Physics;Apr2005, Vol. 44 Issue 4, p399 

    Completeness and cut-elimination theorems are proved for some Gentzen-type sequent calculi which are closely related to non-commutative involutive quantales.

  • Foundation for Quantum Computing II. Selesnick, S. A. // International Journal of Theoretical Physics;Apr2007, Vol. 46 Issue 4, p984 

    In this continuation of an earlier paper we develop further the theme of quantum logical specification and derive from it some apparently physically viable instantiations of potential quantum computing devices. Specifically, in the case of a one-parameter set of terms (or labels)—read as...

  • Embedding classical logic into basic orthologic with a primitive modality. Battilotti, G // Logic Journal of the IGPL;1998, Vol. 6 Issue 3, p383 

    In the present paper we give the first proof-theoretical example of an embedding of classical logic into a quantum-like logic. This is performed in the framework of basic logic, where a proof-theoretical approach to quantum logic is convenient. We consider basic orthologic, that corresponds to a...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics