RACLAVSKÝ, Jiří a Ivo PEZLAR. Derivable Belief and Hyperintensional Algorithmic Semantics. In European Congress of Analytical Philosophy ECAP9. 2017.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Derivable Belief and Hyperintensional Algorithmic Semantics
Autoři RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí) a Ivo PEZLAR (203 Česká republika).
Vydání European Congress of Analytical Philosophy ECAP9, 2017.
Další údaje
Originální jazyk angličtina
Typ výsledku Konferenční abstrakt
Obor 60301 Philosophy, History and Philosophy of science and technology
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14210/17:00113942
Organizační jednotka Filozofická fakulta
Klíčová slova anglicky knowledge; belief; hyperintensional contexts; logical omniscience problem; epistemic logic
Štítky rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Změněno: 12. 3. 2024 15:28.
Anotace
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ávaznosti
GA16-19395S, projekt VaVNázev: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Akronym: Sémantické pojmy)
Investor: Grantová agentura ČR, Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů
VytisknoutZobrazeno: 19. 9. 2024 08:27