2016
Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics
RACLAVSKÝ, JiříBasic information
Original name
Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics
Authors
RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution)
Edition
8th SEFA, 2016
Other information
Language
English
Type of outcome
Conference abstract
Field of Study
60301 Philosophy, History and Philosophy of science and technology
Country of publisher
Spain
Confidentiality degree
is not subject to a state or trade secret
RIV identification code
RIV/00216224:14210/16:00113941
Organization unit
Faculty of Arts
Keywords in English
explicit and implicit belief; hyperintensional semantics
Tags
Tags
International impact, Reviewed
Changed: 12/3/2024 15:21, prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Abstract
In the original language
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 |
|