On the Representation if States of Affairs in the Antinomy of Future Contingents

Paweł Garbacz

doi:10.18290/rf.2018.66.4-3en

Paweł Garbacz Department of the Foundations of Computer Science at the Faculty of Philosophy, John Paul II Catholic University of Lublin https://orcid.org/0000-0003-4145-7528

DOI: https://doi.org/10.18290/rf.2018.66.4-3en

Keywords: antinomy; future contigents; formalization; classical predicate calculus; formal semantics; ontology

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.

References

Hoeltje, Miguel, Benjamin Schnieder, & Alex Steinberg. 2013. Varieties of Dependence. Philosophia Verlag.

Tahko, Tuomas E. 2013. “Truth—grounding and transitivity.” Thought: A Journal of Philosophy, 2, no. 4: 332–340. DOI: 10.1002/tht3.94.

Tkaczyk, Marcin. 2015. Futura Contingentia. Lublin: Wydawnictwo KUL.