Time and determinism

Abstract

Does the definition of modality with the tense operators point to the thesis of universal determinism? Is the theorem about predetermination provable within the framework of tense logic and is with this the above-mentioned thesis proved also? Diodorus Kronos's main conclusion can be interpreted as an attempt to give an affirmative answer to the first question. Both analyses offered in this article show, however, that the determinism is presupposed in the premises of thia conclusion. The answer to the second question is somewhat more complex. This is discussed in the second part of the article.