Základy logiky přesvědčení
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.). Revizi inicioval autorův spolupracovnik…
Specifikacia Základy logiky přesvědčení
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.). Revizi inicioval autorův spolupracovnik Kuchyňka. 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.
Dále kniha podava zasadni reexpozici Tichym navržene rozvětvene parcialni teorie typů – včetně přislušneho dedukčniho systemu. Tato Transparentni hyperintenzionalni logika (THL) je aktualnim přispěvkem k moderni typově teoreticke semantice. 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.
Základy logiky přesvědčení
Paradoxy klasické logiky
Olejárová encyklopédia logiky
Olejárová encyklopédia logiky