Type Theory, Reducibility and Epistemic Paradoxes
| Autoři | |
|---|---|
| Rok publikování | 2019 |
| Druh | Konferenční abstrakty |
| Fakulta / Pracoviště MU | |
| 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: |