### Resumé

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.

Originalsprog | Engelsk |
---|

Udgivelses sted | Roskilde |
---|---|

Forlag | Roskilde Universitet |

Antal sider | 64 |

Status | Udgivet - nov. 2017 |

Navn | Tekster fra IMFUFA |
---|---|

Nummer | 506 |

ISSN | 0106-6242 |

### Citer dette

*A Dialogue on Time: Two Logics of Time and Physics*. Roskilde: Roskilde Universitet. Tekster fra IMFUFA, Nr. 506

}

*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.

Publikation: Bog/antologi/afhandling/rapport › Bog › Formidling

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 -