2019
Základy logiky přesvědčení
RACLAVSKÝ, JiříZákladní údaje
Originální název
Základy logiky přesvědčení
Název anglicky
Foundations of the Logic of Belief
Autoři
RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)
Vydání
1. vyd. Červený Kostelec, 195 s. (edice filosofie), 2019
Nakladatel
Pavel Mervart
Další údaje
Jazyk
čeština
Typ výsledku
Odborná kniha
Obor
60301 Philosophy, History and Philosophy of science and technology
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Kód RIV
RIV/00216224:14210/19:00114161
Organizační jednotka
Filozofická fakulta
ISBN
978-80-7465-362-9
Klíčová slova anglicky
belief attitudes; higher order logic; type theory; hyperintensionality; type-theoretic semantics; paradoxes
Štítky
Příznaky
Recenzováno
Změněno: 21. 2. 2022 10:51, Ing. Mgr. Zdeňka Jastrzembská, Ph.D.
V originále
Kniha přináší nový a doširoka rozvinutý přístup k postojům přesvědčení (vědění, domnívání se atd.). Kniha předně prezentuje důslednou a efektivní revizi Tichým navrženého systému hyperintenzionální analýzy významů přirozeného jazyka, včetně vět o přesvědčení. Revizi inicioval autorův spolupracovník Kuchyňka. Tato Transparentní hyperintenzionální logika je aktuálním příspěvkem k typově teoretické sémantice. Dále kniha podává zásadní reexpozici Tichého parciální teorie typů - včetně příslušného dedukčního systému. Systematické aplikace těchto systémů v několika kapitolách provede čtenáře úskalími Fregeho paradoxu identity, Cresswellova paradoxu hyperintenzionálních kontextů, Hintikkova paradoxu logické vševědoucnosti, několika epistemickými paradoxy (např. paradoxu poznatelnosti) a souvisejícími paradoxy sémantickými.
Anglicky
The book brings a new and extensively elaborated approach to belief attitudes (knowing, belief etc.) It provides an efficient revision of Tichý's system of hyperintensional analysis of natural language meanings that wa initiated by the author's olaborator Kuchyňka. This Transparent hyperintensional logic (THL) is an actual contributio to type-theoretic semantics. The book also offer a thorough reexposition of Tichý's partial type theory and its deduction system. Application of these systems allows to succesfully avoid Frege's paradox of identity, Cresswell's paradox of hyperintensional contexts, Hintikka's paradox of omniscience and various epsitemic paradoxes and related semantic paradoxes.
Návaznosti
| GA16-19395S, projekt VaV |
|