From Semantics to Syntax: Quantum Logic of Observables

اسدی، سیاوش, Siavash Asadi

Mingsheng Ying

Bas C. van Fraassen

Renzo Cirelli, Franco Gallone

Ken Williams

The nondistributivity of compound quantum mechanical propositions leads to a theorem that rules out the possibility of microscopic deterministic hidden variables, the Logical No-Go Theorem. We observe that there appear in fact two distinct nondistributivity relations in the derivation: one with a semantics governed by an empirical conjunctive syntax, the other composed of conjunctive primitives in the quantum mechanical probability calculus. We venture to speculate how the two come to be confused in the derivation of the theorem.

Sonja Smets

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