algebra della logica

algebra della logica

algebra della logica espressione con cui si indica l’applicazione alla logica dell’usuale calcolo algebrico, assumendo come elementi del calcolo non numeri, ma simboli che rappresentano proposizioni logiche e come operazioni → connettivi e altri operatori logici. L’idea di poter estendere i calcoli dai numeri a qualsiasi tipo di simboli risale a G.W. Leibniz, ma la prima vera algebra della logica fu costruita da G. Boole (→ Boole, algebra di) ed ebbe il suo compimento nell’opera sistematica di E. Schröder. L’odierna algebra della logica ha tra i suoi concetti fondamentali la nozione di algebra di → Lindenbaum, una tecnica molto generale per associare ai sistemi logico-dimostrativi significative strutture algebriche i cui oggetti sono classi di formule tra loro equivalenti.