Derivable Belief and Hyperintensional Algorithmic Semantics

RACLAVSKÝ, Jiří and Ivo PEZLAR. Derivable Belief and Hyperintensional Algorithmic Semantics. In European Congress of Analytical Philosophy ECAP9. 2017.

Basic information

• Original name: Derivable Belief and Hyperintensional Algorithmic Semantics
• Authors: RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution) and Ivo PEZLAR (203 Czech Republic).
• Edition: European Congress of Analytical Philosophy ECAP9, 2017.

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: Germany
• Confidentiality degree: is not subject to a state or trade secret
• RIV identification code: RIV/00216224:14210/17:00113942
• Organization unit: Faculty of Arts
• Keywords in English: knowledge; belief; hyperintensional contexts; logical omniscience problem; epistemic logic
• Tags: rivok
• Tags: International impact, Reviewed

Abstract

Familiar arguments involving belief sentences show that possible world semantics, employed by standard epistemic logic, is untenable, since it misrepresents intuitively (in)valid inference. We confess hyperintensional, neo-fregean semantics according to which meaning is an algorithm determining the expression's denotation. Analysis of belief sentences then yields an explicit model of belief. Such models are known to be too restrictive; we thus supplement it by a specific novel version of rule-based implicit approach. Derivable belief consists of beliefs an agent is capable to achieve using derivation systems she masters. The notion of derivation system enables an apt modelling of agent's inference resources.

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