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

The notion of reality in the physical world has become, during the last century, somewhat problematic. The contrast between the simple and obvious reality of the innumerable instruments, machines, engines, and gadgets produced by our technological industry, which is applied physics, and of the vague and abstract reality of the fundamental concepts of physical science, as forces and fields, particles and quanta, is doubtlessly bewildering. There has already developed a gap between pure and applied science and between the groups of (...) men devoted to the one or the other activity, a separation that may lead to a dangerous estrangement. Physics needs a unifying philosophy, expressible in ordinary language, to bridge this gulf between "reality" as thought of in practice and in theory. I am not a philosopher but a theoretical physicist. I cannot provide a well balanced philosophy of science that would take due account of the ideas developed by differing schools, but I shall endeavor to formulate some ideas which have helped me in my own struggle with these problems. (shrink)

We clarify Bohr’s interpretation of quantum mechanics by demonstrating the central role played by his thesis that quantum theory is a rational generalization of classical mechanics. This thesis is essential for an adequate understanding of his insistence on the indispensability of classical concepts, his account of how the quantum formalism gets its meaning, and his belief that hidden variable interpretations are impossible.

Topos quantum theory represents a whole new approach to the formalization of non-relativistic quantum theory. It is well known that TQT replaces the orthomodular quantum logic of the traditional Hilbert space formalism with a new intuitionistic logic that arises naturally from the topos theoretic structure of the theory. However, it is less well known that TQT also has a dual logical structure that is paraconsistent. In this paper, we investigate the relationship between these two logical structures and study the implications (...) of this relationship for the definition of modal operators in TQT. (shrink)

ABSTRACT Topos quantum theory is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics.1 1 In this article, I study the extent to which TQT can really be characterized as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for a realist reformulation of quantum theory. Specifically, I show that the notion of the quantum state (...) is problematic for those who view TQT as a realist reformulation of quantum theory. 1Introduction 2Topos Quantum Theory 2.1Phase space 2.2Hilbert space 2.3Beyond Hilbert space 2.4Defining realism 2.5The spectral presheaf 2.6The logic of topos quantum theory 3Interpreting States in Topos Quantum Theory 4Interpreting Truth Values and Clopen Subobjects in Topos Quantum Theory 4.1Interpreting the truth values 4.2Interpreting Subcl 5Neo-realism 5.1The covariant approach 6Conclusion. (shrink)

In the first part of the paper I argue that an ontology of events is precise, flexible and general enough so as to cover the three main alternative formulations of quantum mechanics as well as theories advocating an antirealistic view of the wave function. Since these formulations advocate a primitive ontology of entities living in four-dimensional spacetime, they are good candidates to connect that quantum image with the manifest image of the world. However, to the extent that some form of (...) realism about the wave function is also necessary, one needs to endorse also the idea that the wave function refers to some kind of power. In the second part, I discuss some difficulties raised by the recent proposal that in Bohmian mechanics this power is holistically possessed by all the particles in the universe. (shrink)

— Niels Bohr, 19231 “There must be quite definite and clear grounds, why you repeatedly declare that one must interpret observations classically, which lie absolute ly in thei r essenc e. . . . It must belong to your deepest conviction—and I cannot understand on what you base it.”.

In this paper we intend to discuss the importance of providing a physical representation of quantum superpositions which goes beyond the mere reference to mathematical structures and measurement outcomes. This proposal goes in the opposite direction to the project present in orthodox contemporary philosophy of physics which attempts to “bridge the gap” between the quantum formalism and common sense “classical reality”—precluding, right from the start, the possibility of interpreting quantum superpositions through non-classical notions. We will argue that in order to (...) restate the problem of interpretation of quantum mechanics in truly ontological terms we require a radical revision of the problems and definitions addressed within the orthodox literature. On the one hand, we will discuss the need of providing a formal redefinition of superpositions which captures explicitly their contextual character. On the other hand, we will attempt to replace the focus on the measurement problem, which concentrates on the justification of measurement outcomes from “weird” superposed states, and introduce the superposition problem which focuses instead on the conceptual representation of superpositions themselves. In this respect, after presenting three necessary conditions for objective physical representation, we will provide arguments which show why the classical representation of physics faces severe difficulties to solve the superposition problem. Finally, we will also argue that, if we are willing to abandon the presupposition according to which ‘Actuality = Reality’, then there is plenty of room to construct a conceptual representation for quantum superpositions. (shrink)

In this paper we provide a general account of the causal models which attempt to provide a solution to the famous measurement problem of Quantum Mechanics. We will argue that—leaving aside instrumentalism which restricts the physical meaning of QM to the algorithmic prediction of measurement outcomes—the many interpretations which can be found in the literature can be distinguished through the way they model the measurement process, either in terms of the efficient cause or in terms of the final cause. We (...) will discuss and analyze why both, ‘final cause’ and ‘efficient cause’ models, face severe difficulties to solve the measurement problem. In contradistinction to these schemes we will present a new model based on the immanent cause which, we will argue, provides an intuitive understanding of the measurement process in QM. (shrink)

