Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics

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

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

• Original 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: rivok
• Tags: International impact, Reviewed

Abstract

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