Hamburg 2016 – scientific programme

Parts | Days | Selection | Search | Updates | Downloads | Help

AGPhil: Arbeitsgruppe Philosophie der Physik

AGPhil 3: Philosophy of Physics 3

AGPhil 3.4: Talk

Tuesday, March 1, 2016, 15:15–15:45, VMP6 HS G

Topos Quantum Theory and Quantum Set Theory: a Unification — •Benjamin Eva — University of Bristol, Bristol, United Kingdom

In this paper, we will present a new formal framework that unifies two long running research programmes in the foundations of quantum theory: topos quantum theory (TQT) and quantum set theory (QST). In particular, we will show how this new framework allows us to transfer ideas and results between the two settings in a natural way that greatly improves the expressive power and the physical significance of both formalisms. The presentation will focus on the logical aspects of the new framework, and show how the traditional quantum logic of QST can be related to the intuitionistic quantum logic of TQT via a new form of paraconsistent quantum logic that arises naturally from the representation of the orthcomplement operation in TQT.