Tomorrow's sea-battle and the beginning of temporal logic
pp. 329-336
in: Angel Garrido, Urszula Wybraniec-Skardowska (eds), The Lvov-Warsaw school, Berlin, Springer, 2018Abstract
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.
