Abstract

We analyze G.M. Hardegree's interpretation of the Sasaki hook as a Stalnaker conditional and explain how he makes use of the basic conceptual machinery of OQL, i.e. the operational quantum logic which originated with the Geneva Approach to the foundations of physics. In particular we focus on measurements which are ideal and of the first kind, since these encode the content of the so-called Sasaki projections within the Geneva Approach. The Sasaki projections play a fundamental role when analyzing the condition under which the properties expressed by Sasaki hooks can be considered as actual. We finish with a note on how the Sasaki hook can be conceived as ``assigning causes for properties to be actual", which links the interpretation of G.M. Hardegree to what has been called ``dynamic OQL".