Abstract

A proposition is associated in classical mechanics with a subset of phase space, in quantum logic with a projection in Hilbert space, and in both cases with a 2-valued observable or test. A theoretical statement typically assigns a probability to such a pure test. However, since a pure test is an idealization not realizable experimentally, it is necessary — to give such a statement a practical meaning — to describe how it can be approximated by feasible tests. This gives rise to a search for a formal representation of feasible tests, which leads via mixed tests (weighted means of pure tests) to vague tests (convex sets of mixed tests). A model is described in which the latter form a continuous lattice; the pure and mixed tests are the maximal elements and the feasible tests form a basis. Each type of test has its own logic; this is illustrated by the passage from mixed tests to pure tests, which corresponds to the transition from L to classical logic.