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

RACLAVSKÝ, Jiří. Základy logiky přesvědčení (Foundations of the Logic of Belief). 1st ed. Červený Kostelec: Pavel Mervart, 2019, 195 pp. (edice filosofie). ISBN 978-80-7465-362-9.

Basic information

• Original name: Základy logiky přesvědčení
• Name (in English): Foundations of the Logic of Belief
• Authors: RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
• Edition: 1. vyd. Červený Kostelec, 195 pp. (edice filosofie), 2019.
• Publisher: Pavel Mervart

Other information

• Original language: Czech
• Type of outcome: Book on a specialized topic
• Field of Study: 60301 Philosophy, History and Philosophy of science and technology
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• Publication form: printed version "print"
• RIV identification code: RIV/00216224:14210/19:00114161
• Organization unit: Faculty of Arts
• ISBN: 978-80-7465-362-9
• Keywords in English: belief attitudes; higher order logic; type theory; hyperintensionality; type-theoretic semantics; paradoxes
• Tags: rivok
• Tags: Reviewed

Abstract

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.

Abstract (in English)

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.

Links

• GA16-19395S, research and development project: Name: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Acronym: Sémantické pojmy)

Investor: Czech Science Foundation