Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

In order to claim that one has experimentally tested whether a noncontextual ontological model could underlie certain measurement statistics in quantum theory, it is necessary to have a notion of noncontextuality that applies to unsharp measurements, i.e., those that can only be represented by positive operator-valued measures rather than projection-valued measures. This is because any realistic measurement necessarily has some nonvanishing amount of noise and therefore never achieves the ideal of sharpness. Assuming a generalized notion of noncontextuality that applies to (...) arbitrary experimental procedures, it is shown that the outcome of a measurement depends deterministically on the ontic state of the system being measured if and only if the measurement is sharp. Hence for every unsharp measurement, its outcome necessarily has an indeterministic dependence on the ontic state. We defend this proposal against alternatives. In particular, we demonstrate why considerations parallel to Fine’s theorem do not challenge this conclusion. (shrink)

The logical structure of Quantum Mechanics (QM) and its relation to other fundamental principles of Nature has been for decades a subject of intensive research. In particular, the question whether the dynamical axiom of QM can be derived from other principles has been often considered. In this contribution, we show that unitary evolutions arise as a consequences of demanding preservation of entropy in the evolution of a single pure quantum system, and preservation of entanglement in the evolution of composite quantum (...) systems. 6. (shrink)

A foundation of quantum mechanics based on the concepts of focusing and symmetry is proposed. Focusing is connected to c-variables—inaccessible conceptually derived variables; several examples of such variables are given. The focus is then on a maximal accessible parameter, a function of the common c-variable. Symmetry is introduced via a group acting on the c-variable. From this, the Hilbert space is constructed and state vectors and operators are given a definite interpretation. The Born formula is proved from weak assumptions, and (...) from this the usual rules of quantum mechanics are derived. Several paradoxes and other issues of quantum theory are discussed. (shrink)

We consider a quaternionic quantum formalism for the description of quantum states and quantum dynamics. We prove that generalized quantum measurements on physical systems in quaternionic quantum theory can be simulated by usual quantum measurements with positive operator valued measures on complex Hilbert spaces. Furthermore, we prove that quaternionic quantum channels can be simulated by completely positive trace preserving maps on complex matrices. These novel results map all quaternionic quantum processes to algorithms in usual quantum information theory.

Born’s quantum probability rule is traditionally included among the quantum postulates as being given by the squared amplitude projection of a measured state over a prepared state, or else as a trace formula for density operators. Both Gleason’s theorem and Busch’s theorem derive the quantum probability rule starting from very general assumptions about probability measures. Remarkably, Gleason’s theorem holds only under the physically unsound restriction that the dimension of the underlying Hilbert space \ must be larger than two. Busch’s theorem (...) lifted this restriction, thereby including qubits in its domain of validity. However, while Gleason assumed that observables are given by complete sets of orthogonal projectors, Busch made the mathematically stronger assumption that observables are given by positive operator-valued measures. The theorem we present here applies, similarly to the quantum postulate, without restricting the dimension of \ and for observables given by complete sets of orthogonal projectors. We also show that the Born rule applies beyond the quantum domain, thereby exhibiting the common root shared by some quantum and classical phenomena. (shrink)

Based on a gambling formulation of quantum mechanics, we derive a Gleason-type theorem that holds for any dimension n of a quantum system, and in particular for \. The theorem states that the only logically consistent probability assignments are exactly the ones that are definable as the trace of the product of a projector and a density matrix operator. In addition, we detail the reason why dispersion-free probabilities are actually not valid, or rational, probabilities for quantum mechanics, and hence should (...) be excluded from consideration. (shrink)

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

Quantum theory plays an increasingly significant role in contemporary early-universe cosmology, most notably in the inflationary origins of the fluctuation spectrum of the microwave background radiation. I consider the two main strategies for interpreting standard quantum mechanics in the light of cosmology. I argue that the conceptual difficulties of the approaches based around an irreducible role for measurement - already very severe - become intolerable in a cosmological context, whereas the approach based around Everett's original idea of treating quantum systems (...) as closed systems handles cosmological quantum theory satisfactorily. Contemporary cosmology, which indeed applies standard quantum theory without supplementation or modification, is thus committed - tacitly or explictly - to the Everett interpretation. (shrink)

I contrast two possible attitudes towards a given branch of physics: as inferential, and as dynamical. I contrast these attitudes in classical statistical mechanics, in quantum mechanics, and in quantum statistical mechanics; in this last case, I argue that the quantum-mechanical and statistical-mechanical aspects of the question become inseparable. Along the way various foundational issues in statistical and quantum physics are illuminated.

This is a preliminary version of an article to appear in the forthcoming Ashgate Companion to the New Philosophy of Physics.In it, I aim to review, in a way accessible to foundationally interested physicists as well as physics-informed philosophers, just where we have got to in the quest for a solution to the measurement problem. I don't advocate any particular approach to the measurement problem (not here, at any rate!) but I do focus on the importance of decoherence theory to (...) modern attempts to solve the measurement problem, and I am fairly sharply critical of some aspects of the "traditional" formulation of the problem. (shrink)

I develop the decision-theoretic approach to quantum probability, originally proposed by David Deutsch, into a mathematically rigorous proof of the Born rule in (Everett-interpreted) quantum mechanics. I sketch the argument informally, then prove it formally, and lastly consider a number of proposed ``counter-examples'' to show exactly which premises of the argument they violate. (This is a preliminary version of a chapter to appear --- under the title ``How to prove the Born Rule'' --- in Saunders, Barrett, Kent and Wallace, "Many (...) worlds? Everett, quantum theory and reality", forthcoming from Oxford University Press.). (shrink)