We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner mathematical relations. In particular, we focus on the orthodox interpretation of the congruence relation, '=', which relates equivalent classes of different mathematical representations of a vector in Hilbert space, in terms of metaphysical identity. We will argue that this seemingly "common sense" interpretation, at the (...) semantic level, has severe difficulties when considering the syntactic level of the theory. (shrink)

This essay provides an analysis of two important theorems that arise in the context of quantum mechanics: the Kochen-Specker theorem, which challenges the existence of hidden variable theories; and the Conway-Kochen theorem, which can be seen as an improvement over the Kochen-Specker theorem, but instead focuses on challenging determinism.

The centerpiece of Jeffrey Bub's book Interpreting the Quantum World is a theorem (Bub and Clifton 1996) which correlates each member of a large class of no-collapse interpretations with some 'privileged observable'. In particular, the Bub-Clifton theorem determines the unique maximal sublattice L(R,e) of propositions such that (a) elements of L(R,e) can be simultaneously determinate in state e, (b) L(R,e) contains the spectral projections of the privileged observable R, and (c) L(R,e) is picked out by R and e alone. In (...) this paper, we explore the issue of maximal determinate sets of observables using the tools provided by the algebraic approach to quantum theory; and we call the resulting algebras of determinate observables, "maximal *beable* subalgebras". The capstone of our exploration is a generalized version of Bub and Clifton's theorem that applies to arbitrary (i.e., both mixed and pure) quantum states, to Hilbert spaces of arbitrary (i.e., both finite and infinite) dimension, and to arbitrary observables (including those with a continuous spectrum). Moreover, in the special case covered by the original Bub-Clifton theorem, our theorem reproduces their result under strictly weaker assumptions. This added level of generality permits us to treat several topics that were beyond the reach of the original Bub-Clifton result. In particular: (a) We show explicitly that a (non-dynamical) version of the Bohm theory can be obtained by granting privileged status to the position observable. (b) We show that Clifton's (1995) characterization of the Kochen-Dieks modal interpretation is a corollary of our theorem in the special case when the density operator is taken as the privileged observable. (c) We show that the 'uniqueness' demonstrated by Bub and Clifton is only guaranteed in certain special cases -- viz., when the quantum state is pure, or if the privileged observable is compatible with the density operator. We also use our results to articulate a solid mathematical foundation for certain tenets of the orthodox Copenhagen interpretation of quantum theory. For example, the uncertainty principle asserts that there are strict limits on the precision with which we can know, simultaneously, the position and momentum of a quantum-mechanical particle. However, the Copenhagen interpretation of this fact is not simply that a precision momentum measurement necessarily and uncontrollably disturbs the value of position, and vice-versa; but that position and momentum can never in reality be thought of as simultaneously determinate. We provide warrant for this stronger 'indeterminacy principle' by showing that there is no quantum state that assigns a sharp value to both position and momentum; and, a fortiori, that it is mathematically impossible to construct a beable algebra that contains both the position observable and the momentum observable. We also prove a generalized version of the Bub-Clifton theorem that applies to "singular" states (i.e., states that arise from non-countably-additive probability measures, such as Dirac delta functions). This result allows us to provide a mathematically rigorous reconstruction of Bohr's response to the original EPR argument -- which makes use of a singular state. In particular, we show that if the position of the first particle is privileged (e.g., as Bohr would do in a position measuring context), the position of the second particle acquires a definite value by virtue of lying in the corresponding maximal beable subalgebra. But then (by the indeterminacy principle) the momentum of the second particle is not a beable; and EPR's argument for the simultaneous reality of both position and momentum is undercut. (shrink)

Determinism is established in quantum mechanics by tracing the probabilities in the Born rules back to the absolute (overall) phase constants of the wave functions and recognizing these phase constants as pseudorandom numbers. The reduction process (collapse) is independent of measurement. It occurs when two wavepackets overlap in ordinary space and satisfy a certain criterion, which depends on the phase constants of both wavepackets. Reduction means contraction of the wavepackets to the place of overlap. The measurement apparatus fans out the (...) incoming wavepacket into spatially separated eigenpackets of the chosen observable. When one of these eigenpackets together with a wavepacket located in the apparatus satisfy the criterion, the reduction associates the place of contraction with an eigenvalue of the observable. The theory is nonlocal and contextual. Keywords:. (shrink)

It is argued that the result assumption of Bohm's theory, which says that particle configurations represent measurement results, contradicts the predictions of the Schroedinger equation.

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, namely, that which sees them as non-individuals, then there would be (...) strong reasons to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks, we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science. (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)

It is argued that if the relative configuration of Bohmian particles represents the measurement result, then the predictions of Bohm's theory may be inconsistent with the Born rule in some situations.

It so happens that classical physical theories can be interpreted as a representation of local interactions between systems with determinate properties. Orthodox quantum mechanics, which is one of our most experimentally well-confirmed theories, is notoriously resistant to being interpreted in terms of the above framework. Bell-type theorems and Bell-type experiments have made such an interpretation impossible. In the early sixties, John Bell demonstrated that any theory that represents its domain in terms of the above framework satisfies a set of inequalities, (...) the so-called Bell inequalities. Experiments on quantum phenomena violate Bell-type inequalities. By a simple modus tollens, the upshot is that no theory that includes all the elements of the above framework can recover all statistical predictions of quantum mechanics. Philosophers have been trying to interpret this result, that is, to understand what the world might be like if it is true that physical interactions between systems are non-local, or that physical systems do not possess determinate properties. This line of thought found its climax in program of Òexperimental metaphysicsÓ that developed after the violation of Bell-type inequalities was observed. Experimental metaphysics consists in deriving metaphysical conclusions from the Bell-type experimental results. The mainstream interpretation within experimental metaphysics is that Bell-type experiments force us to accept the existence of a form of non-locality at the ontological level, but a form that we can consider benign because it is of a non-causal type. In my dissertation, I assess to what extent philosophical investigation can help us decide what the world is like on the basis of our best physical theories, from the point of view of the quantum domain and with an emphasis on Bell-type phenomena. My conclusions point to a more modest view on the possible achievements of philosophy of physics than the experimental metaphysics program would have us believe. In the first part of my dissertation, I investigate what role philosophy of physics can legitimately hope to play in the development and evaluation of various accounts of quantum phenomena. I claim that it is not the role of philosophy of physics to impose criteria of acceptability on physical theories, in addition to coherence and empirical adequacy. By contrast, I take in my dissertation that the legitimate role of philosophy of physics is to clearly determine what is imposed by the phenomena and our best theories from what is a matter of preference on the basis of the structural analysis of the phenomena and theories. In the second part of my dissertation, I turn to the more specific case of the interpretation of Bell-type theorems and Bell-type phenomena. I undertake a systematic examination of the mainstream interpretation. I show that the mainstream interpretation includes three claims, one about locality, another one about causation and a last one about holism. I utilize theories of locality and causation in order to assess these three claims. On the one hand, the upshot of my analysis is that the claim about locality can be supported by a rigorous theory of locality. On the other hand, no theory of probabilistic causation can support the claims of the mainstream interpretation about causation when it is construed as a strong program of experimental metaphysics yielding conclusions about the ontology of the world. That said, weakened versions of the mainstream interpretation, those that do without conclusions about the ontology of the world, can be made compatible with some theories of probabilistic causation. In particular, the mainstream interpretation can be rigorously supported if its claims are restricted to the empirical level. (shrink)