Abstract
In the paper it is shown that every physically sound Birkhoff – von Neumann quantum logic, i.e., an orthomodular partially ordered set with an ordering set of probability measures can be treated as partial infinite-valued Łukasiewicz logic, which unifies two competing approaches: the many-valued, and the two-valued but non-distributive, which have co-existed in the quantum logic theory since its very beginning.
Similar content being viewed by others
References
Beltrametti, E.G., and G. Cassinelli, The Logic of Quantum Mechanics, Addison-Wesley, 1981.
Birkhoff G., von Neumann J.: ‘The logic of quantum mechanics’. Annals of Mathematics 37, 823–843 (1936)
Burmeister P., Ma̧czyński M.: ‘Orthomodular (partial) algebras and their representations’. Demonstratio Mathematica 27, 701–722 (1994)
Destouches-Février, P., ‘Logiques et theories physiques’, Congrès International de Philosophie des Sciences, Paris 1949, Herman, 1951, pp. 45–54.
Février P.: ‘Les relations d’incertitude de Heisenberg et la logique’. Comptes rendus Acad. Sci. Paris 204, 481–483 (1937)
Feynman, R.P., R.B. Leighton, andM. Sands, The Feynmann Lectures on Physics, Addison-Wesley, 1965, Vol III, p. 1–1.
Frink O.: ‘New algebras of logic’. American Mathematics Monthly 45, 210–219 (1938)
Giles R.: ‘Łukasiewicz logic and fuzzy set theory’. International Journal of Man-Machine Studies 67, 313–327 (1976)
Gonseth, F., Les entretiens de Zürich sur les fondements et la méthode des sciences mathematiques 6-9 décembre 1938, Zürich, 1941.
Husimi K.: ‘Studies on the foundations of quantum mechanics I’. Proceedings of the Physico-Mathematical Society of Japan 19, 766–789 (1937)
Jammer, M., The Philosophy of Quantum Mechanics, Wiley-Interscience, 1974.
Łukasiewicz, J., Lecture delivered at the 232nd Meeting of the Polish Philosophical Society in Lwów on October 14, 1922, published in Ruch Filozoficzny, 7:92–93, 1923 (in Polish); reprinted as: ‘A numerical interpretation of the theory of propositions’ in [13], pp. 129–130.
Łukasiewicz, J., Selected Works, ed. by L. Borkowski, North-Holland and PWN – Polish Scientific Publishers, 1970.
Łukasiewicz, J., and A. Tarski, ‘Untersuchungen über den Aussagenkalkül’, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23:39-50, 1930; reprinted as: ‘Investigations into the sentential calculus’ in [13], pp. 131–152.
Ma̧czyński M.J.: ‘The orthogonality postulate in axiomatic quantum mechanics’. International Journal of Theoretical Physics 8, 353–360 (1973)
Ma̧czyński M.J.: ‘Functional properties of quantum logics’. International Journal of Theoretical Physics 11, 149–156 (1974)
Pavičić M.: ‘Bibliography on quantum logics and related structures’. International Journal of Theoretical Physics 31, 373–461 (1992)
Peres A.: ‘Unperformed experiments have no results’. American Journal of Physics 46, 745–747 (1978)
Pták, P., and S. Pulmannová, Orthomodular Structures as Quantum Logics, Kluwer Academic Publishers, 1991.
Putnam H.: ‘Three-valued logic’. Philosophical Studies 8, 73–80 (1957)
Pykacz J.: ‘Fuzzy quantum logics and infinite-valued Łukasiewicz logic’. International Journal of Theoretical Physics 33, 1403–1416 (1994)
Pykacz, J., ‘Attempts at the logical explanation of the wave-particle duality’, in M. L. Dalla Chiara et al. (eds.), Language, Quantum, Music, Kluwer, 1999.
Pykacz J.: ‘Łukasiewicz operations in fuzzy set and many-valued representations of quantum logics’. Foundations of Physics 30, 1503–1524 (2000)
Pykacz, J., The Many-Valued Logic of Jan Łukasiewicz in the Foundations of Quantum Mechanics, Wydawnictwo Uniwersytetu Gdańskiego, 2003.
Reichenbach, H., Philosophic Foundations of Quantum Mechanics, University of California Press, 1944.
Reichenbach H.: ‘The principle of anomaly in quantum mechanics’. Dialectica 2, 337–350 (1948)
Reichenbach H.: ‘Über die erkenntnistheoretische Problemlage und den Gebrauch einer dreiwertigen Logik in der Quantenmechanik’. Zeitschrift für Naturforschung 6a, 569–575 (1951)
Reichenbach, H., ‘Les fondements logiques de la mécanique des quanta’, Annales de l’Institut Henri Poincaré, 13:109–158, 1952-1953.
von Weizsäcker C.F.: ‘Die Quantentheorie der einfachen Alternative’. Zeitschrift für Naturforschung 13a, 245–253 (1958)
Zawirski, Z., ‘Jan Łukasiewicz 3-valued logic. On the logic of L. E. J. Brouwer. Attempts at applications of many-valued logic to contemporary natural science’, Sprawozdania Poznańskiego Towarzystwa Przyjaciół Nauk, 2-4:1–8, 1931 (in Polish).
Zawirski Z.: ‘Les logiques nouvelles et le champ de leur application’. Revue de Métaphisique et de Morale 39, 503–519 (1932)
Zawirski, Z., ‘Relationship between many-valued logic and the calculus of probability’, Prace Komisji Filozoficznej Poznańskiego Towarzystwa Przyjaciół Nauk, 4:155– 240, 1934 (in Polish).
Zwicky F.: ‘On a new type of reasoning and some of its possible consequences’. Physical Review 43, 1031–1033 (1933)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pykacz, J. Unification of Two Approaches to Quantum Logic: Every Birkhoff – von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic. Stud Logica 95, 5–20 (2010). https://doi.org/10.1007/s11225-010-9252-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9252-8