Stosowalność języka niektórych systemów logiki temporalnej w naukach przyrodniczych

• Authors: Anna Kozanecka-Dymek

Title variants

EN

Application of language of some systems of temporal logic in the natural sciences

• Languages of publication: PL

Abstracts

EN

The paper discusses one of the positions with regard to tasks which can be posed to temporal logic in connection with formalization of the tense expressions and with codification of inferences respecting these expressions. This position says that some temporal systems, especially their language, can be applied in physics, natural cosmology and philosophy of time. These systems would have to satisfy several conditions. First of all they should formalize some tense expressions appearing in the imaginational language of physics and give them appropriate inferencional apparatus. Temporal systems which could serve physics should be also recognitional valuable systems: their theorems should adequate express properties of time and temporal relations, i.e., they should be true sentences in physical model of time. Language of well constructed and appropriately used temporal systems should serve to qualify and to better communicate results of recognition connected with time occurring in the natural sciences (mainly physics).

Keywords

EN

application; language; temporal logic; natural sciences; adequacy; physical model of time

• Publisher: Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
• Journal: Analiza i Egzystencja. Czasopismo Filozoficzne
• Year: 2011
• Issue: 14
• Pages: 43 – 56

Contributors

author

Anna Kozanecka-Dymek

• Wydział Filozofii KUL