Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

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.