Abstract
Do the partial order and ortholattice operations of a quantum logic correspond to the logical implication and connectives of classical logic? Rephrased, How far might a classical understanding of quantum mechanics be, in principle, possible? A celebrated result of Kochen and Specker answers the above question in the negative. However, this answer is just one among various possible ones, not all negative. It is our aim to discuss the above question in terms of mappings of quantum worlds into classical ones, more specifically, in terms of embeddings of quantum logics into classical logics; depending upon the type of restrictions imposed on embeddings, the question may get negative or positive answers.
Similar content being viewed by others
REFERENCES
J. L. Bell and R. K. Clifton, Int. J. Theor. Phys. 43, 2409–2421 (1995).
J. S. Bell, Rev. Modern Phys. 38, 447–452 (1966). Reprinted in Ref. 3, pp. 1-13.
J. S. Bell, Speakable and Unspeakable in Quantum Mechanics (Cambridge University Press, Cambridge, 1987).
C. H. Bennett, Nature 371, 479–480 (1994).
G. Birkhoff and J. von Neumann, Ann. Math. 37(4), 823–843 (1936).
R. Clifton, Am. J. Phys. 61, 443–447 (1993).
R. Cooke, M. Keane, and W. Moran, Math. Proc. Cambr. Soc. 98, 117–128 (1985).
A. Dvure?enskij, S. Pulmannová, and K. Svozil, Helv. Phys. Acta 68, 407–428 (1995).
A. Einstein, B. Podolsky, and N. Rosen, Phys. Rev. 47, 777–780 (1935). Reprinted in Ref. 51, pp. 138-141.
R. P. Feynman, The Character of Physical Law (MIT Press, Cambridge, MA, 1965).
A. M. Gleason, J. Math. Mech. 6, 885–893 (1957).
D. B. Greenberger, M. Horne, and A. Zeilinger, Phys. Today 46, 22–29 (1993).
D. B. Greenberger and A. YaSin, Found. Phys. 19(6), 649–704 (1989).
S. P. Gudder, J. Math. Phys. 11, 431–436 (1970).
H. Harding, personal communication to K. Svozil, March (1998).
J. Harding, Order 8, 93–103 (1991).
H. Havlicek and K. Svozil, Math. Phys. 37(11), 5337–5341 (1996).
T. J. Herzog, P. G. Kwiat, H. Weinfurter, and A. Zeilinger, Phys. Rev. Lett. 75, 3034–3037 (1995).
M. Jammer, The Conceptual Development of Quantum Mechanics (McGraw-Hill, New York, 1966).
M. Jammer, The Philosophy of Quantum Mechanics (Wiley, New-York, 1974).
J. M. Jauch, Foundations of Quantum Mechanics, (Addison-Wesley, Reading, MA, 1968).
G. Kalmbach, Arch. Math. 28, 7–8 (1977).
G. Kalmbach, Orthomodular Lattices (Academic, New York, 1983).
G. Kalmbach, Measures and Hilbert Lattices (World Scientific, Singapore, 1985).
F. Katrnoška, Comment. Math. Univ. Carolinae 23, 489–498 (1982).
S. Kochen and E. P. Specker, J. Math. Mech. 17(1), 59–87 (1967). Reprinted in Ref. 44, pp. 235-263.
I. Lakatos, Philosophical Papers. 1. The Methodology of Scientific Research Programmes (Cambridge University Press, Cambridge, 1978).
G. W. Mackey, Am. Math. Month Suppl. 64, 45–57 (1957).
O. Q. Malhas, J. Symbol. Logic 52(3), 837–841 (1987).
O. Q. Malhas, Int. J. Theor. Phys. 31(9), 1699–1712 (1992).
R. Mayet and M. Navara, in Current Issues in Quantum Logic, G. Pilz, ed. (Teubner, Stuttgart, Wien, 1995), pp. 241–248.
N. D. Mermin, Rev. Mod. Phys. 65, 803–815 (1993).
J. R. Munkres, Topology. A First Course (Prentice-Hall, Englewood Cliffs, NJ, 1975).
A. Peres, J. Phys. A 24, L175–L178 (1991). Cf. Ref. 35, pp. 186-200.
A. Peres, Quantum Theory: Concepts and Methods (Kluwer Academic, Dordrecht, 1993).
C. Piron, Foundations of Quantum Physics (Benjamin, Reading, MA, 1976).
P. Pták and S. Pulmannová, Orthomodular Structures as Quantum Logics (Kluwer Academic, Dordrecht, 1991).
M. Redhead, Incompleteness, Nonlocality, and Realism: A Prolegomenon to the Philosophy of Quantum Mechanics (Clarendon Press, Oxford, 1990).
M. Schaller and K. Svozil, Nuovo Cimento B 109, 168–176 (1994).
M. Schaller and K. Svozil, Int. J. Theor. Phys. 34(8), 1741–1750 (1995).
M. Schaller and K. Svozil, Int. J. Theor; Phys. 35(5), 911–940 (1996).
E. Schrödinger, Naturwissenschaften 23, 807–812, 823-828, 844-849 (1935). English translation in Ref. 49 and Ref. 51, pp. 152-167.
E. Specker, Dialectica 14, 175–182 (1960). (in German). Reprinted in Ref. 44, pp. 175-182.
E. Specker, Selecta (Birkhäuser, Basel, 1990).
M. H. Stone, Trans. Am. Math. Soc. 40, 37–111 (1936).
K. Svozil, Quantum Logic (Springer, Singapore, 1998).
K. Svozil, Randomness & Undecidability in Physics (World Scientific, Singapore, 1993).
K. Svozil and J. Tkadlec, J. Math. Phys. 37(11), 5380–5401 (1996).
D. J. Trimmer, Proc. Am. Phil. Soc. 124, 323–338 (1980). Reprinted in Ref. 51, pp. 152-167.
J. A. Wheeler, in Quantum Theory and Measurement, J. A. Wheeler and W. H Zurek, eds. (Princeton University Press, Princeton, NJ, 1983), pp. 182–213. See Ref. 51.
J. A. Wheeler and W. H. Zurek, Quantum Theory and Measurement (Princeton University Press, Princeton, NJ, 1983).
N. Zierler and M. Schlessinger, Duke Math. J. 32, 251–262 (1965).
Rights and permissions
About this article
Cite this article
Calude, C.S., Hertling, P.H. & Svozil, K. Embedding Quantum Universes in Classical Ones. Foundations of Physics 29, 349–379 (1999). https://doi.org/10.1023/A:1018862730956
Issue Date:
DOI: https://doi.org/10.1023/A:1018862730956