Explicit/Implicit Belief and Derivation System
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F19%3A00107332" target="_blank" >RIV/00216224:14210/19:00107332 - isvavai.cz</a>
Result on the web
<a href="http://filcasop.flu.cas.cz/index.php?id=casopis&cislo=1-2019&obsah=851" target="_blank" >http://filcasop.flu.cas.cz/index.php?id=casopis&cislo=1-2019&obsah=851</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Explicitní/implicitní přesvědčení a derivační systémy
Original language description
Problém hyperintenzionálních kontextů, resp. problém logické vševědoucnosti, ukazuje na značnou limitaci možnosvětové sémantiky, jež je přijímána i standardní epistemickou logikou. Jako řešení zde uplatňujeme hyperintenzionální sémantiku, podle níž je významem výrazu abstraktní strukturovaný algoritmus, jmenovitě tzv. konstrukce Pavla Tichého. Konstrukce determinují referenty výrazů. Tzv. propoziční postoje tak nejsou v námi prosazovaném přístupu postoji k propozicím, ale ke konstrukcím pravdivostních hodnot. Tento model explicitního přesvědčení je inferenčně restriktivní, a proto zde navrhujeme model implicitního přesvědčení. To je vysvětleno jako soubor explicitních postojů agenta k různým konstrukcím pravdivostních hodnot, jež jsou propojeny prostřednictvím agentem ovládaného derivačního systému. Derivační systém se skládá především z objektů přesvědčení a derivačních pravidel, pomocí nichž si agent důsledky svých přesvědčení může odvodit; takové přesvědčení nazýváme derivované. Na množinu přesvědčení a množinu derivačních pravidel jsou přitom kladeny podmínky, jež vystihují omezení agentových kognitivních schopností.
Czech name
Explicitní/implicitní přesvědčení a derivační systémy
Czech description
Problém hyperintenzionálních kontextů, resp. problém logické vševědoucnosti, ukazuje na značnou limitaci možnosvětové sémantiky, jež je přijímána i standardní epistemickou logikou. Jako řešení zde uplatňujeme hyperintenzionální sémantiku, podle níž je významem výrazu abstraktní strukturovaný algoritmus, jmenovitě tzv. konstrukce Pavla Tichého. Konstrukce determinují referenty výrazů. Tzv. propoziční postoje tak nejsou v námi prosazovaném přístupu postoji k propozicím, ale ke konstrukcím pravdivostních hodnot. Tento model explicitního přesvědčení je inferenčně restriktivní, a proto zde navrhujeme model implicitního přesvědčení. To je vysvětleno jako soubor explicitních postojů agenta k různým konstrukcím pravdivostních hodnot, jež jsou propojeny prostřednictvím agentem ovládaného derivačního systému. Derivační systém se skládá především z objektů přesvědčení a derivačních pravidel, pomocí nichž si agent důsledky svých přesvědčení může odvodit; takové přesvědčení nazýváme derivované. Na množinu přesvědčení a množinu derivačních pravidel jsou přitom kladeny podmínky, jež vystihují omezení agentových kognitivních schopností.
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GA16-19395S" target="_blank" >GA16-19395S: Semantic notions, paradoxes and hyperintensional logic based on modern ramified theory of types</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Filosofický časopis
ISSN
0015-1831
e-ISSN
—
Volume of the periodical
67
Issue of the periodical within the volume
1
Country of publishing house
CZ - CZECH REPUBLIC
Number of pages
32
Pages from-to
89-120
UT code for WoS article
000459986800005
EID of the result in the Scopus database
2-s2.0-85065319445