Quantum mechanics is not about 'quantum states': it is about values of physical variables. I give a short fresh presentation and update on the *relational* perspective on the theory, and a comment on its philosophical implications.

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)

Among the great ironies of quantum mechanics is not only that its conceptual foundations seem strange even to the physicists who use it, but that philosophers have largely ignored it. Here, Bernard d'Espagnat argues that quantum physics--by casting doubts on once hallowed concepts such as space, material objects, and causality-demands serious reconsideration of most of traditional philosophy. On Physics and Philosophy is an accessible, mathematics-free reflection on the philosophical meaning of the quantum revolution, by one of the world's leading authorities (...) on the subject. D'Espagnat presents an objective account of the main guiding principles of contemporary physics-in particular, quantum mechanics-followed by a look at just what consequences these should imply for philosophical thinking. The author begins by describing recent discoveries in quantum physics such as nonseparability, and explicating the significance of contemporary developments such as decoherence. Then he proceeds to set various philosophical theories of knowledge--such as materialism, realism, Kantism, and neo-Kantism--against the conceptual problems quantum theory raises. His overall conclusion is that while the physical implications of quantum theory suggest that scientific knowledge will never truly describe mind-independent reality, the notion of such an ultimate reality--one we can never access directly or rationally and which he calls "veiled reality"--remains conceptually necessary nonetheless. (shrink)

We present a conceptual analysis of the notions of actual physical property and potential physical property as used by theoretical physicists/mathematicians working in the domain of operational quantum logic. We investigate how these notions are being used today and what role they play in the specified field of research. In order to do so, we will give a brief introduction to this area of research and explain it as a part of the discipline known as “mathematical metascience”. An in depth (...) analysis of Aristotle’s use of the notions of “actuality” and “potentiality” is presented in order to point out exactly how much of the Aristotelian connotations are embedded in the contemporary use of the concepts under investigation. Although we will not focus in depth on all the drawbacks in the early historical development of physics due to the overwhelming influence of Aristotle’s writings, our analysis does touch upon some aspects of the Aristotelian theory of movement that are often overthrown nowadays. (shrink)

I explore whether it is possible to make sense of the quantum mechanical description of physical reality by taking the proper subject of physics to be correlation and only correlation, and by separating the problem of understanding the nature of quantum mechanics from the hard problem of understanding the nature of objective probability in individual systems, and the even harder problem of understanding the nature of conscious awareness. The resulting perspective on quantum mechanics is supported by some elementary but insufficiently (...) emphasized theorems. Whether or not it is adequate as a new Weltanschauung, this point of view toward quantum mechanics provides a different perspective from which to teach the subject or explain its peculiar character to people in other fields. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (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)

Conceptual Foundations of Quantum Mechanics provides a detailed view of the conceptual foundations and problems of quantum physics, and a clear and comprehensive account of the fundamental physical implications of the quantum formalism. This book deals with nonseparability, hidden variable theories, measurement theories and several related problems. Mathematical arguments are presented with an emphasis on simple but adequately representative cases. The conclusion incorporates a description of a set of relationships and concepts that could compose a legitimate view of the world.

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

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)

I present a proof of the quantum probability rule from decision-theoretic assumptions, in the context of the Everett interpretation. The basic ideas behind the proof are those presented in Deutsch's recent proof of the probability rule, but the proof is simpler and proceeds from weaker decision-theoretic assumptions. This makes it easier to discuss the conceptual ideas involved in the proof, and to show that they are defensible.

Relativity is the most important scientific idea of the twentieth century. Albert Einstein is the unquestioned founder of modern physics. His Special and General theories of Relativity introduced the idea to the world. In this classic short book he explains clearly, using the minimum amount of mathematical terms, the basic ideas and principles of his theory of Relativity. Unsurpassed by any subsequent books on Relativity, this remains the most popular and useful exposition of Einstein's immense contribution to human knowledge.

In 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper ties of which are given by an orthocomplemented and quasimodular lattice Lq. Furthermore, this lattice of quantum mechanical proposi tions has, from a formal point of view, many similarities with (...) a Boolean lattice L8 which is known to be the lattice of classical propositional logic. Therefore, one could conjecture that due to the algebraic structure of quantum mechanical observables a logical calculus Q of quantum mechanical propositions is established, which is slightly different from the calculus L of classical propositional logic but which is applicable to all quantum mechanical propositions. This calculus has sometimes been called 'quan tum logic'. However, the statement that propositions about quantum physical systems are governed by the laws of quantum logic, which differ from ordinary classical logic and which are based on the empirically well-established quantum theory, is exposed to two serious objec tions: Logic is a theory which deals with those relationships between various propositions that are valid independent of the content of the respective propositions. Thus, the validity of logical relationships is not restricted to a special type of proposition, e. g. to propositions about classical physical systems. (shrink)

In this paper we present a new categorical approach which attempts to provide an original understanding of QM. Our logos categorical approach attempts to consider the main features of the quantum formalism as the standpoint to develop a conceptual representation that explains what the theory is really talking about —rather than as problems that need to be bypassed in order to allow a restoration of a classical “common sense” understanding of what there is. In particular, we discuss a solution to (...) Kochen-Specker contextuality through the generalization of the meaning of global valuation. This idea has been already addressed by the so called topos approach to QM —originally proposed by Isham, Butterfiled and D ̈oring— in terms of sieve-valued valuations. The logos approach to QM presents a different solution in terms of the notion of intensive valuation. This new solution stresses an ontological reading of the quantum formalism and the need to restore an objective conceptual representation and understanding of quantum physical reality. (shrink)

_Time_'s 'Man of the Century', Albert Einstein is the unquestioned founder of modern physics. His theory of relativity is the most important scientific idea of the modern era. In this short book Einstein explains, using the minimum of mathematical terms, the basic ideas and principles of the theory which has shaped the world we live in today. Unsurpassed by any subsequent books on relativity, this remains the most popular and useful exposition of Einstein's immense contribution to human knowledge.

Time magazine's "Man of the Century", Albert Einstein is the founder of modern physics and his theory of relativity is the most important scientific idea of the modern era. In this short book, Einstein explains, using the minimum of mathematical terms, the basic ideas and principles of the theory that has shaped the world we live in today. Unsurpassed by any subsequent books on relativity, this remains the most popular and useful exposition of Einstein's immense contribution to human knowledge. With (...) a new foreword by Derek Raine. (shrink)

In contrast to the theories of relativity, quantum mechanics is not yet based on a generally accepted conceptual foundation. It is proposed here that the missing principle may be identified through the observation that all knowledge in physics has to be expressed in propositions and that therefore the most elementary system represents the truth value of one proposition, i.e., it carries just one bit of information. Therefore an elementary system can only give a definite result in one specific measurement. The (...) irreducible randomness in other measurements is then a necessary consequence. For composite systems entanglement results if all possible information is exhausted in specifying joint properties of the constituents. (shrink)

First-ever comprehensive introduction to the major new subject of quantum computing and quantum information.

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)

During his whole scientific life Hermann Weyl was fascinated by the interrelation of physical and mathematical theories. From the mid 1920s onward he reflected also on the typical difference between the two epistemic fields and tried to identify it by comparing their respective automorphism structures. In a talk given at the end of the 1940s he gave the most detailed and coherent discussion of his thoughts on this topic. This paper presents his arguments in the talk and puts it in (...) the context of the later development of gauge theories. (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 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)

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)