Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F20%3A00118756" target="_blank" >RIV/00216224:14210/20:00118756 - isvavai.cz</a>
Alternative codes found
RIV/00216224:14210/20:00114299
Result on the web
<a href="https://easychair.org/smart-program/ECAP10/index.html" target="_blank" >https://easychair.org/smart-program/ECAP10/index.html</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GA19-12420S" target="_blank" >GA19-12420S: Hyperintensional Meaning, Type Theory and Logical Deduction</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů