Metodi algebrici nella logica filosofica

Titolo originale:

Algebraic Methods in Philosophical Logic

Contenuto del libro:

Questo testo completo dimostra come varie nozioni di logica possano essere viste come nozioni di algebra universale.

Si rivolge principalmente a logici in matematica, filosofia, informatica e linguistica con un interesse per la logica algebrica, ma è accessibile anche a chi non ha un background logistico. La premessa del testo è che i risultati algebrici standard (rappresentazioni) si traducono in risultati logici standard (completezza) e identifica classi di algebre appropriate per gli studi di logica classica e non classica, tra cui: gaggle, distributoidi, gaggle parziali e tonoidi.

Viene inoltre discussa l'idea che la logica sia fondamentalmente basata sull'informazione e che i suoi elementi principali siano le proposizioni, che possono essere intese come insiemi di stati informativi. Le logiche sono considerate in vari sensi, come sistemi di teoremi, relazioni di conseguenza e relazioni di conseguenza simmetriche.