Admissibility of truth assignments for quantum propositions in supervaluational logic

TL;DR

This paper investigates how to modify the logical structure of quantum propositions to align with the Kochen-Specker theorem and quantum uncertainty, proposing a weakened logic that better reflects quantum indeterminacy.

Contribution

It proposes a weakened logical framework for quantum propositions that reconciles the Hilbert lattice structure with the Kochen-Specker theorem and quantum uncertainty principles.

Findings

Hilbert lattice structure is too strong and leads to unreasonable conclusions.

A weakened logical structure can support quantum indeterminacy.

The paper offers a new perspective on quantum logic consistent with physical principles.

Abstract

The structure of a complete lattice formed by closed linear subspaces of a Hilbert space (i.e., a Hilbert lattice) entails some unreasonable consequences from the physical point of view. Specifically, this structure seems to contradict to the localized variant of the Kochen-Specker theorem according to which the bivaluation of a proposition represented by a closed linear subspace that does not belong to a Boolean algebra shared by the state, in which a quantum-mechanical system is prepared, must be value indefinite. For this reason, the Hilbert lattice structure seems to be too strong and needs to be weakened. The question is, how should it be weakened so that to support the quantum uncertainty principle and the Kochen-Specker theorem? Which logic will a weakened structure identify? The present paper tries to answer these questions.