Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics

RACLAVSKÝ, Jiří. Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics. In 8th SEFA. 2016.

Základní údaje

• Originální název: Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
• Vydání: 8th SEFA, 2016.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Konferenční abstrakt
• Obor: 60301 Philosophy, History and Philosophy of science and technology
• Stát vydavatele: Španělsko
• Utajení: není předmětem státního či obchodního tajemství
• Kód RIV: RIV/00216224:14210/16:00113941
• Organizační jednotka: Filozofická fakulta
• Klíčová slova anglicky: explicit and implicit belief; hyperintensional semantics
• Štítky: rivok
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

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.

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ů