Quantum logic as a dynamic logic.
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear 'no'. Phi...
| Publicado en: | Synthese Vol. 179; no. 2; pp. 285 - 307 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Mar2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=58502608&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 58502608 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Mar2011 vid: 179 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 58502608 10.1007/s11229-010-9783-6 ppf: 285 ppct: 22 formats: fmt: @attributes: type: P size: 264KB tig: atl: Quantum logic as a dynamic logic. aug: au: Baltag, Alexandru Smets, Sonja affil: Computing Laboratory, Oxford University, Oxford UK Department of Philosophy and Department of Artificial Intelligence, University of Groningen, Groningen, The Netherlands IEG Oxford University, Oxford, UK su: Quantum logic Mathematical logic Mathematical physics Quantum theory Formal language semantics Abstract algebra Mathematics sug: subj: Quantum logic Mathematical logic Mathematical physics Quantum theory Formal language semantics Abstract algebra Mathematics keyword: Dynamic Quantum Logic Empirical Conception of Logic Logic of Quantum Actions Semantics of Experimental Theories ab: We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear 'no'. Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth's proposal of applying Tarski's semantical methods to the analysis of physical theories, with an empirical-experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operational- realistic tradition of Jauch and Piron, i.e. as an investigation of 'the logic of yes-no experiments' (or 'questions'). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets , ) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets ), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the 'non-classicality' of quantum behavior than any perspective based on static Propositional Logic. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2011. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|