Abstract

Jan Łukasiewicz’s consideration of the deterministic consequences of the law of the excluded middle and the principle of causality gave the incentive to the development of temporal logic. Formal reformulation of arguments in favour of determinism is possible in the language of temporal logic. Following Jan Łukasiewicz both the arguments, the argument from the law of the excluded middle and the argument from the principle of causality, will be discussed concomitantly.