PL EN


2011 | 14 | 43 – 56
Article title

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

Content
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).
Year
Issue
14
Pages
43 – 56
Physical description
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.desklight-aefeaa8e-a9c5-43c5-98e9-d3e37fc1d0ab
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.