PhilSci Archive

A Copernican turn in temporal logics

Švarný, Petr (2016) A Copernican turn in temporal logics. [Preprint]


Download (278kB) | Preview


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.

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Keywords: branching, barbour, timeless, temporal logic
Subjects: General Issues > Determinism/Indeterminism
Depositing User: Petr Švarný
Date Deposited: 08 Feb 2017 18:09
Last Modified: 08 Feb 2017 18:09
Item ID: 12796
Subjects: General Issues > Determinism/Indeterminism
Date: 31 January 2016

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item