The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes

DOI10.1023/B:IJTP.0000048815.92983.6EMaRDI QIDQ1768730zbMATH OpenOpenAlexFDO

Authors Bob Coecke, Sonja Smets

Publication date 15 March 2005

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0111076

zbMATH Keywords

dynamic quantum logicSasaki projectionGalois adjointmeasurement.Sasaki hook

Mathematics Subject Classification ID

Quantum measurement theory, state operations, state preparations (81P15) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15)

Abstract: In this paper we argue that the Sasaki adjunction, which formally encodes the logicality that different authors tried to attach to the Sasaki hook as a `quantum implicative connective', has a fundamental dynamic nature and encodes the so-called `causal duality' (Coecke, Moore and Stubbe 2001; quant-ph/0009100) for the particular case of a quantum measurement with a projector as corresponding self-adjoint operator. In particular: The action of the Sasaki hook $(astackrelSo-)$ for fixed antecedent $a$ assigns to some property ``the weakest cause before the measurement of actuality of that property after the measurement, i.e. $(astackrelSob)$ is the weakest property that guarantees actuality of $b$ after performing the measurement represented by the projector that has the `subspace $a$' as eigenstates for eigenvalue 1, say, the measurement that `tests' $a$ . From this we conclude that the logicality attributable to quantum systems contains a fundamentally dynamic ingredient: Causal duality actually provides a new dynamic interpretation of orthomodularity. We also reconsider the status of the Sasaki hook within `dynamic (operational) quantum logic' (DOQL). We can derive two labeled dynamic hooks (forwardly and backwardly) that encode how quantum measurements act on properties. In an even more radical perspective one could say that the transition from either classical or constructive/intuitionistic logic to quantum logic entails besides the introduction of an additional unary connective `operational resolution' (Coecke 2001a; math.LO/0011208) the shift from a binary connective implication to a ternary connective where two of the arguments refer to qualities of the system and the third, the new one, to an obtained outcome (in a measurement).

Recommendations

• scientific article; zbMATH DE number 2097001
• scientific article; zbMATH DE number 4089616
• Sasaki projections
• Compositions of Sasaki projections
• How to introduce the connective implication in orthomodular posets

Cited in

(14)

• Reconstructing quantum theory from its possibilistic operational formalism
• A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
• Quantum logic as a dynamic logic
• Duality for the logic of quantum actions
• Complete axiomatizations for quantum actions
• Quantum logic in dagger kernel categories
• The dynamic turn in quantum logic
• Weakly intuitionistic quantum logic
• Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
• scientific article; zbMATH DE number 2097001 (Why is no real title available?)
• Quantum logic in dagger kernel categories
• scientific article; zbMATH DE number 4089616 (Why is no real title available?)
• A dynamic-logical perspective on quantum behavior
• Modeling correlated information change: from conditional beliefs to quantum conditionals

This page was built for publication: The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1768730)