Indeterministic Temporal Logic

Trzęsicki, Kazimierz

doi:10.1515/slgr-2015-0034

Abstract

The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łukasiewicz’s idea of many-valued logics and was a motive of A. N. Prior’s considerations about the logic of tenses. In the scheme of temporal logic there are different solutions to the problem. In the paper we consider indeterministic temporal logic based on the idea of temporal worlds and the relation of accessibility between them.

References

Aquinas, S., Thomas. (1905). Of God and His creatures (M. L. B. O. Joseph Rickaby S.J., Ed.). London: Burns and Oates. Retrieved from http://www.ccel.org (This version of Aquinas’ Summa contra Gentiles contains the annotations of Joseph Rickaby, early 20th century Jesuit priest and philosopher, alongside the main text. Aquinas meant his treatise to serve as an apologetics handbook for missionaries and philosophers defending the Christian faith against those outside of or hostile to Christianity. The style and content of Aquinas’ arguments were particularly relevant to his time. The major religious communities in close proximity to the Christian West-Jewish and Islamic-had developed their various theological views using borrowed terms and ideas from Aristotelian philosophy just as Aquinas himself had. Readers have found Rickaby’s annotations helpful, as his comments strive to enrich the understanding of others rather than promote a particular philosophical agenda. http://www.ccel.org/ccel/aquinas/gentiles)
Search in Google Scholar
Augustine of Hippo. (2012). Contra Faustum. New Advent. Retrieved from http:// www.newadvent.org/fathers/1406.htm (Translated by Richard Stothert)
Search in Google Scholar
Augustinus Hipponesis. (2010). Contra faustum manichaeum libri triginta tres. Citraà Nouva Editrice. Retrieved from http://www.augustinus.it/latino/ contro fausto/ (Edizione completa latino)
Search in Google Scholar
Gabbay, D. M. (1981). An irreflexivity lemma with applications to axiomatizations of conditions on linear frames. In U. Mönnich (Ed.), Aspects of philosophical logic (pp. 67-89). Dordrecht: Reidel.
Search in Google Scholar
Kamp, J. A. W. (1968). Tense logic and the theory of linear order (PhD thesis). University of California, Los Angeles.
Search in Google Scholar
McArthur, R. P. (1976). Tense logic. Dordrecht.10.1007/978-94-017-3219-2
Search in Google Scholar
Łukasiewicz, J. (1961). O determiniźmie. In Z zagadnień logiki i filozofii. pisma wybrane (pp. 114-126). Warszawa: Państwowe Wydawnictwo Naukowe. (Wyboru dokonał, wstępem i przypisami opatrzył Jerzy Słupecki. English translation “On Determinizm” in: (Łukasiewicz, 1967, pp. 19-39), and in: (Łukasiewicz, 1970b, pp. 110-128))
Search in Google Scholar
Łukasiewicz, J. (1967). On determinism. In S. McCall (Ed.), Polish logic 1920-1939 (pp. 19-39). Oxford. (The article in question is a revised version of the address that Lukasiewicz delivered as a Rector during the inauguration of the academic year 1922-23 in the Warsaw University. Later on Lukasiewicz revised the address giving it the form of an article, without changing the essential claims and arguments. It was published for the first time in Polish in 1946 and also (Łukasiewicz, 1961, pp. 114-126). An English version of the paper is available in: (Łukasiewicz, 1970a, pp. 110-128). It is worth noting that when the author delivered the talk at issue the theories and discoveries in the field of atomic physics that undermined determinism were still unknown.)
Search in Google Scholar
Łukasiewicz, J. (1970a). On determinism. In L. Borkowski (Ed.), Selected works (pp. 110-128). Amsterdam: Polish Scientific Publishers/North-Holland Publishing Company. (The article in question is a revised version of the address that Lukasiewicz delivered as a Rector during the inauguration of the academic year 1922-23 in the Warsaw University. Later on Lukasiewicz revised the address giving it the form of an article, without changing the essential claims and arguments. It was published for the first time in Polish in 1946 and also (Łukasiewicz, 1961, pp. 114-126). An English version of the paper is available in: (Łukasiewicz, 1967, pp. 19-39). It is worth noting that when the author delivered the talk at issue the theories and discoveries in the field of atomic physics that undermined determinism were still unknown.)
Search in Google Scholar
Łukasiewicz, J. (1970b). Selected works (L. Borkowski, Ed.).Warszawa/Amsterdam: Polish Scientific Publishers/North-Holland Publishing Company.
Search in Google Scholar
Wilde, O. (1998). De profundis. Retrieved from http://upword.com/wilde/de pro fundis.html (1998 HTML Edition by R. van Valkenburg, webmaster@upword. com from e-text scanned and proofed by David Price)
Search in Google Scholar

Indeterministic Temporal Logic

Abstract

Paradigm

My account