Abstract
Topos quantum theory (TQT) represents a whole new approach to the formalization of non-relativistic quantum theory. It is well known that TQT replaces the orthomodular quantum logic of the traditional Hilbert space formalism with a new intuitionistic logic that arises naturally from the topos theoretic structure of the theory. However, it is less well known that TQT also has a dual logical structure that is paraconsistent. In this paper, we investigate the relationship between these two logical structures and study the implications of this relationship for the definition of modal operators in TQT.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Döring, A., Topos-based logic for quantum systems and bi-Heyting algebras, http://arxiv.org/abs/1202.2750.
Döring, A., and C. Isham, ‘What is a Thing?’: Topos Theory in the Foundations of Physics, in B. Coecke (ed.), New Structures for Physics, Springer Lecture Notes in Physics, vol. 813, Springer, New York, 2011, pp. 753–940.
Flori C.: A First Course in Topos Quantum Theory, Lecture Notes in Physics, vol. 868. Springer, New York (2013)
Freytes H., De Ronde C., Domenech G.: Interpreting the Modal Kochen Specker Theorem: Possibility and many worlds in quantum mechanics. Studies in the History and Philosophy of Modern Physics 45, 11–18 (2014)
Herman L., Piziak R.: Modal propositional logic on an orthomodular basis. The Journal of Symbolic Logic 39(3), 478–488 (1974)
Heunen C., Landsman K., Spitters B.: A topos for algebraic quantum theory. Communications in Mathematical Physics 291(1), 63–110 (2009)
Isham, C., and J. Butterfield, A topos perspective on the Kochen–Specker theorem 1: Quantum States as Generalized Valuations, http://arxiv.org/abs/quant-ph/9803055
Reyes G., Zolfaghani H.: Bi-heyting algebras, toposes and modalities. Journal of Philosophical Logic 25(1), 25–43 (1996)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Eva, B. Modality and Contextuality in Topos Quantum Theory. Stud Logica 104, 1099–1118 (2016). https://doi.org/10.1007/s11225-016-9668-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9668-x