Fay Dowker
(Imperial College, London)
A Framework for Logic in Physics

Mathematics and science, particularly physics, are so intertwined that it might be expected that physics will inform even foundational issues in mathematics such as logic. In this spirit, I will set out a framework for logic in physics due to Rafael Sorkin in which logical rules ofinference are seen to be a special case of dynamical law. The framework incorporates the fact that the physical world is contingent: a meaningful proposition such as "The particle detector clicks within 10 seconds of turning on", is not in itself true or false but is either affirmed or denied by the physical world, after the fact. The framework accommodates classical and quantum physical theories and anhomomorphic logic. In a well-defined sense, it tolerates inconsistency and it is therefore tempting to explore what it might have to say about the Russell Paradox.