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.

We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).

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.

In Coecke (2002) we proposed the intuitionistic or disjunctive representation of quantum logic, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these properties, where this complete Heyting algebra goes equipped with an additional operation, the operational resolution, which identifies the properties within the logic of propositions. This representation has an important application towards dynamic quantum logic, namely in describing the temporal indeterministic propagation of actual properties of physical systems. This (...) paper can as such by conceived as an addendum to Quantum Logic in Intuitionistic Perspective that discusses spin-off and thus provides an additional motivation. We derive a quantaloidal semantics for dynamic disjunctive quantum logic and illustrate it for the particular case of a perfect (quantum) measurement. (shrink)

In Coecke (2002) we proposed the intuitionistic or disjunctive representation of quantum logic, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these properties, where this complete Heyting algebra goes equipped with an additional operation, the operational resolution, which identifies the properties within the logic of propositions. This representation has an important application “towards dynamic quantum logic”, namely in describing the temporal indeterministic propagation of actual properties of physical systems. This (...) paper can as such by conceived as an addendum to “Quantum Logic in Intuitionistic Perspective” that discusses spin-off and thus provides an additional motivation. We derive a quantaloidal semantics for dynamic disjunctive quantum logic and illustrate it for the particular case of a perfect (quantum) measurement. (shrink)

We show that it is impossible in quantum mechanics to describe two separated physical systems. This is due to the mathematical structure of quantum mechanics. It is possible to give a description of two separated systems in a theory which is a generalization of quantum mechanics and of classical mechanics, in the sense that this theory contains both theories as special cases. We identify the axioms of quantum mechanics that make it impossible to describe separated systems. One of these axioms (...) is equivalent to the superposition principle. We show how these findings throw a different light on the paradox of Einstein, Podolsky, and Rosen. (shrink)