Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1360377, author = {Raclavský, Jiří}, booktitle = {8th SEFA}, keywords = {explicit and implicit belief; hyperintensional semantics}, language = {eng}, note = {(konf. abstrakt)}, title = {Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics}, year = {2016} }
TY - CONF ID - 1360377 AU - Raclavský, Jiří PY - 2016 TI - Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics N1 - (konf. abstrakt) KW - explicit and implicit belief KW - hyperintensional semantics N2 - 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. ER -
RACLAVSKÝ, Jiří. Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics. In \textit{8th SEFA}. 2016.
|