Review of Symbolic Logic 10 (4):782-807 (2017)

In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed that appropriate counterparts of the axioms of Zermelo–Fraenkel set theory with the axiom of choice hold in the model. In this paper, we aim at unifying Takeuti’s model with Boolean-valued models by constructing models based on general complete orthomodular lattices, and generalizing the transfer principle in Boolean-valued models, which asserts that every theorem in ZFC set theory holds in the models, to a general form holding in every orthomodular-valued model. One of the central problems in this program is the well-known arbitrariness in choosing a binary operation for implication. To clarify what properties are required to obtain the generalized transfer principle, we introduce a class of binary operations extending the implication on Boolean logic, called generalized implications, including even nonpolynomially definable operations. We study the properties of those operations in detail and show that all of them admit the generalized transfer principle. Moreover, we determine all the polynomially definable operations for which the generalized transfer principle holds. This result allows us to abandon the Sasaki arrow originally assumed for Takeuti’s model and leads to a much more flexible approach to quantum set theory.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020317000120
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,160
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.
An Axiom System for the Modular Logic.Jerzy Kotas - 1967 - Studia Logica 21 (1):17 - 38.
The Principles of Quantum Mechanics.P. A. M. Dirac - 1936 - Revue de Métaphysique et de Morale 43 (2):5-5.
Transfer Principle in Quantum Set Theory.Masanao Ozawa - 2007 - Journal of Symbolic Logic 72 (2):625 - 648.
Implication Connectives in Orthomodular Lattices.L. Herman, E. L. Marsden & R. Piziak - 1975 - Notre Dame Journal of Formal Logic 16 (3):305-328.

View all 11 references / Add more references

Citations of this work BETA

Generalized Algebra-Valued Models of Set Theory.Benedikt Löwe & Sourav Tarafder - 2015 - Review of Symbolic Logic 8 (1):192-205.
A Bridge Between Q-Worlds.Benjamin Eva, Masanao Ozawa & Andreas Doering - forthcoming - Review of Symbolic Logic:1-40.
Quantum Set Theory: Transfer Principle and De Morgan's Laws.Masanao Ozawa - 2021 - Annals of Pure and Applied Logic 172 (4):102938.

Add more citations

Similar books and articles

First-Order Frames for Orthomodular Quantum Logic.Chrysafis Hartonas - 2016 - Journal of Applied Non-Classical Logics 26 (1):69-80.
Heyting-Valued Interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Quantum Logic and Quantum Reconstruction.Allen Stairs - 2015 - Foundations of Physics 45 (10):1351-1361.
The Foundations of Probability and Quantum Mechanics.Peter Milne - 1993 - Journal of Philosophical Logic 22 (2):129 - 168.
Transfer Principle in Quantum Set Theory.Masanao Ozawa - 2007 - Journal of Symbolic Logic 72 (2):625 - 648.
Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
Many-Valued Logics in Classical and Quantum Gates.Carlos Lungarzo - 2005 - Logic Journal of the IGPL 13 (1):127-138.
Modality and Contextuality in Topos Quantum Theory.Benjamin Eva - 2016 - Studia Logica 104 (6):1099-1118.


Added to PP index

Total views
22 ( #510,523 of 2,499,361 )

Recent downloads (6 months)
1 ( #418,195 of 2,499,361 )

How can I increase my downloads?


My notes