Základy logiky přesvědčení
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F19%3A00114161" target="_blank" >RIV/00216224:14210/19:00114161 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Základy logiky přesvědčení
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Foundations of the Logic of Belief
Popis výsledku 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.
Klasifikace
Druh
B - Odborná kniha
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
<a href="/cs/project/GA16-19395S" target="_blank" >GA16-19395S: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
ISBN
9788074653629
Počet stran knihy
195
Název nakladatele
Pavel Mervart
Místo vydání
Červený Kostelec
Kód UT WoS knihy
—