Logical Structures Arising in Quantum Theory

F. Thieffine

John Harding, Zhenghan Wang

Geoffrey Paul Hellman

In concluding their major survey, “Quantum Logics,” Greechie and Gudder (1975) listed four outstanding directions for future research, the last of which was, “Explain the meaning of the word ‘logic’ in the title of this paper.” Broadly speaking, there are two radically different points of view on this. There is the view that, taken strictly, ‘logic’ is a misnomer: quantum logic studies certain algebraic structures naturally arising from the formal, apparatus of quantum theory, structures which may afford insights into quantum physics, on a number of levels, but which do not in any way involve giving up or replacing classical logical laws. (Cf., e.g., Jauch (1968, p. 77).) In contrast, there is the view that the non-Boolean structures arising from the Hilbert space formalism should be taken as giving rise to a genuine non-classical logic, in conflict with classical logic, but appropriate to the description of quantum mechanical reality.

Jennifer Chubb, Eskandarian, Ali, Harizanov, Valentina S

Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.

Ignazio Francesco Licata

It is outlined the possibility to extend the quantum formalism in relation to the requirements of the general systems theory. It can be done by using a quantum semantics arising from the deep logical structure of quantum theory. It is so possible taking into account the logical openness relationship between observer and system. We are going to show how considering the truth-values of quantum propositions within the context of the fuzzy sets is here more useful for systemics . In conclusion we propose an example of formal quantum coherence.

Peter D. Finch