The paper is a comment on the formalization of the antinomy of futura contigentia in the form of a (inconsistent) theory formulated by Marcin Tkaczyk in the language of classical predicate calculus. I argue that some features of the formalization in question are controversial from the viewpoint of formal semantics and ontology, and suggest two ways of removing some of those controversies.
Citation rules
Cited by / Share
Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Roczniki Filozoficzne · ISSN 0035-7685 | eISSN 2450-002X
© Towarzystwo Naukowe KUL & Katolicki Uniwersytet Lubelski Jana Pawła II
Articles are licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)