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)|
|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.
Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
Bob Coecke (2002). Disjunctive Quantum Logic in Dynamic Perspective. Studia Logica 71 (1):47 - 56.
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.
A. Duwell (2003). Quantum Information Does Not Exist. Studies in History and Philosophy of Science Part B 34 (3):479-499.
Added to index2009-01-28
Total downloads9 ( #114,188 of 549,591 )
Recent downloads (6 months)1 ( #63,397 of 549,591 )
How can I increase my downloads?