Comment on ``Consistent Sets Yield Contrary Inferences in Quantum Theory''

A system of quantum reasoning for a closed system is developed by treating non-relativistic quantum mechanics as a stochastic theory. The sample space corresponds to a decomposition, as a sum of orthogonal projectors, of the identity operator on a Hilbert space of histories. Provided a consistency condition is satisfied, the corresponding Boolean algebra of histories, called a {\it framework}, can be assigned probabilities in the usual way, and within a single framework quant...

We review the consistent histories formulations of quantum mechanics developed by Griffiths, Omn\`es and Gell-Mann and Hartle, and describe the classification of consistent sets. We illustrate some general features of consistent sets by a few simple lemmas and examples. We consider various interpretations of the formalism, and examine the new problems which arise in reconstructing the past and predicting the future. It is shown that Omn\`es' characterisation of true statement...

Precise rules are developed in order to formalize the reasoning processes involved in standard non-relativistic quantum mechanics, with the help of analogies from classical physics. A classical or quantum description of a mechanical system involves a {\it framework}, often chosen implicitly, and a {\it statement} or assertion about the system which is either true or false within the framework with which it is associated. Quantum descriptions are no less ``objective'' than the...

We give formal content to some concepts, naturally stemming from consistent history approach (CHA), which are not formalized in the standard formulation of the theory. The outcoming (extended) conceptual basis is used to perform a formal, conceptually transparent analysis of some debated questions in CHA. As results, the problems raised by contrary inferences of Kent are ruled out, whereas some prescriptions of the theory cannot be mantained.

An introduction is given to an algebraic formulation and generalisation of the consistent histories approach to quantum theory. The main technical tool in this theory is an orthoalgebra of history propositions that serves as a generalised temporal analogue of the lattice of propositions of standard quantum logic. Particular emphasis is placed on those cases in which the history propositions can be represented by projection operators in a Hilbert space, and on the associated c...

The Consistent Histories (CH) formalism aims at a quantum mechanical framework which could be applied even to the universe as a whole. CH stresses the importance of histories for quantum mechanics, as opposed to measurements, and maintains that a satisfactory formulation of quantum mechanics allows one to assign probabilities to alternative histories of a quantum system. It further proposes that each realm, that is, each set of histories to which probabilities can be assigned...

In the consistent histories (CH) approach to quantum theory probabilities are assigned to histories subject to a consistency condition of negligible interference. The approach has the feature that a given physical situation admits multiple sets of consistent histories that cannot in general be united into a single consistent set, leading to a number of counter-intuitive or contrary properties if propositions from different consistent sets are combined indiscriminately. An alt...

We present a formulation of the decoherent (or consistent) histories quantum theory of closed systems starting with records of what histories happen. Alternative routes to a formulation of quantum theory like this one can be useful both for understanding quantum mechanics and for generalizing and extending it to new realms of application and experimental test.

The consistent histories formulation of the quantum theory of a closed system with pure initial state defines an infinite number of incompatible consistent sets, each of which gives a possible description of the physics. We investigate the possibility of using the properties of the Schmidt decomposition to define an algorithm which selects a single, physically natural, consistent set. We explain the problems which arise, set out some possible algorithms, and explain their pro...

We investigate whether quantum history theories can be consistent with Bayesian reasoning and whether such an analysis helps clarify the interpretation of such theories. First, we summarise and extend recent work categorising two different approaches to formalising multi-time measurements in quantum theory. The standard approach consists of describing an ordered series of measurements in terms of history propositions with non-additive `probabilities'. The non-standard approac...