Detailed Information on Publication Record
2019
Explicitní/implicitní přesvědčení a derivační systémy
RACLAVSKÝ, Jiří and Ivo PEZLARBasic information
Original name
Explicitní/implicitní přesvědčení a derivační systémy
Name (in English)
Explicit/Implicit Belief and Derivation System
Authors
RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution) and Ivo PEZLAR (203 Czech Republic, belonging to the institution)
Edition
Filosofický časopis, Praha, Filosofický ústav AV ČR, 2019, 0015-1831
Other information
Language
Czech
Type of outcome
Článek v odborném periodiku
Field of Study
60301 Philosophy, History and Philosophy of science and technology
Country of publisher
Czech Republic
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
Impact factor
Impact factor: 0.011 in 2001
RIV identification code
RIV/00216224:14210/19:00107332
Organization unit
Faculty of Arts
UT WoS
000459986800005
Keywords in English
paradox of logical omniscience; substitution; explicit belief; implicit belief; knowledge; transparent hyperintensional logic
Tags
Tags
Reviewed
Změněno: 31/3/2020 15:18, Mgr. Igor Hlaváč
V originále
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í.
In English
The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also propose a model of implicit knowledge, which is the collection of a possible agent's explicit beliefs which are related through a derivation system mastered by the agent. A derivation system consists of beliefs and derivation rules by means of which the agent may derive beliefs different from the beliefs she is actually related to. Conditions imposed on the set of base beliefs and the set of rules capture the limitations of the agent's deriving capabilities.
Links
| GA16-19395S, research and development project |
|