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. (shrink)

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. (shrink)

The modal interpretation of quantum mechanics has two variants: the Copenhagen variant (CV) and the anti-Copenhagen variant (ACV). Healey uses the Bell-Wigner locality condition to criticize the latter, which I do not advocate. 2 The conclusions of Healey's admirably written article are therefore welcome to me. But if I had wished to advocate the ACV, I do not think that his arguments would have dissuaded me. Specifically, as I shall explain, we should distinguish between Physical Locality and Metaphysical Locality. The (...) first principle is unexceptionable, but Healey needs the second for his reductio. At the end I shall briefly indicate why I reject the ACV and advocate instead the Copenhagen variant. (shrink)

Noncontextual hidden variables theories, assigning simultaneous values to all quantum mechanical observables, are inconsistent by theorems of Gleason and others. These theorems do not exclude contextual hidden variables theories, in which a complete state assigns values to physical quantities only relative to contexts. However, any contextual theory obeying a certain factorisability conditions implies one of Bell's Inequalities, thereby precluding complete agreement with quantum mechanical predictions. The present paper distinguishes two kinds of contextual theories, ‘algebraic’ and ‘environmental’, and investigates when factorisability (...) is reasonable. Some statements by Fine about the philosophical significance of Bell's Inequalities are then assessed. (shrink)

I will argue that the Peres-Mermin square does not necessarily rule out a value-definite (deterministic) noncontextual hidden variable model if the operators are not given a physical interpretation satisfying the following two requirements: (i) each operator is uniquely realized by a single physical measurement; (ii) commuting operators are realized by simultaneous measurements. To underpin this claim, I will construct three hidden variable models for three different physical realizations of the Peres-Mermin square: one violating (i), another violating (ii), and a third (...) one violating both (i) and (ii). (shrink)

No-conspiracy is the requirement that measurement settings should be probabilistically independent of the elements of reality responsible for the measurement outcomes. In this paper we investigate what role no-conspiracy generally plays in a physical theory; how it influences the semantical role of the event types of the theory; and how it relates to such other concepts as separability, compatibility, causality, locality and contextuality.

I will argue that Kochen-Specker arguments do not provide an algebraic proof for quantum contextuality since, for the argument to be effective, operators must be uniquely associated with measur...

A source of much difficulty and confusion in the interpretation of quantum mechanics is a naive realism about operators. By this we refer to various ways of taking too seriously the notion of operator-as-observable, and in particular to the all too casual talk about measuring operators that occurs when the subject is quantum mechanics. Without a specification of what should be meant by measuring a quantum observable, such an expression can have no clear meaning. A definite specification is provided by (...) Bohmian mechanics, a theory that emerges from Schrödinger's equation for a system of particles when we merely insist that particles means particles. Bohmian mechanics clarifies the status and the role of operators as observables in quantum mechanics by providing the operational details absent from standard quantum mechanics. It thereby allows us to readily dismiss all the radical claims traditionally enveloping the transition from the classical to the quantum realm — for example, that we must abandon classical logic or classical probability. The moral is rather simple: Beware naive realism, especially about operators! (shrink)

We define a family of ‘no signaling’ bipartite boxes with arbitrary inputs and binary outputs, and with a range of marginal probabilities. The defining correlations are motivated by the Klyachko version of the Kochen-Specker theorem, so we call these boxes Kochen-Specker-Klyachko boxes or, briefly, KS-boxes. The marginals cover a variety of cases, from those that can be simulated classically to the superquantum correlations that saturate the Clauser-Horne-Shimony-Holt inequality, when the KS-box is a generalized PR-box (hence a vertex of the ‘no (...) signaling’ polytope). We show that for certain marginal probabilities a KS-box is classical with respect to nonlocality as measured by the Clauser-Horne-Shimony-Holt correlation, i.e., no better than shared randomness as a resource in simulating a PR-box, even though such KS-boxes cannot be perfectly simulated by classical or quantum resources for all inputs. We comment on the significance of these results for contextuality and nonlocality in ‘no signaling’ theories. (shrink)