Algebraické metody ve filozofické logice

Původní název:

Algebraic Methods in Philosophical Logic

Obsah knihy:

Tento obsáhlý text ukazuje, jak lze na různé pojmy logiky nahlížet jako na pojmy univerzální algebry.

Je určen především logistikům z oblasti matematiky, filozofie, informatiky a lingvistiky se zájmem o algebraickou logiku, ale je přístupný i těm, kteří nemají logické vzdělání. Text vychází z premisy, že standardní algebraické výsledky (reprezentace) se promítají do standardních logických výsledků (úplnost), a identifikuje třídy algeber vhodné pro studium klasické i neklasické logiky, mezi něž patří: gagy, distributoidy, parciální gagy a tonoidy.

Diskutována je také myšlenka, že logika je v zásadě založena na informacích, přičemž jejími hlavními prvky jsou propozice, které lze chápat jako množiny informačních stavů. Logika je uvažována v různých významech, jako jsou systémy tvrzení, důsledkové vztahy a symetrické důsledkové vztahy.