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

Kniha Základy logiky přesvědčení přinaši novy a doširoka rozvinuty přistup k postojům přesvědčeni (znalosti, domnivani se atd.). Kniha předně prezentuje důslednou a efektivni revizi Tichym navrženeho systemu hyperintenzionalni analyzy vyznamů přirozeneho jazyka, včetně vět o přesvědčeni. Revizi inicioval autorův spolupracovnik Kuchyňka. Tato Transparentni hyperintenzionalni logika (THL) je aktualnim přispěvkem k moderni typově teoreticke semantice. Dále kniha podava zasadni reexpozici Tichym navržene rozvětvene parcialni teorie typů – včetně přislušneho dedukčniho systemu. Systematicka aplikace těchto systemů v několika kapitolach uspěšně provede čtenaře uskalimi Fregeho paradoxy identity, Cresswellova paradoxu hyperintenzionalnich kontextů, Hintikkova paradoxu logicke vševědoucnosti, několika epistemickych paradoxů (např. poznatelnosti) i souvisejicich paradoxů semantickych. Centralni čast knihy se opira o adekvatně navržene pravidlo substituce, neboť to je v teoriich typů (tj. v logikach vyššiho řadu) jednim z kličovych pravidel.