Foundations of the Logic of Belief
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Základy logiky přesvědčení
Original language description
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.
Czech name
Základy logiky přesvědčení
Czech description
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.
Classification
Type
B - Specialist book
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GA16-19395S" target="_blank" >GA16-19395S: Semantic notions, paradoxes and hyperintensional logic based on modern ramified theory of types</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
9788074653629
Number of pages
195
Publisher name
Pavel Mervart
Place of publication
Červený Kostelec
UT code for WoS book
—