Questo è il primo articolo di una nuova rubrica che ci porterà alla scoperta delle varie aree di ricerca in logica. Il viaggio parte con la Logica Algebrica, che raccontiamo a partire da Boole fino al giorno d’oggi. Questo articolo è stato scritto da Serafina Lapenta e Sara Ugolini.

Dalla filosofia al calcolo: quando la logica diventa matematica

Per secoli la logica è stata considerata una disciplina più vicina alla filosofia che alla matematica: uno strumento per analizzare il ragionamento, chiarire i concetti, distinguere inferenze valide da errori. A partire dall’Ottocento, però, avviene una trasformazione decisiva: la logica non è più soltanto un’arte dell’argomentazione, ma diventa un oggetto matematico. L’idea è che il ragionamento abbia una struttura formale rappresentabile simbolicamente.

Se traduciamo le proposizioni in simboli e le connessioni logiche in operazioni formali, ragionare significa manipolare segni secondo regole precise, come accade in algebra. Non conta il contenuto delle frasi, ma la loro forma. In questo modo la logica diventa qualcosa che si può “calcolare” e studiare con strumenti matematici, in particolare algebrici.

Possiamo vedere concretamente cosa significa “calcolare” un ragionamento con un esempio molto semplice. Consideriamo l’argomento: “Se piove, la strada è bagnata. Piove. Dunque, la strada è bagnata.” Introduciamo due simboli, p per “piove” e q per “la strada è bagnata”. Il ragionamento diventa:

p→q, p  ⊢  q

Il simbolo ⊢ si legge “deduce” o “dimostra”: indica che dalla coppia di premesse scritte a sinistra si ottiene necessariamente la conclusione a destra. A questo punto il contenuto concreto, la pioggia, la strada, è sparito. Il vantaggio è che ciò che rimane si adatta a infinite altre variazioni dello stesso ragionamento.

Che la validità dipenda dalla forma del ragionamento non è un’idea nuova: già la logica aristotelica distingueva tra forma e contenuto. La novità moderna è un’altra. Non ci si limita più a riconoscere schemi corretti: si tratta questi schemi come oggetti matematici, si studiano le loro proprietà generali, si cerca di descriverli attraverso strutture formali precise. È qui che la logica comincia davvero a diventare algebra.

Facciamo insieme un viaggio per vedere come si evolve questa idea.

Prima di Boole: una lunga tradizione

Prima della metà dell’Ottocento, la logica era ancora saldamente radicata nella tradizione aristotelica. L’Organon (IV sec. a.C.) aveva fornito per secoli il quadro di riferimento: al centro vi era la teoria del sillogismo, che distingueva tra forma e contenuto ma non costituiva un calcolo simbolico in senso matematico.

Nel Medioevo la tradizione venne raffinata da autori come Pietro Ispano e Giovanni Buridano, con analisi molto sofisticate delle inferenze. Tuttavia il quadro rimaneva linguistico e filosofico: mancava un sistema simbolico autonomo con regole di manipolazione paragonabili a quelle dell’algebra.

In età moderna la situazione non mutò radicalmente. Opere come la Logique ou l’Art de penser (1662) di Arnauld e Nicole si collocano ancora nell’impianto aristotelico. Accanto a questo filone emerge però l’intuizione di Gottfried Wilhelm Leibniz, che immagina una “characteristica universalis” e un “calculus ratiocinator”: l’idea che il ragionamento possa diventare calcolo è formulata con chiarezza, ma resta incompiuta.

Nel Settecento non mancano tentativi di formalizzazione, ma rimangono isolati. Non sorprende quindi che Immanuel Kant, nella prefazione alla seconda edizione della Critica della ragion pura (1787), potesse sostenere che la logica, dai tempi di Aristotele, non avesse compiuto progressi sostanziali. All’inizio dell’Ottocento manuali come gli Elements of Logic (1826) di Richard Whately confermano la centralità della sillogistica. È su questo sfondo che, a metà Ottocento, l’opera di George Boole assume il significato di una svolta.

