Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1677037, author = {Raclavský, Jiří}, booktitle = {10th European Congress of Analytical Philosophy (ECAP10)}, keywords = {propositional attitudes; belief; knowledge; hyperintensionality; higher-order logic; type theory}, language = {eng}, note = {(conf. abst.)}, title = {Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth}, year = {2020} }
TY - CONF ID - 1677037 AU - Raclavský, Jiří PY - 2020 TI - Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth N1 - (conf. abst.) KW - propositional attitudes KW - belief KW - knowledge KW - hyperintensionality KW - higher-order logic KW - type theory N2 - From the limitation of the logical space I derive theorems that show an inevitable limitation of an explication of knowledge, belief, assertion, necessity and truth. The result is achieved within a higher-order modal logic: a type theory that handles both possible-world propositions and fine-grained (structured) hyperintensional `propositions', on which the modal notions are applicable. ER -
RACLAVSKÝ, Jiří. Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth. In \textit{10th European Congress of Analytical Philosophy (ECAP10)}. 2020.
|