Temporalna interpretacja logiki modalnej

Marcin Tkaczyk

Marcin Tkaczyk Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Słowa kluczowe: logika temporalna, logika tensalna, logika modalna, semantyka relacyjna

Abstrakt

Temporal interpretation of modal logic consists in replacing possible worlds with temporal states of the world or any time determinates and the accessibility relation with a relation of passage of time. That issue has been raised by A. N. Prior, who was thinking of propositions as things which could change their truth-values (could become true or become false) with the passage of time. Under such interpretation Prior was reading a formula as: it (is and) will allways be the case that or: it (is and) has allways been the case that . The formula should be read respectively.

In the present paper the interpretation in question is examined. Its sources are presented and its consequences are analysed. It is claimed, the interpretation to be highly disputable because of its disagreement with physical meaning of temporal statements, established in the special relativity theory.

Bibliografia

Blackburn P., de Rijke M., Venema Y.: Modal Logic, Cambridge 2001.

Einstein A.: O elektrodynamice ciał w ruchu, [w:] tenże, 5 prac, które zmieniły oblicze fizyki, tłum. P. Amsterdamski, Warszawa 1998.

Feigl H.: Philosophy of Science, [w:] Philosophy, Princeton University Press 1964, s. 465-539.

Findlay J. N.: Time: A Treatment of Some Puzzles, ,,Australian Journal of Philosophy” 12 (1941).

Hughes M. J., Cresswell G. E.: A New Introduction to Modal Logic, London–New York 2005.

Kiczuk S.: Zagadnienie konstruowalności logiki zdań czasowych, ,,Roczniki Filozoficzne” 28 (1980), z. 1, s. 155-166.

Kneale W., Kneale M.: The Development of Logic, Oxford 1962.

Laprus W.: Współczesna koncepcja przestrzeni i czasu, Warszawa: Wiedza Powszechna [b.r.w.].

McArthur R. P.: Tense Logic, Dordrecht 1976.

McTaggart J. M. E.: The Unreality of Time, [w:] The Philosophy of Time, red. R. Le Poidevin, M. MacBeath, Oxford 1993.

Prior A. N.: Three-valued Logic And Future Contingents, ,,Philosophical Quarterly” 3 (1953), s. 322-326.

Prior A. N.: Past, Present and Future, Oxford 1967.

Świrydowicz K.: Podstawy logiki modalnej, Poznań: Wydawnictwo UAM 2004.

Tkaczyk M.: Zdania warunkowe w logice starożytnej, ,,Kwartalnik Filozoficzny” 35 (2007), z. 4, s. 30-34.

Tkaczyk M.: Zmienna czasowa w starożytnej i średniowiecznej teorii zdań warunkowych, ,,Roczniki Filozoficzne” 55 (2007), nr 2, s. 103-106, 111-113.

Twardowski K.: O tak zwanych prawdach względnych, [w:] tenże, Wybrane pisma filozoficzne, Warszawa 1965.

Van Benthem J. F. A. K.: The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Dordrecht 1983.

Woleński J.: Epistemologia. Poznanie, prawda, wiedza, realizm, Kraków 2005.

Woleński J.: Theories of Truth in Austrian Philosophy, [w:] tenże, Essays in the History of Logic and Logical Philosophy, Kraków 1999, s. 150-175.