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

RACLAVSKÝ, Jiří. Explicitní a implicitní přesvědčení v hyperintenzionálním rámci (Explicit and Implicit Belief in an Hyperintensional Framework). In Jednota filozofická, Olomouc, 24. 2. 2016. 2016.

Basic information

• Original name: Explicitní a implicitní přesvědčení v hyperintenzionálním rámci
• Name (in English): Explicit and Implicit Belief in an Hyperintensional Framework
• Authors: RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
• Edition: Jednota filozofická, Olomouc, 24. 2. 2016, 2016.

Other information

• Original language: Czech
• Type of outcome: Presentations at conferences
• 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
• RIV identification code: RIV/00216224:14210/16:00113938
• Organization unit: Faculty of Arts
• Keywords in English: explit and implicit belief; attitude logic; hyperintensional logic
• Tags: rivok

Abstract

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.

Abstract (in English)

In the first part of the talk, I show why possible world semantics must be abandoned in favour of hyperintensional semantics, while I focus mainly on the logical omniscience problem. In the second part of the talk, I propose a hyperintensional algorithmic semantics, namely THL. I show that analysis of belief sentences by THL is an explicit model of belief; it blocks undesirable consequences. I also propose how to analyze by THL so-called implicit belief, for which I define the notion of derivable belief, which is the belief an agent can derive within the derivation system she masters.

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