George Boole, quando la logica diventa matematica

Il 2 novembre ricorrono 211 anni dalla nascita del matematico George Boole, che contribuì a trasformare il ragionamento in calcolo simbolico

Dalle condizioni vero e falso ai circuiti digitali, una storia che aiuta anche a distinguere l’esecuzione di regole dalla comprensione del significato

Una porta automatica si apre soltanto se il sensore rileva una persona e il sistema è abilitato. Un allarme entra in funzione se viene rilevato del fumo oppure una temperatura eccessiva. Una ricerca seleziona i documenti che contengono una parola, ma non un’altra.

Situazioni differenti condividono una struttura: alcune condizioni vengono combinate secondo regole precise. Possiamo descriverle nel linguaggio quotidiano oppure rappresentarle attraverso simboli, rendendo esplicito come ottenere il risultato.

È una delle possibilità rese accessibili dall’opera di George Boole, nato a Lincoln, in Inghilterra, il 2 novembre 1815. Nel 2026 ricorrono 211 anni dalla sua nascita: un’occasione per comprendere come una ricerca ottocentesca sulla logica abbia contribuito alle basi dell’informatica.

Un matematico prima dell’era digitale

Boole si formò in larga parte da autodidatta e lavorò come insegnante prima di diventare, nel 1849, il primo professore di matematica del Queen’s College di Cork, oggi University College Cork.

Il suo lavoro comprendeva diversi ambiti matematici. Il contributo più conosciuto riguarda però la possibilità di trattare determinate relazioni logiche mediante un linguaggio algebrico.

Due opere segnano questo percorso: The Mathematical Analysis of Logic, pubblicata nel 1847, e An Investigation of the Laws of Thought, del 1854. Boole studiava la struttura del ragionamento molti decenni prima dei computer elettronici. L’impiego delle sue idee nei dispositivi digitali sarebbe arrivato attraverso sviluppi successivi, mostrando quanto una ricerca teorica possa trovare applicazioni lontane dal contesto nel quale è nata.

Vero e falso : un esempio concreto

Per avvicinarsi alla logica booleana nella sua formulazione elementare moderna, immaginiamo due affermazioni:

• A: il sensore rileva una persona.
• B: il sistema della porta è abilitato.

A ciascuna assegniamo un valore: vero, rappresentato convenzionalmente con 1, oppure falso, rappresentato con 0. L’operazione AND, corrispondente alla congiunzione “e”, restituisce vero soltanto quando entrambe le condizioni sono vere.

La tabella rende controllabili tutti i casi possibili. Per sapere quando il comando di apertura viene attivato, possiamo esaminare sistematicamente le combinazioni. Il modello rimane una semplificazione: una porta reale comprende ulteriori condizioni e dispositivi di sicurezza. L’esempio serve a isolare una relazione logica.

“Oppure” e “non”, senza ambiguità

L’operazione OR restituisce vero quando almeno una delle condizioni è vera. Nel caso dell’allarme, basta che venga rilevato fumo oppure che la temperatura superi la soglia prevista.

Questo “oppure” è inclusivo: il risultato resta vero anche quando entrambe le condizioni sono soddisfatte. Nel linguaggio quotidiano, invece, “oppure” può suggerire una scelta esclusiva. Il calcolo richiede di chiarire quale significato si intende utilizzare.

L’operazione NOT inverte il valore: una condizione vera diventa falsa e una falsa diventa vera. Questi esempi mostrano il vantaggio della formalizzazione. Una volta stabiliti simboli e regole, possiamo verificare combinazioni e conseguenze senza affidarci alle oscillazioni del linguaggio ordinario.

Dalle relazioni logiche ai circuiti

Il collegamento con l’ingegneria elettrica si sviluppò molto tempo dopo Boole. Un passaggio decisivo fu il lavoro di Claude Shannon, che negli anni Trenta applicò l’algebra logica all’analisi dei circuiti a relè e di commutazione.

In un circuito ideale, due interruttori in serie consentono il passaggio della corrente soltanto quando entrambi sono chiusi: una struttura corrispondente ad AND. Due percorsi in parallelo possono invece consentirlo quando almeno uno è chiuso: una struttura corrispondente a OR.

Diventa così possibile descrivere un comportamento mediante equazioni e cercare configurazioni equivalenti, anche più semplici. Il passaggio è fondamentale: una relazione astratta può essere realizzata attraverso un sistema fisico. Gli stati elettrici vengono utilizzati per rappresentare valori logici, permettendo la costruzione di dispositivi che eseguono operazioni.

La correttezza del calcolo e la verità delle premesse

Un procedimento formalmente corretto non garantisce, da solo, che la descrizione iniziale della realtà sia corretta. Se un sensore difettoso segnala una presenza inesistente, il circuito può applicare perfettamente la propria regola e produrre comunque un comportamento inappropriato rispetto alla situazione reale.

La distinzione riguarda anche il ragionamento. Una conclusione può seguire validamente dalle premesse, mentre resta da verificare se quelle premesse siano vere e pertinenti.

Formalizzare richiede quindi scelte: quali caratteristiche considerare, quali differenze trascurare, come definire una condizione. La precisione del calcolo deve accompagnarsi alla qualità del modello.

L’intelligenza artificiale oltre le sole regole booleane

Il rapporto con l’IA richiede un’ulteriore distinzione. Nei sistemi digitali, le operazioni logiche contribuiscono al funzionamento dei circuiti. Tuttavia, descrivere un modello di intelligenza artificiale soltanto come una sequenza di AND, OR e NOT non ne spiega adeguatamente l’organizzazione.

Le reti neurali utilizzano parametri numerici appresi dai dati e trasformazioni matematiche. L’architettura Transformer, presentata nel 2017, impiega meccanismi di attenzione per elaborare relazioni tra gli elementi di una sequenza.

Il livello dei circuiti e quello del modello svolgono dunque ruoli differenti nella spiegazione. Conoscere i componenti elementari è essenziale, ma occorre anche comprendere come siano organizzati per svolgere un compito.

Eseguire una regola significa comprenderla ?

L’opera di Boole permette infine di formulare una domanda che attraversa informatica e filosofia: quali relazioni esistono tra manipolare simboli e comprenderne il significato ?

Un sistema può applicare correttamente una regola senza che questa prestazione dimostri, da sola, una comprensione paragonabile a quella umana. Per valutare la comprensione occorre chiarire quali capacità stiamo cercando: usare un concetto in contesti nuovi, collegarlo all’esperienza, motivare una conclusione o riconoscere un errore.

La storia di Boole invita a tenere insieme due esigenze: riconoscere la potenza della formalizzazione e interrogare con precisione ciò che essa consente di affermare.

Trasformare una parte del ragionamento in matematica ha ampliato enormemente le nostre possibilità. Comprendere come utilizziamo quelle possibilità rimane un compito aperto della ricerca e della riflessione umana.