dorsal/arxiv
View SchemaThe Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes
| Authors | Bob Coecke, Sonja Smets |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0111076 |
| URL | https://arxiv.org/abs/quant-ph/0111076 |
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 $(a\stackrel{S}{\to}-)$ for fixed antecedent $a$ assigns to some property ``the weakest cause before the measurement of actuality of that property after the measurement'', i.e. ${(a\stackrel{S}{\to}b)}$ 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).
{
"annotation_id": "ad951982-3994-4c3e-8739-19fd4862fb00",
"date_created": "2026-03-02T18:01:48.952000Z",
"date_modified": "2026-03-02T18:01:48.952000Z",
"file_hash": "dedf84e4181eaf8c5c43a834a1a77d05278ca1d415528f29e96b551f5d0e031d",
"private": false,
"record": {
"abstract": "In this paper we argue that the Sasaki adjunction, which formally encodes the\nlogicality that different authors tried to attach to the Sasaki hook as a\n`quantum implicative connective\u0027, has a fundamental dynamic nature and encodes\nthe so-called `causal duality\u0027 (Coecke, Moore and Stubbe 2001;\nquant-ph/0009100) for the particular case of a quantum measurement with a\nprojector as corresponding self-adjoint operator. In particular: The action of\nthe Sasaki hook $(a\\stackrel{S}{\\to}-)$ for fixed antecedent $a$ assigns to\nsome property ``the weakest cause before the measurement of actuality of that\nproperty after the measurement\u0027\u0027, i.e. ${(a\\stackrel{S}{\\to}b)}$ is the weakest\nproperty that guarantees actuality of $b$ after performing the measurement\nrepresented by the projector that has the `subspace $a$\u0027 as eigenstates for\neigenvalue 1, say, the measurement that `tests\u0027 $a$ . From this we conclude\nthat the logicality attributable to quantum systems contains a fundamentally\ndynamic ingredient: Causal duality actually provides a new dynamic\ninterpretation of orthomodularity. We also reconsider the status of the Sasaki\nhook within `dynamic (operational) quantum logic\u0027 (DOQL). We can derive two\nlabeled dynamic hooks (forwardly and backwardly) that encode how quantum\nmeasurements act on properties. In an even more radical perspective one could\nsay that the transition from either classical or constructive/intuitionistic\nlogic to quantum logic entails besides the introduction of an additional unary\nconnective `operational resolution\u0027 (Coecke 2001a; math.LO/0011208) the shift\nfrom a binary connective implication to a ternary connective where two of the\narguments refer to qualities of the system and the third, the new one, to an\nobtained outcome (in a measurement).",
"arxiv_id": "quant-ph/0111076",
"authors": [
"Bob Coecke",
"Sonja Smets"
],
"categories": [
"quant-ph",
"math-ph",
"math.LO",
"math.MP"
],
"title": "The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes",
"url": "https://arxiv.org/abs/quant-ph/0111076"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "44e3d61c-c803-47ad-9e75-39e712bb591d",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}