David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275 (2006)
Research within the operational approach to the logical foundations of physics has recently pointed out a new perspective in which quantum logic can be viewed as an intuitionistic logic with an additional operator to capture its essential, i.e., non-distributive, properties. In this paper we will offer an introduction to this approach. We will focus further on why quantum logic has an inherent dynamic nature which is captured in the meaning of "orthomodularity" and on how it motivates physically the introduction of dynamic implication operators, each for which a deduction theorem holds with respect to a dynamic conjunction. As such we can offer a positive answer to the many who pondered about whether quantum logic should really be called a logic. Doubts to answer the question positively were in first instance due to the former lack of an implication connective which satisfies the deduction theorem within quantum logic.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Alexandru Baltag & Sonja Smets (2012). The Dynamic Turn in Quantum Logic. Synthese 186 (3):753 - 773.
Alexandru Baltag & Sonja Smets (2011). Quantum Logic as a Dynamic Logic. Synthese 179 (2):285 - 306.
Similar books and articles
J. L. Bell (1986). A New Approach to Quantum Logic. British Journal for the Philosophy of Science 37 (1):83-99.
A. Baltag & S. Smets (2008). A Dynamic-Logical Perspective on Quantum Behavior. Studia Logica 89 (2):187 - 211.
Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini (1993). Fuzzy Intuitionistic Quantum Logics. Studia Logica 52 (3):419 - 442.
Takahito Aoto (1999). Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. Journal of Logic, Language and Information 8 (2):217-242.
Allen Stairs (1983). Quantum Logic, Realism, and Value Definiteness. Philosophy of Science 50 (4):578-602.
Sonja Smets (2003). In Defense of Operational Quantum Logic. Logic and Logical Philosophy 11:191-212.
Bob Coecke (2002). Disjunctive Quantum Logic in Dynamic Perspective. Studia Logica 71 (1):47 - 56.
Added to index2009-01-28
Total downloads54 ( #30,329 of 1,102,634 )
Recent downloads (6 months)2 ( #183,726 of 1,102,634 )
How can I increase my downloads?