a 2016

Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics

RACLAVSKÝ, Jiří

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

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 12. 3. 2024 15:21, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Anotace

V originále

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ů