SYSTEMS OF TENSE LOGIC IN THE NATURAL SCIENCES (Systemy tense logic oraz ich stosowalnosc w naukach przyrodniczych)
Languages of publication
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.
Publication order reference
CEJSH db identifier