Graduate studies at Western
Studia Logica 89 (2):187 - 211 (2008)
|Abstract||In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
M. A. (2003). A Quantum Computer Only Needs One Universe. Studies in History and Philosophy of Science Part B 34 (3):469-478.
Wayne C. Myrvold (2010). From Physics to Information Theory and Back. In Alisa Bokulich & Gregg Jaeger (eds.), Philosophy of Quantum Information and Entanglement. Cambridge University Press.
A. Duwell (2003). Quantum Information Does Not Exist. Studies in History and Philosophy of Science Part B 34 (3):479-499.
Sonja Smets (2006). From Intuitionistic Logic to Dynamic Operational Quantum Logic. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Sheldon Goldstein (2010). Bohmian Mechanics and Quantum Information. Foundations of Physics 40 (4):335-355.
Bob Coecke (2002). Disjunctive Quantum Logic in Dynamic Perspective. Studia Logica 71 (1):47 - 56.
Christopher Gordon Timpson (2005). Nonlocality and Information Flow: The Approach of Deutsch and Hayden. [REVIEW] Foundations of Physics 35 (2):313-343.
Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
Added to index2009-01-28
Total downloads9 ( #122,521 of 739,542 )
Recent downloads (6 months)1 ( #61,680 of 739,542 )
How can I increase my downloads?