L’Ottocento: l’algebra della logica

La svolta avviene a metà Ottocento. Con The Mathematical Analysis of Logic (1847) e soprattutto An Investigation of the Laws of Thought (1854), George Boole propone di trattare la logica come un vero calcolo simbolico: le proposizioni sono rappresentate con lettere, le operazioni logiche diventano operazioni algebriche, e le leggi del ragionamento si esprimono come equazioni. Nascono quelle che oggi chiamiamo algebre booleane. Non si tratta solo di formalizzare argomenti, ma di studiare matematicamente le “leggi del pensiero”.

Parallelamente, Augustus De Morgan sviluppa strumenti simbolici che rendono più sistematica la manipolazione delle relazioni logiche. Nei decenni successivi, autori come William Stanley Jevons, Charles Sanders Peirce ed Ernst Schröder ampliano e organizzano questa tradizione, in cui la logica viene effettivamente trattata come un ramo dell’algebra.

Con l’algebra della logica nasce quindi qualcosa di nuovo: il ragionamento è incorporato in una struttura matematica con leggi proprie, anche se la nozione moderna di sistema formale emergerà solo in seguito.

[Tratto da Doxiadis, Apostolos, Christos H. Papadimitriou, Alecos Papadatos, e Annie Di Donna. Logicomix: An Epic Search for Truth. New York: Bloomsbury, 2009. Traduzione Italiana: Editore Guanda, Collana: Guanda Graphic, 2019]

Dalla logica come calcolo alla logica come struttura

Nel lavoro di George Boole e degli algebristi dell’Ottocento non si distingue ancora nettamente tra linguaggio formale e la sua interpretazione in modelli. L’algebra non è la “semantica” di una logica già definita, ma il quadro matematico entro cui la logica viene espressa. Con Gottlob Frege, e poi con Bertrand Russell, la logica assume invece la forma di un sistema formale: un linguaggio simbolico con regole precise di costruzione e di inferenza. L’attenzione si concentra su quali formule siano dimostrabili all’interno del sistema.

Nel Novecento, accanto alla logica classica, emergono sistemi alternativi — come la logica intuizionista e le prime logiche modali — e si comincia a parlare di logiche al plurale. Ma che cos’è, in generale, una logica?

Un’idea decisiva è che il cuore della logica non sia l’elenco dei teoremi, ma la relazione che lega premesse e conclusioni: ciò che segue da ciò. È con Alfred Tarski che questa nozione viene messa al centro: una logica può essere vista come una relazione di conseguenza tra insiemi di formule (premesse) e formule singole (conclusioni), studiata nelle sue proprietà generali.

Questo spostamento di attenzione è cruciale. Se una logica è una relazione di conseguenza, allora può essere studiata come un oggetto matematico a sé stante. E una volta che la logica viene concepita come struttura, diventa naturale chiedersi se tale struttura possa essere descritta, rappresentata o addirittura caratterizzata in termini algebrici.

Dalla conseguenza all’algebra: la costruzione di Lindenbaum-Tarski

Se intendiamo la logica come una relazione di conseguenza tra formule, possiamo chiederci se sia possibile organizzare queste ultime in una struttura matematica. L’idea, nota come costruzione di Lindenbaum–Tarski, è di elegante semplicità: si considerano logicamente equivalenti le formule che, all’interno di una teoria, risultano interderivabili (cioè, sono dimostrabili l’una dall’altra).

Identificando tra loro queste formule e raggruppandole in classi, otteniamo un insieme in cui ogni elemento rappresenta una specifica “forma logica”. Su tali classi è possibile definire naturalmente le operazioni logiche (come congiunzione, disgiunzione o implicazione), dando vita a una struttura algebrica che riflette l’organizzazione interna della logica considerata.

Mentre nel caso classico questa costruzione conduce a un’algebra booleana, in altri sistemi si ottengono strutture differenti, solitamente ordinate. Il fatto che queste strutture siano ordinate consente una rappresentazione grafica, detta diagramma di Hasse, che può aiutare a stabilire relazioni di deducibilità tra formule in maniera più intuitiva.

