Informācijas pārvietošanās koncepcijas inkorporācija Artura Normena Praiora A-sērijas temporālajā loģikā
Zusammenfassung
Šajā darbā tiek aplūkota problēma – kā temporālajā loģikā formalizēt informācijas pārvietošanās koncepciju? Šīs problēmas kontekstā izvirzīts darba mērķis – inkorporēt informācijas pārvietošanās koncepciju loģiķa Artura Normena Praiora A–sērijas temporālajā loģikā. Lai sasniegtu šo mērķi, izvirzīti trīs uzdevumi. Pirmkārt, sniegt vispārīgu ieskatu temporālās loģikas pētniecības priekšmetā un pamatelementos, kas konstituēs darbā izstrādātās loģikas kodolu. Otrkārt, izveidot informācijas pārvietošanās temporālās loģikas sintaksi, semantiku un piedāvāt šīs loģikas iespējamās variācijas. Treškārt, aplūkot darbā izveidotās loģikas ekspresivitātes ierobežojumus un konsekvences dažu laika filozofijā aplūkoto problēmu sakarā. In this work the examined problem is – how to formalize the conception of information travel into temporal logic? In the problem’s context, the following aim is brought forward – incorporation of the conception of information travel into Arthur Norman Priorʹs A-series temporal logic. To achieve the aim, three tasks are put forward. The first task is to offer general insight into the research subject of temporal logic and its main elements which will constitute the core of the logic developed in this work. The second task is to make information travel temporal logic’s syntax, semantics and to offer possible variations to this logic. The third task is to examine the limitations of expressiveness of the logic created in this work and the consequences in accordance with some problems of philosophy of time.