Why Classical Logic Appears

Classical logical reasoning becomes appropriate when the events under discussion belong to a stable, approximately commuting record algebra and interference between the relevant histories is negligible. This is a restricted emergent structure. It does not turn all quantum propositions into one global classical catalogue of pre-existing values.

Required background. Density operators: Calculate probabilities for record projectors and distinguish mixtures from entangled pure states.

A Boolean algebra inside quantum theory

Let mutually orthogonal projectors $\{P_i\}$ resolve the identity. For a subset $A$ of labels, define $P_A=\sum_{i\in A}P_i$. Then

$$P_AP_B=P_{A\cap B},\qquad I-P_A=P_{A^c}.$$

Because the projectors commute, intersection, union, and complement behave like ordinary set operations. Born probabilities become a classical distribution $p_i=\operatorname{Tr}(\rho P_i)$ over these exclusive record labels.

The algebra exists even before the state is diagonal in that basis. What decoherence adds is dynamical stability and operational suppression of interference with observables outside the record algebra.

Why incompatible questions differ

For a qubit, the $Z$ and $X$ projectors do not commute. There is no common rank-one sharp decomposition containing both as classical events. Assigning one Boolean sample space to both questions requires extra structure and can fail for larger contextuality scenarios.

The quantum-logic chapter develops the mathematical event structures. The present point is narrower: everyday record claims typically concern a selected approximately compatible set, not every projector in Hilbert space.

Histories need consistency too

Commuting records at one time do not automatically provide classical probabilities for every sequence of earlier alternatives. The decoherence functional identifies interference between histories.

If branch vectors are approximately orthogonal, coarse-grained history probabilities approximately add. One can then reason about a sequence of recorded events using an ordinary probability calculus. A different incompatible history family cannot automatically be combined with it.

A detector example

Consider three detector outcomes with orthogonal record projectors $P_1,P_2,P_3$. The proposition “detector 1 or detector 2 fired” corresponds to $P_1+P_2$, and its probability is $p_1+p_2$. A coherent measurement of a superposition of detector records is a different observable, requiring control outside the ordinary record algebra.

Environmental copying makes such coherent control difficult and reinforces the practical use of the classical labels. It does not prove that the alternative observable is mathematically meaningless or forbidden in every possible experiment.

Scope of the emergence claim

Approximate commutativity must be assessed against the desired accuracy. Tiny interference terms can matter when many alternatives are combined or when an experiment deliberately recombines them. Classical reasoning remains a controlled description with a domain of validity.

This explains why successful everyday logic coexists with Kochen–Specker contextuality. The latter concerns a global assignment across incompatible contexts; ordinary record reasoning uses one compatible structure at a time.

Exercises

For commuting projectors $P,Q$, show that the union projector is $P+Q-PQ$. Why does the same expression generally fail for noncommuting projectors?

Solution

Simultaneous diagonalization reduces the commuting case to binary values, where $p+q-pq$ represents logical OR and is idempotent. If $P,Q$ do not commute, the expression need not even be self-adjoint because $(PQ)^\dagger=QP$. It is therefore generally not a projector representing a sharp union event.

References

• G. Birkhoff and J. von Neumann, “The logic of quantum mechanics,” Annals of Mathematics 37, 823–843 (1936), doi:10.2307/1968621.
• R. B. Griffiths, Consistent Quantum Theory, Cambridge University Press (2002).