A Dialogue on Time

Two Logics of Time and Physics

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Resumé

This master thesis examines the distinction between tense logic
and first order logic concerning time. In particular it studies
whether this distinction exists in physics or not.
Firstly a general test is made: translating sentences concern-
ing time from physics into the two logics. The results here are
inconclusive, as it is possible for both logics to represent the sen-
tences, so this experiment does not reveal a similar distinction
in physics. However this test also reveals some properties of the
logics: tense logic holds a local view on time while first order logic
holds a global view, and it is possible to translate tense logical
formulas into first order logic with the standard translation.
Secondly it is examined whether properties of reversibility in
physics can be compared with properties of the two logics; this
is done under the conjecture that there is a correspondence be-
tween first order logic and reversibility in physics and tense logic
and irreversibility in physics. Through this study it is concluded
that it is not possible to see this correspondence with the tested
property; time symmetry, since symmetry seems to concern the
underlying structures, not the logic itself. It is, on the other hand,
possible to see the correspondence while looking at the property
of being fundamental. Through a presentation of Onsager's re-
ciprocal relation, reversibility is shown to be fundamental. In
logic, fundamentality of first order logic is argued for through the
standard translation.
Finally it is noted that the finite model property and the decid-
ability of tense logic gives useful properties that the more funda-
mental first order logic has not.
It is concluded that it is unclear whether the distinction of time
between the two logics exists in physics.
OriginalsprogEngelsk
Udgivelses stedRoskilde
ForlagRoskilde Universitet
Antal sider64
StatusUdgivet - nov. 2017
NavnTekster fra IMFUFA
Nummer506
ISSN0106-6242

Citer dette

Kofod, J. L. (2017). A Dialogue on Time: Two Logics of Time and Physics. Roskilde: Roskilde Universitet. Tekster fra IMFUFA, Nr. 506
Kofod, Julie Lundbak. / A Dialogue on Time : Two Logics of Time and Physics. Roskilde : Roskilde Universitet, 2017. 64 s. (Tekster fra IMFUFA; Nr. 506).
@book{699a7381fd9144d19df3c5a4226cc72e,
title = "A Dialogue on Time: Two Logics of Time and Physics",
abstract = "This master thesis examines the distinction between tense logicand first order logic concerning time. In particular it studieswhether this distinction exists in physics or not.Firstly a general test is made: translating sentences concern-ing time from physics into the two logics. The results here areinconclusive, as it is possible for both logics to represent the sen-tences, so this experiment does not reveal a similar distinctionin physics. However this test also reveals some properties of thelogics: tense logic holds a local view on time while first order logicholds a global view, and it is possible to translate tense logicalformulas into first order logic with the standard translation.Secondly it is examined whether properties of reversibility inphysics can be compared with properties of the two logics; thisis done under the conjecture that there is a correspondence be-tween first order logic and reversibility in physics and tense logicand irreversibility in physics. Through this study it is concludedthat it is not possible to see this correspondence with the testedproperty; time symmetry, since symmetry seems to concern theunderlying structures, not the logic itself. It is, on the other hand,possible to see the correspondence while looking at the propertyof being fundamental. Through a presentation of Onsager's re-ciprocal relation, reversibility is shown to be fundamental. Inlogic, fundamentality of first order logic is argued for through thestandard translation.Finally it is noted that the finite model property and the decid-ability of tense logic gives useful properties that the more funda-mental first order logic has not.It is concluded that it is unclear whether the distinction of timebetween the two logics exists in physics.",
author = "Kofod, {Julie Lundbak}",
year = "2017",
month = "11",
language = "English",
publisher = "Roskilde Universitet",

}

Kofod, JL 2017, A Dialogue on Time: Two Logics of Time and Physics. Tekster fra IMFUFA, nr. 506, Roskilde Universitet, Roskilde.

A Dialogue on Time : Two Logics of Time and Physics. / Kofod, Julie Lundbak.

Roskilde : Roskilde Universitet, 2017. 64 s. (Tekster fra IMFUFA; Nr. 506).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

TY - BOOK

T1 - A Dialogue on Time

T2 - Two Logics of Time and Physics

AU - Kofod, Julie Lundbak

PY - 2017/11

Y1 - 2017/11

N2 - This master thesis examines the distinction between tense logicand first order logic concerning time. In particular it studieswhether this distinction exists in physics or not.Firstly a general test is made: translating sentences concern-ing time from physics into the two logics. The results here areinconclusive, as it is possible for both logics to represent the sen-tences, so this experiment does not reveal a similar distinctionin physics. However this test also reveals some properties of thelogics: tense logic holds a local view on time while first order logicholds a global view, and it is possible to translate tense logicalformulas into first order logic with the standard translation.Secondly it is examined whether properties of reversibility inphysics can be compared with properties of the two logics; thisis done under the conjecture that there is a correspondence be-tween first order logic and reversibility in physics and tense logicand irreversibility in physics. Through this study it is concludedthat it is not possible to see this correspondence with the testedproperty; time symmetry, since symmetry seems to concern theunderlying structures, not the logic itself. It is, on the other hand,possible to see the correspondence while looking at the propertyof being fundamental. Through a presentation of Onsager's re-ciprocal relation, reversibility is shown to be fundamental. Inlogic, fundamentality of first order logic is argued for through thestandard translation.Finally it is noted that the finite model property and the decid-ability of tense logic gives useful properties that the more funda-mental first order logic has not.It is concluded that it is unclear whether the distinction of timebetween the two logics exists in physics.

AB - This master thesis examines the distinction between tense logicand first order logic concerning time. In particular it studieswhether this distinction exists in physics or not.Firstly a general test is made: translating sentences concern-ing time from physics into the two logics. The results here areinconclusive, as it is possible for both logics to represent the sen-tences, so this experiment does not reveal a similar distinctionin physics. However this test also reveals some properties of thelogics: tense logic holds a local view on time while first order logicholds a global view, and it is possible to translate tense logicalformulas into first order logic with the standard translation.Secondly it is examined whether properties of reversibility inphysics can be compared with properties of the two logics; thisis done under the conjecture that there is a correspondence be-tween first order logic and reversibility in physics and tense logicand irreversibility in physics. Through this study it is concludedthat it is not possible to see this correspondence with the testedproperty; time symmetry, since symmetry seems to concern theunderlying structures, not the logic itself. It is, on the other hand,possible to see the correspondence while looking at the propertyof being fundamental. Through a presentation of Onsager's re-ciprocal relation, reversibility is shown to be fundamental. Inlogic, fundamentality of first order logic is argued for through thestandard translation.Finally it is noted that the finite model property and the decid-ability of tense logic gives useful properties that the more funda-mental first order logic has not.It is concluded that it is unclear whether the distinction of timebetween the two logics exists in physics.

M3 - Book

BT - A Dialogue on Time

PB - Roskilde Universitet

CY - Roskilde

ER -

Kofod JL. A Dialogue on Time: Two Logics of Time and Physics. Roskilde: Roskilde Universitet, 2017. 64 s. (Tekster fra IMFUFA; Nr. 506).