A Copernican turn in temporal logics

Publication Year:
Usage 88
Downloads 88
Repository URL:
Švarný, Petr
preprint description
The article discusses the role of observers in perception of flow of time. It compares two established logics, Branching Space-times and Branching Continuations to a new logic based on Barbour’s timeless approach to physics. The article shows that the introduction of observer based valuation allows for the same evaluation of statements in both temporal and atemporal logics. We show this on the evaluation of statements about the future. Therefore we reach the conclusion that ontological time is not necessary for the evaluation of temporal statements.