Logic and Quantum Physics
Sonja Smets · 2010
Current research in Logic is no longer confined to the traditional study of logical consequence or valid inference. As can be witnessed by the range of topics covered in this special issue, the subject matter of logic encompasses several kinds of informational processes ranging from proofs and inferences to dialogues, observations, measurements, communication and computation. What interests us here is its application to quantum physics: how does logic handle informational processes such as observations and measurements of quantum systems? What are the basic logical principles fit to handle and reason about quantum physical processes? These are the central questions in this paper. It is my aim to provide the reader with some food for thought and to give some pointers to the literature that provide an easy access to this field of research. In the next section I give a brief historical sketch of the origin of the quantum logic project. Next I will explain the theory of orthomodular lat-tices in section 2. Section 3 covers the syntax and semantics of traditional