In the literature the work of C. Piron on OQL, “the operational quantum logic of the Geneva School”, has a few times been criticised. Those criticisms were often due to misunderstandings, as has already been pointed out in [19]. In this paper we follow the line of defense in favour of OQL by replying to the criticisms formulated some time ago in [4] and [17]. In order for the reader to follow our argumentation, we briefly analyze the basic conceptual machinery (...) of OQL. (shrink)

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". (shrink)

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various (...) linear operators. As an example we sketch an analysis of the teleportation protocol. (shrink)

Piron's axioms for a realistically interpreted quantum mechanics are analyzed in detail within the context of a formal mathematical structure expressed in the conventional set-theoretic idiom of mathematics. As a result, some of the serious misconceptions that have encouraged recent criticisms of Piron's axioms are exposed.

I present an annotated development of the basic ideas of the Geneva School approach to the foundations of physics and the structures which emerge as mathematical representations of the physically dual notions of state and property.

I present an annotated development of the basic ideas of the Geneva School approach to the foundations of physics and the structures which emerge as mathematical representations of the physically dual notions of state and property.