Other formats:
BibTeX
LaTeX
RIS
@proceedings{1663158, author = {Raclavský, Jiří}, booktitle = {16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY, PRAGUE, 5.–10. 8. 2019}, keywords = {Church-Fitch paradox of knowability; ramified type theory; reducibility; paradoxes; epistemic logic; higher-order logic}, language = {eng}, note = {(conf.)}, title = {Type Theory, Reducibility and Epistemic Paradoxes}, url = {https://clmpst2019.flu.cas.cz}, year = {2019} }
TY - CONF ID - 1663158 AU - Raclavský, Jiří PY - 2019 TI - Type Theory, Reducibility and Epistemic Paradoxes N1 - (conf.) KW - Church-Fitch paradox of knowability KW - ramified type theory KW - reducibility KW - paradoxes KW - epistemic logic KW - higher-order logic UR - https://clmpst2019.flu.cas.cz N2 - 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. ER -
RACLAVSKÝ, Jiří. Type Theory, Reducibility and Epistemic Paradoxes. In \textit{16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY, PRAGUE, 5.–10. 8. 2019}. 2019.
|