Algebrai módszerek a filozófiai logikában

Eredeti címe:

Algebraic Methods in Philosophical Logic

Könyv tartalma:

Ez az átfogó szöveg bemutatja, hogy a logika különböző fogalmai hogyan tekinthetők az univerzális algebra fogalmainak.

Elsősorban az algebrai logika iránt érdeklődő matematikusoknak, filozófusoknak, informatikusoknak és nyelvészeknek szól, de a nem logikai háttérrel rendelkezők számára is hozzáférhető. A szöveg előfeltevése az, hogy a standard algebrai eredmények (reprezentációk) standard logikai eredményekre (teljesség) fordíthatók, és meghatározza a klasszikus és nem klasszikus logikai tanulmányokhoz megfelelő algebraosztályokat, köztük: gagglikat, distributoidokat, részleges- gagglikat és tonoidokat.

Tárgyalja azt az elképzelést is, hogy a logika alapvetően információalapú, fő elemei a kijelentések, amelyek információs állapotok halmazaként értelmezhetők. A logikát különböző értelemben tekintjük, mint például tételrendszerek, következmény-relációk és szimmetrikus következmény-relációk.