Quantum logic as a dynamic logic

Synthese

Volumn 179, Issue 2, 2011, Pages 285-306

  Baltag, Alexandru ^a   Smets, Sonja ^a,b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Dynamic Quantum Logic; Empirical Conception of Logic; Logic of Quantum Actions; Semantics of Experimental Theories

Indexed keywords

EID: 79951952078     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-010-9783-6     Document Type: Article

References (53)

1. Amira H., Coecke B., Stubbe I. (1998) How quantales emerge by introducing induction within the operational approach. Helvetica Physica Acta 71: 554-572.
2. Bacciagaluppi G. (2008) Is logic empirical?. In: Engesser K., Gabbay D. M., Lehmann D. (eds) Handbook of quantum logic and quantum structures. Elsevier, Amsterdam.
3. Baltag, A., & Smets, S. (2004). The logic of quantum programs. In P. Selinger (Ed.), Proceedings of the second international workshop on quantum programming languages (QPL2004), TUCS General Publication (Vol. 33, pp. 39-56). Turku Center for Computer Science.
4. Baltag A., Smets S. (2005) Complete axiomatizations of quantum actions. International Journal of Theoretical Physics 44(12): 2267-2282.
5. Baltag, A., & Smets, S. (2006a). LQP: The dynamic logic of quantum information. In Mathematical structures in computer science, Special Issue on Quantum Programming Languages Vol. 16(3), pp. 491-525.
6. Baltag, A., & Smets, S. (2006b). Logics for quantum information flow. Lecture notes, Course presented at ESSLLI2006, Malaga, Spain. www. vub. ac. be/CLWF/SS/slides. html.
7. Baltag, A., & Smets, S. (2008). A dynamic-logical perspective on quantum behavior. In L. Horsten & I. Douven (Eds.), Special issue: Applied logic in the philosophy of science. Studia logica. 89, 178-211.
8. Baltag, A., & Smets, S. (2010). Correlated knowledge, an epistemic-logic view on quantum entanglement. International Journal of Theoretical Physics. Accessed 1 July 2010.
9. Bell J., Hallett M. (1982) Logic, quantum logic and empiricism. Philosophy of Science 49: 355-379.
10. Beth, E. W. (1948). De wetenschap als cultuurfactor. In De functie der wetenschap. Tweede symposion der Socië teit voor Culturele Samenwerking, s Gravenhage, 7-19, 1948. Translated from Dutch as "Science as a cultural factor (1948)" in E. W. Beth, Science a road to wisdom, collected philosophical studies, D. Reidel Publishing Company, Dordrecht, 1968.
11. Beth, E. W. (1948/49). Analyse sémantique des théories physiques. Synthese, 7, 206-207.
12. Beth, E. W. (1949a). Natuurphilosophie. Gorinchem: Noorduijn en zoon n. v.
13. Beth E. W. (1949b) Towards an up-to-date philosophy of the natural sciences. Methodos 1: 178-185.
14. Beth E. W. (1960) Semantics of physical theories. Synthese 12: 172-175.
15. Beth, E. W. (1968a). Scientific philosophy: Its aims and means (1948). In Science a road to wisdom, collected philosophical studies. Dordrecht: D. Reidel Publishing Company.
16. Beth, E. W. (1968b). "In Retrospect (1960)", translated from Dutch in Science a road to wisdom, collected philosophical studies. Dordrecht: D. Reidel Publishing Company.
17. Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823-843, reprinted in C. A. Hooker (Ed.), The Logico-algebraic approach to quantum mechanics (Vol. 1, pp. 1-26). Dordrecht: D. Reidel Publishing Company.
18. Butrick R. (1971) Discussion: Putnam's revolution. Philosophy of Science 38: 290-292.
19. Cattaneo C., Nisticó G. (1991) Axiomatic foundations of quantum physics: Critiques and misunderstandings. Piron's question-proposition system. International Journal of Theoretical Physics 30: 1293-1336.
20. Coecke B., Moore D. J., Smets S. (2004) Logic of dynamics & dynamics of logic; some paradigm examples. In: Rahman S., Symons J., Gabbay D. M., van Bendegem J. P. (eds) Logic, epistemology and the unity of science. Springer, Netherlands, pp 527-556.
21. Coecke B., Moore D. J., Stubbe I. (2001) Quantaloids describing causation and propagation for physical properties. Foundations of Physics Letters 14: 357-367.
22. Coecke B., Smets S. (2004) The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes. International Journal of Theoretical Physics 43: 1705-1736.
23. Dalla Chiara M., Giuntini R., Greechie R. (2004) Reasoning in quantum theory, sharp and unsharp quantum logics. Kluwer Academic Publishers, Dordrecht.
24. Daniel W. (1989) Axiomatic description of irreversible and reversible Evolution of a physical system. Helvetica Physica Acta 62: 941-968.
25. Drieschner M. (1977) Is (quantum) logic empirical?. Journal of Philosophical Logic 6: 415-423.
26. Dummett, M. (1976). Is logic empirical? In H. D. Lewis (Ed.), Contemporary British Philosophy (pp. 45-68). London: George Allen and Unwin. Reprinted in M. Dummett, Truth and Other Enigmas, p. 269-289, Duckwort UK, 1978.
27. Faure C. L.-A., Moore D. J., Piron C. (1995) Deterministic evolutions and Schrodinger flows. Helvetica Physica Acta 68: 150-157.
28. Friedman M., Glymour C. (1972) If quanta had logic. Journal of Philosophical Logic 1: 16-28.
29. Gardner M. R. (1971) Is Quantum logic really logic?. Philosophy of Science 38: 508-529.
30. Goldblatt R. (1974) Semantic analysis of orthologic. Journal of Philosophical Logic 3: 19-35.
31. Goldblatt R. (1984) Orthomodularity is not elementary. Journal of Symbolic Logic 49: 401-404.
32. Harel D., Kozen D., Tiuryn J. (2000) Dynamic logic. MIT Press, Cambridge.
33. Hughes R. I. G. (1979) Realism and quantum logic. In: Beltrametti G. E., van Fraassen B. C. (eds) Current issues in quantum logic. Plenum Press, New York, pp 77-87.
34. Jauch J. M. (1968) Foundations of quantum mechanics, reading. Addison-Wesley, Reading, MA.
35. Jauch J. M., Piron C. (1969) On the structure of quantal proposition systems. Helvetica Physica Acta 42: 842-848.
36. Jauch J. M., Piron C. (1970) What is "Quantum-Logic"?. In: Freund P. G. O., Goebel C. J., Nambu Y. (eds) Quanta. University Press, Chicago.
37. Mayet R. (1998) Some characterizations of the underlying division ring of a hilbert lattice by automorphisms. International Journal of Theoretical Physics 37(1): 109-114.
38. Moore D. J. (1999) On state spaces and property lattices. Studies in History and Philosophy of Modern Physics 30: 61-83.
39. Piron, C. (1964). Axiomatique quantique (Ph. D. thesis). Helvetica Physica Acta, 37, 439-468. English Translation by M. Cole: Quantum Axiomatics RB4 Technical memo 107/106/104, GPO Engineering Department, London.
40. Piron C. (1976) Foundations of quantum physics. W. A. Benjamin Inc, Reading, MA.
41. Piron, C. (1990). Mécanique quantique. Bases et applications (1st ed.). Lausanne: Presses polytechniques et universitaires romandes (Second corrected edition 1998).
42. Putnam H. (1968) Is logic empirical?. In: Cohen R., Wartofsky M. (eds) Boston studies in the philosophy of science (Vol. 5). D. Reidel Publishing Company, Dordrecht.
43. Smets, S. (2001a). On causation and a counterfactual in quantum logic: The Sasaki hook. Logique et Analyse, 173-175, 307-325.
44. Smets, S. (2001b). The logic of physical properties, in static and dynamic perspective. Ph. D. thesis, Free University of Brussels.
45. Smets S. (2006) From intuitionistic logic to dynamic operational quantum logic. Poznan Studies in Philosophy and the Humanities 91: 257-275.
46. Solèr M. P. (1995) Characterization of Hilbert spaces by orthomodular spaces. Communications in Algebra 23(1): 219-243.
47. Stairs A. (1983) Quantum logic, realism, and value definiteness. Philosophy of Science 50: 578-602.
48. van Benthem J. (1996) Exploring logical dynamics, studies in logic, language and information. CSLI Publications, Stanford.
49. van Benthem, J. (in press). Logical dynamics of information and interaction. Cambridge University Press, to appear.
50. van Benthem, J., Ulsen, P., Visser, H. (eds) (2008) Logic and scientific philosophy. An E. W. Beth centenary celebration. Beth Foundation, Amsterdam.
51. van Fraassen B. C. (1970) On the extension of Beth's semantics of physical theories. Philosophy of Science 37(3): 325-339.
52. van Fraassen B. C. (1987) The semantic approach to scientific theories. In: Nersessian N. J. (ed.) The process of science: Contemporary philosophical approaches to understanding scientific practice. Kluwer Academic Publishers, Dordrecht, pp 104-124.
53. von Neumann, J. (1932). Grundlagen der Quantenmechanik. Berlin: Springer Verlag. English translation Mathematical Foundations of Quantum Mechanics. New Jersey: Princeton University Press, 1996.