Other formats:
BibTeX
LaTeX
RIS
@proceedings{1387886, author = {Raclavský, Jiří and Pezlar, Ivo}, booktitle = {European Congress of Analytical Philosophy ECAP9}, keywords = {knowledge; belief; hyperintensional contexts; logical omniscience problem; epistemic logic}, language = {eng}, note = {(konf. abstrakt)}, title = {Derivable Belief and Hyperintensional Algorithmic Semantics}, year = {2017} }
TY - CONF ID - 1387886 AU - Raclavský, Jiří - Pezlar, Ivo PY - 2017 TI - Derivable Belief and Hyperintensional Algorithmic Semantics N1 - (konf. abstrakt) KW - knowledge KW - belief KW - hyperintensional contexts KW - logical omniscience problem KW - epistemic logic N2 - 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. ER -
RACLAVSKÝ, Jiří and Ivo PEZLAR. Derivable Belief and Hyperintensional Algorithmic Semantics. In \textit{European Congress of Analytical Philosophy ECAP9}. 2017.
|