Základy logiky přesvědčení

RACLAVSKÝ, Jiří. Základy logiky přesvědčení. 1. vyd. Červený Kostelec: Pavel Mervart, 2019, 195 s. (edice filosofie). ISBN 978-80-7465-362-9.

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

• Originální 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: rivok
• Příznaky: Recenzováno

Anotace

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.

Anotace 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: Ná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ů