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.

The probabilities a Bayesian agent assigns to a set of events typically change with time, for instance when the agent updates them in the light of new data. In this paper we address the question of how an agent's probabilities at different times are constrained by Dutch-book coherence. We review and attempt to clarify the argument that, although an agent is not forced by coherence to use the usual Bayesian conditioning rule to update his probabilities, coherence does require the agent's (...) probabilities to satisfy van Fraassen's [1984] reflection principle (which entails a related constraint pointed out by Goldstein [1983]). We then exhibit the specialized assumption needed to recover Bayesian conditioning from an analogous reflection-style consideration. Bringing the argument to the context of quantum measurement theory, we show that "quantum decoherence" can be understood in purely personalist terms---quantum decoherence (as supposed in a von Neumann chain) is not a physical process at all, but an application of the reflection principle. From this point of view, the decoherence theory of Zeh, Zurek, and others as a story of quantum measurement has the plot turned exactly backward. (shrink)

The paper investigates possible readings of the later Heisenberg's remarks on the nature of quantum states. It discusses, in particular, whether Heisenberg should be seen as a proponent of the epistemic conception of states – the view that quantum states are not descriptions of quantum systems but rather reflect the state assigning observers' epistemic relations to these systems. On the one hand, it seems plausible that Heisenberg subscribes to that view, given how he defends the notorious "collapse of the wave (...) function" by relating it to a sudden change in the epistemic situation of the observer registering a measured result. On the other hand, his remarks on quantum probabilities as "potentia" or "objective tendencies" are difficult to reconcile with such a reading. The accounts that are attributed to Heisenberg by the different possible readings considered are subjected to closer scrutiny; at the same time, their respective virtues and problems are discussed. _German_ Diese Arbeit untersucht mögliche Lesarten von Heisenbergs späten Bemerkungen über die Natur von Quantenzuständen. Insbesondere wird die Frage diskutiert, ob Heisenberg als Vertreter der epistemischen Auffassung von Quantenzuständen gelten kann – der Idee, dass Quantenzustände nicht Beschreibungen der objektiven Eigenschaften von Quantensystemen sind sondern die epistemischen Beziehungen von Beobachtern zu diesen Systemen widerspiegeln. Einerseits erscheint es plausibel, dass Heisenberg dieser Sichtweise zustimmt, wenn man sich ansieht, wie er den berüchtigten,,Kollaps der Wellenfunktion" verteidigt, indem er ihn mit einer plötzlichen Änderung in der Kenntnis des ein Messergebnis registrierenden Beobachters in Zusammenhang bringt. Andererseits sind seine Bemerkungen über quantenmechanische Wahrscheinlichkeiten als,,Potentia" oder,,objektive Tendenzen" mit einer solchen Lesart nur schwer in Einklang zu bringen. Die Positionen, die Heisenberg den verschiedenen möglichen Lesarten zufolge vertritt, werden eingehenden Untersuchungen unterzogen; gleichzeitig werden ihre jeweiligen Vorzüge und Probleme diskutiert. (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)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities (...) always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

QBism is an agent-centered interpretation of quantum theory. It rejects the notion that quantum theory provides a God’s eye description of reality and claims instead that it imposes constraints on agents’ subjective degrees of belief. QBism’s emphasis on subjective belief has led critics to dismiss it as antirealism or instrumentalism, or even, idealism or solipsism. The aim of this paper is to consider the relation of QBism to scientific realism. I argue that while QBism is an unhappy fit with a (...) standard way of thinking about scientific realism, an alternative conception I call “perspectival normative realism” may allow for a reconciliation. (shrink)

I defend an analog of probabilism that characterizes rationally coherent estimates for chances. Specifically, I demonstrate the following accuracy-dominance result for stochastic theories in the C*-algebraic framework: supposing an assignment of chance values is possible if and only if it is given by a pure state on a given algebra, your estimates for chances avoid accuracy-dominance if and only if they are given by a state on that algebra. When your estimates avoid accuracy-dominance (roughly: when you cannot guarantee that other (...) estimates would be more accurate), I say that they are sufficiently coherent. In formal epistemology and quantum foundations, the notion of rational coherence that gets more attention requires that you never allow for a sure loss (or “Dutch book”) in a given sort of betting game; I call this notion full coherence. I characterize when these two notions of rational coherence align, and I show that there is a quantum state giving estimates that are sufficiently coherent, but not fully coherent. (shrink)

Quantum mechanics is a fundamentally probabilistic theory (at least so far as the empirical predictions are concerned). It follows that, if one wants to properly understand quantum mechanics, it is essential to clearly understand the meaning of probability statements. The interpretation of probability has excited nearly as much philosophical controversy as the interpretation of quantum mechanics. 20th century physicists have mostly adopted a frequentist conception. In this paper it is argued that we ought, instead, to adopt a logical or Bayesian (...) conception. The paper includes a comparison of the orthodox and Bayesian theories of statistical inference. It concludes with a few remarks concerning the implications for the concept of physical reality. (shrink)

Kochen and Specker’s theorem can be seen as a consequence of Gleason’s theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason’s theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated. r 2003 Elsevier Ltd. All rights reserved.

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)

