NDLI: The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One That Assigns Causes

Content Provider	Springer Nature Link
Author	Coecke, Bob Smets, Sonja
Copyright Year	2004
Abstract	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 et al., 2001) for the particular case of a quantum measurement with a projector as corresponding self-adjoint operator. The action of the Sasaki hook ( $$a\xrightarrow{S} - $$ ) 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\xrightarrow{S}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. 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,’ what leads us to the claim made in the title of this paper. The Sasaki adjunction has a physical significance in terms of causal duality. The labeled dynamic hooks (forwardly and backwardly) that encode quantum measurements, act on properties as $$(a_1 \xrightarrow{{\varphi _a }}a_2 ): = (a_1 \to _L (a\xrightarrow{S}a_2 ))$$ and $$(a_1 \xleftarrow{{\varphi _a }}a_2 ): = ((a\xrightarrow{S}a_2 ) \to _L a_1 )$$ , taking values in the ‘disjunctive extension’ $$DI(L)$$ of the property lattice L, where $$a \in L$$ is the tested property and $$( - \to _L - )$$ is the Heyting implication that lives on DI(L). Since these hooks $$( - \xrightarrow{{\varphi _a }} - )$$ and $$( - \xleftarrow{{\varphi _a }} - )$$ extend to DI(L)×DI(L) they constitute internal operations. The transition from either classical or constructive/intuitionistic logic to quantum logic entails besides the introduction of an additional unary connective ‘operational resolution’ (Coecke, 2002a) 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)
Starting Page	1705
Ending Page	1736
Page Count	32
File Format	PDF
ISSN	00207748
Journal	International Journal of Theoretical Physics
Volume Number	43
Issue Number	7-8
e-ISSN	15729575
Language	English
Publisher	Kluwer Academic Publishers-Plenum Publishers
Publisher Date	2004-01-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Physics Quantum Physics Mathematical and Computational Physics Elementary Particles, Quantum Field Theory
Content Type	Text
Resource Type	Article
Subject	Physics and Astronomy Mathematics

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes

The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One That Assigns Causes

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

On Generalized Sasaki Projections

Generalized Sasaki Projections and Riesz Ideals in Pseudoeffect Algebras

Forced Time-Dependent Harmonic Oscillator in a Static Magnetic Field: Exact Quantum and Classical Solutions

Entropy of the Quantum Scalar Field in Static Black Holes

Defect Formation in a Dynamic Transition

A landscape of time asymmetry

The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One That Assigns Causes

Similar Documents

The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes

The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One That Assigns Causes

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

On Generalized Sasaki Projections

Generalized Sasaki Projections and Riesz Ideals in Pseudoeffect Algebras

Forced Time-Dependent Harmonic Oscillator in a Static Magnetic Field: Exact Quantum and Classical Solutions

Entropy of the Quantum Scalar Field in Static Black Holes

Defect Formation in a Dynamic Transition

A landscape of time asymmetry

The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One That Assigns Causes