Type Theory, Reducibility and Epistemic Paradoxes

Logo poskytovatele
Autoři

RACLAVSKÝ Jiří

Rok publikování 2019
Druh Konferenční abstrakty
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis The talk continutes in investigation of the capability of type theory (a higher-order epistemic modal logic) to solve epistemic paradoxes. I demonstrate that an assumption of reducibility principle leads to a restoration of Church-Fitch's paradox of knowability.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.