In this paper we attempt to discuss what has Kochen-Specker theorem to say about physical invariance and quantum individuality. In particular, we will discuss the impossibility of making reference to objective physical properties within the orthodox formalism of quantum mechanics. Through an analysis of the meaning of physical invariance and quantum contextuality we will derive a Corollary to KS theorem that proves that a vector in Hilbert space cannot be interpreted coherently as an object possessing physical properties. As a consequence, (...) the notion of quantum object can be only defined in terms of nomological properties. We conclude the paper by analyzing the consequences of this Corollary to KS theorem for the ongoing debate about quantum individuality. (shrink)

In this paper we attempt to analyze the physical and philosophical meaning of quantum contextuality. We will argue that there exists a general confusion within the foundational literature arising from the improper “scrambling” of two different meanings of quantum contextuality. While the first one, introduced by Bohr, is related to an epistemic interpretation of contextuality which stresses the incompatibility of measurement situations described in classical terms; the second meaning of contextuality is related to a purely formal understanding of contextuality as (...) exposed by the Kochen–Specker theorem which focuses instead on the constraints of the orthodox quantum formalism in order to interpret projection operators as preexistent or actual properties. We will show how these two notions have been scrambled together creating an “omelette of contextuality” which has been fully widespread through a popularized “epistemic explanation” of the KS theorem according to which: The measurement outcome of the observableAwhen measured together withBor together withCwill necessarily differ in case\, and\. We will show why this statement is not only improperly scrambling epistemic and formal perspectives, but is also physically and philosophically meaningless. Finally, we analyze the consequences of such widespread epistemic reading of KS theorem as related to statistical statements of measurement outcomes. (shrink)

In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between actual and possible (...) realms. (shrink)

In this paper we discuss the representational realist stance as a pluralist ontic approach to inter-theoretic relationships. Our stance stresses the fact that physical theories require the necessary consideration of a conceptual level of discourse which determines and configures the specific field of phenomena discussed by each particular theory. We will criticize the orthodox line of research which has grounded the analysis about QM in two metaphysical presuppositions —accepted in the present as dogmas that all interpretations must follow. We will (...) also examine how the orthodox project of "bridging the gap" between the quantum and the classical domains has constrained the possibilities of research, producing only a limited set of interpretational problems which only focus in the justification of "classical reality" and exclude the possibility of analyzing the possibilities of non-classical conceptual representations of QM. The representational realist stance introduces two new problems, namely, the superposition problem and the contextuality problem, which consider explicitly the conceptual representation of orthodox QM beyond the mere reference to mathematical structures and measurement outcomes. In the final part of the paper, we revisit, from a representational realist perspective, the quantum to classical limit and the orthodox claim that this inter-theoretic relation can be explained through the principle of decoherence. (shrink)

In classical physics, probabilistic or statistical knowledge has been always related to ignorance or inaccurate subjective knowledge about an actual state of affairs. This idea has been extended to quantum mechanics through a completely incoherent interpretation of the Fermi-Dirac and Bose-Einstein statistics in terms of "strange" quantum particles. This interpretation, naturalized through a widespread "way of speaking" in the physics community, contradicts Born's physical account of Ψ as a "probability wave" which provides statistical information about outcomes that, in fact, cannot (...) be interpreted in terms of 'ignorance about an actual state of affairs'. In the present paper we discuss how the metaphysics of actuality has played an essential role in limiting the possibilities of understating things differently. We propose instead a metaphysical scheme in terms of powers with definite potentia which allows us to consider quantum probability in a new light, namely, as providing objective knowledge about a potential state of affairs. (shrink)

Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint (...) pair of functors. This appears in many substantially equivalent forms: That of universal construction, that of direct and inverse limit, and that of pairs offunctors with a natural isomorphism between corresponding sets of arrows. All these forms, with their interrelations, are examined in Chapters III to V. The slogan is "Adjoint functors arise everywhere". Alternatively, the fundamental notion of category theory is that of a monoid -a set with a binary operation of multiplication which is associative and which has a unit; a category itself can be regarded as a sort of general­ ized monoid. Chapters VI and VII explore this notion and its generaliza­ tions. Its close connection to pairs of adjoint functors illuminates the ideas of universal algebra and culminates in Beck's theorem characterizing categories of algebras; on the other hand, categories with a monoidal structure lead inter alia to the study of more convenient categories of topological spaces. (shrink)

This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

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)

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)

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true’ or ‘false’, describing what is actually the case at a certain (...) moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen–Specker contradiction. In this respect, the Bub–Clifton ‘uniqueness theorem’ is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences. (shrink)

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).