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.

• počet stran: 208
• produkt: Knihy – vázané
• datum vydání: 12.5.2020
• šířka: 167mm
• výška: 20mm
• hmotnost: 535g
• ISBN: 978–80–7465–362–9
• jazyk: česky