Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1589860,
author = {Raclavský, Jiří},
booktitle = {Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST)},
keywords = {Church-Fitch paradox of knowability; ramified type theory; reducibility; paradoxes; epistemic logic; higher-order logic},
language = {eng},
note = {(conf. abstract)},
title = {Type Theory, Reducibility and Epistemic Paradoxes},
url = {https://easychair.org/smart-program/CLMPST2019/2019-08-06.html#talk:94142},
year = {2019}
}
TY - CONF
ID - 1589860
AU - Raclavský, Jiří
PY - 2019
TI - Type Theory, Reducibility and Epistemic Paradoxes
N1 - (conf. abstract)
KW - Church-Fitch paradox of knowability
KW - ramified type theory
KW - reducibility
KW - paradoxes
KW - epistemic logic
KW - higher-order logic
UR - https://easychair.org/smart-program/CLMPST2019/2019-08-06.html#talk:94142
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{Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST)}. 2019.
|
