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

Kniha Základy logiky přesvědčení přináší nový a doširoka rozvinutý přístup k postojům přesvědčení (znalosti, domnívání se atd.). Autor v několika kapitolách úspěšně provede čtenáře úskalími Fregeho paradoxy identity, Cresswellova paradoxu hyperintenzionálních kontextů, Hintikkova paradoxu logické vševědoucnosti, několika epistemických paradoxů (např. poznatelnosti) i souvisejících paradoxů sémantických. Centrální část knihy se opírá o adekvátně navržené pravidlo substituce, neboť to je v teoriích typů (tj. v logikách vyššího řádu) jedním z klíčových pravidel.