PL EN


2009 | 48 | 193-218
Article title

SYSTEMS OF TENSE LOGIC IN THE NATURAL SCIENCES (Systemy tense logic oraz ich stosowalnosc w naukach przyrodniczych)

Title variants
Languages of publication
PL
Abstracts
EN
The paper is devoted to the problem of possibility of application of some systems of tense logic in the natural sciences. In the beginning of the paper there are given conditions imposed on formal systems which can be applied in the real sciences. In the second part of the paper definition of physical time (and relation of preceding) are given. There are also briefly discussed the most important properties of physical time. Third part of the paper presents a syntactic characterization of the systems of tense logic. Finally, the last part of the paper seeks to answer whether the systems of tense logic adequate express, by means of theses, some properties of physical time and relation of temporal aftermath. What follows, whether they (especially their language) can find applications in the natural sciences, mainly in physics.
Year
Issue
48
Pages
193-218
Physical description
Document type
ARTICLE
Contributors
  • Anna Kozanecka-Dymek, Katolicki Uniwersytet Lubelski Jana Pawla II, al. Raclawickie 14, 20-950 Lublin, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
10PLAAAA072524
YADDA identifier
bwmeta1.element.95290345-8761-3e15-a7b5-53442c4ad94e
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.