[Paper Review] The Logic of Consistent Histories: A Reply to Maudlin

Robert B. Griffiths|arXiv (Cornell University)|Oct 5, 2011

Quantum Mechanics and Applications13 references3 citations

TL;DR

This paper defends the consistent histories interpretation of quantum mechanics against criticisms by Maudlin, demonstrating that the approach is logically consistent and internally coherent. It shows that Maudlin's claim of inconsistency stems from conflating the histories framework with classical logic, not from actual logical flaws, and that the single-framework rule properly blocks paradoxes like those in the GHZ scenario.

ABSTRACT

The relationship between quantum logic, standard propositional logic, and the (consistent) histories rules for quantum reasoning is discussed. It is shown that Maudlin's claim [Am. J. Phys. 79 (2011) 954] that the histories approach is inconsistent, is incorrect. The histories approach is both internally consistent and adequate for discussing the physical situations considered by Maudlin.

Motivation & Objective

• To refute Maudlin's assertion that the consistent histories approach in quantum mechanics is logically inconsistent.
• To clarify the distinction between quantum logic, classical propositional logic, and the logic of consistent histories.
• To demonstrate that the single-framework rule in consistent histories prevents paradoxes without violating internal consistency.
• To show that the approach is adequate for analyzing foundational quantum scenarios such as spins in boxes and the GHZ paradox.
• To argue that differences in logical rules between consistent histories and classical logic do not imply inconsistency, but rather reflect a different formalism suited to quantum phenomena.

Proposed method

• Analyzes the logical structure of propositional logic, quantum logic (Birkhoff-von Neumann), and consistent histories logic to compare their rules and consistency.
• Applies the single-framework rule in consistent histories to block contradictory inferences, especially in non-commuting contexts.
• Reconstructs Maudlin’s spin-in-boxes and GHZ paradox arguments to show where they misapply classical reasoning to quantum systems.
• Uses the framework of commuting projectors to show that quantum logic reduces to classical logic in commuting subspaces, preserving consistency.
• Compares the logical rules of consistent histories to classical logic, arguing that inconsistency claims arise from improper mixing of frameworks.
• Cites established quantum mechanical results and prior analyses (e.g., Hardy’s paradox in [7]) to support the robustness of the consistent histories approach.

Experimental results

Research questions

• RQ1 Is the consistent histories interpretation of quantum mechanics logically inconsistent, as claimed by Maudlin?
• RQ2 How does the logic of consistent histories differ from classical propositional logic, and does this difference imply inconsistency?
• RQ3 Can the single-framework rule in consistent histories prevent paradoxes such as those in the GHZ scenario?
• RQ4 Why does Maudlin’s analysis of spins prepared in boxes fail, and what role does proper distinction between preparation and measurement play?
• RQ5 To what extent does the consistent histories approach resolve conceptual paradoxes in quantum mechanics without violating logical consistency?

Key findings

• The consistent histories approach is logically consistent when evaluated by its own internal rules, and Maudlin’s claim of inconsistency is unfounded.
• The single-framework rule successfully blocks the derivation of contradictory conclusions in the GHZ paradox, preventing the construction of a nonlocality argument.
• Maudlin’s argument about spins in boxes fails because it conflates state preparation with measurement, a distinction clarified by the consistent histories framework.
• Quantum logic, including the consistent histories logic, is consistent when assessed by its own rules, even though it violates the distributive law of classical logic.
• The consistent histories approach provides a fully quantum-mechanical account of measurement, resolving the measurement problem without ad hoc assumptions.
• The framework is adequate for analyzing foundational quantum paradoxes and offers a coherent alternative to interpretations that rely on nonlocality or collapse postulates.