Online research in philosophy

We announce some new results regarding the classification problem for separable von Neumann algebras. Our results are obtained by applying the notion of Borel reducibility and Hjorth's theory of turbulence to the isomorphism relation for separable von Neumann algebras.

Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated.

A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (see arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the concrete example of the C*-algebra M_n(C) of complex n x n matrices. This leads to an explicit expression for the pointfree quantum phase space and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen-Specker Theorem. In our approach, the nondistributive lattice P(M_n(C)) of projections in M_n(C)(which forms the basis of the traditional quantum logic of Birkhoff and von Neumann)is replaced by a specific distributive lattice of functions from the poset of all unital commutative C*-subalgebras of M_n(C) to P(M_n(C)). The latter lattice is essentially the (pointfree) topology of the quantum phase space mentioned above, and as such defines a Heyting algebra. Each element of the lattice corresponds to a ``Bohrified'' proposition, in the sense that to each classical context it associates a yes-no question pertinent to this context, rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann.

Kochen and Specker’s theorem can be seen as a consequence of Gleason’s theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason’s theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated. r 2003 Elsevier Ltd. All rights reserved.

The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called impossibility proofs for hidden variable models; models that allow a realist interpretation. In this thesis some of these proofs are discussed, like von Neumann’s Theorem, the Kochen-Specker Theorem and the Bell-inequalities. Some more recent developments are also investigated, like Meyer’s nullification of the Kochen-Specker Theorem, the MKC-models and Conway and Kochen’s Free Will Theorem. This last one is taken to suggest that the problems that arise for certain interpretations of quantum mechanics are not limited to realist interpretations only, but also affect certain instrumentalist interpretations. It is argued that one may arrive at a more satisfying interpretation of quantum mechanics if one adopts a logic that seems more compatible with the instrumentalist viewpoint namely, intuitionistic logic. The motivations for adopting this form of logic rather than classical logic or quantum logic are linked to some of the philosophical ideas of Bohr. In particular a new interpretation of Bohr’s notion of complementarity is proposed. Finally some possibilities are explored for linking the intuitionistic interpretation of quantum mechanics to the mathematical formalism of the theory.

IN THEIR WELL-KNOWN PAPER, Kochen and Specker (1967) introduce the concept of partial Boolean algebra (pBa) and show that certain (finitely generated) partial Boolean algebras arising in quantum theory fail to possess morphisms to any Boolean algebra (we call such pBa's intractable in the sequel). In this note we begin by discussing partial..

This paper develops some ideas from previous work (coauthored, mostly with C.J.Isham). In that work, the main proposal is to assign as the value of a physical quantity in quantum theory (or classical physics), not a real number, but a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; in part mathematical---the valuations arise naturally in the theory of presheaves; and in part conceptual---the valuations arise from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition. In this paper, I give another conceptual motivation for the proposal. I develop (in Sections 2 and 3) the notion of a topos (of which presheaves give just one kind of example); and explain how this notion gives a satisfactory general framework for making sense of the idea of partial truth. Then I review (in Section 4) how our proposal applies this framework to the case of physical theories.

In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition.

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory. In those papers, the main idea was to assign a sieve as a partial and contextual truth-value to a proposition that the value of a quantity lies in a certain set D of real numbers. Here we relate such sieve-valued valuations to valuations that assign to quantities subsets, rather than single elements, of their spectrum (we call these interval valuations). There are two main results. First, there is a natural correspondence between these two kinds of valuation, which uses the notion of a state's support for a quantity (Section 3). Second, if one starts with a more general notion of interval valuation, one sees that our interval valuations based on the notion of support (and correspondingly, our sieve-valued valuations) are a simple way to secure certain natural properties of valuations, such as monotonicity (Section 4).

Any attempt to construct a realist interpretation of quantum theory founders on the Kochen-Specker theorem, which asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalised valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalised valuation. A key ingredient throughout is the idea that, in a situation where no normal truth-value can be given to a proposition asserting that the value of a physical quantity A lies in a set D of real numbers , it is nevertheless possible to ascribe a partial truth-value which is determined by the set of all coarse-grained propositions that assert that some function f(A) lies in f(D), and that are true in a normal sense. The set of all such coarse-grainings forms a sieve on the category of self-adjoint operators, and is hence fundamentally related to the theory of presheave.