The Origin of Some Systems of Temporal Logic

  • Anna Kozanecka-Dymek John Paul II Catholic University of Lublin, Faculty of Philosophy
Keywords: origin, temporal logic, tense clauses, temporal functors

Abstract

The article is devoted to the question of the origin of temporal logic. The aim of it is to answer to the question concerning the group of conditions and reasons of constructing such kinds of systems (especially of tense logic and G. H. von Wright’s temporal logic). As a result of conducted considerations, there is stated that there exist two reasons of arising some temporal systems. The first of them was the rebirth of interests of issues involving time in aspect of logic, the second (more essential) – insufficiency of the language of the classical logical calculus to give the formalization of tense clauses. In connection with this there was begun constructing temporal systems providing the linguistic and inferencional apparatus needed to control expressions and inferences containing such clauses. In the article there is also shown how there was led to formalize expressions including various tense clauses, and what follows, to introduce new functors to the language of logic.

Author Biography

Anna Kozanecka-Dymek, John Paul II Catholic University of Lublin, Faculty of Philosophy

Anna Kozanecka-Dymek, Ph.D. – Chair of Logic, Faculty of Philosophy, The John Paul II Catholic University of Lublin

References

Haack S.: Philosophy of Logic, Cambridge: Cambridge University Press 1978.

Hajnicz E.: Reprezentacja logiczna wiedzy zmieniającej się w czasie, Warszawa: Akademicka Oficyna Wydawnicza PLJ 1996.

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

Klimek R.: Wprowadzenie do logiki temporalnej, Kraków: Wydawnictwa AGH 1999.

Kozanecka A.: O rodzajach logik temporalnych, „Roczniki Filozoficzne” 55 (2007), nr 1, s. 189-199.

Łoś J.: Analiza metodologiczna kanonów Milla, „Annales Universitatis Mariae Curie- Skłodowska” 2 (1947), z. 5, s. 279-281.

McArthur R. P.: Tense Logic, (Synthese Library, vol. 111), Dordrecht–Boston: D. Reidel Publishing Company 1976.

McTaggart J. M. E.: The unreality of time, „Mind” 187 (1908), s. 457-474.

Prior A. N.: Time and Modality, Oxford: Clarendon Press 1957.

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

Quine W. V. O.: Filozofia logiki, tłum. B. Stanosz, Warszawa: Fundacja Aletheia 2002.

Quine W. V. O.:Mr. Strawson on Logical Theory, „Mind” 63 (1953), s. 433-451.

Quine W. V. O.:Słowo i przedmiot, tłum. C. Cieśliński, Warszawa: Fundacja Aletheia 1999.

Reichenbach H.: Elements of symbolic logics, New York: The Macmillan Company 1947.

Rescher N.: Topics in Philosophical Logics, (Synthese Library), Dordrecht: D. Reidel Publishing Company 1968.

Rescher N., Urquhart A.: Temporal Logic, New York: Springer 1971.

Sider T.: Quantifiers and Temporal Ontology, „Mind” 115 (2006), s. 75-97.

Strawson P. F.: Introduction to Logical Theory, New York: Barnes and Noble 1952.

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

Von Wright G. H.: And Next, „Acta Philosophica Fennica” 18 (1965), s. 293-304.

Von Wright G. H.:And Then, „Commentationes Physico-Mathematicae” 32 (1966), nr 7, s. 1-11.

Wajszczyk J.: Logika a czas i zmiana, Olsztyn: WSP 1995.

Żegleń U. M.:. Modalność w logice i w filozofii. Podstawy ontyczne, (Biblioteka Myśli Semiotycznej), Warszawa: ZSL UW, PTS 1990.

Published
2020-09-02
Section
Articles