Il valore di tale approccio risiede nel cambio di paradigma: la logica non si limita più a essere espressa mediante l’algebra, ma essa stessa genera una propria algebra.

Verso una teoria generale dell’algebrizzazione

L’intuizione che l’algebra non debba essere “applicata” dall’esterno alla logica, ma nasca dalla logica stessa viene inizialmente sistematizzata nel secondo Novecento dalla scuola polacca. Nei lavori di Helena Rasiowa e Roman Sikorski, e successivamente in quelli di Helena Rasiowa e Ryszard Wójcicki, il rapporto tra sistemi deduttivi e strutture algebriche viene analizzato con maggiore generalità. L’attenzione non è più rivolta soltanto alla logica classica, ma anche a logiche non classiche, come quella intuizionista, per le quali si individuano strutture algebriche caratteristiche.

In questa fase si afferma l’idea che una logica possa essere indagata studiando la classe di algebre che ne rispecchia la relazione di conseguenza, traducendo le inferenze valide in proprietà algebriche. Tuttavia manca ancora un quadro unitario che chiarisca in quali condizioni questa corrispondenza sia davvero adeguata e quanto sia stretta.
La domanda diventa allora più precisa: quando una logica ammette una “buona” descrizione algebrica? E che cosa significa esattamente che una logica e una classe di algebre si corrispondono?

Che cosa significa “logica algebrizzabile”?

Negli anni Ottanta Willem Blok e Don Pigozzi affrontano in modo sistematico una questione rimasta fin lì frammentaria: quando il legame tra una logica e una classe di algebre è così stretto da poter dire che la logica è davvero descritta dall’algebra? Il loro lavoro confluisce nel volume Algebraizable Logics (1989), che segna la nascita della logica algebrica astratta come teoria autonoma.

Il punto di svolta risiede nel rigore del legame: non basta infatti che da una logica si possa costruire un’algebra, come avviene con la costruzione di Lindenbaum–Tarski, ma è necessario che la relazione di conseguenza della logica e l’uguaglianza nelle algebre associate si determinano reciprocamente attraverso traduzioni precise tra formule ed equazioni. In questo processo è centrale l’operatore di Leibniz, uno strumento che collega la struttura sintattica delle inferenze alla struttura algebrica, misurando la forza di tale connessione.

Per esempio, in logica classica è un teorema il cosiddetto Principio del Terzo escluso, in simboli  ⊢p ∨ ¬p. Nelle algebre booleane questo corrisponde alla validità dell’equazione “p ∨ ¬p=1”, dove convenzionalmente 1 rappresenta il “vero”. La potenza di questa traduzione va oltre teoremi ed equazioni: infatti possiamo tradurre deduzioni in quasi-equazioni, cioè espressioni del tipo “da una congiunzione di equazioni segue un’equazione”. Ad esempio, in logica classica, ogni proposizione è deducibile dalla sua doppia negazione, in simboli ¬¬p  ⊢  p. Questo si traduce nel fatto che in ogni algebra booleana, vale la seguente legge: “¬¬p = 1 implica p=1”.

Questa analisi ha condotto alla definizione della gerarchia di Leibniz, che classifica le logiche in base al grado di coerenza tra equivalenza logica e conseguenza algebrica: dalle logiche algebrizzabili, che presentano il legame più forte, a classi con vincoli più deboli come le logiche dette equivalenziali o protoalgebriche.

La logica algebrica astratta non si limita dunque allo studio di singoli sistemi, ma indaga le condizioni generali del rapporto tra deduzione e struttura. L’intuizione ottocentesca evolve così in una teoria matematica di secondo livello: una vera teoria delle logiche come oggetti strutturali.

La logica algebrica oggi

