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

Language

Czech

Type of outcome

Odborná kniha

Field of Study

60301 Philosophy, History and Philosophy of science and technology

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

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

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.

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