OPERATIONAL QUANTUM LOGIC: AN OVERVIEW1 BOB COECKE2 Department of Mathematics, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium. e-mail:
[email protected] DAVID MOORE3 Department of Theoretical Physics, University of Geneva, 24 quai Ernest-Ansermet, CH-1211 Geneva 4, Switzerland. e-mail:
[email protected] ALEXANDER WILCE Department of Mathematics and Computer Science, Juniata College, Huntingdon, PA 16652, USA. e-mail:
[email protected] The term quantum logic has different connotations for different people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abstract algebra. Our aim here is to give a uniform presentation of what we call operational quantum logic, highlighting both its concrete physi- cal origins and its purely mathematical structure. To orient readers new to this subject, we shall recount some of the historical development of quantum logic, attempting to show how the physical and mathematical sides of the subject have influenced and enriched one another. 1 arXiv:quant-ph/0008019v2 1 May 2001 This paper is a slightly modified version of the introductory chapter to the volume B. Coecke, D.J. Moore and A. Wilce (Eds.), Current Research in Operational Quantum Logic: Algebras, Categories, Languages, Fundamental Theories of Physics series, Kluwer Academic Publishers, 2000. Consequently, there is a particular focus in this paper on the (survey) articles of that volume, which are dedicated to D.J. Foulis in honor of his seminal contributions to our field. 2The author is Postdoctoral Researcher at Flanders’ Fund for Scientific Reseach. 3Current address: Department of Physics and Astronomy, University of Canterbury, PO Box 4800 Christchurch, New Zealand.