La storia che abbiamo seguito non si chiude con la formulazione della nozione di algebrizzabilità. Al contrario, quell’impostazione ha aperto un campo di ricerca ampio e ancora in evoluzione, in cui l’algebra continua a essere uno strumento privilegiato per comprendere e sviluppare nuove forme di ragionamento. Vediamo quali sono le varie aree di ricerca attive adesso.

Nuove logiche per nuove esigenze. Nel panorama attuale, la logica classica non è più l’unico paradigma. La ricerca sviluppa sistemi capaci di formalizzare diverse forme di ragionamento, ad esempio in condizioni di incertezza, o di informazione imprecise o incomplete, o con necessità di aggiornare delle credenze. Queste in particolare sono sfide cruciali per l’intelligenza artificiale e il ragionamento automatico: la logica può fornire sistemi di calcolo scritti in un linguaggio che le macchine possano capire. Inoltre in questo contesto, l’approccio algebrico offre un quadro unificatore: confrontare le strutture matematiche associate permette di mettere in dialogo sistemi logici nati in ambiti diversi, sfruttando la potenza tecnica di discipline “vicine” come l’algebra universale, la teoria dei modelli, e la teoria delle categorie, per misurarne la coerenza e l’efficacia.

Rappresentazioni geometriche e topologiche. Una linea di ricerca fondamentale indaga come le logiche possano essere “visualizzate”. Sulla scia del teorema di rappresentazione di Stone, che già negli anni Trenta permetteva di interpretare le algebre booleane attraverso la strutture insiemistiche, la ricerca moderna estende questi risultati a logiche non classiche. L’obiettivo è tradurre le proprietà algebriche in proprietà geometriche, o più in generale topologiche, di spazi corrispondenti. Questa prospettiva trasforma le relazioni logiche astratte in relazioni spaziali, offrendo una comprensione intuitiva e profonda della struttura profonda dei sistemi deduttivi.

La prospettiva astratta e strutturale. Parallelamente alle applicazioni, prosegue l’indagine sui fondamenti inaugurata dalla logica algebrica astratta. Qui l’attenzione si sposta dalla singola logica alle leggi generali che governano ogni possibile relazione di conseguenza. Si cerca di mappare con precisione il confine tra logica e algebra, definendo quali proprietà di un sistema deduttivo siano intrinsecamente algebrizzabili. La logica si conferma così una teoria di “secondo livello”, che studia le proprie regole come oggetti strutturati e universali.

Alla fine del racconto…

Abbiamo visto come la logica algebrica si distingua per la sua capacità di porre al centro le strutture matematiche sottostanti alla deduzione. Interpretare le relazioni di conseguenza attraverso la lente dell’algebra e delle sue rappresentazioni significa esplorare il ragionamento da un punto di vista rigoroso.

Dalle necessità dell’informatica e dell’intelligenza artificiale alla filosofia del linguaggio e alla rappresentazione della conoscenza, le nuove forme di inferenza trovano nelle strutture algebriche un linguaggio potente per essere descritte e confrontate. Al contempo, la riflessione teorica continua a chiarire, in termini universali, cosa significhi “ragionare correttamente”.

Fonti bibliografiche e approfondimenti di lettura:

[1] Burris, Stanley and Javier Legris, “The Algebra of Logic Tradition”, The Stanford Encyclopedia of Philosophy (Spring 2021 Edition), Edward N. Zalta (ed.), https://plato.stanford.edu/archives/spr2021/entries/algebra-logic-tradition

[2] Doxiadis, Apostolos, Christos H. Papadimitriou, Alecos Papadatos, e Annie Di Donna. Logicomix: An Epic Search for Truth. New York: Bloomsbury, 2009. Traduzione Italiana: Editore Guanda, Collana: Guanda Graphic, 2019.

[3] Jansana, Ramon, “Algebraic Propositional Logic”, The Stanford Encyclopedia of Philosophy (Summer 2022 Edition), Edward N. Zalta (ed.), https://plato.stanford.edu/archives/sum2022/entries/logic-algebraic-propositional

Guarda la pagina  AILA x MaddMaths!