We develop and defend the thesis that the Hilbert space formalism of quantum mechanics is a new theory of probability. The theory, like its classical counterpart, consists of an algebra of events, and the probability measures defined on it. The construction proceeds in the following steps: (a) Axioms for the algebra of events are introduced following Birkhoff and von Neumann. All axioms, except the one that expresses the uncertainty principle, are shared with the classical event space. The only models for (...) the set of axioms are lattices of subspaces of inner product spaces over a field K. (b) Another axiom due to Soler forces K to be the field of real, or complex numbers, or the quaternions. We suggest a probabilistic reading of Soler's axiom. (c) Gleason's theorem fully characterizes the probability measures on the algebra of events, so that Born's rule is derived. (d) Gleason's theorem is equivalent to the existence of a certain finite set of rays, with a particular orthogonality graph (Wondergraph). Consequently, all aspects of quantum probability can be derived from rational probability assignments to finite "quantum gambles". (e) All experimental aspects of entanglement- the violation of Bell's inequality in particular- are explained as natural outcomes of the probabilistic structure. (f) We hypothesize that even in the absence of decoherence macroscopic entanglement can very rarely be observed, and provide a precise conjecture to that effect .We also discuss the relation of the present approach to quantum logic, realism and truth, and the measurement problem. (shrink)

The paper investigates the epistemic conception of quantum states---the view that quantum states are not descriptions of quantum systems but rather reflect the assigning agents' epistemic relations to the systems. This idea, which can be found already in the works of Copenhagen adherents Heisenberg and Peierls, has received increasing attention in recent years because it promises an understanding of quantum theory in which neither the measurement problem nor a conflict between quantum non-locality and relativity theory arises. Here it is argued (...) that the main challenge for proponents of this idea is to make sense of the notion of a state assignment being performed correctly without thereby acknowledging the notion of a true state of a quantum system---a state it is in. An account based on the epistemic conception of states is proposed that fulfills this requirement by interpreting the rules governing state assignment as constitutive rules in the sense of John Searle. (shrink)

Recent discussions in the physical literature, designed to clarify the logical position of modern physical theory, have brought to light an amazing divergence of fundamental attitudes which may well bewilder the careful student of physics as well as philosophy. Quantum mechanics, representing an abstract formalism, should be capable of having its logical structure analyzed with great precision like any other mathematical discipline. Its consequences in all problems to which its method can be applied are so unambiguous, consistent, and successful in (...) predicting physical experience as to disperse immediately all thoughts of possible discrepancies in its fundamental texture. Yet it must be said that even the founders of quantum theory are not in harmony in their various expositions of the bases of that theory. However, while this situation seems disquieting on the face of it, there is no cause for serious brow raising, for it is a fact that there exists agreement with regard to the central axioms of the theory, and that the ambiguities affect only their philosophical interpretation, a field in which differences of opinion may at present be honestly entertained. (shrink)

Modern insolubility proofs of the measurement problem in quantum mechanics not only differ in their complexity and degree of generality, but also reveal a lack of agreement concerning the fundamental question of what constitutes such a proof. A systematic reworking of the (incomplete) 1970 Fine theorem is presented, which is intended to go some way toward clarifying the issue.

I describe a pedagogical scheme devised to teach efficiently to computer scientists just enough quantum mechanics to permit them to understand the theoretical developments of the last decade going under the name of “quantum computation.” I then note that my offbeat approach to quantum mechanics, designed to be maximally efficacious for this specific educational purpose, is nothing other than the Copenhagen interpretation.