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 Katedra Podstaw Informatyki na Wydział Filozofii, Katolicki Uniwersytet Lubelski Jana Pawła II https://orcid.org/0000-0003-4145-7528

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

Słowa kluczowe: antynomia; futura contingentia; formalizacja; semantyka formalna; ontologia

Abstrakt

O reprezentacji stanów rzeczy w antynomii futura contingentia

Artykuł jest komentarzem do formalizacji antynomii futura contigentia w postaci (sprzecznej) teorii sformułowanej przez Marcina Tkaczyka w języku klasycznej logiki predykatów. Argumentuję w nim, że formalizacja ta posiada pewne kontrowersyjne, z punktu widzenia ontologii i semantyki formalnej, własności oraz sugeruję dwa sposoby melioracji niektórych z tych kontrowersji.

Bibliografia

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.