Type Theory, Reducibility and Epistemic Paradoxes
| Authors | |
|---|---|
| Year of publication | 2019 |
| Type | Appeared in Conference without Proceedings |
| MU Faculty or unit | |
| Citation | |
| Description | 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. |
| Related projects: |