Quantum set theory: Transfer Principle and De Morgan's Laws

Annals of Pure and Applied Logic 172 (4):102938 (2021)
  Copy   BIBTEX


In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for bounded quantifiers that satisfies De Morgan's Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's Laws.



    Upload a copy of this work     Papers currently archived: 79,898

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Transfer Principle in Quantum Set Theory.Masanao Ozawa - 2007 - Journal of Symbolic Logic 72 (2):625 - 648.
Orthomodular-valued models for quantum set theory.Masanao Ozawa - 2017 - Review of Symbolic Logic 10 (4):782-807.
Curie’s Principle and spontaneous symmetry breaking.John Earman - 2004 - International Studies in the Philosophy of Science 18 (2 & 3):173 – 198.
The Metaphysics of Free Will. [REVIEW]Randolph Clarke - 1997 - Philosophical Review 106 (3):450-453.
Introducing quantum theory.J. P. McEvoy - 1996 - Lanham, Md.: Totem Books. Edited by Oscar Zarate & Richard Appignanesi.
The Principle Underlying Quantum Mechanics.Aage Bohr, Ben R. Mottelson & Ole Ulfbeck - 2004 - Foundations of Physics 34 (3):405-417.


Added to PP

19 (#605,714)

6 months
3 (#242,508)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An axiom system for the modular logic.Jerzy Kotas - 1967 - Studia Logica 21 (1):17 - 38.
Transfer Principle in Quantum Set Theory.Masanao Ozawa - 2007 - Journal of Symbolic Logic 72 (2):625 - 648.
Material implication in orthomodular (and Boolean) lattices.Gary M. Hardegree - 1981 - Notre Dame Journal of Formal Logic 22 (2):163-182.
A bridge between q-worlds.Benjamin Eva, Masanao Ozawa & Andreas Doering - 2021 - Review of Symbolic Logic 14 (2):447-486.

View all 16 references / Add more references