- Tytuł:
-
O wyrażalności niektórych relacji czasowych i własności czasu w języku systemów logiki temporalnej G. H. von Wrighta
On the Expression of Temporal Relations and Properties of Time in the Language of the System of G. H. von Wright’s Temporal Logic - Autorzy:
-
Kozanecka, Anna
Leszczyńska, Magdalena - Powiązania:
- https://bibliotekanauki.pl/articles/2013337.pdf
- Data publikacji:
- 2007
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- Tematy:
-
czas
własności czasowe
relacje czasowe
logika temporalna
And Next
And Then
wyrażalność
adekwatność
zastosowanie
time
temporal properties
temporal relations
temporal logic
expression
adequacy
application - Opis:
- 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.
- Źródło:
-
Roczniki Filozoficzne; 2007, 55, 2; 43-65
0035-7685 - Pojawia się w:
- Roczniki Filozoficzne
- Dostawca treści:
- Biblioteka Nauki
Artykuł