Abstract

A relation ≺ϕ between noncommuting 1-0 quantum observables (i.e., projections) is introduced, ϕ being the state vector of the system. This relation extends the empirical implication between commuting projections. An operational interpretation of the new relation is given, which can be expressed also in counterfactual terms. It is shown that a relation proposed some years ago by Hardegree, namely the Sasaki arrow ↪ϕ, can be interpreted in terms of the relation ≺ϕ; furthermore, this new relation turns out to be successful also in cases in which the Sasaki arrow fails