Abstract
The development of “operational quantum logic” points out that classical Boolean structures are too rigid to describe the actual and potential properties of quantum systems. Operational quantum logic bears upon basic axioms which are motivated by empirical facts and as such supports the dynamic shift from classical to non-classical logic resulting into a dynamics of logic.
On the other hand, an intuitionistic perspective on operational quantum logic, guides us in the direction of incorporating dynamics logically by reconsidering the primitive propositions required to describe the behavior of a quantum system, in particular in view of the emergent disjunctivity due to the non-determinism of quantum measurements.
A further elaboration on “intuitionistic quantum logic” emerges into a “dynamic operational quantum logic”, which allows us to express dynamic reasoning in the sense that we can capture how actual properties propagate, including their temporal causal structure. It is in this sense that passing from static operational quantum logic to dynamic operational quantum logic results in a true logic of dynamics that provides a unified logical description of systems which evolve or which are submitted to measurements. This setting reveals that even static operational quantum logic bears a hidden dynamic ingredient in terms of what is called “the orthomodularity” of the lattice-structure.
Focusing on the quantale semantics for dynamic operational quantum logic, we delineate some points of difference with the existing quantale semantics for (non)-commutative linear logic. Linear logic is here to be conceived of as a resource-sensitive logic capable of dealing with actions or in other words, it is a logic of dynamics.
We take this opportunity to dedicate this paper to Constantin Piron at the occasion of his retirement.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramsky, S.: 1993, ‘Computational Interpretations of Linear Logic’, Theoretical Computer Science 111, 3–57.
Abramsky, S. and B. Coecke: 2002, ‘Physical Traces: Quantum vs. Classical Information Processing’, CTCS';02 Submission.
Abramsky, S. and R. Jagadeesan: 1994, ‘New Foundations for the Geometry of Interaction’, Information and Computation 111, 53–119.
Abramsky, S. and S. Vickers: 1993, ‘Quantales, Observational Logic and Process Semantics’, Mathematical Structures in Computer Science 3, 161–227.
Abrusci, V. M.: 1990, ‘Non-Commutative Intuitionistic Linear Logic’, Zeit-schrift für Mathematische Logik & Grundlagen der Mathematik 36, 297–318.
Abrusci, V. M.: 1991, ‘Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic’, The Journal of Symbolic Logic 56, 1403–1451.
Aerts, D.: 1981, The One and The Many, Towards a Unification of the Quantum and the Classical Description of One and Many Physical Entities, PhD-thesis, Free University of Brussels.
Amira, H., B. Coecke and I. Stubbe: 1998, ‘How Quantales Emerge by Introducing Induction within the Operational Approach’, Helvetica Physica Acta 71, 554–572.
Baltag, A.: 1999 ‘A Logic of Epistemic Actions’, in W. van der Hoek, J. J. Meyer and C. Witteveen, (eds.), Proceedings of the Workshop on ‘Foundations and Applications of Collective Agent Based Systems’ (ESLLI'99), Utrecht University.
Barr, M.: 1979, *-Autonomous Categories, Lecture Notes in Mathematics 752, Springer-Verlag.
van Benthem, J.: 1991, in S. Abramsky et al, (eds.), Language in Action: Categories, Lambdas and Dynamic Logic, Studies in Logic and Foundations of Mathematics 130, North-Holland, Amsterdam.
van Benthem, J.: 1994, ‘General Dynamic Logic’, in: D. M. Gabbay (ed.), What is a Logical System?, pp. 107–139, Studies in Logic and Computation 4, Oxford Science Publications.
Birkhoff, G. and J. von Neumann: 1936, ‘The Logic of Quantum Mechanics’, Annals of Mathematics 37, 823–843.
Blute, R. F., I. T. Ivanov and P. Panangaden: 2001 ‘Discrete Quantum Causal Dynamics’, Preprint; arXiv: gr-qc/0109053.
Borceux, F.: 1994, Handbook of Categorical Algebra 3, Categories of Sheaves, Cambridge, Cambridge University Press.
Bruns, G. and H. Lakser: 1970, ‘Injective Hulls of Semilattices’, Canadian Mathematical Bulletin 13, 115–118.
Coecke, B.: 2000, ‘Structural Characterization of Compoundness’, International Journal of Theoretical Physics 39, 585–594; arXiv: quant-ph/0008054.
Coecke, B.: 2002, ‘Quantum Logic in Intuitionistic Perspective’ and ‘Disjunctive Quantum Logic in Dynamic Perspective’, Studia Logica 70, 411–440 and 71, 1–10; arXiv: math.L0/0011208 and math.L0/0011209.
Coecke, B.: (nd), ‘Do we have to Retain Cartesian Closedness in the Topos-Approaches to Quantum Theory, and, Quantum Gravity?’, preprint.
Coecke, B., D. J. Moore and S. Smets: (nd,a), ‘From Operationality to Logicality: Philosophical and Formal Preliminaries’, submitted.
Coecke, B., D. J. Moore and S. Smets: (nd,b), ‘From Operationality to Logicality: Syntax and Semantics’, submitted.
Coecke, B., D. J Moore and I. Stubbe: 2001, ‘Quantaloids Describing Causation and Propagation for Physical Properties’, Foundations of Physics Letters 14, 133–145; arXiv:quant-ph/0009100.
Coecke, B., D. J. Moore and A. Wilce: 2000, ‘Operational Quantum Logic: An Overview’, in B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Dordrecht, Kluwer Academic Publishers, pp. 1–36; arXiv:quant-ph/0008019.
Coecke, B. and S. Smets: 2000, ‘A Logical Description for Perfect Measurements’, International Journal of Theoretical Physics 39, 595–603; arXiv:quant-ph/0008017.
Coecke, B. and S. Smets: 2001, ‘The Sasaki-Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes’, Paper submitted to International Journal of Theoretical Physics for the proceedings of IQSA V, Cesena, Italy, April 2001; arXiv:quant-ph/0111076.
Coecke, B. and I. Stubbe: 1999, ‘Operational Resolutions and State Transitions in a Categorical Setting’, Foundations of Physics Letters 12, 29–49; arXiv: quant-ph/0008020.
Einstein, A., B. Podolsky and N. Rosen: 1935, ‘Can Quantum-Mechanical Description of Physical Reality be Considered Complete?’, Physical Reviews 47, 777–780.
Foulis, D. J., C. Piron, and C. H. Randall: 1983, ‘Realism, Operationalism, and Quantum Mechanics’, Foundations of Physics 13, 813–841.
Foulis, D. J. and C. H. Randall: 1972, ‘Operational Statistics. I. Basic Concepts’, Journal of Mathematical Physics 13, 1667–1675.
Foulis, D. J. and C. H. Randall: 1984, ‘A Note on Misunderstandings of Piron's Axioms for Quantum Mechanics’, Foundations of Physics 14, 65–88.
Faure, CL.-A., D. J. Moore and C. Piron: 1995, ‘Deterministic Evolutions and Schr-dinger Flows’, Helvetica Physica Acta 68, 150–157.
Ghins, M.: 2000, ‘Empirical Versus Theoretical Existence and Truth’, Foundations of Physics, 30, 1643–1654.
Girard, J.-Y.: 1987, ‘Linear Logic’, Theoretical Computer Science 50, 1–102.
Girard, J.-Y.: 1989, ‘Towards a Geometry of Interaction’, Contemporary Mathematics 92, 69–108.
Girard, J.-Y.: 1995, ‘Geometry of Interaction III: Accommodating the Additives’, in J.-Y. Girard, Y. Lafont and L. Regnier, (eds.), Advances in Linear Logic, Cambridge University Press, pp. 329–389.
Girard, J.-Y.: 2000, ‘Du pourquoi au comment: la théorie de la démonstration de 1950 à nos jours’, in J.-P. Pier, (ed.), Development of Mathematics 1950–2000, Basel, Birkhäuser Verlag, pp. 515–546.
Horwich, P.: 1997, ‘Realism and Truth’, in E. Agazzi (ed.), Realism and Quantum Physics; Poznan Studies in the Philosophy of the Sciences and the Humanities 55, 29–39.
Jauch, J. M.: 1968, Foundations of Quantum Mechanics, Reading, MA, Addison-Wesley.
Jauch, J. M. and C. Piron: 1963, ‘Can Hidden Variables be Excluded in Quantum Mechanics?’, Helvetica Physica Acta 36, 827–837.
Jauch, J. M. and C. Piron: 1969, ‘On the Structure of Quantal Proposition Systems’, Helvetica Physica Acta 42, 842–848.
Johnstone, P. T.: 1982, Stone Spaces, Cambridge University Press.
Lambek, J.: 1958, ‘The Mathematics of Sentence Structure’, American Mathematical Monthly 65, 154–170, reprinted in: W. Buszkowski, W. Marciszewski and J. van Benthem, (eds.): 1988, Categorial Grammar, Amsterdam, John Benjamins Publishing Co.
Kalmbach, G.: 1983, Orthomodular Lattices, London, Academic Press.
Milner, R.: 1999 Communicating and Mobile Systems: π-Calculus, Cambridge University Press.
Moore, D. J.: 1995, ‘Categories of Representations of Physical Systems’, Helvetica Physica Acta 68, 658–678.
Moore, D. J.: 1999, ‘On State Spaces and Property Lattices’, Studies in History and Philosophy of Modern Physics 30, 61–83.
von Neumann, J.: 1932, Grundlagen der Quantenmechanik, Berlin, Springer Verlag, English Translation: 1996, Mathematical Foundations of Quantum Mechanics, New Jersey, Princeton University Press.
Niiniluoto, I.: 1999, Critical Scientific Realism, Oxford University Press.
Paseka, J. and J. Rosicky: 2000, ‘Quantales’, in B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Dordrecht, Kluwer Academic Publishers, pp. 245–262.
Piron, C.: 1964, ‘Axiomatique quantique (PhD-Thesis)’, Helvetica Physica Acta 37, 439–468, English Translation by M. Cole: ‘Quantum Axiomatics’, RB4 Technical memo 107/106/104, GPO Engineering Department (London).
Piron, C.: 1976, Foundations of Quantum Physics, Massachusetts, W. A. Benjamin Inc..
Piron, C.: 1978, ‘La description d'un système physique et le présupposé de la théorie classique’, Annales de la Foundation Louis de Broglie 3, 131–152.
Piron, C.: 1981, ‘Ideal Measurement and Probability in Quantum Mechanics’, Erkenntnis, 16, 397– 401.
Piron, C.: 1983, ‘Le Realisme en Physique Quantique: Une Approche Selon Aristote’, in E. Bitsakis (ed.), The Concept of Reality, Athens, I. Zacharopoulos, pp. 169–173.
Pratt, V. R.: 1993, ‘Linear Logic for Generalized Quantum Mechanics’, in Proc. Workshop on Physics and Computation (PhysComp'92), Dallas, IEE, pp. 166–180.
Randall, C. H. and D. J. Foulis: 1973, ‘Operational Statistics. II. Manuals of Operations and their Logics’, Journal of Mathematical Physics 14, 1472–1480.
Rescher, N.: 1973, Conceptual Idealism, Oxford, Basil Blackwell.
Rescher, N.: 1987, Scientific Realism, A Critical Reappraisal, Dordrecht, D. Reidel Publishing Company.
Rescher, N.: 1995, Satisfying Reason, Studies in the Theory of Knowledge, Dordrecht, Kluwer Academic Publishers.
Resende, P.: 2000, ‘Quantales and Observational Semantics’, in B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Dordrecht, Kluwer Academic Publishers, pp. 263–288.
Rosenthal, K. I.: 1990, Quantales and their Applications, USA, Addison Wesley Longman Inc.
Rosenthal, K. I.: 1996, The Theory of Quantaloids, USA, Addison Wesley Longman Inc.
Smets. S.: 2001, The Logic of Physical Properties, in Static and Dynamic Perspective, PhD-thesis, Free University of Brussels.
Sourbron, S.: 2000, A Note on Causal Duality, Foundations of Physics Letters 13, 357–367.
Tarski, A.: 1944, ‘The Semantic Conception of Truth’, Philosophy and Phenomenological Research 4; Reprinted in S. Blackburn and K. Simmons (eds.), Truth, pp. 115–143, UK, Oxford University Press.
Yetter, D. N.: 1990, ‘Quantales and (Noncommutative) Linear Logic’, The Journal of Symbolic Logic 55, 41–64.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Coecke, B., Moore, D.J., Smets, S. (2009). Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples. In: Rahman, S., Symons, J., Gabbay, D.M., Bendegem, J.P.v. (eds) Logic, Epistemology, and the Unity of Science. Logic, Epistemology, And The Unity Of Science, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-2808-3_24
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2808-3_24
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-2486-2
Online ISBN: 978-1-4020-2808-3
eBook Packages: Springer Book Archive