Explicit and Implicit Belief in an Hyperintensional Framework

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F16%3A00113938" target="_blank" >RIV/00216224:14210/16:00113938 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Explicitní a implicitní přesvědčení v hyperintenzionálním rámci

Original language description

Analýza postojů přesvědčení ("belief attitudes") patří ke klíčovým úkolům epistemologie, logiky i filozofie jazyka. Podle intensional (možnosvětové) sémantiky, jež má stále četné stoupence v řadách epistemických logiků, agentovo přesvědčení je vztahem k propozici P, jež je modelována jako možnosvětová propozice. V důsledku je každý agent tzv. implicitně přesvědčen o všech logických důsledcích P, je tedy logicky vševědoucí. Naproti tomu podle hyperintenziopnální sémantiky je agent pojímán jako logický prosťáček, neboť žádného takového odvození není schopen - má vztah explicitně pouze k P, jež je modelována určitým hyperintenzionálním způsobem. V poslední době se nemálo autorů snaží proplout mezi Skyllou a Charybdou obou extrémů. V přednášce předložím nové a přitom hodnověrné řešení, jež je vypracováno v rámci hyperintenzonální logiky.

Czech name

Explicitní a implicitní přesvědčení v hyperintenzionálním rámci

Czech description

Analýza postojů přesvědčení ("belief attitudes") patří ke klíčovým úkolům epistemologie, logiky i filozofie jazyka. Podle intensional (možnosvětové) sémantiky, jež má stále četné stoupence v řadách epistemických logiků, agentovo přesvědčení je vztahem k propozici P, jež je modelována jako možnosvětová propozice. V důsledku je každý agent tzv. implicitně přesvědčen o všech logických důsledcích P, je tedy logicky vševědoucí. Naproti tomu podle hyperintenziopnální sémantiky je agent pojímán jako logický prosťáček, neboť žádného takového odvození není schopen - má vztah explicitně pouze k P, jež je modelována určitým hyperintenzionálním způsobem. V poslední době se nemálo autorů snaží proplout mezi Skyllou a Charybdou obou extrémů. V přednášce předložím nové a přitom hodnověrné řešení, jež je vypracováno v rámci hyperintenzonální logiky.

Type

O - Miscellaneous

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

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)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2016

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů