Indeterministic Temporal Logic

Open access

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.

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)

Augustine of Hippo. (2012). Contra Faustum. New Advent. Retrieved from http:// www.newadvent.org/fathers/1406.htm (Translated by Richard Stothert)

Augustinus Hipponesis. (2010). Contra faustum manichaeum libri triginta tres. Citraà Nouva Editrice. Retrieved from http://www.augustinus.it/latino/ contro fausto/ (Edizione completa latino)

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.

Kamp, J. A. W. (1968). Tense logic and the theory of linear order (PhD thesis). University of California, Los Angeles.

McArthur, R. P. (1976). Tense logic. Dordrecht.

Ł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))

Ł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.)

Ł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.)

Łukasiewicz, J. (1970b). Selected works (L. Borkowski, Ed.).Warszawa/Amsterdam: Polish Scientific Publishers/North-Holland Publishing Company.

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)

Studies in Logic, Grammar and Rhetoric

The Journal of University of Bialystok

Journal Information


Cite Score 2017: 0.28

SCImago Journal Rank (SJR) 2017: 0.136
Source Normalized Impact per Paper (SNIP) 2017: 0.293

Metrics

All Time Past Year Past 30 Days
Abstract Views 0 0 0
Full Text Views 142 142 7
PDF Downloads 73 73 6