Physical Logic

Kate Clements, Fay Dowker, Petros Wallden

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract / Description of output

In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world. The unasserted propositions form a Boolean algebra because they correspond to subsets of an underlying set of spacetime histories. Physical rules of inference, apply not to the propositions in themselves but to the affirmation and denial of these propositions by the actual world. This physical logic may or may not respect the propositions' underlying Boolean structure. We prove that this logic is Boolean if and only if the following three axioms hold: (i) The world is affirmed, (ii) Modus Ponens and (iii) If a proposition is denied then its negation, or complement, is affirmed. When a physical system is governed by a dynamical law in the form of a quantum measure with the rule that events of zero measure are denied, the axioms (i) - (iii) prove to be too rigid and need to be modified. One promising scheme for quantum mechanics as quantum measure theory corresponds to replacing axiom (iii) with axiom (iv) Nature is as fine grained as the dynamics allows.
Original languageEnglish
Title of host publicationThe Incomputable
Subtitle of host publicationJourneys Beyond the Turing Barrier
PublisherSpringer International Publishing
Number of pages14
ISBN (Electronic) 978-3-319-43669-2
ISBN (Print)978-3-319-43667-8
Publication statusPublished - 6 May 2017

Publication series

NameTheory and Applications of Computability
PublisherSpringer International Publishing
ISSN (Print)2190-619X


Dive into the research topics of 'Physical Logic'. Together they form a unique fingerprint.

Cite this