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

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

Výsledek na webu

<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

—

Jazyk výsledku

čeština

Název v původním jazyce

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

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Explicit/Implicit Belief and Derivation System

Popis výsledku 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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA16-19395S" target="_blank" >GA16-19395S: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů</a><br>

Návaznosti

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

Rok uplatnění

2019

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ů

Název periodika

Filosofický časopis

ISSN

0015-1831

e-ISSN

—

Svazek periodika

67

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

32

Strana od-do

89-120

Kód UT WoS článku

000459986800005

EID výsledku v databázi Scopus

2-s2.0-85065319445