Metode algebrice în logica filosofică

Titlul original:

Algebraic Methods in Philosophical Logic

Conținutul cărții:

Acest text cuprinzător demonstrează modul în care diverse noțiuni de logică pot fi privite ca noțiuni de algebră universală.

Acesta se adresează în primul rând logisticienilor din matematică, filosofie, informatică și lingvistică interesați de logica algebrică, dar este accesibil și celor care nu provin din domeniul logisticii. Premisa textului este că rezultatele algebrice standard (reprezentări) se traduc în rezultate logice standard (completitudine) și identifică clase de algebre adecvate pentru studiile de logică clasică și non-clasică, inclusiv: gaggles, distributoids, partial- gaggles și tonoids.

De asemenea, se discută ideea că logica se bazează în mod fundamental pe informație, principalele sale elemente fiind propozițiile, care pot fi înțelese ca seturi de stări informaționale. Logica este considerată în diverse sensuri, cum ar fi sistemele de teoreme, relațiile de consecință și relațiile de consecință simetrice.