A Bridge Between Q-Worlds

Andreas Döring; Benjamin Eva; Masanao Ozawa

doi:10.1017/S1755020319000492

Döring, Andreas;Eva, Benjamin;Ozawa, Masanao

2018-12-18 00:00:00

Quantum set theory (QST) and topos quantum theory (TQT) are two long running projects in the mathematical foundations of quantum mechanics that share a great deal of conceptual and technical afﬁnity. Most pertinently, both approaches attempt to resolve some of the con- ceptual difﬁculties surrounding quantum mechanics by reformulating parts of the theory in- side of non-classical mathematical universes, albeit with very different internal logics. We call such mathematical universes, together with those mathematical and logical structures within them that are pertinent to the physical interpretation, ‘Q-worlds’. Here, we provide a unifying framework that allows us to (i) better understand the relationship between different Q-worlds, and (ii) deﬁne a general method for transferring concepts and results between TQT and QST, thereby signiﬁcantly increasing the expressive power of both approaches. Along the way, we develop a novel connection to paraconsistent logic and introduce a new class of structures that have signiﬁcant implications for recent work on paraconsistent set theory. 1 Introduction The idea that the conceptually and philosophically challenging aspects of quantum mechanics (QM) can be understood and even resolved via the adoption of some suitably non-classical logic has been an inﬂuential one. In particular, Birkhoff and von Neumann’s [3] contention that the distributive law is not generally applicable to the description of quantum systems led to the emergence of quantum logic as an important research program in logic, quantum foundations and the philosophy of science. One possibility created by the logical perspective on QM is to construct non-classical math- ematical universes (i.e. models of set theory, toposes, etc.) whose internal logic is non-classical and suitably ‘quantum’, and inside of which one can reformulate parts of the theory in a novel and illuminating way. We will call such a mathematical universe, together with those internal logical and mathematical structures that are relevant for the quantum physical interpretation, a ‘Q-world’. The ﬁrst example of such Q-worlds arose from a result of Takeuti [34], who showed that for any quantum system, there exists a set theoretic universe whose real numbers are in bi- jective correspondence with the physical quantities associated with that system. These models were subsequently generalised by Ozawa and others (see e.g. Ozawa [27, 29, 30], Titani [35], Ying [38]) to set-theoretic structures with non-distributive internal logics. The study of these For discussions of the philosophical aspects of quantum logic, see e.g. Putnam [24], Dummett [9], Gibbins [12]. Based on the quantum logic associated with that system. arXiv:1812.08604v2 [quant-ph] 22 May 2020 structures has come to be known as ‘quantum set theory’ (QST). The fact that the real num- bers in those structures are in bijective correspondence with the set of all physical quantities associated with the given quantum system allows one to reformulate the physics of the system in the internal language of the structures. The second example, ﬁrst studied by Isham [16], is given by the topos-theoretic reformu- lation of quantum mechanics. The relevant foundational result here is the reformulation of the Kochen-Specker theorem as a result about the non-existence of global sections of the ‘spectral presheaf’ of a quantum system (see e.g. Isham and Butterﬁeld [17]). Building on this result, the topos-theoretic approach progresses to reformulate quantum mechanics inside of a partic- ular type of presheaf topos. Unlike the Q-worlds studied by Takeuti, Ozawa and others, these ‘quantum toposes’ have a distributive, intuitionistic internal logic. For some of the literature studying the technical and conceptual implications of reformulating standard Hilbert space quantum mechanics in the topos-theoretic setting, see e.g. Isham and Butterﬁeld [17], Do¨ring and Isham [8], Do¨ring [7], and references therein. We will call this approach ‘topos quantum theory’ (TQT for short). Until now, the tantalising prospect of unifying these two (kinds of) Q-worlds, non-distributive set theoretic QST and distributive topos-theoretic TQT, within a single formal setting has gone almost completely unexplored (the prospect was ﬁrst tentatively suggested by Eva [10]). In the present article we develop such a generalised framework and present a number of results that connect QST and TQT. Quite unexpectedly, the bridge between the Q-worlds of TQT and those of QST turns out to be via paraconsistent set theory. The article is structured as follows. Section 2 recalls some basic ideas from non-distributive quantum logic. In section 3 we provide a concise introduction to algebraic valued models of set theory in general, and to QST in particular, summarising the key results of the approach. In section 4 we outline the key ideas of the topos-theoretic reformulation of quantum mechan- ics, focusing especially on the approach’s distributive logical structure. Section 5 contains the ﬁrst original contributions of the paper. In particular, we show that embedding standard non- distributive quantum logic into the intuitionistic logic of TQT naturally results in a novel form of paraconsistent quantum logic. After proving a number of new results about the relationship between these different forms of quantum logic, we go on deﬁne a new class of paraconsis- tent Q-worlds in section 6.1. We then prove transfer theorems that guarantee the satisfaction of large fragments of classical mathematics inside of these Q-worlds, thereby making an im- portant contribution to the study of inconsistent mathematics and paraconsistent set theory. Section 6 shows how these new Q-worlds can be seen as a bridge between the Q-worlds of TQT and QST, and uses them to transfer a number of results between the two settings. Section 7 concludes. 2 Orthomodular Quantum Logic The logical structure of classical physics can be summarised in the following way. To any classical physical system S we can associate a corresponding space S of possible physical states of S. A ‘physical proposition’ pertaining to S is a statement of the form “the value of the physical quantity A for S lies in the Borel set δ ⊆ R”. Physical propositions of this . . . at least for us, at the beginning of our explorations... As studied, for example, by Weber [36, 37], McKubre-Jordens and Weber [37]. For instance, the sentences “the momentum of the system S is between 0 and 1 (in suitable units)” and “the velocity of S is less than 5” are examples of physical propositions pertaining to S. 2 form are in bijective correspondence (modulo logical equivalence) with measurable subsets of the state space S. In particular, each physical proposition corresponds to the set of all states that make that proposition true, which is measurable (and any measurable set of states deﬁnes a corresponding physical proposition). Since the measurable subsets of S form a complete Boolean algebra under the usual set theoretic operations (modulo sets of Lebesgue measure 0), we can conclude that the logic governing the physical propositions associated with a classical system S is classical. The situation is very different in QM. Given a quantum system S, the space of states is always assumed to be a Hilbert space H, and physical quantities (e.g. angular momentum, po- sition, mass etc.) are represented not as real valued functions on H, but rather as self-adjoint operators on H. The spectral theorem for self-adjoint operators tells us that physical propo- sitions (statements about the values of physical quantities) are in bijective correspondence up to logical equivalence with the closed subspaces of H or, equivalently, with projection oper- ators onto the closed subspaces of H. Thus the logical structure of the physical propositions associated with a quantum system is given by the lattice of projection operators on the corre- sponding Hilbert space. But since closed subspaces are not closed under unions, this is not a simple subset algebra. In particular, although we can take the meet of two subspaces to be the intersection, we need to deﬁne the join of two subspaces as the closed linear sum, not the union. And as Birkhoff and von Neumann pointed out [3], these two operations do not satisfy the distributive laws, i.e. a ∨ (b ∧ b) = (a ∨ b) ∧ (a ∨ c), a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c), are not guaranteed to hold where a, b, c are subspaces of a Hilbert space H and ∧,∨ are the lattice operations given by intersection and closed linear sum, respectively. So, in the standard Hilbert space formulation of QM, the logic governing the physical propositions associated with a quantum system is non-distributive. Given the central role played by the distributive law in classical and intuitionistic logic, this suggests a radically non-classical form of quantum logic. The strongest analogue of distributivity that is generally satisﬁed by the algebra of projec- tions on a Hilbert space is known as the orthomodular law. Before stating the law, note that the lattice P(H) of projections on a Hilbert space H also comes equipped with a canonical orthocomplementation operation : P(H) → P(H) that takes each subspace to its orthog- onal complement. This orthocomplementation operation is fully classical in the sense that it satisﬁes excluded middle (i.e. a ∨ a = ⊤, where ⊤ is the identity operator, the projection onto the whole of Hilbert space, and hence the top element of P(H)) and non-contradiction ⊥ 7 (i.e. a∧a = ⊥, where ⊥ is the zero projection onto the null subspace, and hence the bottom ⊥ ⊥ element in P(H)), and is an involution (i.e. a ≤ b implies a ≥ b ). Deﬁnition 2.1. An orthocomplemented lattice L is called orthomodular if and only if for any a, b ∈ L, a ≤ b implies that there exists a Boolean sublattice B ⊆ L such that a, b ∈ B. An We use ‘meet’ and ‘join’ to refer to the lattice-theoretic operations of greatest lower bound and least upper bound, respectively. Throughout the paper, we will use ⊤ and ⊥ to denote the maximal and minimal elements of the relevant lat- tice/algebra, respectively. We trust that the context will make it clear which algebra ⊤ and ⊥ inhabit. We also trust that no confusion will arise between (the notation for) the bottom element and the orthocomplementation operation. Note that this deﬁnition is equivalent to the more common, but less instructive algebraic deﬁnition, which says that a ≤ b implies a = a ∨ (b ∧ a) in an OML. 3 orthomodular lattice L is called complete if meets and joins of arbitrary families of elements in L exist. It is a basic result that the projection operators on a Hilbert space always form a complete orthomodular lattice (complete OML). Thus, quantum logic is standardly characterised as the study of logical systems whose algebraic semantics are given by complete OML’s. However, a number of new technical and conceptual difﬁculties arise once one moves to a non-distributive setting. One issue that will be important for our purposes concerns the deﬁnition of a canonical implication operation. It is well known that any distributive lattice uniquely deﬁnes a corre- sponding implication operation. But once we surrender distributivity, the choice of implication operation is no longer obvious. Hardegree [13] identiﬁes three ‘quantum material’ implication connectives characterized by the minimal implicative criteria for any orthomodular lattice. Deﬁnition 2.2. The quantum material implication connectives on an orthomodular lattice are the following: (1) (Sasaki conditional) a → b = a ∨ (a ∧ b). ⊥ ⊥ (2) (Contrapositive Sasaki conditional) a → b = b → a . C S (3) (Relevance conditional) a → b = (a → b) ∧ (a → b). R S C Hardegree [13] proved that these are the only three orthomodular polynomial connectives → satisfying the minimal implicative criteria: (1) modus ponens and modus tollens and (2) reﬂecting and preserving order, i.e. a ≤ b if and only if a → b = ⊤. 3 QST: The Basics We turn now to providing a concise introduction to QST. Firstly, we need to recall some facts about algebraic valued models of set theory. 3.1 Boolean Valued Models Boolean valued models of set theory were originally developed in the 1960’s by Scott, Solovay and Vopenka, as a way of providing a novel perspective on the independence proofs of Paul Cohen. Intuitively, they can be thought of as generalizations of the usual universe V (the ‘ground model’) of classical set theory (ZFC). To see this, assume, by recursion, that for any set x in the ground model V of ZFC, there exists a unique corresponding characteristic function f such that x ⊆ dom(f ) and ∀y ∈ x x dom(f )((f (y) = 1 ↔ y ∈ x) ∧ (f (y) = 0 ↔ y ∈/ x)). This assignment allows us to think x x x of V as a class of two-valued functions from itself into the two valued Boolean algebra 2 = {0, 1}. This can all be done rigorously with the following deﬁnition, by transﬁnite recursion on α: (2) (2) V = {x : func(x) ∧ ran(x) ⊆ 2 ∧ ∃ξ < α(dom(x) ⊆ V )}. Then, we collect each stage of the hierarchy into a single universe by deﬁning the class term (2) (2) V = V . For a complete survey of the approach, see Bell [1]. 4 (2) This allows us to give the following intuitive characterisation of elements of V : (2) (2) x ∈ V iff func(x) ∧ ran(x) ⊆ 2 ∧ dom(x) ⊆ V . So far, we have simply taken the usual ground model of ZFC and built an equivalent re- formalisation of it with no apparent practical purpose. However, we are now in a position to ask another interesting question. What happens if, rather than considering functions into the two-element Boolean algebra, 2, we generalise and consider functions whose range is in- cluded in an arbitrary but ﬁxed complete Boolean algebra (CBA), B? In this case, we obtain the following deﬁnition. Deﬁnition 3.1. Given a CBA B, the Boolean valued model generated by B is the structure (B) (B) V = V , where (B) (B) V = {x : func(x) ∧ ran(x) ⊆ B ∧ ∃ξ < α(dom(x) ⊆ V )}. Now, the natural question to ask here is whether or not these generalised Boolean valued models still provide us with a model of ZFC, and if so, whether the model we obtain in this way has properties that differ from those of the ground model. But we are not yet in a position to provide a sensible answer to that question. For, we do not yet have access to a clear description (B) of what it means for a sentence φ of the language of set theory to hold or fail to hold in V for an arbitrary ﬁxed CBA B. So, our immediate task is to deﬁne a suitable satisfaction relation (B) 10 for formulae of the language in V . We do this by assigning to each sentence φ of the B 11 language an element kφk of B, called the ‘Boolean truth value’ of φ. We proceed via induction on the complexity of formulae. Suppose that Boolean truth values have already been assigned to all atomic B-sentences (B) (sentences of the form u = v, u ∈ v, for u, v ∈ V ). Then, for B-sentences φ and ψ, we set (i) kφ ∧ ψk = kφk ∧ kψk (ii) kφ ∨ ψk = kφk ∨ kψk (iii) k¬φk = ¬kφk (iv) kφ → ψk = kφk ⇒ kψk where ¬ and ⇒ represent the complementation and implication operations of B. If φ(x) is a (B) B-formula with one free variable x such that kφ(u)k has already been deﬁned for all u ∈ V , we deﬁne (v) k∀xφ(x)k = kφ(u)k (B) u∈V (vi) k∃xφ(x)k = kφ(u)k (B) u∈V (B) We also deﬁne ‘bounded’ quantiﬁers ∃x ∈ v and ∀x ∈ v for every v ∈ V as 10 (B) Of course, we augment the language L of ZFC by adding names for the elements of V . We call formulae and sentences in this language ‘B-formulae’ and ‘B-sentences’, respectively. 11 B We omit the superscript from kφk when the CBA B is clear from context. 5 ^ (vii) k∀x ∈ v φ(x)k = (v(u) ⇒ kφ(u)k) u∈dom(v) (viii) k∃x ∈ v φ(x)k = (v(u) ∧ kφ(u)k) u∈dom(v) So it only remains to deﬁne Boolean truth values for atomic B-sentences. For technical reasons, it turns out that the following simultaneous deﬁnition is best. (ix) ku = vk = k∀x ∈ u (x ∈ v)k ∧ k∀y ∈ v (y ∈ u)k (x) ku ∈ vk = k∃y ∈ v (u = y)k We have now deﬁned Boolean truth values for all B-sentences. We say that a B-sentence (B) σ ‘holds’, ‘is true’, or ‘is satisﬁed’ in V if and only if kσk = ⊤. In this case, we write (B) (B) V |= σ. This is our satisfaction relation. We are now able to ask whether or not V is a model of ZFC. All we have to do is take each axiom and check to see if its Boolean truth value is ⊤. The basic theorem of Boolean valued set theory is that this is indeed the case. All the (B) axioms of ZFC hold in V , regardless of which CBA you choose as your truth value set B. However, although all CBA’s agree on the truth of the axioms of ZFC, they do not generally agree on the truth of all set theoretic sentences. This is what makes Boolean valued models useful for independence proofs. For example, there are certain choices of B that will make (B) (B) V a model of the continuum hypothesis (CH), and certain choices that will make V a model of ¬CH, which demonstrates the independence of CH from the standard axioms of ZFC. (B) The following embedding of V into V (for arbitrary but ﬁxed B) will play an important role in later sections. (B) ˆ: V → V , x 7→ xˆ, where xˆ = {hyˆ,⊤i | y ∈ x}, i.e. dom(xˆ) = {yˆ | y ∈ x} and xˆ assigns the value ⊤ to every element of its domain. It is easily shown that this embedding satisﬁes the following properties: x ∈ y iff kxˆ ∈ yˆk = ⊤, x ∈/ y iff kxˆ ∈ yˆk = ⊥. x = y iff kxˆ = yˆk = ⊤, x = y iff kxˆ = yˆk = ⊥. These properties allow us to establish the following useful results [1, Theorem 1.23, Prob- lem 1.24]: (1) Given a Δ -formula φ with n free variables, and x , ..., x ∈ V , φ(x , ..., x ) ↔ 0 1 n 1 n (B) V |= φ(xˆ , ..., xˆ ). 1 n For details and a proof, see chapter 1 of Bell [1]. See chapter 1 of Bell [1]. Where Δ -formulae contain only restricted quantiﬁers and Σ -formulae contain no unrestricted universal quanti- 0 1 ﬁers. For details, see chapter 13 of Jech [18]. 6 (2) Given a Σ -formula φ with n free variables, and x , ..., x ∈ V , φ(x , ..., x ) → 1 1 n 1 n (B) V |= φ(xˆ , ..., xˆ ). 1 n (B) Since V is a full model of ZFC, it is possible to construct representations of all the usual (B) objects of classical mathematics inside of V . For now, we will be concerned with the real numbers. Speciﬁcally, note that the formula deﬁning the predicate R(x) (‘x is a Dedekind real number’ or more precisely ‘x is an upper segment of a Dedekind cut of the rational numbers without endpoint’ ) is the following. ˆ ˆ ˆ R(x) := ∀y ∈ x(y ∈ Q)∧∃y ∈ Q(y ∈ x) ∧ ∃y ∈ Q(y ∈/ x)∧ ˆ ˆ ∀y ∈ Q(y ∈ x ↔ ∃z ∈ Q(z < y ∧ z ∈ x)), where z < y is shorthand for the formula (z, y) ∈ R, where R is the ordering on Q, i.e. (z, y) ∈ R if and only if z ∈ Q, y ∈ Q, and z < y. Since this is a Δ -formula, we (B) know that for any x ∈ V , V |= R(xˆ) ↔ x ∈ R. We can use the following deﬁnition to (B) construct ‘the set of all real numbers in V ’. (B) (B) Deﬁnition 3.2. Deﬁne R ⊂ V by (B) (B) R = {u ∈ V | dom(u) = dom(Q) ∧ kR(u)k = ⊤}. (B) (B) Note that R is actually not an element of the model V . However, we can easily (B) (B) represent R inside of V in the following way. (B) Deﬁnition 3.3. Deﬁne R ∈ V by (B) R = R × {⊤}. (B) Think of R as the ‘internal representation’ of the real numbers in the model V . 3.2 Boolean Valued Models Generated by Projection Algebras Returning to the quantum setting, suppose that we are considering a quantum system repre- sented by a ﬁxed Hilbert space H with a corresponding orthomodular lattice of projection operators P(H). Then, we can choose a complete Boolean subalgebra B of P(H) and build (B) the associated Boolean valued model V in the usual way. The following theorem (due to Takeuti [33]) is the basic founding result of QST. Theorem 3.1. If B is a complete Boolean subalgebra of the lattice P(H) of projections on a (B) (B) given Hilbert space H, then the set R of all real numbers in the corresponding model V is isomorphic to the set SA(B) of all self-adjoint operators on H whose spectral projections all lie in B. Intuitively, a Boolean subalgebra B ⊆ P(H) corresponds to a set of commuting observ- ables for the relevant quantum system. Commutativity ensures that it is always, in principle, possible to measure these observables at the same time. Thus, any such subalgebra can be thought of as a classical measurement context or a classical perspective on the quantum sys- tem. If we think only about the physical propositions included in B, we can reason classically Of course, B can contain eigenprojections for non-commuting operators, but then the idea is that these operators can be simultaneously measured, to the degree of accuracy determined by the uncertainty relations [26]. 7 without running into any strange quantum paradoxes. It is only when we try to extend the algebra to include non-commuting projections that things start to go wrong. Theorem 3.1 tells us that, to each classical measurement context B, there corresponds a set-theoretic universe in which the real numbers are isomorphic to the algebra of physical quantities that we can talk about in that measurement context. This is a deep and enticing result that suggests the possibility of ﬁnding mathematical universes whose internal structures are uniquely well suited to describing the physics of speciﬁc quantum systems. Towards this end, it is natural to ask whether one can ﬁnd a model M such that the real numbers in M are isomorphic not just to the set SA(B) of self-adjoint operators whose spectral projections lie in a Boolean subalgebra B, but rather to the whole set SA(H) of all self-adjoint operators on the Hilbert space H associated with a given system. Such a model would truly encode the physics of the given system in a complete and robust manner. 3.3 Orthomodular Valued Models In order to obtain the desired extension of theorem 3.1, it is natural to embed the individ- (B) (P(H)) ual Boolean valued models V (B ⊆ P(H)) within the larger structure V . This is the strategy introduced by Takeuti [34] and subsequently studied by Ozawa (see e.g. Ozawa [27–30]), Titani ( [35]) and others. But of course, since P(H) is a non-distributive lattice, (P(H)) V will not be a full model of any well known set theory. However, Ozawa [27] proved a theorem transfer principle that guarantees the satisfaction of signiﬁcant fragments of classical (P(H)) mathematics within V . We turn now to outlining this useful result. First, we need some basic deﬁnitions. (P(H)) (B) The structure V is deﬁned in a manner parallel with the Boolean-valued model V . For the later discussions, here we shall give a formal deﬁnition for a lattice-valued model; see Titani [35] for a similar approach. (L) (L) (L) Let L be a complete lattice. The L-valued model V is the structure V = V , where (L) (L) V = {x : func(x) ∧ ran(x) ⊆ L ∧ ∃ξ < α(dom(x) ⊆ V )}. α ξ (L) (L) For every u ∈ V , the rank of u is deﬁned as the least α such that u ∈ V . It is easy to see α+1 that if u ∈ dom(v) then rank(u) < rank(v). Deﬁnition 3.4. Let (L,⇒,∗) be a triple consisting of a complete lattice L with a binary operation ⇒ (implication) and a unary operation ∗ (negation). For any sentence φ of the (L) language of set theory augmented by the names of elements of V we deﬁne the L-valued truth value kφk, called the (L,⇒,∗)-interpretation of φ, by the following rules recursive on (L) the rank of elements of V and the complexity of formulas. 8 ⊸ (i) kφ ∧ φ k = kφ k ∧ kφ k. 1 2 1 2 (ii) kφ ∨ φ k = kφ k ∨ kφ k. 1 2 1 2 (iii) k¬φk = kφk . (iv) kφ → φ k = kφ k ⇒ kφ k. 1 2 1 2 (v) kφ ↔ φ k = (kφ k ⇒ kφ k) ∧ (kφ k ⇒ kφ k). 1 2 1 2 2 1 (vi) k∀xφ(x)k = kφ(u )k. ′ (L) u ∈V (vii) k∃xφ(x)k = kφ(u )k. ′ (L) u ∈V ′ ′ (viii) k∀x ∈ u φ(x)k = u(u ) ⇒ kφ(u )k. u ∈dom(u) ′ ′ (ix) k∃x ∈ u φ(x)k = u(u ) ∧ kφ(u )k. u ∈dom(u) ′ ′ ′ ′ (x) kx = yk = k∀x ∈ x(x ∈ y)k ∧ k∀y ∈ y(y ∈ x)k. ′ ′ (xi) kx ∈ yk = k∃y ∈ y (x = y )k. (L) We write V |= φ if kφk = ⊤. Combining (vii)–(x) in the above deﬁnition, we obtain ^ ^ ′ ′ ′ ′ (xii) kx = yk = x(x ) ⇒ kx ∈ yk ∧ y(y ) ⇒ ky ∈ xk. ′ ′ x ∈dom(x) y ∈dom(y) ′ ′ (xiii) kx ∈ yk = y(y ) ∧ ky = xk. y ∈dom(y) In the case where L = P(H), we shall consider the three implications → , → , and → , S C R introduced in deﬁnition 2.2, and one negation ∗ =⊥. Deﬁnition 3.5. Given a, b ∈ P(H), we say that a and b commute, or a b, if a = (a ∧ b) ∨ (a ∧ b ). Deﬁnition 3.5 provides a lattice theoretic generalisation of the notion of commuting oper- ators. Deﬁnition 3.6. Given an arbitrary subset A ⊆ P(H), let A = {a ∈ P(H) | a b for all b ∈ A}. We call A the commutant of A since it consists of all the elements of P(H) that commute with everything in A. Deﬁnition 3.7. Given an arbitrary subset A ⊆ P(H), let ∐(A) = {a ∈ A | (b ∧ a) (b ∧ a) for all b , b ∈ A}. 1 2 1 2 (P(H)) Deﬁnition 3.8. Given u ∈ V , deﬁne the support of u, L(u), by the following transﬁnite recursion. L(u) = L(x) ∪ {u(x) | x ∈ dom(u)}. x∈dom(u) 9 S (P(H)) For any A ⊆ V , we will write L(A) for L(u), and for any u , ..., u ∈ 1 n u∈A (P(H)) V , we write L(u , ..., u ) for L({u , ..., u }). 1 n 1 n (P(H)) Deﬁnition 3.9. Given A ⊆ V , deﬁne ∨(A), the commutator of A, by ∨(A) = ∐(L(A)). Intuitively, ∨(u , ..., u ) measures the extent to which the orthomodular-valued sets 1 n (P(H)) u , ..., u ∈ V ‘commute’ with each other. It is a generalisation of the usual op- 1 n erator theoretic notion of a commutator to the set theoretic setting [27, Theorem 5.4]. If (P(H)) ∨(u , ..., u ) = 1, elements u , ..., u ∈ V perfectly ‘commute’ with each other, and 1 n 1 n there exists a complete Boolean subalgebra B of P(H) such that L(u , ..., u ) ⊆ B and 1 n (B) u , . . . , u ∈ V [30, Proposition 5.1]. 1 n Before stating Ozawa’s [27,30] ‘ZFC transfer principle’, we need to note an important sub- tlety that arises when one studies orthomodular valued models. Recall deﬁnition 2.2, according to which any orthomodular lattice comes equipped with at least three equally plausible impli- cation connectives. When we were deﬁning the semantics for Boolean valued models, the truth values of conditional sentences were always uniquely determined because of the existence of a single canonical Boolean implication connective. But when we deﬁne the set-theoretic seman- (P(H)) tics for V , it is always necessary to specify a particular choice of implication. We denote the Sasaki, contrapositive and relevance implications by ⇒ where j ∈ {S, C, R}. Similarly, (P(H)) when we want to specify the implication connective used to deﬁne the semantics on V , we write kφk to denote the truth values of sentences under that semantics. (P(H)) Theorem 3.2. For any Δ -formula φ(x , ..., x ) and any u , ..., u ∈ V , if 0 1 n 1 n φ(x , ..., x ) is provable in ZFC then 1 n ∨(u , ..., u ) ≤ kφ(u , ..., u )k 1 n 1 n j for j = S, C, R. Theorem 3.2 allows us to recover large fragments of classical mathematics within ‘commu- (P(H)) tative regions’ of V (and also limits the non-classicality of ‘non-commutative regions’). (P(H)) Although V is certainly not a full model of ZFC, theorem 3.2 will allow us to model (P(H)) signiﬁcant parts of classical mathematics within V . Speciﬁcally, if ∨(u , ..., u ) = 1, 1 n (B) there exists a complete Boolean subalgebra B of P(H) such that u , ..., u ∈ V and that 1 n kφ(u , ..., u )k = 1 for any Δ -formula φ(x , ..., x ) provable in ZFC. It is also important to 1 n j 0 1 n note that the proof of theorem 3.2 is independent of our choice of quantum material implication connective on P(H) [30]. Just as we used deﬁnitions 3.2 and 3.3 to construct the real numbers for Boolean valued (P(H)) models, it is possible to construct R , R in the same way. Using theorem 3.2, Ozawa P(H) [27–29] proves a number of useful results characterising the behaviour of R . In particular, P(H) (P(H)) note here that for any u, v ∈ R we have ku = vk = ⊤ if and only if u = v, i.e. u(rˆ) = v(rˆ) for all r ∈ Q. (P(H)) Recall that the purpose of studying the structure V was to establish a bijection be- (P(H)) tween R and the set SA(H) of all self-adjoint operators on H [27, 29, 33, 34]. (P(H)) Theorem 3.3. Given a Hilbert space H, there exists a bijection between SA(H) and R . 10 Recall that, by the spectral theorem for self-adjoint operators, to any self-adjoint opera- tor X ∈ SA(H), there corresponds a unique left-continuous family of spectral projections {E |λ ∈ R} ⊆ P (H) satisfying the following properties. W V W X X X X (i) E = ⊤. (ii) E = ⊥. (iii) E = E . λ λ λ λ∈R λ∈R μ∈R:μ<λ +∞ (iv) λ d(ξ, E ψ) = (ξ, Xψ) for all ξ ∈ H −∞ +∞ 2 X 2 and ψ ∈ H such that λ d(kE ψk ) < +∞. −∞ Any left-continuous family of projections {E } ⊆ P (H) can be uniquely extended to λ λ∈R ˜ ˜ a countably additive projection-valued measure E : B(R) → P(H) such that E((−∞, λ)) = E , where B(R) denotes the σ-ﬁeld of Borel subsets of R, and conversely any countably additive projection-valued measure can be obtained in this way. For the spectral theorem in the projection-valued measure form we refer the reader to Reed and Simon [31]. In our setting, in which a real number is deﬁned as an upper segment of a Dedekind cut of (P(H)) the rational numbers without endpoint, the bijection between u ∈ R and X ∈ SA(H) in theorem 3.3 is given by the relations (i) u(rˆ) = E for all r ∈ Q, (ii) E = u(rˆ) for all λ ∈ R, r∈Q:r<λ where {E } is the left-continuous spectral family of X. Note that two left-continuous λ∈R X Y spectral families are equal if they coincide on Q, i.e. X = Y if E = E for all r ∈ Q. r r Note that in Takeuti’s setting [33, 34] (see also [27–29]) a real number is deﬁned as an upper segment of a Dedekind cut of the rational numbers that is the complement of a lower (P(H)) segment without endpoint. In that case, the bijection between v ∈ R and X ∈ SA(H) is given by the relations (i) v(rˆ) = E for all r ∈ Q, (ii) E = v(rˆ) for all λ ∈ R, r∈Q:λ<r where {E } is the right-continuous spectral family of X, which satisﬁes the following λ∈R properties. V V V X X X X (i) (E ) = ⊥. (ii) E = ⊥. (iii) E = E . λ λ μ λ λ∈R λ∈R μ∈R:λ<μ +∞ (iv) λ d(ξ, E ψ) = (ξ, Xψ) for all ξ ∈ H −∞ +∞ 2 2 and ψ ∈ H such that λ d(kE ψk ) < +∞. −∞ 11 Any right-continuous family {E } ⊆ P(H) of projections can be uniquely ex- λ λ∈R tended to a countably additive projection-valued measure E : B(R) → P(H) such that X X ˜ ˜ E((−∞, λ]) = E for all λ ∈ R. Thus, we have E = E ∨ E({λ}) = E λ r λ r∈Q:λ<r and E = E for any λ ∈ R. λ r∈R:r<λ In summary then, given a quantum system with a corresponding Hilbert space H, we can (P(H)) (P(H)) build the set-theoretic structure V . We know that distributive regions of V behave classically in the sense characterised by theorem 3.2, and we also know that the real numbers in (P(H)) V are in bijective correspondence with the physical quantities associated with the given quantum system. 4 TQT: Basic Structures and Generalised Stone Dual- ity We turn now to providing a basic introduction to the logical aspects of TQT. We focus espe- cially on the version based on orthomodular lattices, ﬁrst developed by Cannon [5] in her MSc thesis and extended by Cannon and Do¨ring [6]. This version is close in most respects to the standard version based on operators and von Neumann algebras [8], but the connections with quantum logic and quantum set theory are even more direct in the new version. The philosophical motivation behind TQT is primarily to provide a ‘neo-realist’ reformu- lation of quantum theory. Speciﬁcally, in TQT one identiﬁes the following two properties as characteristic of any realist theory (for an in depth discussion of the realist interpretation of TQT, see Eva [11]). (1) It is always possible to simultaneously assign truth values to all the physical propositions in a coherent and non-contextual way. (2) The logic of physical propositions is always distributive. We have already seen that condition 2 is violated by the standard Hilbert space formalism of QM. Furthermore, the Kochen-Specker theorem tells us that condition 1 cannot be satisﬁed if the truth values in question form a Boolean algebra and the physical propositions are repre- sented by projection operators. More precisely, the Kochen-Specker theorem shows that there is no non-contextual assignment of classical truth values to all the elements of the projection lattice on a Hilbert space of dimension greater than 2 that preserves the algebraic relationships between the operators. If one deﬁnes a ‘possible world’ to be an assignment of classical truth values to all the propositions in the algebra (e.g. a ‘row of the truth table’), then the Kochen- Specker theorem tells us (modulo some important caveats) that there are generally no possible worlds for quantum systems. Of course, in classical physics, the possible worlds are given by the possible states of the system. Any state assigns to every physical proposition a classical truth value, and any assignment of truth values to all physical propositions uniquely deﬁnes a corresponding point in the state space. Thus, we can represent a classical state as a Boolean algebra homomorphism λ : B → {0, 1} from the Boolean algebra of physical propositions to the two-element Boolean algebra, 2 = {0, 1}. One basic aim of TQT is to reformulate the logical structure of QM in a way that satisﬁes conditions 1 and 2 above. We now sketch the main steps in this enterprise. 12 4.1 Stone Duality and Stone Representation Stone duality goes back to Stone’s seminal paper [32]. In modern language, Stone duality is a dual equivalence between the category BA of Boolean algebras and the category Stone of Stone spaces, that is, compact, totally disconnected Hausdorff spaces, // op BA ⊥ Stone . oo cl(−) • To each Boolean algebra B, the set Σ := {λ : B → 2 | λ is a Boolean algebra homomorphism} is assigned. Σ , equipped with the topology generated by the sets S := {λ ∈ Σ | B a B λ(a) = 1}, is called the Stone space of B. One can easily check that the sets S are clopen, that is, simultaneously closed and open, so the Stone topology has a basis of clopen sets and hence is totally disconnected. • Conversely, to each Stone space X, the Boolean algebra cl(X) of its clopen subsets is assigned. This is the object level of the two functors above. For the arrows (morphisms), we have: • To each morphism φ : B → C of Boolean algebras, the map Σ(φ) : Σ −→ Σ C B λ 7−→ λ ◦ φ is assigned. • Conversely, to each continuous function f : X → Y between Stone spaces, the Boolean algebra morphism cl(f) : cl(Y ) −→ cl(X) −1 S 7−→ f (S) is assigned. Note the reversal of direction and ‘action by pullback’ in both cases. Stone duality comes in different variants: there is also a dual equivalence // op cBA ⊥ Stonean . oo cl(−) between complete Boolean algebras and their morphisms and Stonean spaces, which are ex- tremely disconnected compact Hausdorff spaces. The appropriate morphisms between Stonean spaces are open continuous maps. The Stone representation theorem shows that every Boolean algebra B is isomorphic to the Boolean algebra cl(Σ ) of clopen subsets of its Stone space. The isomorphism is concretely given by φ : B −→ cl(Σ ) 13 b 7−→ S := {λ ∈ Σ | λ(b) = 1}. b B While being enormously useful in classical logic, Stone duality and Stone representation do not generalise in any straighforward way to non-distributive orthomodular lattices. In a sense, we can interpret the Kochen-Specker theorem as telling us that the (hypothetical) Stone space of a projection lattice P(H) is generally empty. Since there are no lattice homomorphisms from P(H) into 2, there is simply no general notion of the Stone space of an orthomodular lattice. This situation was remedied in [5, 6]. In this paragraph, we summarise the main results, which will be presented in more detail in the following subsections. For full proofs and many more details, see [5, 6]. To each orthomodular lattice L, one can associate a spectral presheaf Σ , which is a straigthtforward generalisation of the Stone space of a Boolean algebra. The assignment is contravariantly functorial, and Σ is a complete invariant of L. Moreover, the L L clopen subobjects of the spectral presheaf Σ form a complete bi-Heyting algebra Sub (Σ ), cl generalising the Boolean algebra cl(Σ ) of clopen subsets of the Stone space of a Boolean algebra B. For each complete orthomodular lattice (OML) L, there is a map called daseinisa- tion, δ : L −→ Sub (Σ ) cl a 7−→ δ(a), which provides a representation of L in Sub (Σ ). Different from the classical case, δ is not cl an isomorphism, but it is injective, monotone, join-preserving, and most importantly, it has an adjoint ε : Sub (Σ ) → L such that ε ◦ δ is the identity on L. Hence, the daseinisation map cl δ (and its adjoint ε) provide a bridge between the orthomodular world and the topos-based world, at least at the propositional level. In later sections, we will extend this bridge to the level of predicate logic. 4.2 The Spectral Presheaf Given an orthomodular lattice L, let B(L) be the set of Boolean subalgebras of L, partially ordered by inclusion. B(L) is called the context category of L. If L is complete, it makes sense to consider the poset B (L) of complete Boolean subalgebras. Let Lat be the category of lattices and lattice morphisms, let OML denote the category of orthomodular lattices and orthomorphisms (lattice morphisms that preserve the orthocom- plement), and let Pos be the category of posets and monotone maps. When going from an orthomodular lattice L to its context category B(L), seemingly a lot of information is lost. By only considering Boolean subalgebras, any non-distributivity in L is discarded. Moreover, since B(L) is just a poset, the inner structure of each B ∈ B(L) as a Boolean algebra is lost (or so it seems). Somewhat surprisingly, Harding and Navara [15] (see also [14]) proved that B(L) is a complete invariant of L : Theorem 4.1. (Harding, Navara) Let L, M be orthomodular lattices with no 4-element blocks (i.e. no maximal Boolean subalgebras with only 4 elements). Then L ≃ M in OML if and only if B(L) ≃ B(M) in Pos. We also note that every morphism φ : L → M between orthomodular lattices induces a monotone map φ : B(L) −→ B(M) 14 B 7−→ φ[B]. This means that we have a (covariant) functor from OML to Pos, L → B(L), φ → φ. There are obvious analogues of these constructions for complete OMLs. While B(L) certainly cannot be regarded as a generalised Stone space of L, it is signiﬁcant that B(L) is a complete invariant and that the assignment L 7→ B(L) is functorial. This suggests to consider structures built over B(L) that are related to Stone spaces. In fact, the simplest idea works: each B ∈ B(L) is a Boolean algebra, so it has a Stone space Σ . If B ⊂ B, then there is a canonical map from Σ to Σ ′, given by restriction: B B r(B ⊂ B) : Σ −→ Σ B B λ 7−→ λ| ′. It is well-known that this map is surjective and continuous with respect to the Stone topologies. Moreover, being a quotient map between compact Hausdorff spaces, it is a closed map. If B ′ ′ and B are complete, then Σ and Σ are Stonean and r(B ⊂ B) is also open. B B This allows us to deﬁne a presheaf over B(L) that comprises all the ‘local’ Stone spaces Σ and glues them together: Deﬁnition 4.1. The spectral presheaf, Σ , of an orthomodular lattice L is the presheaf over B(L) given L L L (a) on objects: for all B ∈ B(L), Σ := Σ (where Σ denotes the component of Σ at B B B), ′ ′ L ′ ′ (b) on arrows: for all B, B ∈ B(L) such that B ⊂ B, Σ (B ⊂ B) := r(B ⊂ B). If L is a complete OML, then there is an obvious analogue, the spectral presheaf of L over B (L). Obviously, the spectral presheaf Σ of an orthomodular lattice L is a generalisation of the Stone space Σ of a Boolean algebra B. In order to discuss whether the assignment L 7→ Σ is functorial, we ﬁrst have to deﬁne a suitable category in which the spectral presheaf Σ is an object, and the appropriate morphisms between such presheaves. This is done in great detail in [5, 6]. One considers a category Presh(Stone) of presheaves with values in Stone spaces, but over varying base categories. (We saw that if L is not isomorphic to M, then their context categories B(L),B(M) are not isomorphic, either.) With this in place, Cannon [5] showed: Theorem 4.2. There is a contravariant functor Σ : OML −→ Presh(Stone) sending an object L of OML to Σ , which is an object in Presh(Stone), and a morphism M L φ : L → M in OML to a morphism hφ,G i : Σ → Σ in Presh(Stone) in the opposite direction. L M If L, M are orthomodular lattices, then L ≃ M in Lat if and only if Σ ≃ Σ in Presh(Stone). For now we abide by the convention used in the literature on TQT of underlining presheaves. We will drop this convention in section 5 to keep things neat. Alternatively, one could consider a category of presheaf topoi over different base categories, together with a distinguished spectral object in each topos. 15 Again, there is an obvious version of this result for complete OMLs. This shows that the spectral presheaf Σ is a complete invariant of an orthomodular lattice L, and the assignment L L is contravariantly functorial. This strengthens the interpretation of Σ as a gener- L → Σ alised Stone space. Yet, there are two caveats: the behaviour of the orthocomplement under the assignment L 7→ Σ (L) was not considered in [5] and only very brieﬂy in [6]; this will be done in section 5 below. More importantly, the result is weaker than a full duality, since not every object in Presh(Stone) is in the image of the functor Σ. 4.3 The Algebra of Clopen Subobjects Before we can generalise the Stone representation, we deﬁne Sub (Σ ), the collection of cl clopen subobjects of the spectral presheaf, and brieﬂy consider its algebraic structure. The guiding idea is that clopen subobjects of the spectral presheaf of an OML generalise the clopen subsets of the Stone space of a Boolean algebra. Deﬁnition 4.2. Let L be an orthomodular lattice, B(L) its context category, and Σ its spectral presheaf. A subobject (i.e. a subpresheaf) S of Σ is called clopen if for all B ∈ B(L), the component S of S at B is a clopen subset of Σ = Σ , the Stone space of B. The collection B B of clopen subobjects is denoted Sub (Σ ). cl We ﬁrst observe that Sub Σ is a partially ordered set with a natural order given by cl ∀S, T ∈ Sub Σ : S ≤ T :⇐⇒ (∀B ∈ B(L) : S ⊆ T ). cl B B Clearly, the empty subobject ∅ is the bottom element and Σ is the top element. Moreover, meets and joins exist with respect to this order and are given as follows: for every ﬁnite family (S ) ⊂ Sub (Σ ) and for all B ∈ B(L), i∈I cl ^ ^ ( S ) = S , i i;B i∈I i∈I _ _ ( S ) = S , i i;B i∈I i∈I where S denotes the component of S at B. If L is a complete OML, then we consider i;B i the context category B (L) of complete Boolean sublattices and the spectral presheaf Σ is ), not just ﬁnite ones, and constructed over B (L). Then all meets and joins exist in Sub (Σ c cl they are given as follows: for any family (S ) ⊆ Sub Σ , i∈I cl ^ ^ ( S ) = int( S ), i i;B i∈I i∈I _ _ ( S ) = cls( S ), i i;B i∈I i∈I where int denotes the interior and cls the closure. For now, we go back to general OMLs. Since meets and joins are calculated componentwise, Sub (Σ ) is a distributive lattice. cl If L is complete, ﬁnite meets distribute over arbitrary joins and vice versa. Additionally, it is easy to show that Sub (Σ ) is a both a Heyting algebra and a co-Heyting algebra (or cl Brouwer algebra), hence a bi-Heyting algebra. If L is complete, then Sub (Σ ) is a complete cl bi-Heyting algebra [7]. The Heyting algebra structure gives an intuitionistic propositional 16 calculus, the co-Heyting algebra structure a paraconsistent one. The Heyting negation and the co-Heyting negation on Sub (Σ ) are not related closely to the orthocomplement in L, so we cl will not consider them further. Instead, we will deﬁne a third negation on Sub (Σ ) in section cl 5 that indeed is closely related to the orthocomplement in L and will prove very useful. 4.4 Representing a Complete Orthomodular Lattice in the Alge- bra of Clopen Subobjects by Daseinisation From now on, we specialise to complete orthomodular lattices, and accordingly we take the spectral presheaf Σ to be constructed over the context category B (L) of complete Boolean sublattices. We aim to generalise the Stone representation by deﬁning a suitable map from a complete OML L to the algebra Sub (Σ ) of clopen subobjects of its spectral presheaf. cl Let a ∈ L, and let B ∈ B (L) be a (complete) context. If a ∈ B, then we simply use the standard Stone representation and assign the clopen subset S = {λ ∈ Σ | λ(a) = 1} of a B Σ = Σ to it. Yet, if a ∈/ B, then we have to approximate a in L ﬁrst: deﬁne δ (a) := {b ∈ B | b ≥ a}. The meet exists in B, since B is complete. δ (a) is the smallest element of B that dominates a. By the Stone representation, there is a clopen subset of Σ corresponding to δ (a), given B B by S = {λ ∈ Σ | λ(δ (a)) = 1}. In this way, we obtain one clopen subset in each B B δ (a) component Σ of the spectral presheaf, where B varies over B (L). It is straightforward to check that these clopen subsets form a clopen subobject (see [5,6]), which we denote by δ(a), ∀B ∈ B (L) : δ(a) = S . c B δ (a) L 18 We call δ(a) ∈ Sub (Σ ) the daseinisation of a. cl Proposition 4.3. Let L be a complete orthomodular lattice, B (L) its complete context cat- L L egory, Σ its spectral presheaf, and Sub (Σ ) the complete distributive lattice of clopen cl subobjects of Σ . The daseinisation map δ : L −→ Sub (Σ ) cl a 7−→ δ(a) has the following properties: (i) δ is injective, but not surjective, (ii) δ is monotone, (iii) δ preserves bottom and top elements, (iv) δ preserves all joins, i.e. for any family (a ) ⊆ L, it holds that i i∈I _ _ δ(a ) = δ( a ). i i i∈I i∈I Note that this is also called outer daseinisation of a to distinguish it from an inner daseinisation of a, which analogously approximate a from below. In this paper, we conﬁne our attention to outer daseinisations, and yet we will extend our arguments to inner daseinisations elsewhere. 17 V V (v) for meets, we have δ( a ) ≤ δ(a ). i i i∈I i∈I Proof. (i)–(iii) are easy to prove. (iv) follows since meets and joins are calculated componen- twise, and δ : L → B is the left adjoint of the inclusion B ֒→ L, so δ preserves colimits, B B which are joins. (v) is a consequence of (ii). The map δ : L → Sub (Σ ) is our generalisation of the Stone representation B → cl cl(Σ ). Different from the Stone representation, δ is not an isomorphism, and it cannot be, since L is non-distributive in general, while Sub (Σ ) is distributive. Yet, since δ is injective, cl no information is lost. Moreover, δ is a join-preserving map between complete lattices, so it has a right adjoint ε : Sub (Σ ) → L, given by cl ∀S ∈ Sub (Σ ) : ε(S) = {a ∈ L | δ(a) ≤ S} cl The properties of ε are analogous to those of δ: Proposition 4.4. Let L be a complete orthomodular lattice, B (L) its complete context cat- L L egory, Σ its spectral presheaf, and Sub (Σ ) the complete distributive lattice of clopen cl subobjects of Σ . The right adjoint ε of δ has the following properties: (i) ε is surjective, but not injective, (ii) ε is monotone, (iii) ε preserves bottom and top elements, (iv) ε preserves all meets, i.e. for any family (S ) ⊆ Sub (Σ ), it holds that i∈I cl ^ ^ ε(S ) = ε( S ), i i i∈I i∈I (v) for joins, we have ε(S ∨ T ) ≥ ε(S) ∨ ε(T ). If B ∈ B (L) is a context and S ∈ cl(Σ ), then we denote the element of B corresponding c B to S under the Stone representation by a . Carmen Constantin ﬁrst proved the following useful lemma (see [5]): Lemma 4.5. For all S ∈ Sub (Σ ), cl ε(S) = a . B∈B (L) This means that in order to calculate ε(S), we simply switch in each context from the clopen set S to the corresponding element a of B and then take the meet (in L) over all contexts. Corollary 4.6. With the notation above, we have ε ◦ δ = id on L and δ ◦ ε ≤ id on Sub (Σ) cl for any complete orthomodular lattice L. ε can be used to deﬁne an equivalence relation on Sub (Σ), given by S ∼ T if and cl only if ε(S) = ε(T ). We let E denote the set of all equivalence classes of Sub (Σ) under this cl V V equivalence relation. E can be turned into a complete lattice by deﬁning [S ] = [ S ], i i i∈I i∈I W V [S] ≤ [T ] if and only if [S] ∧ [T ] = [S] and [S ] = {[T ] | ∀i ∈ I : [S ] ≤ [T ]}. Then it i∈I i i is straightforward to show 18 Theorem 4.7. With the notation above, E and L are isomorphic as complete lattices. In particular, the maps g : E → L and f : L → E deﬁned by g([S]) = ε(S) and f(a) = [δ(a)] are an inverse pair of complete lattice isomorphisms. This result can be seen as an alternative generalisation of the Stone representation theorem to orthomodular lattices. It tells us that an orthomodular lattice can be represented isomorphi- cally by the clopen subobjects of the spectral presheaf modulo the equivalence relation induced L L by ε. Of course, the lattice E = Sub (Σ )/ ≃ is non-distributive, while Sub (Σ ) is dis- cl cl ) as the algebra of propositions tributive. In the following, we will mostly consider Sub (Σ cl suggested by the topos approach. So far, we have seen that TQT allows for an alternative formalisation of the logical structure of QM that does not require us to surrender distributivity. Furthermore, we have also seen that the spectral presheaf allows for the derivation of an analogue of Stone’s theorem for the orthomodular setting. However, we have not yet addressed the problem of how we can assign truth values to the newly formalised physical propositions in a coherent way. 4.5 Presheaf Topoi over Posets We brieﬂy recall some basic deﬁnitions from topos theory [2, 19, 23], in particular that of a subobject classiﬁer. We then specialise to presheaf topoi and further to presheaf topoi over posets and consider the subobject classiﬁer and truth values in such a topos. In the following, let 1 denote the terminal object in a category (if it exists). Deﬁnition 4.3. In a category C with ﬁnite limits, a subobject classiﬁer is a monic, true : 1 → Ω, such that to every monic S → X in C there is a unique arrow χ which, with the given monic, forms a pullback square S 1 ∩ ∩ true ❄ ❄ X Ω. This means that in a category with subobject classiﬁer, every monic is the pullback of the special monic true. In a slight abuse of language, we will often call the object Ω the subobject classiﬁer. In Set, we have Ω = {0, 1} and χ is the characteristic function of the set S. Deﬁnition 4.4. An elementary topos is a category E with the following properties: • E has all ﬁnite limits and colimits; • E has exponentials; • E has a subobject classiﬁer. The structural similarity with the category Set of sets and functions – which is itself a topos, of course – should be obvious. Some further examples of topoi are: (1) Set × Set, the category of all pairs of sets, with morphisms pairs of functions; (2) Set , where 2 = • −→ •. Objects are all functions from one set X to another set Y , with commutative squares as arrows; 19 (3) BG, the category of G-sets: objects are sets with a right (or left) action by G, and arrows are G-equivariant functions; op op (4) Set , where C is a small category. This functor category has functors C → Set as objects (also called presheaves over C) and natural transformations between them as arrows. In fact, all the examples so far are functor categories. (5) The category Sh(X) of sheaves over a topological space X. op We will now specialise to presheaf topoi, i.e. topoi of the form Set , where C is a small op category. The terminal object 1 in Set is given by the presheaf that assigns the one-element set 1 = {∗} to every object C in C and the constant function {∗} → {∗} to every morphism in C. It is a standard result (see e.g. [23]) that the subobject classiﬁer Ω in a presheaf topos is given by the presheaf of sieves, which we now deﬁne. First, let C be an object in C. A sieve on C is a collection σ of arrows with codomain C such that if (f : B → C) ∈ σ and g : A → B is any other arrow in C, then f ◦ g : A → C is in σ, too. If h : C → D is an arrow in C and σ is a sieve on D, then σ · h = {f | h ◦ f ∈ σ} is a sieve on C, the pullback of σ along h. Deﬁnition 4.5. The presheaf of sieves is given (a) on objects: for all C ∈ Ob(C), Ω(C) = {σ | σ sieve on C}; (b) on arrows: for all (h : C → D) ∈ Arr(C), the mapping Ω(h) : Ω(D) → Ω(C) is given by the pullback along h. op Clearly, this is an object in the topos Set . The arrow true : 1 → Ω is given by ∀C ∈ Ob(C) : true : 1 −→ Ω C C C ∗ 7−→ σ (C), where σ (C) denotes the maximal sieve on C, i.e. the collection of all morphisms in C with codomain C. Each topos, and in particular each presheaf topos, comes equipped with an internal, higher- order intuitionistic logic. This logic is multi-valued in general, and the truth values form a partially ordered set. In fact, the truth values in a topos are given by the global elements of the subobject classiﬁer Ω, i.e. by morphisms 1 −→ Ω from the terminal object 1 to the subobject classiﬁer Ω. Clearly, the arrow true : 1 → Ω represents one such truth value, and it is interpreted as ‘totally true’. In a presheaf topos op Set , there also is an arrow false : 1 → Ω, which assigns the empty sieve to each 1 = {∗}, C ∈ Ob(C). The arrow false represents the truth value ‘totally false’. In general, there exist other morphisms from 1 to Ω, representing truth values between ‘totally true’ and ‘totally false’. We now specialise further to presheaf topoi for which the base category C is a (small) poset. Regarding the poset C as a category, there is an arrow B → C if and only if B ≤ C. Hence, in a poset there is at most one arrow from any object B to any object C. 20 Recall that a sieve on an object C is a collection of morphisms with codomain C that is ‘downward closed’ under composition. In a poset, an arrow B → C with codomain C means that B ≤ C, and if A → B is another arrow in the poset category C (i.e. if A ≤ B), then the composite arrow A → C is also contained in the sieve. Keeping the codomain C ﬁxed, an ˜ ˜ arrow in the poset category C of the form B → C can be identiﬁed with its domain B. This means that in a poset C, a sieve σ on C can be identiﬁed with a lower set (or downward closed ˜ ˜ set) in ↓ C = {B ∈ C | B ≤ C}, the downset of C. The maximal sieve on C is simply ↓ C. If C → D is an arrow in C (i.e. if C ≤ D) and σ is a sieve on D, then the pullback of σ along the arrow C → D is simply the lower set in ↓ C given by σ ∩ ↓ C, as can be checked by inserting into the deﬁnition. op We saw that the truth values in a presheaf topos Set are given by the arrows of the form v : 1 → Ω. Since C now is a poset by assumption, the sieve v is a lower set in ↓ C, and whenever C ≤ D, then v = v ∩ ↓ C. This means that, overall, the arrow v : 1 → Ω C D deﬁnes a lower set in C. We have shown: op Lemma 4.8. In a presheaf topos Set over a poset C, the truth values are given by lower sets in the poset C. op B (P(H)) 4.6 The Topos Set , States and Truth Values For simplicity, and in order to make closer contact with the usual Hilbert space formalism again, we assume L = P(H) in this subsection, where P(H) is the projection lattice on a Hilbert space H of dimension 3 or greater. We now show how to employ the topos of presheaves over B (P(H)), the poset of complete Boolean subalgebras of P(H), and its inter- nal logic to assign truth values to propositions. Let |ψi ∈ H be a unit vector, representing a pure state of L(H). We apply daseinisation P(H) to the rank-1 projection P = |ψi hψ| and obtain a clopen subobject of Σ , the spectral presheaf of the complete OML P(H). This subobject is denoted as w := δ(P ) P(H) and is called the pseudostate corresponding to |ψi. While the spectral presheaf Σ has no P(H) global sections, a fact that is equivalent to the Kochen-Specker theorem [8,17], Σ still has plenty of subobjects, and just like a point in the state space of a classical system represents a (pure) state, here the pseudostate w represents the pure quantum state. In classical physics, truth values of propositions arise in a simple manner: let S ⊂ S be a (Borel) subset of the state space S of the classical system. S represents some proposition, e.g. if f : S → R is the Borel function representing a physical quantity A of the system, −1 and Δ ⊂ R is a Borel subset of the real line, then S = f (Δ) is the representative of the proposition “the physical quantity A has a value in the Borel set Δ”. A (pure) state is represented by a point p ∈ S. The truth value of the proposition represented by S in the state represented by p is kSk = true if p ∈ S and kSk = false if p ∈/ S. Note that this is equivalent to kSk = (p ∈ S) 21 if we read the right-hand side as a set-theoretic proposition that is either true or false. Analo- gously, let S ∈ Sub (Σ ) be a clopen subobject that represents a proposition about a quantum cl system. Then the truth value of the proposition represented by S in the state represented by w is kSk ψ = (w ⊆ S). Here, the right-hand side must be interpreted as a ‘set-theoretic’ proposition in the topos op B (P(H)) Set of presheaves over B (P(H)). This is done using the Mitchell-Benabou lan- guage of the topos. In our case, where the base category B (P(H)) is simply a poset, and op B (P(H)) Set is a presheaf topos, this boils down to something straightforward: for every context B ∈ B (P(H)), we consider the set-theoretic expression w ⊆ S ‘locally’ at B, which can be either true or false. We collect all those B ∈ B (P(H)) for which the expression w ⊆ S is true. It is easy to see that in this way we obtain a lower set in B (P(H)). As we saw in the previous subsection, such a lower set in the poset B (P(H)), c c op B (P(H)) which is the base category of the presheaf topos Set , can be identiﬁed with a global section of the presheaf of sieves on B (P(H)), and hence with a truth value in the (multi- op B (P(H)) valued logic provided by the) topos Set . Hence, we showed how to determine the truth value kSk ψ of the proposition represented by S in the state represented by w . There is no obstacle to assigning these truth values in a coherent, non-contextual and structure-preserving way. The Kochen-Specker theorem is not violated, of course: it is a result that applies speciﬁcally to the representation of physical propositions as projection operators and truth values as elements of the two-element Boolean algebra. The KS theorem simply does not apply to the reformulated propositions and truth values of TQT, and so it is perfectly possible to simultaneously assign truth values to all physical propositions in TQT. At this stage, we have sketched the basic formal and conceptual ideas behind QST and TQT. Both approaches offer new Q-worlds in which we can hope to reformulate QM in a conceptually illuminating way. However, beyond this superﬁcial analogy, it is not obvious that there is any deep connection between the two projects. In the next section, we will explore the relationship between the distributive logic of TQT and traditional orthomodular quantum logic. This will subsequently allow us to establish rich and interesting connections between TQT and QST in section 6. 5 Paraconsistency and Distributivity in Quantum Logic 5.1 Paraconsistent Negation It is interesting to note that theorem 4.7 establishes that E and L are isomorphic as complete lattices, but says nothing about the negation operations deﬁned on E and L. In section 6, it will be important for our purposes that the isomorphism between E and L preserves negations as well as the lattice structure. There is an obvious way of deﬁning a negation operation on E that allows us to extend the isomorphism from theorem 4.7 to include negations. Speciﬁcally, Eva [10] suggests the following deﬁnition. For further discussion of the philosophical interpretation of the truth values in TQT, see Eva [11]. 22 ∗ ∗ Deﬁnition 5.1. Given S ∈ Sub (Σ), deﬁne S = δ(ε(S) ), i.e. S is the daseinisation of the cl orthocomplement of ε(S) (where ⊥ denotes the orthocomplement of L). The idea is that S is obtained by translating S into an element of L via ε, negating that element by L’s classical orthocomplementation operation, and then translating the negated element back into a clopen subobject via δ. Eva [10] notes that deﬁning [S] = [S ] implies that E and L are isomorphic not just as complete lattices, but also as complete ortholattices. So we can extend the correspondence to cover the full logical structure of E. This fact will turn out to be important in our attempts to obtain a connection between TQT and QST. However, the negation operation ∗ that we used to extend this isomorphism turns out to have some unexpected properties. Most importantly, ∗ is paraconsistent. To see this, recall that for any S, δ(ε(S)) ≤ S. This means that ∗ ⊥ ⊥ ⊥ S ∧ S = S ∧ δ(ε(S) ) ≥ δ(ε(S)) ∧ δ(ε(S) ) ≥ δ(ε(S) ∧ ε(S) ) = ⊥. These inequalities can all be strict, so S ∧ S will not generally be minimal, i.e. the ∗ operation is paraconsistent. So the natural ‘translation’ of the orthocomplement of an ortho- modular lattice into the distributive setting is inherently paraconsistent. Eva [10] establishes the following basic properties of the ∗ negation. Theorem 5.1. The ∗ operation has the following properties: (i) S ∨ S = ⊤, ∗∗ (ii) S = δ(ε(S)) ≤ S, ∗∗∗ ∗ (iii) S = S , (iv) S ∧ S ≥ ⊥, W V (v) S = ( S ) for any family {S } ⊆ Sub (Σ), cl j j j j j V W ∗ ∗ (vi) S ≥ ( S ) for any family {S } ⊆ Sub (Σ), cl j j j j j (vii) ε(S) ∨ ε(S ) = ⊤, (viii) ε(S) ∧ ε(S ) = ⊥, ∗ ∗ (ix) S ≤ T implies S ≥ T , i.e. ∗ is an involution. Note that before we deﬁned ∗, Sub (Σ), as a complete bi-Heyting algebra, was already cl equipped with a canonical intuitionistic negation operation and a canonical paraconsistent negation operation. However, these negations cannot be included in the isomorphism between E and L, which motivates the study of ∗ as an independent negation operation on Sub (Σ). cl It is important to note that the Heyting implication operation ⇒ will not interact in any nice way with ∗. In order to establish a connection between TQT and QST, we will need to deﬁne implication operations on Sub (Σ) that are compatible with ∗. Before doing this, it is useful cl to prove a couple of lemmas. From now on, we will stop underlining presheaves to improve readability. Note that Sub (Σ), equipped with ∗, is still distributive since we assume the same lattice operations as before. cl 23 ∗ ⊥ Lemma 5.2. ε(S ) = ε(S) , for any S ∈ Sub (Σ). cl ∗ ⊥ ⊥ Proof. ε(S ) = ε(δ(ε(S) )) = ε(S) . ∗ ⊥ Lemma 5.3. δ(a) = δ(a ), for any a ∈ P(H). ∗ ⊥ ⊥ Proof. δ(a) = δ(ε(δ(a)) ) = δ(a ). ∗∗ Lemma 5.4. δ(a) = δ(a), for any a ∈ P(H), i.e. the image of δ is ‘∗-regular’. ∗∗ ⊥ ∗ ⊥⊥ Proof. δ(a) = δ(a ) = δ(a ) = δ(a). Lemma 5.5. δ(ε(S)) is the smallest member of the equivalence class [S] of S under the ε ∗∗ equivalence relation, and S = δ(ε(S)) for all S. Proof. Let T ∈ [S], then ε(T ) = ε(S). So δ(ε(S)) = δ(ε(T )) ≤ T . Since T was arbitrary, this proves the ﬁrst part of the lemma. Moreover, we have ∗∗ ∗ ⊥ ⊥⊥ S = δ(ε(S ) ) = δ(ε(S) ) = δ(ε(S)). We are now ready to translate the three quantum material implication operations into the distributive setting. We say that an implication operation ⇒ on Sub (Σ) ‘mirrors’ a corre- cl sponding operation → on L if and only if for any S, T ∈ Sub (Σ) and for any a, b ∈ L, cl δ(a → b) = δ(a) ⇒ δ(b) and ε(S ⇒ T ) = ε(S) → ε(T ). Theorem 5.6. The operation ⇒ on Sub (Σ) deﬁned by S cl ∗ ∗ ∗ ∗ S ⇒ T := S ∨ (S ∨ T ) mirrors the Sasaki conditional → on P(H). Proof. The assertion follows from the calculations shown below. ⊥ ⊥ ∗ δ(a → b) = δ(a ∨ (a ∧ b)) = δ(a ) ∨ δ(a ∧ b) = δ(a) ∨ δ(a ∧ b) ∗ ∗∗ ∗ ⊥ ∗ = δ(a) ∨ δ(a ∧ b) = δ(a) ∨ δ((a ∧ b) ) ∗ ⊥ ⊥ ∗ ∗ ⊥ ⊥ ∗ = δ(a) ∨ δ(a ∨ b ) = δ(a) ∨ (δ(a ) ∨ δ(b )) ∗ ∗ ∗ ∗ = δ(a) ∨ (δ(a) ∨ δ(b) ) = δ(a) ⇒ δ(b). ∗ ∗ ∗ ∗ ∗ ∗ ∗ ε(S ⇒ T ) = ε(S ∨ (S ∨ T ) ) = ε((S ∧ (S ∨ T )) ) ∗ ∗ ⊥ ∗ ∗ ⊥ = ε(S ∧ (S ∨ T )) = (ε(S) ∧ ε(S ∨ T )) ⊥ ∗ ∗ ⊥ ⊥ ∗ ⊥ = ε(S) ∨ ε(S ∨ T ) = ε(S) ∨ ε((S ∧ T ) ) ⊥ ⊥⊥ ⊥ = ε(S) ∨ ε(S ∧ T ) = ε(S) ∨ ε(S ∧ T ) = ε(S) → ε(T ). 24 Theorem 5.7. The operation ⇒ on Sub (Σ) deﬁned by C cl ∗ ∗ S ⇒ T := T ⇒ S C S mirrors the contrapositive Sasaki conditional → on P(H). Proof. The assertion follows from the calculations shown below. ⊥ ⊥ ⊥ ⊥ ∗ ∗ δ(a → b) = δ(b → a ) = δ(b ) ⇒ δ(a ) = δ(b) ⇒ δ(a) C S S S = δ(a) ⇒ δ(b). ∗ ∗ ∗ ∗ ⊥ ⊥ ε(S ⇒ T ) = ε(T ⇒ S ) = ε(T ) → ε(S ) = ε(T ) → ε(S) C S S S = ε(S) → ε(T ). Theorem 5.8. The operation ⇒ on Sub (Σ) deﬁned by R cl ∗∗ S ⇒ T := ((S ⇒ T ) ∧ (S ⇒ T )) R S C mirrors the relevance conditional → on P(H). Proof. The assertion follows from the calculations shown below. ∗∗ δ(a → b) = δ((a → b) ∧ (a → b)) = δ((a → b) ∧ (a → b)) R S C S C ⊥ ⊥ ∗ ⊥ ⊥ ∗ = δ((a → b) ∨ (a → b) ) = (δ((a → b) ) ∨ δ((a → b) )) S C S C ∗ ∗ ∗ ∗∗ = (δ(a → b) ∨ δ(a → b) ) = (δ(a → b) ∧ δ(a → b)) S C S C ∗∗ = ((δ(a) ⇒ δ(b)) ∧ (δ(a) ⇒ δ(b))) S C = δ(a) ⇒ δ(b). ∗∗ ⊥⊥ ε(S ⇒ T ) = ε(((S ⇒ T ) ∧ (S ⇒ T )) ) = ε((S ⇒ T ) ∧ (S ⇒ T )) R S C S C = ε((S ⇒ T ) ∧ (S ⇒ T )) = ε(S ⇒ T ) ∧ ε(S ⇒ T ) S C S C = (ε(S) → ε(T )) ∧ (ε(S) → ε(T )) S C = ε(S) → ε(T ). For j = S, C, R we deﬁne the operation ⇔ on Sub (Σ) by j cl S ⇔ T := (S ⇒ T ) ∧ (T ⇒ S) j j j for any S, T ∈ Sub (Σ). cl We have successfully translated the three quantum material implication operations into cor- responding operations on the distributive lattice of clopen subobjects of the spectral presheaf equipped with the paraconsistent negation ∗. Of course, the induced implications on Sub (Σ) cl will have different logical properties to their orthomodular counterparts. For example, they will generally violate modus ponens. This is not surprising given that modus ponens is a prob- lematic inference rule for paraconsistent logics in general (for instance, it is known that modus ponens fails in Priest’s [25] paraconsistent ‘logic of paradox’). At any rate, we can show that all three implication operations share some basic structural properties. 25 ⊸ Proposition 5.9. For j = S, C, R, the operation ⇒ satisﬁes the following properties: ∗∗ (i) ⊤ ⇒ S = S , (ii) ⊥ ⇒ S = ⊤, (iii) S ⇒ ⊤ = ⊤, (iv) S ⇒ ⊥ = S , ∗∗ ∗∗ (v) S ⇒ T = ⊤ if and only if S ≤ T , ∗∗ ∗∗ (vi) S ⇔ T = ⊤ if and only if S = T . Proof. (i)–(iv) follow from the following calculations. ∗∗ ⊤ ⇒ S = δ(ε(⊤) → ε(S)) = δ(⊤ → ε(S)) = δ(ε(S)) = S , j j j ⊥ ⇒ S = δ(ε(⊥) → ε(S)) = δ(⊥ → ε(S)) = δ(⊤) = ⊤, j j j S ⇒ ⊤ = δ(ε(S) → ε(⊤)) = δ(ε(S) → ⊤) = δ(ε(S) ∨ ⊤) = δ(⊤) = ⊤, j j j ⊥ ⊥ ∗ S ⇒ ⊥ = δ(ε(S) → ε(⊥)) = δ(ε(S) → ⊥) = δ(ε(S) ∨ ⊥) = δ(ε(S) ) = S . j j j To prove (v), suppose S ⇒ T = ⊤. Then ε(S) → ε(T ) = ε(S ⇒ T ) = ε(⊤) = ⊤, so j j j ∗∗ ∗∗ ∗∗ ∗∗ ε(S) ≤ ε(T ), and hence S = δ(ε(S)) ≤ δ(ε(T )) = T . Conversely, suppose S ≤ T . ∗∗ ∗∗ Then, ε(S) = ε(S ) ≤ ε(T ) = ε(T ), so that ε(S ⇒ T ) = ε(S) → ε(T ) = ⊤, and j j ∗∗ hence S ⇒ T ≥ (S ⇒ T ) = δ(ε(S ⇒ T )) = ⊤. Therefore, we have S ⇒ T = ⊤. j j j j Assertion (vi) follows easily from assertion (v). 5.2 Commutativity and Paraconsistency Since if an orthomodular lattice is distributive, it is a Boolean algebra and it represents a classical logic, it is often considered that a distributive lattice represents a sublogic of the classical logic or a logic of simultaneously determinate (or commuting) propositions. However, this idea may conﬂicts with our embedding of an orthomodular lattice P(H), a typical logic for simultaneously indeterminate (or noncommuting) propositions, into a distributive lattice Sub (Σ). In order to resolve this conﬂict, we introduce the notion of commutativity using the cl paraconsistent negation, and show that noncommutativity can be be expressed in a distributive logic with paraconsistent negation. Thus, without specifying what negation is considered with it, it may not be answered whether a distributive lattice represents a classical logic. Deﬁnition 5.2. Given S, T ∈ Sub (Σ), we say that S commutes with T (in symbols S T ) if cl ε(S) commutes with ε(T ) in P(H), i.e. ε(S) = (ε(S) ∧ ε(T )) ∨ (ε(S) ∧ ε(T ) ). Proposition 5.10. For any a, b ∈ P(H), we have a b if and only if δ(a) δ(b). Proof. Since δ(a), δ(b) ∈ Sub (Σ), we have δ(a) δ(b) if and only if ε(δ(a)) ε(δ(b)) if and cl only if a b. The following theorem shows that the commutativity can be expressed only by lattice op- erations and the paraconsistent negation ∗. 26 ⊸ Theorem 5.11. For any S, T ∈ Sub (Σ), we have S T if and only if cl ∗∗ ∗ ∗ ∗∗ ∗ S = (S ∨ (T ∧ T )) . (1) Proof. Let S, T ∈ Sub (Σ) and let f(S, T ) = (ε(S) ∧ ε(T )) ∨ (ε(S) ∧ ε(T ) ). We have cl δ ◦ f(S, T ) = δ(ε(S) ∧ ε(T )) ∨ δ(ε(S) ∧ ε(T ) ) = δ ◦ ε(S ∧ T ) ∨ δ ◦ ε(S ∧ T ) ∗∗ ∗ ∗∗ = (S ∧ T ) ∨ (S ∧ T ) ∗ ∗ ∗ ∗ ∗∗ ∗ = (S ∨ T ) ∨ (S ∨ T ) ∗ ∗ ∗ ∗∗ ∗ = ((S ∨ T ) ∧ (S ∨ T )) ∗ ∗ ∗∗ ∗ = (S ∨ (T ∧ T )) . ∗∗ Suppose S T . Then, we have δ ◦ f(S, T ) = δ ◦ ε(S) = S , and we obtain relation (1). ∗∗ Conversely, suppose that relation (1) holds. Then, we have δ ◦ f(S, T ) = S = δ ◦ ε(S) and hence we have f(S, T ) = ε ◦ δ ◦ f(S, T ) = ε ◦ δ ◦ ε(S) = ε(S), so that S T holds. The following theorems show that the distributive logic Sub (Σ) with the negation ∗ is cl properly paraconsistent in the sense that S ∧ S = ⊥ only if S = ⊤ or S = ⊥ for all S ∈ Sub (Σ). cl Theorem 5.12. For any a ∈ P(H), we have δ(a) ∧ δ(a) = ⊥ if and only if a = ⊤ or a = ⊥. ∗ ∗ Proof. It is obvious that δ(a) ∧ δ(a) = ⊥ if a = ⊤ or a = ⊥. Suppose δ(a) ∧ δ(a) = ⊥. Let x ∈ P(H). Then we have ∗ ∗ ∗∗ ∗ ∗ ∗ ∗ ∗∗ (δ(x) ∨ (δ(a) ∧ δ(a) )) = (δ(x) ∨ (δ(a) ∧ δ(a))) = δ(x) . Thus, δ(a) δ(x) so that a x by Proposition 5.10. It follows that a x for all x ∈ P(H), and hence a = ⊤ or a = ⊥. Theorem 5.13. For any S ∈ Sub (Σ), we have S ∧ S = ⊥ if and only if S = ⊤ or S = ⊥. cl ∗ ∗ Proof. It is obvious that S ∧ S = ⊥ if S = ⊤ or S = ⊥. Suppose that S ∧ S = ⊥. Since ∗∗ ∗∗ ∗ ∗∗ S ≤ S, we have S ∧ S = ⊥. Since S = δ(ε(S)) = δ(a), where a = ε(S), we have ∗ ∗∗∗ ∗ ∗∗ ∗ ∗ S = S = δ(a) , so S ∧ S = δ(a) ∧ δ(a) = ⊥. By Theorem 5.12, a = ⊥ or a = ⊤, ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ so S = δ(a) = ⊥ or S = ⊤. If S = ⊤, then S = ⊤ since S ≤ S. If S = ⊥, then ∗ ∗∗∗ ∗ ∗ S = S = ⊤, so that S = S ∧ S = ⊥. Thus, if S ∧ S = ⊥ then S = ⊤ or S = ⊥. The idea now is to study the logical structure of Sub (Σ) equipped with the paraconsistent cl negation ∗ and the translated orthomodular implications ⇒ , ⇒ , ⇒ (it turns out that ⇒ S C R S has a special role here). As we will see in the next section, this new logical structure allows us to develop rich new connections between TQT and QST. 6 Bridging the Gap (Sub (Σ)) cl 6.1 V Eva [10] suggests the possibility of connecting TQT and QST via the set-theoretic structure (Sub (Σ)) cl V , where Sub (Σ) is equipped with the negation ∗ rather than the Heyting negation. cl 27 However, he stops short of translating the orthomodular implication connectives into the dis- (Sub (Σ)) cl tributive setting and does not provide any characterisation of the extent to which V is able to model any interesting mathematics. Deﬁnition 6.1. For j = S, C, R, we deﬁne the Sub (Σ)-valued truth value kφk of any for- cl j (Sub (Σ)) cl mula φ in the language of set theory augmented by the names of elements of V as the (Sub (Σ),⇒ ,⇔ )-interpretation of φ introduced in deﬁnition 3.4. cl j j (Sub (Σ)) cl Deﬁnition 6.2. The universe V of the ZFC set theory is embedded into V by (Sub (Σ)) cl ˆ: V → V , x 7→ xˆ, where xˆ = {hyˆ,⊤i | y ∈ x}, i.e. dom(xˆ) = {yˆ | y ∈ x} and xˆ assigns the value ⊤ to every element of its domain. Note that the relation kx ∈ uˆk = kuˆ = xk j j u ∈u follows from the above deﬁnition immediately. This embedding satisﬁes the following prop- erties. Proposition 6.1. The following relations hold for any u, v ∈ V . (i) kuˆ ∈ vˆk = ⊤ if u ∈ v. (ii) kuˆ ∈ vˆk = ⊥ if u 6∈ v. (iii) kuˆ = vˆk = ⊤ if u = v. (iv) kuˆ = vˆk = ⊥ if u 6= v. ′ ′ Proof. Let u, v ∈ V . Suppose that relations (iii) and (iv) hold for any u ∈ u and v ∈ v. _ _ _ ′′ ′′ ˆ′ ˆ′ ˆ′ ˆ′ ˆ′ ˆ′ ˆ′ ku ∈ vˆk = vˆ(v ) ∧ ku = v k = vˆ(v ) ∧ ku = v k = ku = v k , j j j j ′′ ′ ′ v ∈v v ∈v v ∈dom(vˆ) ^ ^ ′′ ′′ ′′ ′′ kuˆ = vˆk = uˆ(u ) ⇒ ku ∈ vˆk ∧ vˆ(v ) ⇒ kv ∈ uˆk j j j j j ′′ ′′ u ∈dom(uˆ) v ∈dom(vˆ) ^ ^ ′ ′ ′ ′ ˆ ˆ ˆ ˆ = uˆ(u ) ⇒ ku ∈ vˆk ∧ vˆ(v ) ⇒ kv ∈ uˆk j j j j ′ ′ u ∈u v ∈v ^ ^ ˆ′ ˆ′ = ⊤ ⇒ ku ∈ vˆk ∧ ⊤ ⇒ kv ∈ uˆk j j j j ′ ′ u ∈u v ∈v ^ ^ ∗∗ ∗∗ ′ ′ ˆ ˆ = ku ∈ vˆk ∧ kv ∈ uˆk j j ′ ′ u ∈u v ∈v ^ _ ^ _ ∗∗ ∗∗ ˆ′ ˆ′ ˆ′ ˆ′ = ( ku = v k ) ∧ ( kv = u k ) , j j ′ ′ ′ ′ u ∈u v ∈v v ∈v u ∈u where Proposition 5.9 (i) was used in the penultimate equality. Thus, kuˆ = vˆk = ⊤ if u = v, ∗∗ ∗∗ and kuˆ = vˆk = ⊥ if u 6= v for all u, v ∈ V from the relations ⊤ = ⊤ and ⊥ = ⊥. Consequently, relations (iii) and (iv) have been proved by induction. Then, relations (i) and (ii) follow straightforwardly. 28 Corollary 6.2. The following statements hold. (1) Given a Δ -formula φ with n free variables, and x , ..., x ∈ V , φ(x , ..., x ) ↔ 0 1 n 1 n (Sub (Σ)) cl V |= φ(xˆ , ..., xˆ ). 1 n (2) Given a Σ -formula φ with n free variables, and x , ..., x ∈ V , φ(x , ..., x ) → 1 1 n 1 n (Sub (Σ)) cl V |= φ(xˆ , ..., xˆ ). 1 n (Sub (Σ)) cl The ﬁrst thing to note is that, assuming ∗, V is a set-theoretic structure with a paraconsistent internal logic. In recent years, Weber [36, 37], Brady [4], Lo¨we and Tarafder [21] and others have done exciting work in exploring the possibility of developing a non- trivial set theory built over a paraconsistent logic. However, there is still no well established model theory for paraconsistent set theory, despite some promising recent developments (see e.g. Libert [20], Lo¨we and Tarafder [21]). So it is not currently possible to characterise (Sub (Σ)) cl V as a full model of any particular set theory. However, we will now show that it is possible to translate Ozawa’s Δ transfer principle for orthomodular valued models to the (Sub (Σ)) (Sub (Σ)) cl cl paraconsistent structure V . This guarantees that V is able to model signiﬁ- cant fragments of classical mathematics. The following deﬁnition will play an important role. (P(H)) (Sub (Σ)) (Sub (Σ)) (P(H)) cl cl Deﬁnition 6.3. The maps α : V → V and ω : V → V are given by the following recursive deﬁnitions: (P(H)) (1) Given u ∈ V , α(u) = {hα(x), δ(u(x))i|x ∈ dom(u)}. (Sub (Σ)) cl (2) Given u ∈ V , ω(u) = {hω(x), ε(u(x))i|x ∈ dom(u)}. (P(H)) Intuitively, α is an embedding of the orthomodular valued structure V into the para- (Sub (Σ)) cl consistent and distributive structure V . It allows us to translate the constructions of QST into a new setting whose logic is closely connected to TQT. α and ω can be seen as ‘higher level’ versions of the morphisms δ, ε that map between whole Q-worlds rather than simple lattices. Before proving a fundamental theorem concerning the implications of α, recall the induc- tion principle for algebraic valued models of set theory, which says that for any algebra A, (A) ′ ′ (A) ∀u ∈ V (∀u ∈ dom(u)φ(u ) → φ(u)) → ∀u ∈ V φ(u), (A) i.e. if we want to prove that φ holds for every element of the structure V , it is sufﬁcient to (A) show that for arbitrary u ∈ V , φ holding for everything in u’s domain implies that φ holds for u. We use this inductive principle in the proof of the following key result. In the following, a ‘negation-free Δ -formula’ is any formula constructed from atomic formulae of the form x = y or x ∈ y by adding conjunction ∧, disjunction ∨, and bounded quantiﬁers (∀x ∈ y) and (∃x ∈ y), where x and y denote arbitrary variables. (P(H)) Theorem 6.3. For any negation-free Δ -formula φ(x , ..., x ) and any u , ..., u ∈ V , 0 1 n 1 n δ(kφ(u , ..., u )k ) ≤ kφ(α(u ), ..., α(u ))k . 1 n S 1 n S Proof. In the proof, we omit the symbol S and simply assume that ⇒ always denotes ⇒ . (P(H)) Argue by induction. Let u ∈ V . We begin with proving the following relations for atomic formulas. (i) kα(u) = α(v)k ≥ δ(ku = vk), (ii) kα(u) ∈ α(v)k ≥ δ(ku ∈ vk), (P(H)) (iii) kα(v) ∈ α(u)k ≥ δ(kv ∈ uk) for any v ∈ V . 29 ′ Suppose u ∈ dom(u). By induction hypothesis we have ′ ′ (i’) kα(u ) = α(v)k ≥ δ(ku = vk), ′ ′ (P(H)) (ii’) kα(u ) ∈ α(v)k ≥ δ(ku ∈ vk) for any v ∈ V . (P(H)) Let v ∈ V . It follows from (i’) that ′ ′ kα(v) ∈ α(u)k = (α(u)(α(u )) ∧ kα(u ) = α(v)k) u ∈dom(u) ′ ′ = (δ(u(u )) ∧ kα(u ) = α(v)k) u ∈dom(u) ′ ′ ≥ [δ(u(u )) ∧ δ(ku = vk)] u ∈dom(u) ′ ′ ≥ δ(u(u ) ∧ ku = vk) u ∈dom(u)   ′ ′   = δ (u(u ) ∧ ku = vk) u ∈dom(u) = δ(kv ∈ uk). (P(H)) So we have shown (iii) for any v ∈ V . Using the easily observed fact that b ≤ c implies a ⇒ b ≤ a ⇒ c, as well as (ii’) for an S S (P(H)) ′ arbitrary v ∈ V and (i) with substituting an arbtrary v ∈ dom(v) for v, we have kα(u) = α(v)k ^ ^ ′ ′ ′ ′ = (α(u)(α(u )) ⇒ kα(u ) ∈ α(v)k) ∧ (α(v)(α(v )) ⇒ kα(v ) ∈ α(u)k) ′ ′ u ∈dom(u) v ∈dom(v) ^ ^ ′ ′ ′ ′ = (δ(u(u )) ⇒ kα(u ) ∈ α(v)k) ∧ (δ(v(v )) ⇒ kα(v ) ∈ α(u)k) ′ ′ u ∈dom(u) v ∈dom(v) ^ ^ ′ ′ ′ ′ ≥ [δ(u(u )) ⇒ δ(ku ∈ vk)] ∧ [δ(v(v )) ⇒ δ(kv ∈ uk)] ′ ′ u ∈dom(u) v ∈dom(v) ^ ^ ′ ′ ′ ′ = δ(u(u ) → ku ∈ vk) ∧ δ(v(v ) → kv ∈ uk) ′ ′ u ∈dom(u) v ∈dom(v)   ^ ^ ′ ′ ′ ′   ≥ δ u(u ) → ku ∈ vk ∧ v(v ) → kv ∈ uk ′ ′ u ∈dom(u) v ∈dom(v) = ku = vk. (P(H)) So we have shown (i) for any v ∈ V . (P(H)) It remains to show (ii). Let v ∈ V . It follows from (i) with substituting an arbitrary v ∈ dom(v) for v that ′ ′ kα(u) ∈ α(v)k = α(v)(α(v )) ∧ kα(u) = α(v )k v ∈dom(v) 30 _ ′ ′ ≥ [δ(v(v )) ∧ δ(ku = v k)] v ∈dom(v) ′ ′ ≥ δ(v(v ) ∧ ku = v k) v ∈dom(v)   ′ ′   = δ (v(v ) ∧ ku = v k) v ∈dom(v) = δ(ku ∈ vk). (P(H)) So we have derived (ii) for any v ∈ V . Thus, the assertion holds for all atomic formulae. Suppose that negation-free Δ -formulae φ (~x) for j = 1, 2 satisfy 0 j δ(kφ (~u)k) ≤ kφ (α(~u)))k j j (P(H)) for any u , . . . , u ∈ V , where ~x = (x , . . . , x ), ~u = (u , . . . , u ), and α(~u) = 1 n 1 n 1 n (α(u ), . . . , α(u )). Then we have 1 n kφ (α(~u)) ∧ φ (α(~u))k = kφ (α(~u))k ∧ kφ (α(~u))k 1 2 1 2 ≥ δ(kφ (~u)k) ∧ δ(kφ (~u)k) 1 2 ≥ δ(kφ (~u)k ∧ kφ (~u)k) 1 2 = δ(kφ (~u) ∧ φ (~u)k). 1 2 We also have kφ (α(~u)) ∨ φ (α(~u))k = kφ (α(~u))k ∨ kφ (α(~u))k 1 2 1 2 ≥ δ(kφ (~u)k) ∨ δ(kφ (~u)k) 1 2 = δ(kφ (~u)k ∨ kφ (~u)k) 1 2 = δ(kφ (~u) ∨ φ (~u)k). 1 2 Suppose that a negation-free Δ -formula φ(x,~x) satisﬁes δ(kφ(u,~u)k) ≤ kφ(α(u), α(~u))k (P(H)) for any u, u , . . . .u ∈ V . Then, we have 1 n k(∀x ∈ α(u))φ(x, α(~u))k = (α(u)(w) ⇒ kφ(w, α(~u))k) w∈dom(α(u)) ′ ′ = (α(u)(α(u )) ⇒ kφ(α(u ), α(~u))k) u ∈dom(u) ′ ′ ≥ [α(u)(α(u )) ⇒ δ(kφ(u ,~u)k)] u ∈dom(u) ′ ′ = [δ(u(u )) ⇒ δ(kφ(u ,~u)k)] u ∈dom(u) ′ ′ = δ(u(u ) → kφ(u ,~u)k) u ∈dom(u)   ′ ′   ≥ δ (u(u ) → kφ(u ,~u)k) u ∈dom(u) 31 ≥ δ(k(∀x ∈ u)φ(x,~u)k), and we also have k(∃x ∈ α(u))φ(x, α(~u)k = (α(u)(w) ∧ kφ(w, α(~u)k) w∈dom(α(u)) ′ ′ = (α(u)(α(u )) ∧ kφ(α(u ), α(~u))k) u ∈dom(u) ′ ′ ≥ [α(u)(α(u )) ∧ δ(kφ(u ,~u)k)] u ∈dom(u) ′ ′ = [δ(u(u )) ∧ δ(kφ(u ,~u)k)] u ∈dom(u) ′ ′ ≥ δ(u(u ) ∧ kφ(u ,~u)k) u ∈dom(u)   ′ ′   = δ (u(u ) ∧ kφ(u ,~u)k) u ∈dom(u) = δ(k(∃x ∈ u)φ(x,~u)k). This completes the proof by induction on the complexity of negation-free Δ -formulae. The above proof uses the monotonicity property of the Sasaki arrow: b ≤ c implies a ⇒ b ≤ a ⇒ c. In the case where j = R or C, the corresponding property does not hold, so that the proof does not work in those cases. Combined with theorem 3.2 and the monotonicity of δ, theorem 6.3 immediately leads to the following important corollary, for which we recall deﬁnition 3.9. (P(H)) Theorem 6.4. For any negation-free Δ -formula φ(x , ..., x ) and any u , ..., u ∈ V , 0 1 n 1 n if φ(x , ..., x ) is provable in ZFC then 1 n δ(∨(u , ..., u )) ≤ kφ(α(u ), ...α(u ))k . 1 n 1 n S (Sub (Σ)) cl Equipped with theorem 6.4, we can guarantee that V will model signiﬁcant frag- ments of classical mathematics. Crucially, we can now translate many of Ozawa’s [27] results characterising the behaviour of the real numbers in orthomodular valued models to the para- (Sub (Σ)) 22 cl consistent structure V . (Sub (Σ)) cl 6.2 Real Numbers in V (Sub (Σ)) cl We are now ready to use the paraconsistent structure V to establish a rich and pow- erful connection between TQT and QST. First of all, we can deﬁne the Dedekind reals in (Sub (Σ)) cl V in the usual way. Eva [10] shows that, in the case where the original orthomodu- (Sub (Σ)) (Sub (Σ)) cl cl lar lattice is a projection lattice P(H), the set R of all Dedekind reals in V 22 (Sub (Σ)) cl It is also worth brieﬂy pointing out that V is very clearly a non-trivial structure. It is not the case that (Sub (Σ)) (Sub (Σ)) cl cl every Sub (Σ)-sentence is satisﬁed by V . To give a simple example, let e ∈ V be any element cl (Sub (Σ)) cl such that for every x ∈ dom(e), e(x) = ⊥. Then it is easy to see that for any u ∈ V , ku ∈ ek = ⊥. 32 is closely related to the set SA(H) of all self-adjoint operators on H. Here, we render this connection more precisely. (Sub (Σ)) cl Recall ﬁrst that R is deﬁned by (Sub (Σ)) (Sub (Σ)) cl cl R = {u ∈ V | dom(u) = dom(Q) ∧ kR(u)k = ⊤}, where R(u) is the formula ˆ ˆ ˆ R(u) := ∀y ∈ u(y ∈ Q)∧∃y ∈ Q(y ∈ u) ∧ ∃y ∈ Q(y ∈/ u)∧ ˆ ˆ ∀y ∈ Q(y ∈ u ↔ ∃z ∈ Q(z < y ∧ z ∈ u)), meaning that u is the upper segment of a Dedekind cut of the rational numbers without end- point. (Sub (Σ)) cl Proposition 6.5. Let u, v ∈ R . The following statements hold. (1) krˆ ∈ uk = u(rˆ) for all r ∈ Q. ∗∗ ∗∗ (2) ku = vk = ⊤ if and only if u(rˆ) = v(rˆ) for all r ∈ Q. Proof. Statement (1) follows from krˆ ∈ uk = u(sˆ) ∧ ksˆ = rˆk = u(rˆ). j j s∈Q (Sub (Σ)) cl To show statement (2), let u, v ∈ R . We obtain ^ ^ ′ ′ ′ ′ ku = vk = (u(u ) ⇒ ku ∈ vk ) ∧ (v(v ) ⇒ kv ∈ uk ) j j j j j ′ ′ u ∈dom(u) v ∈dom(v) ^ ^ ′ ′ ′ ′ = (u(u ) ⇒ ku ∈ vk ) ∧ (v(v ) ⇒ kv ∈ uk ) j j j j ′ ˆ ′ ˆ u ∈dom(Q) v ∈dom(Q) ^ ^ = (u(rˆ) ⇒ krˆ ∈ vk ) ∧ (v(rˆ) ⇒ krˆ ∈ uk ) j j j j r∈Q r∈Q = [(u(rˆ) ⇒ krˆ ∈ vk ) ∧ (v(rˆ) ⇒ krˆ ∈ uk )] j j j j r∈Q = [(u(rˆ) ⇒ v(rˆ)) ∧ (v(rˆ) ⇒ u(rˆ))] j j r∈Q = (u(rˆ) ⇔ v(rˆ)). r∈Q ∗∗ Thus, ku = vk = ⊤ if and only if u(rˆ) ⇔ v(rˆ) = ⊤ for all r ∈ Q if and only if u(rˆ) = j j ∗∗ v(rˆ) for all r ∈ Q by proposition 5.9 (vi). (Sub (Σ)) (Sub (Σ)) cl ˆ cl Proposition 6.6. For any u ∈ V with dom(u) = Q, we have u ∈ R if and only if the following conditions hold: (i) u(rˆ) = ⊤. r∈Q (ii) u(rˆ) = ⊤. r∈Q ∗∗ ∗∗ (iii) u(sˆ) = u(rˆ) for all r ∈ Q. s∈Q:s<r 33 (Sub (Σ)) cl Proof. By deﬁnition, u ∈ R if and only if kR(u)k = ⊤ if and only if the following conditions hold: (P1) k∃y ∈ Q(y ∈ u)k = ⊤. (P2) k∃y ∈ Q(y ∈/ u)k = ⊤. ˆ ˆ (P3) k∀y ∈ Q[y ∈ u ↔ ∃z ∈ Q(z < y ∧ z ∈ u)]k = ⊤. We have that W W W ˆ ˆ k∃y ∈ Q(y ∈ u)k = Q(rˆ) ∧ krˆ ∈ uk = krˆ ∈ uk = u(rˆ) j j j r∈Q r∈Q r∈Q W W W ∗ ∗ ˆ ˆ k∃y ∈ Q(y ∈/ u)k = Q(rˆ) ∧ krˆ ∈/ uk = krˆ ∈ uk = u(rˆ) j j r∈Q r∈Q r∈Q Thus, (P1) ⇔ (i) and (P2) ⇔ (ii). Furthermore, ˆ ˆ k∀y ∈ Q[y ∈ u ↔ ∃z ∈ Q(z < y ∧ z ∈ u)]k   ^ _ ˆ ˆ   = Q(rˆ) ⇒ krˆ ∈ uk ⇔ (Q(sˆ) ∧ ksˆ < rˆk ∧ ksˆ ∈ uk ) j j j j j r∈Q s∈Q   ^ _   = ⊤ ⇒ krˆ ∈ uk ⇔ (⊤ ∧ ksˆ < rˆk ∧ ksˆ ∈ uk ) j j j j j r∈Q s∈Q   ∗∗ ^ _   = u(rˆ) ⇔ (ksˆ < rˆk ∧ u(sˆ)) j j r∈Q s∈Q   ∗∗ ^ _   = u(rˆ) ⇔ u(sˆ) . r∈Q s∈Q:s<r ∗∗ Since S = ⊤ ⇔ S = ⊤, (P3) holds if and only if [u(rˆ) ⇔ u(sˆ)] = ⊤ holds for j j s∈Q:s<r ∗∗ ∗∗ all r ∈ Q. And since S ⇔ T = ⊤ if and only if S = T by proposition 5.9 (vi), it follows that (P3) ⇔ (iii), as desired. (Sub (Σ)) cl ˆ Deﬁnition 6.4. Deﬁne the map H : SA(H) → V by dom(H(X)) = Q and H(X)(rˆ) = δ(E ) for all r ∈ Q. Intuitively, the map H allows us to represent self-adjoint operators within the structure (Sub (Σ)) cl V . Since δ is injective and the correspondence between left-continuous spectral fam- ilies and self-adjoint operators is bijective, it follows that H is also injective. Proposition 6.7. For any X ∈ SA(H), the following properties hold. 34 W (i) H(X)(rˆ) = ⊤, r∈Q (ii) H(X)(rˆ) = ⊤, r∈Q (iii) H(X)(sˆ) = H(X)(rˆ), s∈Q:s<r ∗∗ (iv) H(X)(rˆ) = H(X)(rˆ) , ∀r ∈ Q. Proof. Properties (i) and (iii) follow immediately from the deﬁning properties of left- continuous spectral families and the fact that δ preserves joins. Property (ii) follows from ⊥ ∗ join preservation and the fact that δ(a ) = δ(a) . To prove (iv), note that since the image of δ is *-regular (Lemma 15), we have ∗∗ X ∗∗ X H(X)(rˆ) = δ(E ) = δ(E ) = H(X)(rˆ). r r (Sub (Σ)) ∗ ∗ ∗ ∗ cl Deﬁnition 6.5. For any u ∈ V , deﬁne u by dom(u ) = dom(u) and u (v) = u(v) , ∗ ∗∗ for all v ∈dom(u). We call u the complement of u, and u the regularisation of u. A real (Sub (Σ)) (Sub (Σ)) ∗∗ cl cl number u ∈ R is called regular if u = u. Denote by R the set of regular (Sub (Σ)) cl elements of R . (Sub (Σ)) cl Proposition 6.8. The mapping H : X 7→ H(X) maps SA(H) to R , (Sub (Σ)) cl i.e. H[SA(H)] ⊆ R . Proof. From proposition 6.6 and proposition 6.7 (i)-(iii), we have that H[SA(H)] ⊆ (Sub (Σ)) (Sub (Σ)) cl cl R . Proposition 6.7 (iv) shows that H[SA(H)] ⊆ R . ∗∗ Proposition 6.9. For any family {S } ⊆ Sub (Σ) satisfying S = S for all j, j j cl W W ε( S ) = ε(S ). j j j j Proof. Let {S } ⊆ Sub (Σ) satisfy the condition. Then cl _ _ ^ ^ ∗∗ ∗ ∗ ∗ ⊥ ε( S ) = ε( S ) = ε(( S ) ) = ε( S ) j j j j j j j ^ ^ _ _ ∗ ⊥ ⊥ ⊥ ⊥⊥ = ( ε(S )) = ( ε(S ) ) = ( ε(S )) = ε(S ). j j j j j j j (Sub (Σ)) cl Deﬁnition 6.6. Given u ∈ R , deﬁne the P (H)-valued function F on Q by F (r) = ε(u(rˆ)). for all r ∈ Q. 35 (Sub (Σ)) cl Proposition 6.10. For any u ∈ R the following properties hold: (i) F (r) = ⊤. r∈Q (ii) F (r) = ⊥. r∈Q u u (iii) F (s) = F (r) for all r ∈ Q. s∈Q:s<r (Sub (Σ)) cl Proof. Let u ∈ R and r ∈ Q. Since u(rˆ) is regular, it follows (from proposition 6.9) that _ _ _ (i) F (r) = ε(u(rˆ)) = ε( u(rˆ)) = ε(⊤) = ⊤, r∈Q r∈Q r∈Q ^ ^ _ _ u ⊥ ⊥ ∗ ⊥ (ii) F (r) = ε(u(rˆ)) = ( ε(u(rˆ)) ) = ( ε(u(rˆ) )) r∈Q r∈Q r∈Q r∈Q ∗ ⊥ ⊥ = ε( u(rˆ) ) = ε(⊤) = ⊥, r∈Q _ _ _ u u (iii) F (s) = ε(u(sˆ)) = ε( u(sˆ)) = ε(u(rˆ)) = F (r). s∈Q:s<r s∈Q:s<r s∈Q:s<r (Sub (Σ)) cl Proposition 6.11. Each u ∈ R uniquely determines a corresponding self-adjoint operator G(u) ∈ SA(H) deﬁned by the left-continuous spectral family G(u) E = F (r) r∈Q:r<λ for each λ ∈ R. G(u) Proof. That {E |λ ∈ R} is a left-continuous spectral family follows from proposition 6.10, and the spectral theorem entails that this family uniquely deﬁnes a corresponding self-adjoint operator. Proposition 6.12. The following relations hold. (i) G ◦ H(A) = A for all A ∈ SA(H). (Sub (Σ)) cl (ii) G[R ] = SA(H). (Sub (Σ)) cl (iii) H ◦ G(u) = u for all u ∈ R . (Sub (Σ)) cl (iv) H[SA(H)] = R . Proof. Let A ∈ SA(H) and r ∈ Q. Then we have G◦H(A) H(A) A A E = F (r) = ε(H(A)(rˆ)) = ε ◦ δ(E ) = E , r r r 36 (Sub (Σ)) cl and hence assertion (ii) holds. From proposition 6.11 we have G[R ] ⊆ SA(H) and (Sub (Σ)) cl (i) concludes assertion (ii). Let u ∈ R and r ∈ Q. Then we have G(u) ∗∗ H ◦ G(u)(rˆ) = δ(E ) = δ ◦ ε(u(rˆ)) = u(rˆ) = u(rˆ), and hence assertion (iii) holds. From proposition 6.8, in order to show (iv) it sufﬁces to show (Sub (Σ)) (Sub (Σ)) cl cl the relation R ⊆ H[SA(H)]. Let u ∈ R and A = G(u) ∈ SA(H). Then r r we have G(u) ∗∗ H(A)(rˆ) = δ(E ) = δ ◦ ε(u(rˆ)) = u(rˆ) = u(rˆ) (Sub (Σ)) cl for all r ∈ Q. Therefore, the relation H[SA(H)] = R holds. Propositon 6.11 shows that mutually inverse mappings G and H establish a one-to-one (Sub (Σ)) cl correspondence between SA(H) and R , so that we can faithfully represent all regular (Sub (Σ)) cl reals in V as self-adjoint operators. The following theorem summarizes the above results. (Sub (Σ)) cl Theorem 6.13. SA(H) and R are in bijective correspondence under mutually in- verse bijections G and H. Theorem 6.13 provides a precise clariﬁcation of the relationship between real numbers in (Sub (Σ)) cl V and self-adjoint operators on the relevant Hilbert space. Speciﬁcally, it shows that (Sub (Σ)) cl the ‘regular reals’ in V can always be used to represent the set SA(H). Recall that the relation v(rˆ) = E (P(H)) for all r ∈ Q sets up a bijective correspondence between X ∈ SH(H) and v ∈ R (theorem 3.3); in this case, we write X = Ψ(v) and v = Φ(X). We then have Ψ ◦ Φ = (Sub (Σ)) cl (P(H)) (P(H)) ˜ ˜ id on SH(H) and Φ ◦ Ψ = id on R . Deﬁne H : R → R and G : (Sub (Σ)) cl (P(H)) (P(H)) ˜ ˜ R → R by H(v) = H(Ψ(v)) for all v ∈ R and G(u) = Φ(G(u)) for all (Sub (Σ)) cl u ∈ R . Then, we obtain G(u) G(u)(rˆ) = Φ(G(u))(rˆ) = E = ε(u(rˆ)) = α(u)(rˆ), Ψ(v) H(v)(rˆ) = H(Ψ(v))(rˆ) = δ(E ) = δ(v(rˆ)) = ω(u)(rˆ) for all r ∈ Q. We also have ˜ ˜ α ◦ ω(v) = G ◦ H(v) = Φ ◦ G ◦ H ◦ Ψ(v) = v, ˜ ˜ ω ◦ α(u) = H ◦ G(u) = H ◦ Ψ ◦ Φ ◦ G(u) = u (Sub (Σ)) (P(H)) cl for all u ∈ R and v ∈ R . Thus, we obtain (Sub (Σ)) cl (P(H)) Theorem 6.14. The relations v = α(u) and u = ω(v) for u ∈ R and v ∈ R (Sub (Σ)) cl (P(H)) set up a bijective correspondence between R and R . 37 7 Conclusion In conclusion, we take the main results of the paper to be the following. • The translation of the orthomodular structure of traditional quantum logic into a new form of distributive and paraconsistent logic that arises naturally in the context of TQT. • The introduction of the paraconsistent negation ∗ into the complete bi-Heyting algebra Sub (Σ) to be properly paraconsistent in the sense that S ∧S = ⊥ only if S ∈ {⊥,⊤}. cl • The introduction of the commutativity relation into the complete bi-Heyting algebra Sub (Σ) expressed by the lattice operation and the paraconsistent negation ∗. cl (Sub (Σ)) cl • The construction of the paraconsistent set theoretic structure V and the deriva- tion of a Δ -theorem transfer scheme that allows us to model major fragments of classi- (Sub (Σ)) cl cal set theory in V . • The translation of the lattice-theoretic operations δ, ε into higher level set-theoretic maps α, ω, which can subsequently be used to translate ideas and results between TQT and QST. (Sub (Σ)) cl • The precise characterisation of the relationship between real numbers in V and self-adjoint operators on the initial Hilbert space. It goes without saying that this paper only represents a ﬁrst step in the broader project of unifying TQT and QST into a single overarching formal framework. References [1] Bell, J. L., Set Theory: Boolean-valued Models and Independence Proofs, Third Edition (Oxford UP, Oxford, 2005). [2] Bell, J. L., Toposes and Local Set Theories, An Introduction (Dover, New York, 2008). [3] Birkhoff, G. and von Neumann, J., The Logic of Quantum Mechanics, Annals of Mathe- matics, Second Series, 37(4): 823–843 (1936). [4] Brady, R.T., The Non-Triviality of Dialectical Set Theory, in Priest, G., Routley, R. and Norman, J. (eds.), Paraconsistent Logic: Essays on the Inconsistent: 437–470 (Philosophia, Mu¨nchen, 1989). [5] Cannon, S., The Spectral Presheaf of an Orthomodular Lattice, MSc thesis, University of Oxford (2013). [6] Cannon, S. and Do¨ring, A., A Generalisation of Stone Duality to Orthomodular Lattices, in Ozawa, M. et al. (eds), Reality and Measurement in Algebraic Quantum Theory, Pro- ceedings in Mathematics & Statistics (PROMS) 261: 3–65 (Springer, Singapore, 2018). [7] Do¨ring, A., Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras, in Chubb, J., Eskandarian, A. and Harizanov, V. (eds.), Logic and Algebraic Structures in Quantum Computing, Lecture Notes in Logic 45: 151–173 (Cambridge UP, Cambridge, 2016). 38 [8] Do¨ring, A. and Isham, C., What is a Thing?: Topos Theory in the Foundations of Physics, in Coecke, B. (ed.), New Structures for Physics, Lecture Notes in Physics 813: 753–940 (Springer, Berlin, 2011). [9] Dummett, M., Is Logic Empirical?, in Lewis, H. D. (ed.), Contemporary British Philoso- phy, 4th series: 45–68 (Allen and Unwin, London 1976). [10] Eva, B., Towards a Paraconsistent Quantum Set Theory, in Heunen, C., Selinger, P. and Vicary, J. (eds), Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), Electronic Proceedings in Theoretical Computer Science (EPTCS) 195: 158–169 (2015). [11] Eva, B., Topos Theoretic Quantum Realism, British Journal for the Philosophy of Science 68(4): 1149–1181 (2017). DOI: 10.1093/bjps/axv057. [12] Gibbins, P., Particles and Paradox: The Limits of Quantum Logic (Cambridge UP, Cam- bridge, 2008). [13] Hardegree, G., Material Implication in Orthomodular (and Boolean) Lattices, Notre Dame Journal of Formal Logic 22: 163–182 (1981). [14] Harding, J., Heunen, C., Lindenhovius, B. and Navara, M., Boolean Subalgebras of Or- thoalgebras, Order - A Journal on the Theory of Ordered Sets and its Applications 36(3): 563–609 (2019). [15] Harding, J. and Navara, M., Subalgebras of Orthomodular Lattices, Order - A Journal on the Theory of Ordered Sets and its Applications 28(3): 549–563 (2011). [16] Isham, C., Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets, International Journal of Theoretical Physics 36: 785–814 (1997). [17] Isham, C. and Butterﬁeld, J., A topos perspective on the Kochen-Specker theorem 1: Quantum States as Generalized Valuations, International Journal of Theoretical Physics 37: 2669–2733 (1998). [18] Jech, T., Set Theory: The Third Millennium Edition, revised and expanded (Springer, Berlin, 2003). [19] Johnstone, P., Sketches of an Elephant, A Topos Theory Compendium, Vols. I, II (Cam- bridge UP, Cambridge, 2002/03). [20] Libert, T., Models for a paraconsistent set theory, Journal of Applied Logic 3: 15–41 (2005). [21] Lo¨we, B. and Tarafder, S., Generalised Algebra-Valued Models of Set Theory, Review of Symbolic Logic 8: 192–205 (2015). [22] McKubre-Jordens, M. and Weber, Z., Real Analysis in Paraconsistent Logic, Journal of Philosophical Logic 41: 901–922 (2012). [23] Mac Lane, S. and Moerdijk, I., Sheaves in Geometry and Logic, A First Introduction to Topos Theory (Springer, New York, 1994). [24] Putnam, H., The Logic of Quantum Mechanics, in Mathematics, Matter and Method: 174–197 (Cambridge UP, Cambridge, 1975). [25] Priest, G., Logic of Paradox, Journal of Philosophical Logic 8: 219–241 (1979). [26] Ozawa, M., Uncertainty Relations for Joint Measurements of Noncommuting Observ- ables, Physics Letters A 320: 367–374 (2004). 39 [27] Ozawa, M., Transfer Principle in Quantum Set Theory, Journal of Symbolic Logic 72: 625–648 (2007). [28] Ozawa, M., Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory, New Generation Computing 34: 125–152 (2016). [29] Ozawa, M., Operational Meanings of Orders of Observables Deﬁned Through Quantum Set Theories With Different Conditionals, in Duncan, R. and Heunen, C. (eds), Proceed- ings of the 13th International Workshop on Quantum Physics and Logic (QPL2016), Elec- tronic Proceedings in Theoretical Computer Science (EPTCS) 236: 127–144 (2017). [30] Ozawa, M., Orthomodular-Valued Models for Quantum Set Theory, Review of Symbolic Logic 10: 782–807 (2017). [31] Reed, M. and Simon. B., Methods of Modern Mathematical Physics I: Functional Anal- ysis (Revised and Enlarged Edition), (Academic, New York, 1980). [32] Stone, M.H., The Theory of Representations for Boolean algebras, Transactions of the American Mathematical Society 40: 37–111 (1936). [33] Takeuti, G., Two Applications of Logic to Mathematics (Princeton UP, Princeton, 1974). [34] Takeuti, G., Quantum Set Theory, in Beltrameti, E. G. and van Fraassen, B.(eds), Current Issues in Quantum Logic: 303–322 (Plenum, New York, 1981). [35] Titani, S., Lattice Valued Set Theory, Archive for Mathematical Logic 38(6): 395–421 (1999). [36] Weber, Z., Transﬁnite Numbers in Paraconsistent Set Theory, Review of Symbolic Logic 3: 71–92 (2010). [37] Weber, Z., Transﬁnite Cardinals in Paraconsistent Set Theory, Review of Symbolic Logic 5: 269–293 (2012). [38] Ying, M., A Theory of Computation Based on Quantum Logic (I), Theoretical Computer Science 344: 134–207 (2005)

http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

Mathematics arXiv (Cornell University)

http://www.deepdyve.com/lp/arxiv-cornell-university/a-bridge-between-q-worlds-7Gc6JJROla

A Bridge Between Q-Worlds

Loading next page...

ISSN: 1755-0203
eISSN: ARCH-3343
DOI: 10.1017/S1755020319000492
Publisher site: See Article on Publisher Site

Abstract

Journal

Mathematics – arXiv (Cornell University)

Published: Dec 18, 2018

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Bridge Between Q-Worlds

A Bridge Between Q-Worlds

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Bridge Between Q-Worlds

A Bridge Between Q-Worlds

Abstract

Journal

Recommended Articles

There are no references for this article.

Our policy towards the use of cookies