Quantum mechanics and the local observer

A notion of local observer inspired by the work of Segal is introduced here in the Hilbert space theory of quantum mechanics. The local observer finds a mathematical place in the Hilbert space through local negation or complementation. A logicomathematical theory of local negation is presented and its implications for quantum logic and the problem of measurement are discussed. The setting is constructivist mathematics and the main result of the paper states that the introduction of a local observer implies the nonorthocomplementability of the whole Hilbert space even in the finite-dimensional case. Making a mathematical place for the observer (the “projector”) thus modifies the structure of the observables or the system of the projections, in accordance with a nonclassical theory of quantum-mechanical measurement.