Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth

Kód výsledku v 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>

Nalezeny alternativní kódy

RIV/00216224:14210/20:00114299

Výsledek na webu

<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

—

Jazyk výsledku

angličtina

Název v původním jazyce

Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA19-12420S" target="_blank" >GA19-12420S: Hyperintenzionální význam, teorie typů a logická dedukce</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů