Book | Chapter
Tomorrow's sea-battle and the beginning of temporal logic
pp. 329-336
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.
Publication details
Published in:
Garrido Angel, Wybraniec-Skardowska Urszula (2018) The Lvov-Warsaw school: past and present. Dordrecht, Springer.
Pages: 329-336
DOI: 10.1007/978-3-319-65430-0_25
Full citation:
Trzęsicki Kazimierz (2018) „Tomorrow's sea-battle and the beginning of temporal logic“, In: A. Garrido & Wybraniec-Skardowska (eds.), The Lvov-Warsaw school, Dordrecht, Springer, 329–336.