O wyrażalności niektórych relacji czasowych i własności czasu w języku systemów logiki temporalnej G. H. von Wrighta
Abstrakt
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.
Bibliografia
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.
Copyright (c) 2007 Roczniki Filozoficzne
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.
