Repository | Book | Chapter

180171

Tomorrow's sea-battle and the beginning of temporal logic

Kazimierz Trzęsicki

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.