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

RACLAVSKÝ, Jiří and Ivo PEZLAR. Explicitní/implicitní přesvědčení a derivační systémy (Explicit/Implicit Belief and Derivation System). Filosofický časopis. Praha: Filosofický ústav AV ČR, 2019, vol. 67, No 1, p. 89-120. ISSN 0015-1831.

Basic 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

• Original language: Czech
• Type of outcome: Article in a journal
• Field of Study: 60301 Philosophy, History and Philosophy of science and technology
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: URL
• 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: rivok
• Tags: Reviewed

Abstract

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

Abstract (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: Name: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Acronym: Sémantické pojmy)

Investor: Czech Science Foundation