The aim of this paper is to state the single most powerful argument for use of a non-classical logic in quantum mechanics. In outline the argument is the following. The working logic of a science is the logic of the events and propositions to which probabilities are assigned. A probability should be assigned to every element of the algebra of events. In the case of quantum mechanics probabilities may be assigned to events but not, without restriction, to the conjunction of two events. The conclusion is that the working logic of quantum mechanics is not classical. The nature of the logic that is appropriate for quantum mechanics is examined.
The aim of this paper is to state the single most powerful argument for use of a non-classical logic in quantum mechanics. In outline the argument is the following. The working logic of a science is the logic of the events and propositions to which probabilities are assigned. A probability should be assigned to every element of the algebra of events. In the case of quantum mechanics probabilities may be assigned to events but not, without restriction, to the conjunction of two events. The conclusion is that the working logic of quantum mechanics is not classical. The nature of the logic that is appropriate for quantum mechanics is examined.
Quantum probability and quantum mechanics The formalism of quantum probability theory Discussions of quantum mechanics are often confused by a lack of clarity about what exactly constitutes ‘quantum mechanics’. It is therefore useful to try at the start to isolate a consistent mathematical core of quantum mechanics, and consider anything that goes beyond this core to be ‘interpretation’. For us, this core is quantum probability theory. Quantum probability is a generalization of classical probability, and therefore I begin with a brief review of the latter. I assume that the reader has some familiarity with the ideas of probability theory. What follows is just to provide a quick review, and to establish some notation and terminology. In modern classical probability theory, probabilities are defined over algebras of events. The motivation is straightforward: we begin with a set of ‘primitive’, or ‘simple’, events (the ‘sample space’), and form an algebra of events by taking all logical combinations of the simple events. For example, let us take the simple events to be the possible results of rolling a six-sided die one time, so that the sample space is the set {1,2,3,4,5,6}. We then form an algebra of events from the sample space by taking all possible logical combinations of the simple events. Logical combinations include, for example, ‘either 3 or 5’ and ‘not 3 and not 2’.
The nature of quantum mechanical probability has often seemed mysterious. To shed some light on this topic, the present paper analyzes the logical form of probability assignment in quantum mechanics. To begin the paper, I set out and criticize several attempts to analyze the form. I go on to propose a new form which utilizes a novel, probabilistic conditional and argue that this proposal is, overall, the best rendering of the quantum mechanical probability assignments. Finally, quantum mechanics aside, the discussion here has consequences for counterfactual logic, conditional probability, and epistemic probability.
Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic properties, such as nondistributivity, whereby emphasis is given to concrete experimental setups related to quantum logical entities. A probability theory based on quantum logic is fundamentally and sometimes even spectacularly different from probabilities based on classical Boolean logic. We give a brief outline of its nonclassical aspects; in particular violations of Boole-Bell type consistency constraints on joint probabilities, as well as the Kochen-Specker theorem, demonstrating in a constructive, finite way the scarcity and even nonexistence of two-valued states interpretable as classical truth assignments. A more complete introduction of the author can be found in the book "Quantum Logic" (Springer, 1998)
The non-classical nature of quantum theory has led to a number of efforts to formalize the logic of statements whose universe of discourse is the subatomic (see, for example, [3], [6], [8], and [10]).It might be hoped that ideally the fruit of such efforts would be a formalism not totally divorced from the classical logic, but incorporating or incorporated in it in such a manner as to unify the logic of the micro-and the macro-worlds.Indeed, this has been the general direction taken by these efforts, including that which we principally examine and expand upon here.*Josef Jauch, [6], pp.67-89, developed a "propositional calculus of quantum mechanics".He objected to calling a system like his a "logic of quantum mechanics"; however, our use of 'logic' here is not, I think, the use to which Jauch objected.A logic, for our present purposes, is a mathematical formalism having a reasonable interpretation as a theory of deduction; its actual application as normative of argumentation in reality is a matter of empirical judgment.This seems close to the way Jauch wished to use "propositional calculus" but more general, allowing for extension to a quantification theory of quantum mechanics, for example.Although Jauch's presentation of a propositional calculus of quantum mechanics is mathematically interesting and suggestive, there are a number of problems connected with it.It is our purpose to engage some of these problems and to present a rigorously defined formalism intended to come close to doing the job intended by Jauch for his logic.The success or lack of success of this effort as related to actual application of this formalism in the foundations of quantum theory is, I think, a matter for the physicists to decide; the empirical judgment involved in this application is not in the scope of this paper.If a formalism is to have a reasonable interpretation as a theory of deduction, it seems clear that it must include a relation which, when it holds between two elements of the formalism, may be reasonably interpreted as expressing that one of the elements 'follows from' the other, in •The author wishes to thank Robert Piziak for advice and comments in the course of research for this paper.
This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The main point is to show that a so-called “superposition” of two (or more) quantum events (usually with mutually inconsistent initial conditions) can be represented in this algebra of conditional events and assigned a consistent conditional probability. There is no need to imagine that a quantum particle can simultaneously straddle two inconsistent possibilities.
Several attempts have been made to establish the logical structure of quantum mechanics on an axiomatic foundation. It has been shown that, whereas the logical structure of the propositional calculus of classical mechanics is that of a Boolean lattice, the logical structure of the propositional calculus of quantum mechanics is non-Boolean. Moreover, a probability model of a quantum system, namely, the quantum probability model, has a mathematical structure completely different from that of the Kolmogorovian probability model, which is the standard probability model of a classical system. These results, which are still controversial, are analysed and put in critical perspective.