Repository | Book | Chapter
(2018) The Lvov-Warsaw school, Dordrecht, Springer.
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
DOI: 10.1007/978-3-319-65430-0_25
Full citation:
Trzęsicki, K. (2018)., Tomorrow's sea-battle and the beginning of temporal logic, in A. Garrido & U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw school, Dordrecht, Springer, pp. 329-336.
This document is unfortunately not available for download at the moment.