An approach to measurement

We present a new approach to measurement theory. Our definition of measurement is motivated by direct laboratory procedures as they are carried out in practice. The theory is developed within the quantum logic framework. This work clarifies an important problem in the quantum logic approach; namely, where the Hilbert space comes from. We consider the relationship between measurements and observables, and present a Hilbert space embedding theorem. We conclude with a discussion of charge systems.