Abstract

A reformulation of the Kochen and Specker Theorem is used to show how quantum disjunctive facts have presented an insurmountable obstacle to mainstream attempts to motivate quantum logic. The failure of these attempts represents a progressive retrenchment of the program of connecting quantum logic to quantum theory. However, a recent program proposed by Allen Stairs gives those who embrace a realist ontology of quantum "facts" reason to believe quantum logic may yet be read off quantum theory.