We develop an algebraic frame for the simultaneous treatment of actual and possible properties of quantum systems. We show that, in spite of the fact that the language is enriched with the addition of a modal operator to the orthomodular structure, contextuality remains a central feature of quantum systems. 1
Abstract The modal interpretation is actually a family of interpretations sharing the feature that a system’s density operator constrains the possibilities for assigning definite values to its observables (Healey 1989, Dieks & Vermaas 1998). We start with a brief review of the basic idea behind these interpretations from an algebraic point of view (Zimba & Clifton 1998, Halvorson & Clifton 1999). Consider a ‘universe’ comprised of a quantum system U, with finitely many degrees of freedom, represented by a Hilbert space Hu = ®i Hi. At any given time, U will occupy a pure vector state x E Hu that determines a reduced density operator Ds on the Hilbert space Hi of any subsystem S U. Let B(Hs) de
In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W. Heisenberg. We present then a general characterization of what we consider to be a modal interpretation. Following previous papers in which we have introduced modalities in the Kochen-Specker theorem, we investigate the consequences of these theorems in relation to the modal interpretations of quantum mechanics.
Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer consistently to actual and possible properties of the system. By means of a topological argument, more precisely in terms of the existence of sections of sheaves, we give an extended version of Kochen-Specker theorem over this new structure. This allows us to prove that contextuality remains a central feature even in the enriched propositional system.