Stosowalno j zyka niektórych systemów logiki temporalnej w naukach przyrodniczych (Application of Language of some Systems of Temporal Logic in the Natural Sciences)

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, naturalcosmology 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 temporalrelations, 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).