We investigate how Dutch Book considerations can be conducted in the context of two classes of nonclassical probability spaces used in philosophy of physics. In particular we show that a recent proposal by B. Feintzeig to find so called “generalized probability spaces” which would not be susceptible to a Dutch Book and would not possess a classical extension is doomed to fail. Noting that the particular notion of a nonclassical probability space used by Feintzeig is not the most common employed (...) in philosophy of physics, and that his usage of the “classical” Dutch Book concept is not appropriate in “nonclassical” contexts, we then argue that if we switch to the more frequently used formalism and use the correct notion of a Dutch Book, then all probability spaces are not susceptible to a Dutch Book. We also settle a hypothesis regarding the existence of classical extensions of a class of generalized probability spaces. (shrink)

In this article, Savage’s theory of decision-making under uncertainty is extended from a classical environment into a non-classical one. The Boolean lattice of events is replaced by an arbitrary ortho-complemented poset. We formulate the corresponding axioms and provide representation theorems for qualitative measures and expected utility. Then, we discuss the issue of beliefs updating and investigate a transition probability model. An application to a simple game context is proposed.

This volume focuses on various questions concerning the interpretation of probability and probabilistic reasoning in biology and physics. It is inspired by the idea that philosophers of biology and philosophers of physics who work on the foundations of their disciplines encounter similar questions and problems concerning the role and application of probability, and that interaction between the two communities will be both interesting and fruitful. In this introduction we present the background to the main questions that the volume focuses on (...) and summarize the highlights of the individual contributions. (shrink)

We discuss the meaning of probabilities in the many worlds interpretation of quantum mechanics. We start by presenting very briefly the many worlds theory, how the problem of probability arises, and some unsuccessful attempts to solve it in the past. Then we criticize a recent attempt by Deutsch to derive the quantum mechanical probabilities from the nonprobabilistic parts of quantum mechanics and classical decision theory. We further argue that the Born probability does not make sense even as an additional probability (...) rule in the many worlds theory. Our conclusion is that the many worlds theory fails to account for the probabilistic statements of standard (collapse) quantum mechanics. (shrink)

We argue that there is a simple, unique, reason for all quantum paradoxes, and that such a reason is not uniquely related to quantum theory. It is rather a mathematical question that arises at the intersection of logic, probability, and computation. We give our ‘weirdness theorem’ that characterises the conditions under which the weirdness will show up. It shows that whenever logic has bounds due to the algorithmic nature of its tasks, then weirdness arises in the special form of negative (...) probabilities or non-classical evaluation functionals. Weirdness is not logical inconsistency, however. It is only the expression of the clash between an unbounded and a bounded view of computation in logic. We discuss the implication of these results for quantum mechanics, arguing in particular that its interpretation should ultimately be computational rather than exclusively physical. We develop in addition a probabilistic theory in the real numbers that exhibits the phenomenon of entanglement, thus concretely showing that the latter is not specific to quantum mechanics. (shrink)

The quantum logical and quantum information-theoretic traditions have exerted an especially powerful influence on Bub’s thinking about the conceptual foundations of quantum mechanics. This paper discusses both the quantum logical and information-theoretic traditions from the point of view of their representational frameworks. I argue that it is at this level—at the level of its framework—that the quantum logical tradition has retained its centrality to Bub’s thought. It is further argued that there is implicit in the quantum information-theoretic tradition a set (...) of ideas that mark a genuinely new alternative to the framework of quantum logic. These ideas are of considerable interest for the philosophy of quantum mechanics, a claim which I defend with an extended discussion of their application to our understanding of the philosophical significance of the no hidden variable theorem of Kochen and Specker. (shrink)

A likelihood order is defined over linear subspaces of a finite dimensional Hilbert space. It is shown that such an order that satisfies some plausible axioms can be represented by a quantum probability in two cases: pure state and uniform measure.

Quantum cognition in decision making is a recent and rapidly growing field. In this paper, we develop an expected utility theory in a context of non-classical uncertainty. We replace the classical state space with a Hilbert space which allows introducing the concept of quantum lottery. Within that framework, we formulate axioms on preferences over quantum lotteries to establish a representation theorem. We show that demanding the consistency of choice behavior conditional on new information is equivalent to the von Neumann–Lüders postulate (...) applied to beliefs. A dynamically consistent quantum-like agent may violate dynamic recursive consistency, however. This feature suggests interesting applications in behavioral economics as we illustrate in an example of persuasion. (shrink)

Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated.

Dutch book arguments have been applied to beliefs about the outcomes of measurements of quantum systems, but not to beliefs about quantum objects prior to measurement. In this paper, we prove a quantum version of the probabilists' Dutch book theorem that applies to both sorts of beliefs: roughly, if ideal beliefs are given by vector states, all and only Born-rule probabilities avoid Dutch books. This theorem and associated results have implications for operational and realist interpretations of the logic of a (...) Hilbert lattice. In the latter case, we show that the defenders of the eigenstate-value orthodoxy face a trilemma. Those who favor vague properties avoid the trilemma, admitting all and only those beliefs about quantum objects that avoid Dutch books. (shrink)