The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical quantities, and provides a material implication that is lacking from standard quantum logic. Importantly, topos quantum logic comes with a clear geometrical underpinning. The representation of pure states and truth-value assignments are discussed. It is briefly shown how mixed states fit into this approach.
The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical quantities, and provides a material implication that is lacking from standard quantum logic. Importantly, topos quantum logic comes with a clear geometrical underpinning. The representation of pure states and truth-value assignments are discussed. It is briefly shown how mixed states fit into this approach.
Topos theory has been suggested by Döring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular, it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include temporally ordered collections of propositions as opposed to single-time propositions. That is to say, we have developed a quantum history formalism in the language of topos theory where truth values can be assigned to temporal propositions. We analyze the extent to which such truth values can be derived from the truth values of the constituent, single-time propositions.
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos
T(A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra
A . According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum
Σ(A) in
T(A) , which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on
Σ , and self-adjoint elements of A define continuous functions (more precisely, locale maps) from
Σ to Scott’s interval domain. Noting that open subsets of
Σ(A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos
T(A) .These results were inspired by the topos-theoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.
This paper introduces the Quantum Contextual Topos (QCT), a novel framework that extends traditional quantum logic by embedding contextual elements within a topos-theoretic structure. This framework seeks to provide a classically-obedient tool for exploring the logical foundations of quantum mechanics. The QCT framework aims to address the limitations of classical quantum logic, particularly its challenges in capturing the dynamic and contextual nature of quantum phenomena. By integrating modal operators and classical propositional logic within a topos structure, the QCT offers a unified approach to modeling quantum systems. The main result of this work is demonstrating that the internal logic of QCT corresponds to a form of classical propositional polymodal logic. We do this by generalizing Stone's Representation Theorem for a specific case of polymodal algebras and their underlying Stone Spaces.
Topos theory has been suggested by Döring and Isham as an alternative mathematical structure with which to formulate, in general, physical theories. However, the motivation for using it to express quantum theory, lies in the desire to solve certain interpretational problems inherent in the standard formulation of the theory. In fact, the topos approach to quantum theory overcomes the instrumentalist–Copenhagen interpretation, rendering the theory more realist. The caveat is that one ends up with a multivalued–intuitionistic logic, rather than a Boolean logic.