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 welldefined sense, it tolerates inconsistency and it is therefore tempting
to explore what it might have to say about the Russell Paradox.
