O wyrażalności niektórych relacji czasowych i własności czasu w języku systemów logiki temporalnej G. H. von Wrighta

Anna Kozanecka; Magdalena Leszczyńska

Anna Kozanecka John Paul II Catholic University of Lublin
Magdalena Leszczyńska John Paul II Catholic University of Lublin

Keywords: time, temporal properties, temporal relations, temporal logic, And Next, And Then, expression, adequacy, application

Abstract

The paper discusses the problems of the expression of some temporal relations and properties of time in the language of the systems of G.H. von Wright’s temporal logic.

It seeks to answer the question whether the systems of von Wright’s temporal logic are adequate to express by means of axioms (and theorems) some temporal relations and properties of physical time. What follows, whether they be applied in the natural sciences, mainly in physics.

The first part of the paper gives a definition of physical time and briefly discusses its most important properties and temporal relations.

The second part of the paper shows a syntactic characterisation of the And Next and And Then systems constructed by von Wright.

The third part, the last part of the paper, seeks to answer the above question about the expression of some temporal relations and properties of time in the language of the systems of von Wright’s temporal logic, and how they can be applied in the natural sciences, mainly in physics.

Author Biographies

Anna Kozanecka, John Paul II Catholic University of Lublin

Anna Kozanecka, M.A. – Chair of Logic, Faculty of Philosophy, The John Paul II Catholic University of Lublin

Magdalena Leszczyńska, John Paul II Catholic University of Lublin

Magdalena Leszczyńska, M.A. – Chair of Logic, Faculty of Philosophy, The John Paul II Catholic University of Lublin

References

Ajdukiewicz K.: Czas, [w:] Język i poznanie, t. 2, Warszawa: PWN 1965, s. 384-387.

Augustynek Z.: Natura czasu, Warszawa: PWN 1975.

Augustynek Z.: Własności czasu, Warszawa: PWN 1970.

Borkowski L.: Wprowadzenie do logiki i teorii mnogości, Lublin: TN KUL 1991.

Grzegorczyk A.: Zarys logiki matematycznej, Warszawa: PWN 1981.

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

Heisenberg W.: Ponad granicami, Warszawa: PIW 1979.

Kiczuk S.: Problematyka wartości poznawczej systemów logiki zmiany, Lublin: RW KUL 1984.

Kiczuk S.: Przedmiot logiki formalnej oraz jej stosowalność, Lublin: RW KUL 2001.

Kiczuk S.: The System of the Logic of Change, [w:] Studies in Logic and Theory of Knowledge, ed. by L. Borkowski and A. B. Stępień, Lublin: TN KUL 1991.

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.

Woleński J.: Logika, logika filozoficzna, filozofia, „Studia Filozoficzne” 1 (74) 1972, s. 65-77.

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.

On the Expression of Temporal Relations and Properties of Time in the Language of the System of G. H. von Wright’s Temporal Logic

Abstract

Author Biographies

References