The significance of a hidden variable proof and the logical interpretation of quantum mechanics

This paper examines the logical interpretation of quantum mechanics. Since this interpretation is based on a proof by Kochen and Specker that purports to demonstrate that hidden variable theories for quantum mechanics are excluded, the proof and its significance for the understanding of hidden variable theories and standard quantum mechanics are discussed.Work supported by the National Science Foundation.