Derivable Belief and Hyperintensional Algorithmic Semantics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F17%3A00113942" target="_blank" >RIV/00216224:14210/17:00113942 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Derivable Belief and Hyperintensional Algorithmic Semantics

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Derivable Belief and Hyperintensional Algorithmic Semantics

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA16-19395S" target="_blank" >GA16-19395S: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů