On the Structure of Quantal Proposition Systems

It is shown that the axiom of atomicity and the covering law can be justified on the basis of a new and more satisfactory notion of state and the existence of ideal measurements of the first kind. These two axioms are thereby given a satisfactory justification in terms of empirical facts known about micro-systems. Furthermore the new notion of state introduced here does not involve any probability statements and there is therefore no difficulty attributing it to individual systems, which was not possible with the notion heretoforth used in quantum mechanics.