Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call