Explicitní/implicitní přesvědčení a derivační systémy

RACLAVSKÝ, Jiří a Ivo PEZLAR. Explicitní/implicitní přesvědčení a derivační systémy. Filosofický časopis. Praha: Filosofický ústav AV ČR, 2019, roč. 67, č. 1, s. 89-120. ISSN 0015-1831.

Základní údaje

• Originální název: Explicitní/implicitní přesvědčení a derivační systémy
• Název anglicky: Explicit/Implicit Belief and Derivation System
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí) a Ivo PEZLAR (203 Česká republika, domácí).
• Vydání: Filosofický časopis, Praha, Filosofický ústav AV ČR, 2019, 0015-1831.

Další údaje

• Originální jazyk: čeština
• Typ výsledku: Článek v odborném periodiku
• Obor: 60301 Philosophy, History and Philosophy of science and technology
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Impakt faktor: Impact factor: 0.011 v roce 2001
• Kód RIV: RIV/00216224:14210/19:00107332
• Organizační jednotka: Filozofická fakulta
• UT WoS: 000459986800005
• Klíčová slova anglicky: paradox of logical omniscience; substitution; explicit belief; implicit belief; knowledge; transparent hyperintensional logic
• Štítky: rivok
• Příznaky: Recenzováno

Anotace

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í.

Anotace anglicky

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.

Návaznosti

• GA16-19395S, projekt VaV: Název: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Akronym: Sémantické pojmy)

Investor: Grantová agentura ČR, Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů