Pozorování času: Odvozování ve statických světech
Pozorování času: Odvozování ve statických světech
dizertační práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/110496Identifikátory
SIS: 151531
Kolekce
- Kvalifikační práce [22841]
Autor
Vedoucí práce
Oponent práce
Placek, Tomasz Grzegorz
Szekely, Gergely
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
20. 9. 2019
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Angličtina
Známka
Prospěl/a
Klíčová slova (česky)
logika|pozorovatel|čas|block universeKlíčová slova (anglicky)
logic|observer|time|block universeTématem dizertace je logické odvozování o čase v bezčasových modelech světa. Práce za tímto účelem představuje větvící se logiku s pozorovateli. Za pomoci této logiky jsou dokázána tvrzení, která ukazují, že pozorovatelé v bezčasovém modelu mohou disponovat v plné míře časovou inferencí. 1
The topic of this thesis is temporal logical inference in atemporal models of time. The thesis presents a branching logic with observers for the purpose of this investigation. A series of theorems rigorously demonstrate that temporal reasoning is possible also in an atemporal world. 1