Logica

In breve

La logica è la scienza del ragionamento corretto. Non ci dice cosa è vero sul mondo (di questo si occupano le scienze), ma quando siamo autorizzati a concludere una cosa a partire da altre — cioè quando un'inferenza «regge» e quando invece «non tiene». Il suo oggetto è l'argomento: un insieme di affermazioni (le premesse) offerte a sostegno di un'altra affermazione (la conclusione). E la sua scoperta fondamentale, che percorre tutto il corso, è che la bontà di un argomento — la sua validità — non dipende dal suo contenuto ma dalla sua forma. Per questo la logica può astrarre dagli argomenti concreti e studiarne lo scheletro: le forme che rendono un ragionamento valido qualunque cosa vi si sostituisca. In questo primo capitolo fissiamo i concetti-strumento senza cui nulla di ciò che segue avrebbe senso: che cos'è un argomento, la differenza cruciale tra verità (una proprietà delle singole affermazioni) e validità (una proprietà dell'intero argomento), la distinzione tra ragionamenti deduttivi e induttivi, e l'idea di forma logica. Sono le fondamenta: capirle bene rende naturale tutto il resto.

🎯 Alla fine di questo capitolo saprai: definire un argomento (premesse/conclusione); distinguere nettamente verità e validità; spiegare cos'è un argomento valido e uno corretto (sound); distinguere deduzione e induzione; capire perché la validità dipende dalla forma e non dal contenuto.

L'argomento: premesse e conclusione

Perché conta: l'argomento è l'unità di base di tutta la logica; senza saper riconoscere premesse e conclusione non si può valutare nulla.

L'oggetto della logica è l'argomento (o ragionamento, o inferenza): una sequenza di affermazioni in cui alcune, le premesse, sono offerte come ragioni per accettarne un'altra, la conclusione. «Piove, quindi le strade si bagnano» è un argomento minimo: premessa («piove»), conclusione («le strade si bagnano»), collegate dal segnale inferenziale «quindi». Le affermazioni che compongono un argomento sono proposizioni (o enunciati dichiarativi): frasi che affermano qualcosa e che possono essere vere o false (a differenza di domande, ordini, esclamazioni, che non lo sono). Valutare un argomento significa chiedersi non solo se le sue affermazioni sono vere, ma soprattutto se le premesse, ammesso che siano vere, sostengono davvero la conclusione. Sono due domande diverse, ed è la seconda quella propriamente logica.

📌 Definizione formale. Un argomento è un insieme di proposizioni di cui una (la conclusione) è affermata sulla base delle altre (le premesse); l'argomento pretende che le premesse forniscano un sostegno (deduttivo o induttivo) alla conclusione.

🔗 Analogia. Un argomento è come un ponte che collega ciò che già accettiamo (le premesse, la sponda di partenza) a qualcosa di nuovo (la conclusione, la sponda d'arrivo). La logica non giudica se le sponde sono "belle" (se le premesse sono vere): giudica se il ponte regge, cioè se il passaggio dalle premesse alla conclusione è solido. Si può costruire un ponte perfetto tra due sponde sbagliate, e un ponte crollato tra due sponde giuste: verità delle affermazioni e solidità del passaggio sono cose distinte.

Verità e validità: la distinzione capitale

Perché conta: è la distinzione più importante di tutto il corso; confonderla è la radice di quasi ogni errore logico.

La verità è una proprietà delle singole proposizioni: «Roma è in Italia» è vera, «2+2=5» è falsa. La validità è invece una proprietà dell'intero argomento, e riguarda il legame tra premesse e conclusione. Un argomento (deduttivo) è valido quando è impossibile che le premesse siano tutte vere e la conclusione falsa: se accetti le premesse, devi accettare la conclusione. Attenzione: la validità non garantisce che premesse e conclusione siano vere — garantisce solo che se le premesse fossero vere, la conclusione lo sarebbe. Perciò un argomento valido può avere premesse false. «Tutti i gatti volano; Felix è un gatto; dunque Felix vola» è valido (la forma è impeccabile) ma parte da una premessa falsa. Un argomento che è insieme valido e ha tutte le premesse vere si dice corretto o fondato (in inglese sound): solo allora la conclusione è garantita vera. La logica studia in primo luogo la validità (la forma), lasciando alla conoscenza del mondo il compito di stabilire la verità delle premesse.

🧩 Esempio (le quattro combinazioni). Poiché verità e validità sono indipendenti, si danno casi sorprendenti. Un argomento può essere: (a) valido con premesse vere e conclusione vera («Tutti gli uomini sono mortali; Socrate è uomo; dunque Socrate è mortale» — corretto); (b) valido con premesse false e conclusione falsa (i gatti che volano); (c) valido con premesse false e conclusione vera («Tutti i pesci sono mammiferi; le balene sono pesci; dunque le balene sono mammiferi» — forma valida, conclusione vera per caso!); (d) invalido anche con tutte le affermazioni vere («Alcuni animali sono cani; alcuni cani sono neri; dunque alcuni animali sono neri» — la conclusione è vera, ma non segue validamente). Il caso (d) è il più istruttivo: dimostra che una conclusione vera non basta a rendere valido l'argomento.

⚠️ Attenzione. «Vero/falso» si dice solo delle proposizioni; «valido/invalido» solo degli argomenti. È un errore (frequente e grave) dire «questa affermazione è valida» o «questo ragionamento è vero». Tenere separati i due vocabolari — verità per le frasi, validità per i passaggi — è la prima disciplina mentale del logico.

Deduzione, induzione e la forma logica

Perché conta: distingue i due grandi tipi di ragionamento e introduce l'idea di forma, che è l'oggetto vero della logica formale.

Gli argomenti si dividono in due grandi famiglie. Nella deduzione, le premesse pretendono di garantire con certezza la conclusione: se sono vere e l'argomento è valido, la conclusione è necessariamente vera (non aggiunge informazione nuova, la «estrae» da ciò che è già nelle premesse). Nell'induzione, le premesse offrono solo un sostegno probabile: dall'osservazione di molti casi («il sole è sorto ogni giorno finora») si inferisce una conclusione generale o previsiva («il sole sorgerà domani») che è plausibile ma non certa (le premesse potrebbero essere vere e la conclusione falsa). La logica formale si occupa soprattutto della deduzione, dove la validità è netta. E qui interviene l'idea decisiva: la validità deduttiva dipende dalla forma logica, cioè dalla struttura dell'argomento indipendentemente dal contenuto specifico dei termini. Sostituendo i contenuti con variabili, la forma emerge: «Tutti gli S sono P; x è S; dunque x è P» è valida qualunque cosa siano S, P, x. Isolare queste forme, con appositi simboli, è il programma della logica, dai sillogismi di Aristotele (cap. 2) fino ai linguaggi formali moderni.

🔗 Analogia. La forma logica sta all'argomento come lo stampo sta agli oggetti che vi si colano: uno stesso stampo (la forma «Tutti gli S sono P…») produce infiniti oggetti diversi (argomenti su Socrate, sui gatti, sui numeri) che condividono tutti la stessa struttura e perciò la stessa validità. Il logico studia gli stampi, non i singoli oggetti: è questo che rende la logica una scienza generale, applicabile a ogni ambito del sapere, dalla matematica al diritto alla vita quotidiana.

🗺️ Come si collega il tutto

Questo capitolo ha posato le fondamenta. La logica studia gli argomenti (premesse → conclusione) e ne valuta la validità, cioè la solidità del passaggio, tenuta rigorosamente distinta dalla verità delle singole proposizioni: un argomento è corretto solo se è valido e ha premesse vere. Abbiamo distinto deduzione (garanzia necessaria) e induzione (sostegno probabile), e visto che la validità deduttiva dipende dalla forma logica, non dal contenuto — da cui l'idea di sostituire i termini con variabili per far emergere lo scheletro dell'argomento. Tutto il corso è lo sviluppo di questa idea: come rendere visibili e trattabili le forme valide. Il primo grande tentativo storico di catalogarle è la logica di Aristotele, con la teoria del sillogismo: è il tema del prossimo capitolo, la radice di duemila anni di logica.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Argomento	Premesse offerte a sostegno di una conclusione	Singola proposizione (che è solo vera o falsa)
Proposizione	Enunciato dichiarativo, vero o falso	Domanda/ordine (né veri né falsi)
Verità	Proprietà di una proposizione	Validità (proprietà dell'argomento)
Validità	Impossibile premesse vere e conclusione falsa	Verità delle premesse (può mancare)
Argomento corretto (sound)	Valido e con premesse vere	Solo valido (garantisce meno)
Deduzione vs induzione	Certezza necessaria vs sostegno probabile	Tra loro (diverso tipo di sostegno)
Forma logica	Struttura dell'argomento, astratta dal contenuto	Contenuto specifico dei termini

📝 Riepilogo

• La logica studia il ragionamento corretto: valuta gli argomenti (insiemi di proposizioni: premesse → conclusione), non i singoli fatti.
• Distinzione capitale: la verità è proprietà delle proposizioni; la validità è proprietà dell'argomento (legame premesse-conclusione). Un argomento valido rende impossibile premesse vere e conclusione falsa — ma può avere premesse false.
• Un argomento corretto (sound) è valido + premesse vere: solo allora la conclusione è garantita vera. Verità e validità sono indipendenti (una conclusione vera non rende valido l'argomento).
• Deduzione = garanzia necessaria; induzione = sostegno solo probabile. La logica formale studia soprattutto la deduzione.
• La validità deduttiva dipende dalla forma logica (non dal contenuto): sostituendo i termini con variabili emerge lo scheletro valido. Studiare queste forme è il programma della logica (da Aristotele, cap. 2, ai linguaggi formali moderni).

In breve

La logica come disciplina nasce con un solo uomo: Aristotele (IV sec. a.C.), che per primo, negli scritti raccolti sotto il nome di Organon («strumento»), studia in modo sistematico le forme del ragionamento valido. La sua grande invenzione è il sillogismo: uno schema di argomento con due premesse e una conclusione, in cui — ed è la mossa geniale — i termini concreti sono sostituiti da lettere (A, B, C), così da rendere visibile la forma pura, indipendente dal contenuto. È la prima volta nella storia che il ragionamento viene trattato come un oggetto formale, quasi matematico. Aristotele classifica i tipi di proposizioni (universali e particolari, affermative e negative), combina le premesse in figure e modi, e distingue con precisione quali combinazioni producono sillogismi validi e quali no. La sua teoria fu così potente e completa da restare, per oltre duemila anni, la logica per eccellenza — tanto che Kant poté ancora scrivere che, dopo Aristotele, la logica non aveva fatto «né un passo avanti né uno indietro». Questo capitolo presenta l'impianto della logica aristotelica: le proposizioni categoriche, il sillogismo, la nozione di validità formale, e il perché di questa straordinaria fortuna storica.

🎯 Alla fine di questo capitolo saprai: spiegare che cos'è l'Organon e la novità di Aristotele; classificare le proposizioni categoriche (A, E, I, O); definire il sillogismo e i suoi elementi (termini, premesse, medio); distinguere un sillogismo valido da uno invalido; capire perché l'uso delle lettere fonda la logica formale.

Aristotele e la nascita della logica formale

Perché conta: con Aristotele il ragionamento smette di essere un'arte del discorso e diventa oggetto di scienza; è l'atto di nascita della logica.

Prima di Aristotele si ragionava, si discuteva, si confutava (i sofisti, Socrate, Platone), ma nessuno aveva studiato il ragionamento in sé, isolandone le regole. Aristotele compie questo passo negli scritti dell'Organon (Categorie, Dell'interpretazione, Analitici primi e secondi, Topici, Confutazioni sofistiche): non un contenuto di sapere, ma lo strumento («organon») con cui ogni sapere procede correttamente. La sua intuizione decisiva è che la validità di certi ragionamenti dipende solo dalla loro forma. Per mostrarlo, invece di esempi concreti, usa lettere al posto dei termini: «se A si predica di ogni B, e B di ogni C, allora A si predica di ogni C». Questa astrazione — banale in apparenza — è una rivoluzione: rende il ragionamento un oggetto formale, manipolabile con regole, come farà poi la matematica. Da qui nasce la logica come scienza.

📌 Definizione formale. L'Organon è il corpus degli scritti logici di Aristotele; in esso la logica è concepita come lo strumento (non una parte, ma il presupposto) di ogni scienza, e il ragionamento valido è studiato attraverso la sua forma, resa esplicita mediante lettere schematiche al posto dei termini concreti.

🔗 Analogia. Aristotele fa con il ragionamento ciò che un anatomista fa con il corpo: invece di ammirare la persona vivente (il discorso concreto, persuasivo), ne studia lo scheletro (la struttura inferenziale) per capire cosa lo tiene in piedi. Le lettere A, B, C sono i «raggi X» che rendono visibile l'ossatura logica sotto la carne delle parole. È lo sguardo che trasforma un'abilità (saper argomentare) in una scienza (sapere perché un argomento regge).

Le proposizioni categoriche: A, E, I, O

Perché conta: sono i mattoni del sillogismo; la loro classificazione per quantità e qualità è il presupposto di tutta la sillogistica.

La logica aristotelica si costruisce su un tipo particolare di proposizioni, quelle categoriche, che legano due termini — un soggetto (S) e un predicato (P) — affermando o negando che l'uno appartenga all'altro. Si classificano secondo due criteri incrociati. Per la quantità: universali (riguardano tutto il soggetto: «tutti gli S…») o particolari (riguardano parte del soggetto: «qualche S…»). Per la qualità: affermative o negative. Combinandoli si ottengono quattro tipi fondamentali, indicati tradizionalmente con quattro vocali (dalle parole latine affirmo e nego):

LE QUATTRO PROPOSIZIONI CATEGORICHE
│
├── A  universale affermativa   «Tutti gli S sono P»      (Tutti gli uomini sono mortali)
├── E  universale negativa      «Nessun S è P»            (Nessun uomo è immortale)
├── I  particolare affermativa  «Qualche S è P»           (Qualche uomo è greco)
└── O  particolare negativa     «Qualche S non è P»       (Qualche uomo non è greco)

Le quattro forme (A, E, I, O) sono la "grammatica" di base con cui Aristotele costruisce ogni sillogismo.

Tra queste proposizioni esistono relazioni logiche precise (opposizione, contrarietà, contraddizione), riassunte nel celebre quadrato logico: per esempio A ed O sono contraddittorie (se una è vera l'altra è falsa, e viceversa), come E ed I. Padroneggiare queste quattro forme e i loro rapporti è il presupposto per capire quali combinazioni di premesse producono conclusioni valide.

⚠️ Attenzione. La proposizione universale aristotelica ha una sfumatura che la logica moderna tratterà diversamente: «Tutti gli S sono P» in Aristotele tende a presupporre che esistano degli S (import esistenziale). La logica moderna (cap. 7) interpreta invece «tutti gli S sono P» come un condizionale che è vero anche se non esiste alcun S. È una delle differenze che distinguono la sillogistica classica dalla logica dei predicati: tenerla presente evita confusioni quando confronteremo i due sistemi.

Il sillogismo: struttura e validità

Perché conta: è il cuore della logica aristotelica e il primo esempio storico di forma inferenziale valida studiata in modo rigoroso.

Il sillogismo è un argomento composto da tre proposizioni categoriche: due premesse e una conclusione, costruite su tre termini. Il termine medio (M) compare in entrambe le premesse ma non nella conclusione: è il «ponte» che collega gli altri due, il termine maggiore (P, predicato della conclusione) e il termine minore (S, soggetto della conclusione). L'esempio classico:

Tutti gli uomini (M) sono mortali (P) — premessa maggiore Socrate (S) è un uomo (M) — premessa minore Dunque Socrate (S) è mortale (P) — conclusione

La forma pura, in lettere: «Tutti gli M sono P; tutti gli S sono M; dunque tutti gli S sono P». Aristotele osserva che, a seconda della posizione del medio e della quantità/qualità delle premesse, si generano molte combinazioni possibili (organizzate in figure e modi), ma solo alcune sono valide: producono cioè una conclusione che segue necessariamente. Le altre sono fallaci. Il compito della sillogistica è precisamente separare i modi validi da quelli invalidi, e dimostrare la validità dei primi. Aristotele lo fa con regole (es. il medio deve essere «distribuito» almeno una volta; da due premesse negative non segue nulla) e riducendo tutti i modi validi ad alcuni fondamentali, evidenti.

🧩 Esempio (un sillogismo invalido). Non ogni argomento con due premesse è valido. «Tutti i cani (M) sono animali (P); tutti i gatti (S) sono animali (P); dunque tutti i gatti (S) sono cani (M)» — è invalido, e la conclusione è pure falsa. L'errore è formale: il termine medio («animali») non è mai preso in tutta la sua estensione (non è mai «distribuito»), così non può fare da ponte affidabile. Confrontarlo con il sillogismo di Socrate mostra concretamente che cambia tutto la forma: stesso numero di premesse, ma struttura diversa e quindi validità diversa. È la lezione del cap. 1 (la validità è forma) resa operativa da Aristotele.

🗺️ Come si collega il tutto

Questo capitolo ha presentato la prima logica formale della storia. Aristotele, nell'Organon, studia il ragionamento tramite la sua forma, usando lettere al posto dei termini — l'intuizione che fonda la disciplina (e che sviluppa l'idea di forma logica del cap. 1). I mattoni sono le proposizioni categoriche (A, E, I, O, con i loro rapporti nel quadrato logico); la costruzione è il sillogismo, con i suoi tre termini e il medio che fa da ponte, di cui la teoria separa i modi validi da quelli fallaci. Questa logica dei termini fu così solida da dominare per due millenni. Ma aveva limiti: trattava solo proposizioni della forma soggetto-predicato, e faticava con relazioni, con più quantificatori, con la matematica. Superarli richiederà secoli e un cambio di paradigma. Il prossimo capitolo percorre il lungo ponte che va dagli stoici e dai medievali fino al sogno di Leibniz di un «calcolo» del pensiero — la strada verso la logica moderna.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Organon	Gli scritti logici di Aristotele: la logica come «strumento»	Una scienza particolare (è il presupposto di ogni scienza)
Proposizione categorica	Lega S e P (A, E, I, O) per quantità e qualità	Proposizione composta (con connettivi, cap. 4)
A, E, I, O	Univ. affermativa / univ. negativa / part. afferm. / part. neg.	Tra loro (quantità × qualità)
Quadrato logico	Schema dei rapporti (contraddizione, contrarietà…) tra A E I O	Sillogismo (è una relazione tra proposizioni)
Sillogismo	Due premesse categoriche + conclusione, su tre termini	Argomento in generale (il sillogismo è un tipo)
Termine medio	Il termine (M) presente in entrambe le premesse, non in conclusione	Maggiore (P) e minore (S)
Import esistenziale	L'universale aristotelico presuppone che gli S esistano	L'universale moderno (condizionale, senza tale presupposto)

📝 Riepilogo

• La logica nasce con Aristotele (Organon), che per primo studia la forma del ragionamento usando lettere al posto dei termini: nasce la logica formale.
• I mattoni sono le proposizioni categoriche, classificate per quantità (universale/particolare) e qualità (affermativa/negativa) in quattro tipi: A (tutti S sono P), E (nessun S è P), I (qualche S è P), O (qualche S non è P), con i rapporti del quadrato logico.
• Il sillogismo ha due premesse e una conclusione su tre termini; il termine medio collega maggiore e minore. Solo alcune combinazioni (figure e modi) sono valide.
• La validità è formale: esempi con stessa struttura sono tutti validi (o tutti invalidi), a prescindere dal contenuto (es. il sillogismo di Socrate vs quello fallace su cani e gatti).
• Questa logica dominò per 2000 anni ma aveva limiti (solo soggetto-predicato, difficoltà con relazioni e matematica): il loro superamento porta alla logica moderna (cap. 3 e seguenti).

In breve

Tra la logica di Aristotele (cap. 2) e la logica matematica del Novecento corrono più di duemila anni. Non furono secoli vuoti: la logica visse, si arricchì, cambiò accento, anche se il paradigma aristotelico restò dominante. Questo capitolo è un ponte storico che collega le due grandi stagioni, mostrando come idee decisive maturarono lentamente prima dell'esplosione moderna. Incontreremo gli stoici, che accanto alla logica dei termini di Aristotele svilupparono una logica delle proposizioni (i connettivi «se… allora», «o», «e»), anticipando di duemila anni la logica proposizionale del cap. 4. Vedremo la ricchissima logica medievale, che raffinò l'analisi del linguaggio, delle proprietà dei termini, dei paradossi. E soprattutto incontreremo Leibniz, che per primo sognò esplicitamente ciò che sarà la logica moderna: una characteristica universalis, un linguaggio simbolico perfetto, e un calculus ratiocinator, un «calcolo» del ragionamento che risolvesse le controversie come si risolve un'operazione aritmetica — «calcoliamo!». Quel sogno resterà incompiuto finché, nell'Ottocento, Boole algebrizzerà la logica e Frege creerà il primo linguaggio formale completo, aprendo la logica contemporanea. Questo capitolo racconta la lunga incubazione di quella rivoluzione.

🎯 Alla fine di questo capitolo saprai: distinguere la logica stoica (delle proposizioni) da quella aristotelica (dei termini); riconoscere l'apporto della logica medievale; spiegare il progetto di Leibniz (characteristica e calculus); capire il ruolo di Boole e Frege come fondatori della logica moderna; vedere il filo che unisce venti secoli.

Gli stoici: la logica delle proposizioni

Perché conta: gli stoici scoprirono un continente logico diverso da quello di Aristotele — le connessioni tra proposizioni intere — che sarà il cuore della logica moderna.

Mentre la logica di Aristotele analizza la struttura interna delle proposizioni (soggetto-predicato, i termini), i logici stoici (III sec. a.C., soprattutto Crisippo) studiarono le connessioni tra proposizioni intere, prese come unità. Il loro oggetto sono i ragionamenti costruiti con connettivi: il condizionale «se p allora q», la disgiunzione «o p o q», la congiunzione «p e q», la negazione «non p». Isolarono e catalogarono schemi inferenziali validi che oggi riconosciamo come fondamentali — per esempio il modus ponens: «se p allora q; ma p; dunque q». Usavano numeri ordinali («il primo», «il secondo») al posto delle proposizioni, esattamente come Aristotele usava lettere per i termini. Questa logica proposizionale rimase a lungo in secondo piano rispetto a quella aristotelica, ma è la vera antenata del calcolo che studieremo nel cap. 4: gli stoici avevano visto, con due millenni di anticipo, il livello di analisi su cui si sarebbe costruita la logica moderna.

📌 Definizione formale. La logica stoica (o logica delle proposizioni) studia le inferenze valide in virtù dei connettivi che legano proposizioni intere (se… allora, o, e, non), indipendentemente dalla loro struttura interna soggetto-predicato; è distinta e complementare rispetto alla logica dei termini di Aristotele.

🔗 Analogia. Aristotele e gli stoici guardano il ragionamento a due «ingrandimenti» diversi. Aristotele usa il microscopio: entra dentro la proposizione e ne analizza le parti (soggetto, predicato). Gli stoici usano il grandangolo: trattano ogni proposizione come un mattone unico e studiano come i mattoni si incastrano tra loro (se…, o…, e…). Sono due prospettive complementari, non rivali — e la logica moderna le unificherà, mettendo la logica proposizionale (stoica) alla base e quella dei predicati (che raffina Aristotele) sopra di essa.

I medievali e il sogno di Leibniz

Perché conta: i medievali affinarono l'analisi logica del linguaggio, e Leibniz formulò per primo il programma esplicito della logica moderna.

Il Medioevo fu una grande stagione logica. I logici scolastici (Pietro Ispano, Ockham, Buridano) commentarono e ampliarono l'Organon, ma soprattutto svilupparono analisi originali: la teoria della supposizione (i diversi modi in cui un termine «sta per» qualcosa nel discorso), lo studio delle costanti logiche (sincategoremi: «ogni», «se», «non»…), l'analisi dei paradossi (gli insolubilia, come il paradosso del mentitore). Portarono la logica a una sottigliezza altissima nell'analizzare il linguaggio. Ma la svolta verso il moderno la immagina Gottfried Wilhelm Leibniz (XVII sec.). Leibniz concepisce due progetti rivoluzionari e complementari: una characteristica universalis, un linguaggio simbolico universale in cui ogni concetto sia rappresentato da segni che ne esprimano la composizione (come i numeri esprimono le quantità); e un calculus ratiocinator, un metodo di calcolo che permetta di dedurre le verità manipolando quei simboli secondo regole, meccanicamente. Il sogno è folgorante: ridurre il ragionamento a calcolo, così che, davanti a una disputa, invece di litigare si possa dire «calculemus!» — «calcoliamo!» — e trovare la risposta come si risolve un'addizione. Leibniz non realizzò il progetto, ma ne fissò la meta: è la meta della logica moderna.

🧩 Esempio (perché «calcoliamo!» è un'idea rivoluzionaria). Immagina una controversia — filosofica, giuridica, scientifica — trattata come un problema aritmetico: le premesse tradotte in formule, e la conclusione ottenuta applicando regole meccaniche, verificabile da chiunque, senza appello alla retorica o all'autorità. È l'idea che il pensiero corretto possa avere la stessa oggettività e la stessa decidibilità del calcolo numerico. Questa visione — il ragionamento come manipolazione regolata di simboli — è esattamente ciò che realizzeranno i linguaggi formali (cap. 4-7) e, in ultima analisi, il computer: una macchina che «ragiona» calcolando su simboli. Leibniz, in un certo senso, è il nonno lontano dell'informatica.

Boole e Frege: la logica diventa moderna

Perché conta: con loro il sogno di Leibniz prende corpo; Frege in particolare apre la logica contemporanea e i suoi strumenti.

Nell'Ottocento il progetto leibniziano si realizza in due tappe. George Boole (1815-1864) compie il primo passo algebrizzando la logica: mostra che le operazioni logiche (e, o, non) obbediscono a leggi simili a quelle dell'algebra, e possono essere trattate con un calcolo su simboli (l'algebra booleana, che sarà poi il fondamento dei circuiti digitali e dei computer). Ma la logica di Boole resta, come quella aristotelica, essenzialmente una logica di classi/termini. Il salto decisivo lo compie Gottlob Frege (1848-1925) con la Begriffsschrift («ideografia», 1879): Frege inventa il primo linguaggio formale completo della storia, capace di esprimere l'intera logica dei predicati con i quantificatori («per ogni…», «esiste…», cap. 7). Con Frege si superano finalmente i limiti di Aristotele: si possono trattare le relazioni, le proposizioni con più quantificatori («ogni persona ama qualcuno»), e fondare su basi logiche la matematica. La Begriffsschrift segna la nascita della logica contemporanea: tutto ciò che studieremo dal cap. 4 in poi discende da lì.

🔗 Analogia. Se Aristotele aveva inventato la ruota (la forma logica) e gli stoici un secondo tipo di ruota (le proposizioni), Leibniz progettò l'automobile senza riuscire a costruirla, Boole ne fabbricò il motore (il calcolo algebrico), e Frege assemblò finalmente la macchina completa e funzionante (il linguaggio formale con i quantificatori). Da Frege in poi la logica «si mette in moto» e percorre in pochi decenni più strada che nei venti secoli precedenti: fonda la matematica, incontra i suoi paradossi (cap. 9) e i suoi limiti (cap. 10), e prepara l'era del calcolo automatico.

🗺️ Come si collega il tutto

Questo capitolo ha percorso il lungo ponte tra Aristotele e la logica moderna. Gli stoici scoprirono la logica delle proposizioni (i connettivi: se, o, e, non), complementare a quella dei termini di Aristotele — e antenata della logica proposizionale (cap. 4). I medievali affinarono l'analisi logica del linguaggio (supposizione, sincategoremi, paradossi). Leibniz formulò il programma della logica moderna: un linguaggio simbolico universale (characteristica) e un calcolo del ragionamento (calculus, «calculemus!»). Quel sogno si realizza con Boole (algebra della logica) e soprattutto Frege, che con la Begriffsschrift crea il primo linguaggio formale completo, con i quantificatori, aprendo la logica contemporanea. Ora abbiamo il quadro storico: possiamo entrare nel merito sistematico. Si comincia dal livello più semplice e fondamentale, quello scoperto dagli stoici e formalizzato dai moderni: la logica proposizionale, con i suoi connettivi e le sue tavole di verità. È il tema del prossimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Logica stoica	Logica delle proposizioni intere e dei connettivi	Logica aristotelica (dei termini interni)
Connettivo	Operatore che lega proposizioni (se, o, e, non)	Quantificatore («ogni», «esiste», cap. 7)
Supposizione (medievali)	Come un termine «sta per» qualcosa nel discorso	Significato fisso (dipende dal contesto)
Characteristica universalis	Linguaggio simbolico universale sognato da Leibniz	Calculus (il metodo di calcolo su quei simboli)
Calculus ratiocinator	Calcolo meccanico del ragionamento («calculemus!»)	Retorica/dialettica (persuasione, non calcolo)
Algebra di Boole	Trattamento algebrico delle operazioni logiche	Logica dei predicati (serve Frege)
Begriffsschrift (Frege)	Primo linguaggio formale completo con quantificatori	Sillogistica (limitata a soggetto-predicato)

📝 Riepilogo

• Tra Aristotele e la logica moderna corrono 2000 anni non vuoti: idee decisive maturano lentamente.
• Gli stoici (Crisippo) creano la logica delle proposizioni e dei connettivi (se… allora, o, e, non), complementare a quella dei termini di Aristotele e antenata della logica proposizionale (cap. 4).
• I medievali affinano l'analisi logica del linguaggio (supposizione, sincategoremi, paradossi come il mentitore).
• Leibniz formula il programma della logica moderna: una characteristica universalis (linguaggio simbolico) e un calculus ratiocinator (calcolo del ragionamento): «calculemus!».
• Il sogno si realizza con Boole (algebra della logica → base dei computer) e Frege (Begriffsschrift, 1879: primo linguaggio formale completo con quantificatori), che apre la logica contemporanea e supera i limiti di Aristotele (relazioni, matematica).

In breve

Entriamo ora nel cuore tecnico della logica moderna, cominciando dal suo livello più semplice e fondamentale: la logica proposizionale (o dei connettivi, o degli enunciati). L'idea, ereditata dagli stoici (cap. 3), è di prendere le proposizioni come unità non analizzate — indicate con lettere p, q, r… — e studiare come si combinano tra loro mediante i connettivi logici: la negazione («non», ¬), la congiunzione («e», ∧), la disgiunzione («o», ∨), il condizionale («se… allora», →) e il bicondizionale («se e solo se», ↔). La scoperta chiave è che il valore di verità (vero/falso) di una proposizione composta dipende in modo meccanico e completamente determinato dai valori di verità delle proposizioni componenti: i connettivi sono funzioni di verità. Questo permette di calcolare la verità di qualsiasi formula, per quanto complessa, con uno strumento semplice e infallibile: la tavola di verità, che elenca tutte le combinazioni possibili dei valori delle componenti e ne calcola l'esito. È il primo, concreto realizzarsi del sogno di Leibniz: un calcolo che decide meccanicamente le questioni logiche. Questo capitolo presenta i connettivi, il loro significato esatto (spesso più preciso di quello del linguaggio comune) e il metodo delle tavole di verità.

🎯 Alla fine di questo capitolo saprai: formalizzare enunciati con lettere e connettivi (¬, ∧, ∨, →, ↔); definire ogni connettivo come funzione di verità; costruire e leggere una tavola di verità; capire il condizionale materiale e le sue insidie; calcolare la verità di formule composte.

Proposizioni atomiche, connettivi e formule

Perché conta: è l'alfabeto e la grammatica del calcolo proposizionale; senza questi elementi non si può scrivere né valutare nulla.

La logica proposizionale parte dalle proposizioni atomiche: enunciati semplici, non ulteriormente scomposti, che indichiamo con lettere enunciative (p, q, r…) e a cui attribuiamo un valore di verità (V o F). Da queste si costruiscono proposizioni composte (o molecolari) mediante i connettivi logici, le «costanti» del sistema:

I CINQUE CONNETTIVI FONDAMENTALI
│
├── NEGAZIONE       ¬p      «non p»                 (inverte il valore di p)
├── CONGIUNZIONE    p ∧ q   «p e q»                 (vera solo se ENTRAMBE vere)
├── DISGIUNZIONE    p ∨ q   «p o q» (inclusiva)     (vera se ALMENO UNA vera)
├── CONDIZIONALE    p → q   «se p allora q»         (falsa solo se p vera e q falsa)
└── BICONDIZIONALE  p ↔ q   «p se e solo se q»      (vera se p e q hanno lo STESSO valore)

I connettivi si applicano a proposizioni per formarne di nuove; le parentesi indicano l'ordine, come in aritmetica.

Una formula ben formata è una combinazione sintatticamente corretta di lettere, connettivi e parentesi (per esempio (p ∧ q) → ¬r). Le parentesi sono essenziali per evitare ambiguità, esattamente come in matematica (2+3)×4 differisce da 2+(3×4). La logica proposizionale studia queste formule e i loro valori di verità.

📌 Definizione formale. Un connettivo verofunzionale è un operatore che, applicato a una o più proposizioni, produce una proposizione composta il cui valore di verità è funzione (dipende univocamente e solo) dei valori di verità delle proposizioni componenti.

I connettivi come funzioni di verità

Perché conta: l'idea che i connettivi siano funzioni di verità è ciò che rende la logica proposizionale un calcolo esatto e decidibile.

Il punto cruciale è che ogni connettivo è definito completamente da come determina il valore del composto a partire dai valori dei componenti — nient'altro conta (non il significato, non il legame causale, solo i valori V/F). La negazione ¬p inverte: è V se p è F, e viceversa. La congiunzione p ∧ q è V solo quando p e q sono entrambe V. La disgiunzione p ∨ q (in senso inclusivo) è V quando almeno una è V (dunque anche quando lo sono entrambe). Il bicondizionale p ↔ q è V quando p e q hanno lo stesso valore. Il condizionale p → q merita attenzione speciale (sotto). Poiché ogni connettivo è una funzione di verità, il valore di qualsiasi formula composta si può calcolare conoscendo solo i valori delle sue lettere: è un procedimento puramente meccanico, che una macchina può eseguire — e infatti li esegue (i circuiti logici del computer sono congiunzioni, disgiunzioni e negazioni realizzate fisicamente).

⚠️ Attenzione (la «o» inclusiva ed esclusiva). Nel linguaggio comune «o» è ambiguo. «Vuoi il caffè o il tè?» è esclusivo (una cosa o l'altra, non entrambe); «per entrare serve la tessera o un documento» è inclusivo (basta uno, ma vanno bene anche entrambi). In logica, il connettivo ∨ è per convenzione inclusivo (V anche se entrambe sono V). La «o» esclusiva esiste ma è un connettivo diverso (a volte scritto ⊕), esprimibile come (p ∨ q) ∧ ¬(p ∧ q). Precisare il significato dei connettivi, più rigoroso di quello del linguaggio ordinario, è uno dei servizi che la logica rende.

Le tavole di verità

Perché conta: è il metodo meccanico che decide ogni questione della logica proposizionale — validità, equivalenza, coerenza — senza bisogno di intuizione.

La tavola di verità è lo strumento che rende operativa tutta la logica proposizionale. Per una formula con n lettere distinte, si elencano tutte le possibili combinazioni dei loro valori (sono 2ⁿ righe: 2 per una lettera, 4 per due, 8 per tre…) e, riga per riga, si calcola il valore della formula applicando le definizioni dei connettivi, dal più interno al più esterno. Ecco le tavole dei connettivi principali:

 p | q | ¬p | p∧q | p∨q | p→q | p↔q
---+---+----+-----+-----+-----+-----
 V | V |  F |  V  |  V  |  V  |  V
 V | F |  F |  F  |  V  |  F  |  F
 F | V |  V |  F  |  V  |  V  |  F
 F | F |  V |  F  |  F  |  V  |  V

Leggendo le colonne si ritrovano le definizioni: ∧ è V solo nella prima riga (entrambe V); ∨ è F solo nell'ultima (entrambe F); → è F solo nella seconda (p vera, q falsa); ↔ è V quando p e q coincidono. Con la tavola si può calcolare qualsiasi formula composta, e — lo vedremo nel cap. 5 — decidere se è una tautologia, se due formule sono equivalenti, se un argomento è valido. È la realizzazione del calcolo leibniziano per la logica degli enunciati: un metodo finito, meccanico e infallibile.

🧩 Esempio (calcolare una formula composta). Calcoliamo (p ∧ q) → p. Con due lettere, quattro righe. Dove p∧q è V (solo riga 1, p=V q=V), la conclusione p è V, quindi il condizionale è V. Dove p∧q è F (righe 2, 3, 4), il condizionale è automaticamente V (un condizionale con antecedente falso è sempre V). Risultato: la formula è V in tutte le righe — è una tautologia, vera per pura forma («se p e q, allora p» è sempre vero). La tavola lo ha dimostrato meccanicamente, senza bisogno di «capire» il contenuto: è la potenza del metodo.

🗺️ Come si collega il tutto

Questo capitolo ha introdotto la logica proposizionale, il livello base scoperto dagli stoici (cap. 3) e formalizzato dai moderni. Le proposizioni atomiche (p, q, r…) si combinano con i connettivi (¬, ∧, ∨, →, ↔) in formule composte; ogni connettivo è una funzione di verità, cioè determina meccanicamente il valore del composto da quello dei componenti. Lo strumento che ne deriva è la tavola di verità: elencando le 2ⁿ combinazioni possibili, calcola il valore di qualsiasi formula in modo finito e meccanico — il calcolo di Leibniz realizzato. Abbiamo anche visto che i connettivi logici sono più precisi di quelli del linguaggio comune (la «o» inclusiva; il condizionale materiale). Ma finora abbiamo solo calcolato formule: non abbiamo ancora usato le tavole per lo scopo vero della logica, cioè valutare la validità degli argomenti e riconoscere le verità puramente formali (le tautologie). Come si passa dalle tavole alla validità? È il tema del prossimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Proposizione atomica	Enunciato semplice, indicato con p, q, r…	Proposizione composta (con connettivi)
Connettivo	Operatore verofunzionale (¬, ∧, ∨, →, ↔)	Quantificatore (∀, ∃, cap. 7)
Funzione di verità	Il valore del composto dipende solo da quello dei componenti	Legame di significato/causa (irrilevante qui)
Congiunzione ∧	Vera solo se entrambe vere	Disgiunzione ∨ (vera se almeno una)
Disgiunzione ∨	Inclusiva: vera se almeno una (anche entrambe)	«o» esclusiva (⊕: una sola delle due)
Condizionale →	Falso solo se antecedente V e conseguente F	Bicondizionale ↔ (stesso valore); implicazione causale
Tavola di verità	Elenca tutte le 2ⁿ combinazioni e calcola la formula	Dimostrazione (cap. 6): metodo diverso

📝 Riepilogo

• La logica proposizionale tratta le proposizioni come unità (lettere p, q, r…) e studia come si combinano con i connettivi: ¬ (non), ∧ (e), ∨ (o inclusiva), → (se… allora), ↔ (se e solo se).
• Ogni connettivo è una funzione di verità: il valore della proposizione composta dipende solo e univocamente dai valori delle componenti → il calcolo è meccanico.
• La ∨ logica è inclusiva (vera anche se entrambe vere); il condizionale → è falso solo quando l'antecedente è vero e il conseguente falso (attenzione: non implica un legame causale).
• La tavola di verità elenca tutte le 2ⁿ combinazioni dei valori delle lettere e calcola il valore di qualsiasi formula: metodo finito, meccanico, infallibile (il «calculemus» di Leibniz per gli enunciati).
• Le tavole permetteranno di definire e riconoscere tautologie, equivalenze e la validità degli argomenti: è il tema del cap. 5.

In breve

Nel capitolo precedente abbiamo imparato a calcolare il valore di verità di qualsiasi formula con le tavole di verità. Ora usiamo quello strumento per lo scopo vero della logica: riconoscere le verità logiche e valutare la validità degli argomenti. Tre concetti-chiave guidano il capitolo. Il primo è la tautologia: una formula che risulta vera in ogni riga della tavola, cioè vera per pura forma, qualunque siano i fatti (come «piove o non piove»). Il suo opposto è la contraddizione (falsa in ogni riga), e in mezzo stanno le formule contingenti (a volte vere, a volte false). Il secondo è l'equivalenza logica: due formule sono equivalenti quando hanno la stessa colonna di verità, cioè «dicono la stessa cosa» dal punto di vista logico (come p → q e ¬q → ¬p). Il terzo, il più importante, è la validità di un argomento, che ora possiamo verificare meccanicamente: un argomento è valido se e solo se non c'è alcuna riga in cui le premesse sono tutte vere e la conclusione falsa. Infine passeremo in rassegna le grandi forme di argomento valide (modus ponens, modus tollens, sillogismo ipotetico e disgiuntivo) e le insidiose fallacie formali che le imitano (affermazione del conseguente, negazione dell'antecedente). È il momento in cui la logica proposizionale diventa uno strumento di valutazione del ragionamento reale.

🎯 Alla fine di questo capitolo saprai: definire tautologia, contraddizione e formula contingente; riconoscere l'equivalenza logica; verificare la validità di un argomento con le tavole di verità; applicare le forme valide (modus ponens, modus tollens, ecc.); smascherare le fallacie formali che le imitano.

Tautologie, contraddizioni e contingenze

Perché conta: le tautologie sono le «verità logiche» pure, il nucleo di ciò che la logica scopre; distinguerle dalle contingenze è capire cosa la logica può e non può dire.

Applicando le tavole di verità (cap. 4), ogni formula ricade in una di tre categorie, secondo la sua colonna finale. Una tautologia (o verità logica) è una formula vera in tutte le righe: è vera indipendentemente da come stanno le cose, per la sua sola forma. Esempi: p ∨ ¬p («piove o non piove» — il principio del terzo escluso), ¬(p ∧ ¬p) (principio di non contraddizione), p → p. Una contraddizione è falsa in tutte le righe (es. p ∧ ¬p, «piove e non piove»): non può mai essere vera. Una formula contingente è vera in alcune righe e falsa in altre (es. p ∧ q): il suo valore dipende dai fatti. Questa tripartizione è profonda: le tautologie sono ciò che la logica «sa» a priori, senza guardare il mondo — ma proprio per questo non informano sul mondo (dire «domani pioverà o non pioverà» è certissimo ma inutile per l'ombrello). La logica garantisce la forma, non i contenuti: è il prezzo e la forza della sua certezza.

📌 Definizione formale. Una tautologia è una formula vera in ogni assegnazione di valori di verità alle sue lettere (vera in tutte le righe della tavola); una contraddizione è falsa in ogni assegnazione; una formula contingente è vera in almeno una e falsa in almeno una.

🔗 Analogia. Le tautologie sono come le regole di un gioco rispetto alle partite: «in ogni partita, o vince il bianco, o non vince il bianco» è certamente vero a prescindere da come si gioca — ma non ti dice chi vincerà questa partita. Le contingenze sono le mosse concrete, che dipendono da come stanno le cose. La logica è maestra delle regole (le tautologie), non profeta delle partite (i fatti): la sua certezza è totale proprio perché rinuncia a parlare del contenuto.

Equivalenza logica e validità

Perché conta: l'equivalenza permette di trasformare le formule conservandone il senso, e la validità è il concetto-obiettivo di tutta la logica, ora reso calcolabile.

Due formule sono logicamente equivalenti quando hanno la stessa colonna di verità (stesso valore in ogni riga): sono intercambiabili, «dicono la stessa cosa» logicamente. Equivalenze fondamentali sono le leggi di De Morgan — ¬(p ∧ q) equivale a ¬p ∨ ¬q, e ¬(p ∨ q) a ¬p ∧ ¬q (negare una congiunzione = disgiungere le negazioni, e viceversa) — e l'equivalenza tra il condizionale e la sua contronominale: p → q equivale a ¬q → ¬p. Ma il concetto centrale è la validità di un argomento, che ora possiamo verificare meccanicamente. Un argomento è valido se e solo se non esiste alcuna riga della tavola in cui tutte le premesse sono vere e la conclusione è falsa. Equivalentemente: l'argomento è valido se e solo se la formula «(congiunzione delle premesse) → conclusione» è una tautologia. Così il concetto di validità del cap. 1 — «impossibile premesse vere e conclusione falsa» — diventa una verifica finita e decidibile: basta compilare la tavola e cercare la «riga fatale».

🧩 Esempio (verificare la validità con la tavola). Argomento: «se piove, la strada è bagnata; piove; dunque la strada è bagnata». Forma: premesse p → q, p; conclusione q. Cerchiamo una riga in cui entrambe le premesse siano V e la conclusione F. Perché p sia V e q sia F: guardiamo la riga p=V, q=F. Lì p → q è F (antecedente V, conseguente F). Dunque non esiste alcuna riga con premesse tutte vere e conclusione falsa: l'argomento è valido. Abbiamo dimostrato la validità del modus ponens meccanicamente. Lo stesso metodo smaschera gli argomenti invalidi, esibendo la riga che li fa cadere.

Le forme valide e le fallacie che le imitano

Perché conta: conoscere gli schemi validi (e i loro imitatori fallaci) è ciò che permette di usare la logica nel ragionamento reale, evitando errori tipici e persuasivi.

Alcune forme di argomento valide ricorrono continuamente e conviene conoscerle a memoria:

FORME VALIDE                          FALLACIE (invalide) che le imitano
│                                     │
├ MODUS PONENS                        ├ AFFERMAZIONE DEL CONSEGUENTE
│   p → q ,  p    ⊢  q                │   p → q ,  q    ⊢  p     ✗
│                                     │
├ MODUS TOLLENS                       ├ NEGAZIONE DELL'ANTECEDENTE
│   p → q ,  ¬q   ⊢  ¬p               │   p → q ,  ¬p   ⊢  ¬q    ✗
│                                     │
├ SILLOGISMO IPOTETICO
│   p → q ,  q → r  ⊢  p → r
│
└ SILLOGISMO DISGIUNTIVO
    p ∨ q ,  ¬p    ⊢  q

Il modus ponens («se p allora q; p; dunque q») e il modus tollens («se p allora q; non q; dunque non p») sono i due pilastri del ragionamento condizionale. Il sillogismo ipotetico concatena condizionali; il disgiuntivo elimina un'alternativa. Ma queste forme hanno imitatori fallaci, invalidi e però psicologicamente convincenti. L'affermazione del conseguente («se p allora q; q; dunque p») è invalida: «se piove la strada è bagnata; la strada è bagnata; dunque piove» — no, poteva averla bagnata l'autobotte. La negazione dell'antecedente («se p allora q; non p; dunque non q») è pure invalida: «se piove la strada è bagnata; non piove; dunque non è bagnata» — di nuovo, l'autobotte. Riconoscere queste fallacie è una delle competenze più utili che la logica offre alla vita reale.

⚠️ Attenzione. Le fallacie formali sono pericolose perché somigliano alle forme valide (cambiano solo per la posizione di una negazione o del termine affermato) e spesso «suonano» giuste. Il rimedio è formalizzare: tradurre l'argomento in simboli e verificare con la tavola. Se esiste una riga con premesse vere e conclusione falsa, l'argomento è fallace — per quanto persuasivo. La logica formale è precisamente l'antidoto contro la persuasività ingannevole di certe forme.

🗺️ Come si collega il tutto

Questo capitolo ha trasformato le tavole di verità (cap. 4) nello strumento di valutazione della logica. Abbiamo distinto tautologie (vere per forma, le «verità logiche», ma non informative sul mondo), contraddizioni (sempre false) e contingenze; definito l'equivalenza logica (stessa colonna: es. De Morgan, contronominale); e soprattutto reso la validità una verifica meccanica — un argomento è valido se non c'è riga con premesse vere e conclusione falsa (cioè se «premesse → conclusione» è tautologia). Infine abbiamo catalogato le forme valide (modus ponens, tollens, sillogismo ipotetico e disgiuntivo) e le fallacie che le imitano (affermazione del conseguente, negazione dell'antecedente). Le tavole però diventano ingombranti quando le lettere sono molte (2ⁿ righe crescono in fretta) e, soprattutto, non «mostrano» il **percorso» del ragionamento. Serve un metodo che costruisca la conclusione passo per passo, come si fa nelle dimostrazioni matematiche: la deduzione naturale. È il tema del prossimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Tautologia	Formula vera in ogni riga (verità logica)	Contingenza (dipende dai fatti)
Contraddizione	Formula falsa in ogni riga	Tautologia (sempre vera)
Equivalenza logica	Stessa colonna di verità (intercambiabili)	Uguaglianza sintattica (stesse lettere)
Validità (verifica)	Nessuna riga con premesse V e conclusione F	Verità delle premesse (altra cosa)
Modus ponens	p→q, p ⊢ q (valido)	Affermazione del conseguente (p→q, q ⊢ p: fallace)
Modus tollens	p→q, ¬q ⊢ ¬p (valido)	Negazione dell'antecedente (p→q, ¬p ⊢ ¬q: fallace)
Leggi di De Morgan	¬(p∧q) ≡ ¬p∨¬q ; ¬(p∨q) ≡ ¬p∧¬q	—

📝 Riepilogo

• Ogni formula è tautologia (vera in ogni riga: verità logica, non informativa), contraddizione (falsa in ogni riga) o contingente (dipende dai fatti). La logica garantisce la forma, non i contenuti.
• Due formule sono logicamente equivalenti se hanno la stessa colonna di verità (es. De Morgan; p→q ≡ ¬q→¬p, contronominale).
• Un argomento è valido ⇔ non c'è riga con premesse tutte vere e conclusione falsa ⇔ «(premesse) → conclusione» è una tautologia: la validità diventa decidibile con la tavola.
• Forme valide fondamentali: modus ponens (p→q, p ⊢ q), modus tollens (p→q, ¬q ⊢ ¬p), sillogismo ipotetico e disgiuntivo.
• Fallacie formali che le imitano (invalide ma convincenti): affermazione del conseguente (p→q, q ⊢ p) e negazione dell'antecedente (p→q, ¬p ⊢ ¬q). Rimedio: formalizzare e verificare.

In breve

Le tavole di verità (cap. 4-5) decidono ogni questione della logica proposizionale, ma hanno due difetti: crescono a dismisura (2ⁿ righe) e, soprattutto, non mostrano come si ragiona — danno il verdetto, non il percorso. La deduzione naturale (introdotta negli anni '30 da Gentzen e Jaśkowski) offre l'alternativa: un sistema di regole di inferenza con cui si costruisce una dimostrazione passo per passo, dalle premesse alla conclusione, imitando il modo in cui effettivamente ragioniamo. È l'altra grande via della logica, quella sintattica (o dimostrativa), accanto a quella semantica delle tavole. L'idea è elegante: per ogni connettivo ci sono regole di introduzione (come ottenere una formula con quel connettivo) e di eliminazione (come usare una formula che lo contiene). Con poche regole — il modus ponens diventa l'eliminazione del condizionale, e così via — si possono derivare tutte le verità logiche, concatenando passaggi ciascuno dei quali è evidentemente valido. Compaiono anche tecniche potenti come l'assunzione provvisoria (si suppone qualcosa «per prova» e la si scarica poi) e la riduzione all'assurdo. Questo capitolo presenta lo spirito e le regole principali della deduzione naturale, e la distinzione fondamentale tra derivabilità (⊢, sintassi) e conseguenza logica (⊨, semantica).

🎯 Alla fine di questo capitolo saprai: distinguere l'approccio semantico (tavole) da quello sintattico (dimostrazioni); capire le regole di introduzione ed eliminazione dei connettivi; seguire una dimostrazione in deduzione naturale; usare assunzioni provvisorie e riduzione all'assurdo; distinguere ⊢ (derivabilità) da ⊨ (conseguenza).

Due modi di fare logica: semantica e sintassi

Perché conta: è una delle grandi distinzioni concettuali della logica; capirla illumina tutto ciò che segue, fino ai teoremi di Gödel (cap. 10).

Esistono due modi complementari di stabilire che una conclusione «segue» dalle premesse. Il primo è semantico: si ragiona sui valori di verità (le tavole del cap. 4-5). Si dice che C è conseguenza logica delle premesse — in simboli ⊨ — quando ogni assegnazione che rende vere le premesse rende vera anche C (non c'è «riga fatale»). Il secondo è sintattico (o dimostrativo): si ragiona manipolando simboli secondo regole prefissate, senza guardare i significati. Si dice che C è derivabile dalle premesse — in simboli ⊢ — quando esiste una dimostrazione, cioè una sequenza finita di passaggi che, partendo dalle premesse e applicando le regole, arriva a C. La deduzione naturale è un sistema del secondo tipo. Le due nozioni corrispondono a due punti di vista: ⊨ guarda ai modelli (come stanno le cose), ⊢ guarda alle regole (cosa si può derivare). Che coincidano — che si possa derivare tutte e sole le conseguenze logiche — non è ovvio: è il contenuto dei teoremi di correttezza e completezza (cap. 10).

📌 Definizione formale. C è conseguenza logica di Γ (Γ ⊨ C) se ogni interpretazione che soddisfa tutte le formule di Γ soddisfa C. C è derivabile da Γ (Γ ⊢ C) se esiste una dimostrazione finita di C a partire da Γ mediante le regole del sistema. La prima è nozione semantica, la seconda sintattica.

🔗 Analogia. La differenza tra ⊨ e ⊢ è come quella tra verificare che una strada porta a destinazione guardando la mappa dall'alto (semantica: vedo tutte le posizioni e controllo), e percorrerla effettivamente passo dopo passo seguendo le indicazioni stradali (sintassi: applico regole locali senza vedere l'insieme). La mappa (tavole) dà una vista globale ma diventa ingestibile per territori grandi; il percorso (dimostrazione) procede localmente e si adatta a sistemi anche molto complessi (come la logica dei predicati, cap. 7, dove le tavole non bastano più).

Le regole di introduzione ed eliminazione

Perché conta: sono il meccanismo con cui si costruiscono le dimostrazioni; la simmetria introduzione/eliminazione è l'idea profonda della deduzione naturale.

Nella deduzione naturale ogni connettivo ha due tipi di regole: una (o più) di introduzione, che dice come produrre una formula con quel connettivo, e una (o più) di eliminazione, che dice come sfruttare una formula che lo contiene. Alcuni esempi:

CONNETTIVO   INTRODUZIONE (come ottenerlo)     ELIMINAZIONE (come usarlo)
│
∧ (e)        da p e da q  →  p ∧ q             da p ∧ q  →  p  (e anche  q)
∨ (o)        da p  →  p ∨ q                    da p∨q, e da p→r, e da q→r  →  r
→ (se…)      da un'assunzione p che porta a q  da p→q e da p  →  q
             →  p → q   (scarico l'assunzione)     (= MODUS PONENS)
¬ (non)      da un'assunzione p che porta a     da p e da ¬p  →  ⊥ (assurdo)
             contraddizione  →  ¬p

La regola di eliminazione del condizionale è esattamente il modus ponens (cap. 5); la sua introduzione formalizza il ragionamento «supponiamo p… allora ottengo q… dunque se p allora q». Con un piccolo insieme di queste regole — poche, ciascuna intuitivamente evidente — si può derivare qualsiasi verità logica, concatenandole. La dimostrazione è una sequenza di righe, ognuna giustificata o come premessa, o come assunzione, o come applicazione di una regola a righe precedenti. Il risultato è che il ragionamento diventa trasparente: si vede perché la conclusione segue, non solo che segue.

🧩 Esempio (una mini-dimostrazione). Deriviamo q da p → q, ¬q → r, ¬r (le premesse). 1) p → q (premessa); 2) ¬q → r (premessa); 3) ¬r (premessa). Ora: 4) da 2 e 3, per modus tollens (che è derivabile dalle regole di → e ¬), ottengo ¬¬q; 5) da 4, per eliminazione della doppia negazione, ottengo q. La conclusione q è derivata: ogni passo è giustificato da una regola applicata a righe precedenti. A differenza della tavola (che darebbe solo il verdetto «valido»), qui vediamo il cammino che collega premesse e conclusione — il valore aggiunto della deduzione.

Assunzioni provvisorie e riduzione all'assurdo

Perché conta: sono le tecniche che danno alla deduzione naturale la sua potenza, e formalizzano modi di ragionare che usiamo di continuo.

Due tecniche rendono la deduzione naturale particolarmente potente e «naturale». La prima è l'assunzione provvisoria (o ipotesi di lavoro): si introduce una formula «per prova», non come verità stabilita ma come ipotesi da esplorare; se ne traggono conseguenze; e poi la si scarica con una regola appropriata. È ciò che facciamo dicendo «supponiamo per un momento che sia così…»: l'introduzione del condizionale funziona così (assumo p, arrivo a q, concludo p → q e l'assunzione p è scaricata — non serve più che p sia vera). La seconda è la riduzione all'assurdo (reductio ad absurdum): per dimostrare una tesi, si assume la sua negazione e si mostra che porta a una contraddizione (⊥); poiché il falso non può derivare dal vero, l'assunzione era sbagliata, dunque vale la tesi. È uno dei ragionamenti più eleganti e antichi (già in Euclide e negli stoici): non si prova direttamente la tesi, ma si distrugge la sua negazione. Entrambe le tecniche mostrano che la deduzione naturale non è un formalismo arido, ma la messa in forma rigorosa di mosse di pensiero che compiamo spontaneamente.

⚠️ Attenzione. L'assunzione provvisoria va scaricata correttamente: una conclusione «dipende» dalle assunzioni ancora aperte. Un errore tipico del principiante è dimenticare un'assunzione aperta e trattare come «dimostrata» una formula che invece vale solo sotto quell'ipotesi. La contabilità delle assunzioni (quali sono aperte, quando vengono scaricate) è il cuore della disciplina formale della deduzione: garantisce che ciò che si conclude «senza ipotesi» sia davvero una verità logica, non un risultato condizionato.

🗺️ Come si collega il tutto

Questo capitolo ha introdotto la deduzione naturale, la via sintattica (dimostrativa) della logica, complementare a quella semantica delle tavole (cap. 4-5). Abbiamo distinto la conseguenza logica (⊨, semantica: nessun modello con premesse vere e conclusione falsa) dalla derivabilità (⊢, sintassi: esiste una dimostrazione con le regole). Le regole di introduzione ed eliminazione dei connettivi permettono di costruire la conclusione passo per passo (l'eliminazione di → è il modus ponens); tecniche come l'assunzione provvisoria e la riduzione all'assurdo formalizzano modi di ragionare naturali. La deduzione naturale «mostra il percorso» del ragionamento, e — a differenza delle tavole — si estende senza problemi ai sistemi più ricchi. E qui sta il punto: la logica proposizionale non basta a esprimere argomenti come «tutti gli uomini sono mortali, Socrate è un uomo…», dove conta la struttura interna delle proposizioni e la parola «tutti». Serve un salto: la logica dei predicati e i quantificatori, che finalmente recuperano e superano Aristotele. È il tema del prossimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Semantica (⊨)	Conseguenza per valori di verità (tavole, modelli)	Sintassi (⊢: derivazione con regole)
Sintassi / derivabilità (⊢)	Esiste una dimostrazione con le regole	Semantica (⊨: nessun controesempio)
Deduzione naturale	Sistema di regole per dimostrare passo per passo	Tavole di verità (metodo semantico)
Introduzione/eliminazione	Come ottenere / come usare un connettivo	Tra loro (produrre vs sfruttare)
Assunzione provvisoria	Ipotesi «per prova», poi scaricata	Premessa (verità assunta stabile)
Riduzione all'assurdo	Assumo la negazione, ne ricavo contraddizione	Prova diretta (deriva subito la tesi)
⊥ (assurdo/falso)	La contraddizione, da cui segue qualunque cosa	Una formula contingente falsa

📝 Riepilogo

• Due vie complementari: semantica (⊨, conseguenza logica via tavole/modelli: nessun controesempio) e sintattica (⊢, derivabilità: esiste una dimostrazione con regole). La deduzione naturale è del secondo tipo.
• Ogni connettivo ha regole di introduzione (come ottenerlo) ed eliminazione (come usarlo): l'eliminazione di → è il modus ponens. Con poche regole evidenti si derivano tutte le verità logiche.
• Una dimostrazione è una sequenza di righe, ognuna giustificata (premessa, assunzione o regola): mostra perché e come la conclusione segue, non solo che segue.
• Tecniche potenti: l'assunzione provvisoria (ipotesi «per prova», da scaricare) e la riduzione all'assurdo (assumo la negazione della tesi → contraddizione → la tesi vale).
• La deduzione naturale è trasparente ed estensibile oltre la logica proposizionale: serve infatti per la logica dei predicati (cap. 7), dove le tavole non bastano più.

In breve

La logica proposizionale (cap. 4-6) è potente ma cieca all'interno delle proposizioni: tratta «Socrate è mortale» come un blocco unico p, senza vedere che parla di un individuo (Socrate) e di una proprietà (essere mortale). Così non può rendere conto del più classico dei ragionamenti — «tutti gli uomini sono mortali; Socrate è un uomo; dunque Socrate è mortale» — perché la validità dipende proprio dalla parola «tutti» e dalla struttura soggetto-predicato, che la logica proposizionale non «vede». Il salto decisivo, compiuto da Frege (cap. 3), è la logica dei predicati (o del primo ordine), che analizza la struttura interna delle proposizioni con quattro nuovi ingredienti: i termini individuali (nomi come s per Socrate, e variabili x, y), i predicati (proprietà e relazioni: U(x) = «x è un uomo», A(x, y) = «x ama y»), e soprattutto i due quantificatori — l'universale ∀ («per ogni…») e l'esistenziale ∃ («esiste almeno un…»). Con questi strumenti si formalizza «tutti gli uomini sono mortali» come ∀x (U(x) → M(x)) e si recupera — potenziandola enormemente — tutta la logica di Aristotele, più le relazioni e i ragionamenti che gli sfuggivano. È la logica su cui poggiano la matematica e gran parte della filosofia analitica. Questo capitolo presenta predicati, quantificatori, e l'arte di formalizzare il linguaggio.

🎯 Alla fine di questo capitolo saprai: spiegare perché la logica proposizionale è insufficiente; usare termini, predicati e variabili; padroneggiare i quantificatori ∀ e ∃ e la loro interazione con la negazione; formalizzare enunciati (comprese le proposizioni categoriche di Aristotele); capire la differenza tra variabili libere e vincolate.

Perché serve: oltre le proposizioni intere

Perché conta: individua il limite preciso della logica proposizionale e motiva l'intero apparato dei predicati.

La logica proposizionale considera le proposizioni come atomi indivisibili (p, q, r). Questo le impedisce di cogliere inferenze che dipendono dalla struttura interna degli enunciati. L'argomento «Tutti gli uomini sono mortali; Socrate è un uomo; dunque Socrate è mortale» è chiaramente valido, ma formalizzato in logica proposizionale diventa «p; q; dunque r» — invalido, perché le tre proposizioni appaiono come atomi scollegati. Il legame che rende valido l'argomento sta dentro le proposizioni: nel fatto che «uomo» e «mortale» sono proprietà, che «Socrate» è un individuo che possiede la prima, e che «tutti» stabilisce un legame universale tra le due proprietà. Per catturare tutto ciò occorre scomporre la proposizione nei suoi costituenti — individui, predicati, quantificatori — e questo è esattamente ciò che fa la logica dei predicati. Non sostituisce quella proposizionale: la estende, aggiungendo un livello di analisi più fine (i connettivi restano, si aggiungono predicati e quantificatori).

🔗 Analogia. La logica proposizionale vede le frasi come scatole chiuse e studia come si legano tra loro (con e, o, se…). La logica dei predicati apre le scatole e guarda cosa c'è dentro: gli oggetti di cui si parla, le proprietà che si attribuiscono, e le parole «tutti» e «qualche» che ne governano la portata. È come passare dalla chimica che studia come le molecole reagiscono tra loro, alla chimica che studia la struttura interna delle molecole (atomi e legami): un livello di analisi più profondo, che spiega ciò che il livello superiore doveva dare per scontato.

Termini, predicati e i due quantificatori

Perché conta: sono i nuovi mattoni; i quantificatori in particolare sono la vera invenzione che rende la logica moderna infinitamente più espressiva di Aristotele.

Gli ingredienti della logica dei predicati sono quattro. I termini individuali designano oggetti: le costanti (nomi propri: s = Socrate) e le variabili (x, y, z, segnaposto per «un oggetto qualsiasi»). I predicati esprimono proprietà o relazioni, con uno o più «posti»: M(x) = «x è mortale» (proprietà, un posto), A(x, y) = «x ama y» (relazione, due posti), e così via. I connettivi (¬, ∧, ∨, →, ↔) restano quelli del cap. 4. La novità sono i quantificatori, che dicono per quanti oggetti vale una condizione:

I DUE QUANTIFICATORI
│
├── UNIVERSALE     ∀x P(x)   «per OGNI x, P(x)»           (P vale per TUTTI gli oggetti)
│                            es. ∀x (U(x) → M(x)) = «tutti gli uomini sono mortali»
│
└── ESISTENZIALE   ∃x P(x)   «ESISTE almeno un x tale che P(x)»  (P vale per QUALCHE oggetto)
                             es. ∃x (U(x) ∧ G(x)) = «qualche uomo è greco»

Da notare la diversa «impalcatura»: l'universale si accompagna tipicamente al condizionale (∀x (U(x) → M(x)): «per ogni cosa, se è uomo allora è mortale»), l'esistenziale alla congiunzione (∃x (U(x) ∧ G(x)): «esiste una cosa che è uomo e è greco»). È uno degli errori più comuni scambiarli. Con questo apparato si formalizzano le quattro proposizioni categoriche di Aristotele (cap. 2) — A: ∀x(S(x)→P(x)); E: ∀x(S(x)→¬P(x)); I: ∃x(S(x)∧P(x)); O: ∃x(S(x)∧¬P(x)) — recuperando la sillogistica come caso particolare della logica dei predicati, ma senza il suo import esistenziale e con in più la capacità di trattare relazioni e quantificatori multipli.

🧩 Esempio (la potenza dei quantificatori annidati). La vera potenza emerge con più quantificatori. «Ogni persona ama qualcuno» si formalizza ∀x ∃y A(x, y); «c'è qualcuno amato da tutti» si formalizza ∃y ∀x A(x, y). Le due formule differiscono solo per l'ordine dei quantificatori, ma dicono cose profondamente diverse: nella prima ognuno ha il suo amato (possibilmente diverso); nella seconda esiste una stessa persona amata da tutti. La logica aristotelica, ferma al soggetto-predicato, non poteva neppure esprimere questa differenza. La logica dei predicati sì — ed è per questo che ha potuto fondare la matematica, tutta fatta di enunciati come «per ogni ε esiste un δ…».

Legame delle variabili e formalizzazione

Perché conta: distinguere variabili libere e vincolate è tecnicamente essenziale, e l'arte di formalizzare è la competenza pratica centrale del capitolo.

Un quantificatore «lega» (o vincola) la variabile su cui agisce, entro il suo raggio d'azione (scope). In ∀x (U(x) → M(x)) la variabile x è vincolata: non si riferisce a un oggetto particolare, ma «scorre» su tutti gli oggetti. Una variabile non legata da alcun quantificatore è invece libera, e la formula che la contiene non è ancora né vera né falsa finché non le si assegna un valore (come un'equazione con incognita). Una formula chiusa (senza variabili libere) esprime una proposizione compiuta, dotata di valore di verità; una formula aperta (con variabili libere) esprime piuttosto una condizione. La competenza pratica cruciale di questo livello è la formalizzazione: tradurre enunciati del linguaggio naturale nel simbolismo, scegliendo predicati e disponendo correttamente quantificatori, connettivi e parentesi. È un'arte che richiede attenzione, perché il linguaggio ordinario è ambiguo e i quantificatori nascosti sono ovunque («gli italiani amano la pasta» = ∀? ∃? la maggioranza?).

⚠️ Attenzione (quantificatori e negazione). L'interazione tra quantificatori e negazione è fonte di errori e di importanti equivalenze: ¬∀x P(x) equivale a ∃x ¬P(x) («non tutti hanno P» = «qualcuno non ha P»), e ¬∃x P(x) equivale a ∀x ¬P(x) («nessuno ha P» = «tutti non hanno P»). Sono le leggi di De Morgan (cap. 5) estese ai quantificatori. Negare «tutti i cigni sono bianchi» non significa «tutti i cigni sono non-bianchi», ma «esiste un cigno non bianco»: basta un controesempio. Padroneggiare questa regola è essenziale per negare correttamente enunciati universali — un'operazione al cuore di ogni confutazione scientifica.

🗺️ Come si collega il tutto

Questo capitolo ha compiuto il salto dalla logica proposizionale a quella dei predicati (o del primo ordine), superando il limite di trattare le proposizioni come atomi. I nuovi mattoni — termini (costanti e variabili), predicati (proprietà e relazioni), e soprattutto i quantificatori ∀ («per ogni») ed ∃ («esiste») — permettono di analizzare la struttura interna degli enunciati e di formalizzare inferenze che sfuggivano al livello precedente, a cominciare dal sillogismo di Socrate. Abbiamo recuperato le proposizioni categoriche di Aristotele (cap. 2) come caso particolare, guadagnando in più le relazioni e i quantificatori annidati (∀∃ ≠ ∃∀); e visto le regole di interazione tra quantificatori e negazione. Restano da esplorare due arricchimenti che completano l'espressività del primo ordine: il predicato speciale di identità (=) e il trattamento sistematico delle relazioni, che permettono di dire «esattamente uno», «il tale», e di far rientrare pienamente la sillogistica nel nuovo quadro. È il tema del prossimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Logica dei predicati	Analizza la struttura interna (individui, proprietà, quantificatori)	Logica proposizionale (proposizioni come atomi)
Termine individuale	Costante (nome) o variabile (segnaposto per un oggetto)	Predicato (esprime proprietà/relazione)
Predicato	Proprietà M(x) o relazione A(x,y)	Termine (designa un oggetto)
Quantificatore universale ∀	«per ogni x»; va col condizionale	Esistenziale ∃ (va con la congiunzione)
Quantificatore esistenziale ∃	«esiste almeno un x»; va con la congiunzione	Universale ∀
Variabile libera vs vincolata	Non legata (formula aperta) vs legata da un quantificatore	Costante (nome fisso di un oggetto)
¬∀x P ≡ ∃x ¬P	Negare «tutti» = «esiste un controesempio»	¬∀ ≠ ∀¬ (errore tipico)

📝 Riepilogo

• La logica proposizionale è cieca alla struttura interna delle proposizioni: non rende valido «tutti gli uomini sono mortali; Socrate è uomo; dunque è mortale». Serve la logica dei predicati (Frege).
• Ingredienti: termini (costanti = nomi; variabili x, y), predicati (proprietà M(x), relazioni A(x,y)), connettivi, e i due quantificatori.
• ∀x («per ogni», va col condizionale: ∀x(U(x)→M(x))) ed ∃x («esiste», va con la congiunzione: ∃x(U(x)∧G(x))). Formalizzano le categoriche di Aristotele (A, E, I, O) e molto di più.
• Vera potenza: quantificatori annidati — ∀x∃y A(x,y) («ognuno ama qualcuno») ≠ ∃y∀x A(x,y) («qualcuno è amato da tutti»): differenza inesprimibile per Aristotele, essenziale per la matematica.
• Una variabile è vincolata (legata da un quantificatore) o libera (formula aperta). Regola chiave: ¬∀x P ≡ ∃x ¬P e ¬∃x P ≡ ∀x ¬P (negare «tutti» = esibire un controesempio).

In breve

La logica dei predicati (cap. 7) diventa pienamente potente quando si arricchisce di due elementi che completano l'espressività del primo ordine: il predicato speciale di identità (=) e il trattamento sistematico delle relazioni. L'identità sembra banale («x = y», x è lo stesso oggetto di y), ma apre possibilità sorprendenti: permette di dire «esattamente uno», «almeno due», «al più tre», di formalizzare le descrizioni definite («il re di Francia», «l'autore dell'Amleto»), e di trattare i problemi filosofici dell'identità (quando due nomi designano lo stesso oggetto?). Le relazioni (predicati a più posti) portano in logica ciò che Aristotele non poteva trattare: «maggiore di», «padre di», «tra», con le loro proprietà strutturali — riflessività, simmetria, transitività — che sono i mattoni con cui la matematica costruisce ordini ed equivalenze. Con questi strumenti la logica del primo ordine ingloba definitivamente la vecchia sillogistica come un suo frammento, ma la supera di slancio: può esprimere l'aritmetica, la teoria degli insiemi, la struttura di qualunque teoria scientifica. Questo capitolo presenta identità e relazioni e mostra come la logica moderna «ritrovi» e trascenda Aristotele.

🎯 Alla fine di questo capitolo saprai: usare il predicato di identità (=) e formalizzare numerali («esattamente uno») e descrizioni definite; definire le proprietà delle relazioni (riflessiva, simmetrica, transitiva); riconoscere ordini ed equivalenze; capire in che senso la logica dei predicati include e supera la sillogistica.

L'identità e ciò che permette di dire

Perché conta: l'identità trasforma la logica dei predicati in uno strumento capace di contare e di descrivere, con enormi ricadute filosofiche e matematiche.

L'identità è un predicato binario speciale, x = y, che significa «x e y sono lo stesso oggetto» (non semplicemente «uguali» o «simili»: identici, il medesimo ente). Obbedisce a leggi precise: è riflessiva (x = x), simmetrica (se x = y allora y = x), transitiva (se x = y e y = z allora x = z), e soddisfa il principio di sostituibilità (se x = y, ciò che vale per x vale per y). Aggiungere l'identità al linguaggio moltiplica ciò che si può esprimere. Si possono formalizzare i numerali: «esiste esattamente un oggetto P» diventa ∃x (P(x) ∧ ∀y (P(y) → y = x)) («esiste un x che è P, e ogni cosa che è P coincide con x»); «esistono almeno due P» si scrive con due variabili dichiarate diverse (x ≠ y). E si possono trattare le descrizioni definite — le espressioni della forma «il tale» — come propose Bertrand Russell: «il re di Francia è calvo» diventa «esiste esattamente un re di Francia, ed è calvo», risolvendo il rompicapo di cosa significhi una descrizione che non designa nulla (se non c'è alcun re di Francia, la frase è semplicemente falsa, non priva di senso).

📌 Definizione formale. L'identità è la relazione = che vale tra un oggetto e se stesso ed è governata da riflessività, simmetria, transitività e dal principio di indiscernibilità degli identici (di Leibniz): se x = y, allora x e y hanno esattamente le stesse proprietà.

🧩 Esempio (perché «Espero = Fosforo» non è banale). Gli antichi chiamavano Fosforo la «stella del mattino» e Espero la «stella della sera», credendoli corpi diversi; poi si scoprì che sono lo stesso pianeta, Venere. L'enunciato «Espero = Fosforo» è vero, ma informativo (è una scoperta astronomica), mentre «Espero = Espero» è banale. Eppure entrambi affermano un'identità! Questo enigma — come può un'identità vera essere informativa? — spinse Frege a distinguere il senso (il modo di presentazione: «stella del mattino» vs «della sera») dal riferimento (l'oggetto: Venere). È uno degli esempi in cui la logica dell'identità apre direttamente questioni centrali di filosofia del linguaggio: i simboli non sono aridi, portano con sé i grandi problemi del significato.

Le relazioni e le loro proprietà

Perché conta: le relazioni sono ciò che Aristotele non sapeva trattare, e le loro proprietà strutturali sono l'ossatura di tutta la matematica.

Un predicato a più posti esprime una relazione: A(x, y) = «x ama y», M(x, y) = «x è maggiore di y», T(x, y, z) = «x sta tra y e z». Le relazioni binarie si classificano secondo alcune proprietà fondamentali, che si definiscono con i quantificatori:

PROPRIETÀ DELLE RELAZIONI BINARIE (R)
│
├── RIFLESSIVA     ∀x R(x,x)                    ogni x è in relazione con sé  (es. «≤», «=»)
├── SIMMETRICA     ∀x∀y (R(x,y) → R(y,x))       se x-R-y allora y-R-x         (es. «fratello di», «=»)
├── TRANSITIVA     ∀x∀y∀z (R(x,y)∧R(y,z)→R(x,z)) x-R-y e y-R-z ⇒ x-R-z        (es. «<», «antenato di»)
└── ANTISIMMETRICA ∀x∀y (R(x,y)∧R(y,x)→x=y)     x-R-y e y-R-x ⇒ x=y           (es. «≤»)

Combinando queste proprietà si ottengono le grandi strutture su cui poggia la matematica. Una relazione riflessiva, simmetrica e transitiva è una relazione di equivalenza (come «avere la stessa età», o l'uguaglianza): partiziona gli oggetti in classi di elementi «equivalenti». Una relazione riflessiva, antisimmetrica e transitiva è un ordine (come «≤»): dispone gli oggetti in una gerarchia. Queste nozioni — equivalenza, ordine — sono onnipresenti in matematica e nella scienza, e la logica dei predicati le esprime con perfetta precisione. Aristotele, con la sola struttura soggetto-predicato, non poteva neppure enunciare la transitività di «maggiore di»: la logica delle relazioni è una delle conquiste che segnano il divario tra logica antica e moderna.

🔗 Analogia. Le proprietà delle relazioni sono come i tratti caratteriali che determinano il «comportamento» di una relazione. Sapere che una relazione è transitiva è come sapere che una persona è coerente: puoi prevedere cosa farà in situazioni nuove (se x < y e y < z, sai già che x < z, senza verificarlo). La matematica è, in gran parte, lo studio di strutture definite da questi tratti: gruppi, ordini, equivalenze sono «personalità relazionali» tipiche. La logica fornisce il vocabolario esatto per definirle e ragionarci sopra.

La sillogistica ritrovata e superata

Perché conta: chiude il cerchio storico (Aristotele → Frege) mostrando che la logica moderna non rinnega l'antica, ma la include come caso particolare.

Con predicati, quantificatori e identità, la logica del primo ordine ingloba completamente la sillogistica aristotelica (cap. 2). Ogni proposizione categorica si traduce (A: ∀x(S(x)→P(x)); I: ∃x(S(x)∧P(x)); ecc.), e ogni sillogismo valido diventa un teorema derivabile della logica dei predicati. Ma il nuovo sistema supera l'antico in tre direzioni: tratta le relazioni (impossibili per Aristotele); ammette quantificatori multipli e annidati (∀∃, cap. 7); e non porta l'import esistenziale dell'universale (per la logica moderna «tutti gli unicorni sono bianchi» è vera a vuoto, non presuppone che esistano unicorni). La sillogistica appare così come un frammento — utile, storicamente decisivo, ma limitato — di una logica molto più vasta. Questo è il senso profondo della rivoluzione fregeana: non ha cancellato Aristotele, l'ha collocato dentro un edificio incomparabilmente più grande, capace di formalizzare l'intera matematica. Ed è proprio provando a fondare la matematica sulla logica che quest'ultima incontrerà i suoi problemi più profondi — i paradossi e i limiti dei capitoli seguenti.

⚠️ Attenzione. Dire che la logica dei predicati «include» la sillogistica non significa che i due sistemi diano sempre gli stessi verdetti sulle inferenze classiche. Alcune inferenze considerate valide da Aristotele (per esempio il passaggio da «tutti gli S sono P» a «qualche S è P», detto subalternazione) non valgono nella logica moderna senza l'assunzione che gli S esistano, proprio per la caduta dell'import esistenziale. Non è una contraddizione, ma una diversa convenzione su cosa presuppone l'universale: consapevoli di questa differenza, si evita di confondere i risultati dei due sistemi.

🗺️ Come si collega il tutto

Questo capitolo ha completato la logica del primo ordine con l'identità (=) e le relazioni. L'identità, apparentemente banale, permette di contare («esattamente uno»), di trattare le descrizioni definite (Russell: «il re di Francia») e apre i problemi del significato (senso/riferimento di Frege, «Espero = Fosforo»). Le relazioni (predicati a più posti) e le loro proprietà — riflessività, simmetria, transitività, antisimmetria — generano le strutture-base della matematica: equivalenze e ordini. Con questi strumenti la logica dei predicati ingloba la sillogistica di Aristotele (cap. 2) come frammento e la supera (relazioni, quantificatori annidati, niente import esistenziale). Abbiamo così l'apparato completo della logica classica del primo ordine. Il passo successivo è naturale e ambizioso: se la logica può esprimere le relazioni e l'identità, può forse fondare la matematica stessa — ridurre i numeri e gli insiemi a pura logica? Questo fu il grande programma di Frege e Russell. La sua realizzazione, e il paradosso che lo fece vacillare, sono il tema del prossimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Identità (=)	«x è lo stesso oggetto di y» (non solo simile)	Somiglianza/uguaglianza di proprietà
«Esattamente uno»	∃x(P(x) ∧ ∀y(P(y)→y=x)), grazie all'identità	«Almeno uno» (semplice ∃x P(x))
Descrizione definita	«il tale» analizzato à la Russell (esiste ed è unico)	Nome proprio (designa direttamente)
Senso vs riferimento	Modo di presentazione vs oggetto designato (Frege)	Tra loro (Espero/Fosforo = Venere)
Relazione di equivalenza	Riflessiva + simmetrica + transitiva (crea classi)	Ordine (riflessivo, antisimmetrico, transitivo)
Transitività	R(x,y)∧R(y,z)→R(x,z) (es. «<», «antenato di»)	Simmetria (R(x,y)→R(y,x))
Import esistenziale	L'universale aristotelico presuppone che gli S esistano	Universale moderno (vero anche «a vuoto»)

📝 Riepilogo

• La logica del primo ordine si completa con l'identità (=) e le relazioni.
• L'identità («stesso oggetto», riflessiva/simmetrica/transitiva + sostituibilità) permette di formalizzare numerali («esattamente uno»: ∃x(P(x)∧∀y(P(y)→y=x))) e descrizioni definite (Russell), e apre la distinzione senso/riferimento (Frege: «Espero = Fosforo»).
• Le relazioni (predicati a più posti) si classificano per proprietà: riflessiva, simmetrica, transitiva, antisimmetrica. Combinandole si ottengono equivalenze (creano classi) e ordini — le strutture-base della matematica.
• Aristotele non poteva trattare le relazioni (né la transitività di «maggiore di»): è un divario chiave tra logica antica e moderna.
• La logica dei predicati include la sillogistica come frammento e la supera (relazioni, quantificatori annidati, niente import esistenziale). Da qui il programma di fondare la matematica sulla logica (cap. 9).

In breve

Alla fine dell'Ottocento la logica dei predicati (cap. 7-8) era così potente da suggerire un'idea grandiosa: forse l'intera matematica poteva essere ridotta alla logica pura. Numeri, operazioni, teoremi non sarebbero verità su misteriosi oggetti astratti, ma conseguenze di principi logici e della nozione, apparentemente innocente, di insieme (o classe). Questo programma — il logicismo — fu perseguito da Gottlob Frege, che tentò di definire i numeri a partire da concetti logici e insiemistici. La chiave era l'insieme: una collezione di oggetti, e il principio (di «comprensione») secondo cui ogni proprietà definisce un insieme — l'insieme di tutte e sole le cose che hanno quella proprietà. Sembrava ovvio. Ma nel 1901 Bertrand Russell scoprì che quel principio genera una contraddizione devastante: il paradosso di Russell, che considera «l'insieme di tutti gli insiemi che non appartengono a se stessi» e mostra che esso appartiene a sé se e solo se non vi appartiene. Un fulmine a ciel sereno: la nozione più elementare, l'insieme, era inconsistente. La crisi che ne seguì costrinse a rifondare la teoria degli insiemi (con gli assiomi, come quelli di Zermelo-Fraenkel) e aprì la grande stagione dei fondamenti della matematica. Questo capitolo racconta il sogno logicista, gli insiemi e le funzioni, e il paradosso che cambiò la storia della logica.

🎯 Alla fine di questo capitolo saprai: spiegare il programma logicista di Frege; usare le nozioni di insieme, appartenenza, funzione; enunciare il principio di comprensione; comprendere e ricostruire il paradosso di Russell; capire perché impose la assiomatizzazione della teoria degli insiemi.

Il sogno logicista e la nozione di insieme

Perché conta: è il grande progetto che ha spinto la logica al suo massimo sviluppo e ne ha rivelato, insieme, la potenza e le crepe.

Il logicismo è la tesi secondo cui la matematica è, in ultima analisi, logica: i suoi concetti sono definibili in termini puramente logici e i suoi teoremi sono deducibili da principi logici. Se fosse vero, la matematica erediterebbe dalla logica la sua certezza assoluta, senza bisogno di intuizioni o postulati «materiali». Lo strumento centrale del programma è la teoria degli insiemi, sviluppata da Georg Cantor. Un insieme è una collezione di oggetti (i suoi elementi o membri); la relazione fondamentale è l'appartenenza, x ∈ A («x è elemento di A»). Con gli insiemi si può, sorprendentemente, definire tutto il resto: i numeri (0 come l'insieme vuoto ∅, 1 come l'insieme che contiene ∅, e così via), le coppie ordinate, le funzioni, le operazioni. Frege costruì un sistema formale per fondare l'aritmetica su questa base. Il principio che rendeva tutto fluido era la comprensione (illimitata): per ogni proprietà P esiste l'insieme {x : P(x)} di tutte e sole le cose che soddisfano P. Sembrava un principio ovvio e indispensabile — e invece nascondeva una bomba.

📌 Definizione formale. Il principio di comprensione (illimitata) afferma che a ogni proprietà (predicato) P(x) corrisponde un insieme {x : P(x)} che ha come elementi tutti e soli gli oggetti che soddisfano P. Il logicismo è la tesi che i concetti e i teoremi matematici siano riducibili a logica (e teoria degli insiemi).

🔗 Analogia. L'idea logicista è come voler costruire tutti gli edifici del mondo (la matematica) con un unico materiale universale e purissimo (la logica + gli insiemi), invece che con mattoni «materiali» dati per postulato. Il fascino è enorme: un solo fondamento trasparente per tutto il sapere quantitativo. Il principio di comprensione era la «malta» che teneva insieme la costruzione: prendi una qualsiasi proprietà, e subito hai l'insieme delle cose che la posseggono. Nessuno sospettava che proprio quella malta, in un caso particolare, facesse esplodere l'intero edificio.

Funzioni e la costruzione insiemistica

Perché conta: mostra concretamente la potenza del programma — come oggetti matematici complessi nascano da insiemi — prima di vederne il crollo.

Prima del paradosso, vale la pena vedere quanto il programma funzionava. Dalla sola nozione di insieme e appartenenza si ricostruiscono gli oggetti matematici. Una coppia ordinata ⟨a, b⟩ si definisce come un particolare insieme (che «ricorda» l'ordine). Una relazione diventa un insieme di coppie ordinate (la relazione «<» sui numeri è l'insieme di tutte le coppie ⟨x, y⟩ con x minore di y). Una funzione è un tipo speciale di relazione: un insieme di coppie ⟨input, output⟩ in cui a ogni input corrisponde un solo output (è la versione insiemistica dell'idea di «regola che associa»). I numeri naturali si costruiscono a partire dall'insieme vuoto ∅ per passi successivi. Perfino l'infinito entra nel discorso in modo rigoroso: Cantor mostrò che esistono infiniti di grandezze diverse (i numeri naturali sono «meno» dei numeri reali) e che si possono confrontare con precisione. Tutto ciò era ed è matematica solidissima e feconda: la teoria degli insiemi è diventata il linguaggio fondazionale della matematica. Il problema non era la teoria in sé, ma la versione ingenua e illimitata del principio di comprensione.

🧩 Esempio (i numeri dal nulla). Ecco come la matematica «nasce dal vuoto». Si definisce 0 come l'insieme vuoto ∅ (che non ha elementi). Si definisce 1 come l'insieme che ha per unico elemento 0: {∅}. Poi 2 come {∅, {∅}} (l'insieme dei due numeri precedenti), 3 come l'insieme di 0, 1, 2, e così via: ogni numero è l'insieme di tutti i numeri che lo precedono. In questo modo, senza presupporre «i numeri» come enti misteriosi, si ottiene una copia esatta dell'aritmetica a partire dalla sola nozione di insieme. È un risultato di straordinaria eleganza — la prova che il programma fondazionale non era un'illusione, ma qualcosa di reale e potente. Proprio per questo il paradosso, quando arrivò, fu tanto sconvolgente.

Il paradosso di Russell

Perché conta: è uno dei momenti più drammatici della storia del pensiero: mostra che una nozione ritenuta ovvia è contraddittoria, e obbliga a rifondare le basi della matematica.

Nel 1901 Bertrand Russell considerò un insieme apparentemente legittimo secondo il principio di comprensione. Alcuni insiemi non appartengono a se stessi (l'insieme dei gatti non è un gatto: non appartiene a sé). Altri, forse, sì (l'insieme di «tutte le cose che non sono gatti» non è un gatto, quindi appartiene a sé). Consideriamo allora la proprietà «non appartenere a se stesso» e, per comprensione, l'insieme che essa definisce:

R = { x : x ∉ x } — l'insieme di tutti gli insiemi che non appartengono a se stessi.

Ora la domanda fatale: R appartiene a se stesso? Se R ∈ R, allora R soddisfa la proprietà che definisce i suoi membri, cioè R ∉ R — contraddizione. Se R ∉ R, allora R soddisfa la condizione «non appartenere a sé», dunque deve stare in R, cioè R ∈ R — di nuovo contraddizione. In entrambi i casi si ottiene R ∈ R ⇔ R ∉ R: una contraddizione pura, ottenuta da premesse che sembravano ineccepibili. Russell comunicò la scoperta a Frege proprio mentre il secondo volume della sua opera fondazionale era in stampa; Frege rispose che «l'aritmetica vacilla». Il paradosso non era un cavillo: dimostrava che il principio di comprensione illimitata — e quindi la teoria «ingenua» degli insiemi su cui si reggeva il logicismo — era inconsistente.

⚠️ Attenzione. Il paradosso di Russell non è un gioco di parole: in un sistema contraddittorio, dalla contraddizione si può derivare qualunque enunciato (ex falso quodlibet: dal falso segue tutto). Un sistema che dimostra sia A sia ¬A dimostra ogni cosa, e quindi non distingue più il vero dal falso: è inutile. Ecco perché il paradosso era una catastrofe e non una curiosità: minacciava di rendere l'intera matematica formale priva di valore. Salvarla richiese di limitare il principio di comprensione, impedendo la formazione di insiemi «troppo grandi» o autoreferenziali come R.

🗺️ Come si collega il tutto

Questo capitolo ha raccontato l'apice e la crisi del programma fondazionale. Il logicismo di Frege puntava a ridurre la matematica alla logica, usando la teoria degli insiemi di Cantor: con la sola nozione di insieme, appartenenza e funzione si ricostruiscono numeri, relazioni, l'infinito — una costruzione reale e potente. Ma il principio di comprensione illimitata («ogni proprietà definisce un insieme») generava il paradosso di Russell (R = {x : x ∉ x}, con R ∈ R ⇔ R ∉ R): una contraddizione che rendeva inconsistente la teoria ingenua e faceva «vacillare l'aritmetica». La risposta fu rifondare la teoria degli insiemi in modo assiomatico (gli assiomi di Zermelo-Fraenkel, ZF, che limitano la comprensione e vietano gli insiemi paradossali), e più in generale porre con nuovo rigore la domanda: quali garanzie possiamo avere che un sistema formale sia coerente e completo? Questa domanda apre l'ultimo grande capitolo della logica classica: i sistemi formali e i teoremi di Gödel, che daranno una risposta tanto profonda quanto inattesa. È il tema del prossimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Logicismo	La matematica è riducibile a logica (Frege)	Formalismo/intuizionismo (altre fondazioni)
Insieme	Collezione di oggetti (elementi); relazione ∈	Proprietà/predicato (il principio di comprensione li lega)
Appartenenza (∈)	«x è elemento di A»	Inclusione (⊆: A sottoinsieme di B)
Funzione	Insieme di coppie input-output, con output unico	Relazione generica (può non essere univoca)
Comprensione (illimitata)	Ogni proprietà definisce un insieme {x : P(x)}	Comprensione ristretta (limitata dagli assiomi)
Paradosso di Russell	R={x:x∉x} dà R∈R ⇔ R∉R (contraddizione)	Un semplice enigma (è una vera inconsistenza)
Ex falso quodlibet	Da una contraddizione segue qualunque enunciato	—

📝 Riepilogo

• Il logicismo (Frege) mira a ridurre la matematica alla logica, tramite la teoria degli insiemi (Cantor): con insieme, appartenenza (∈) e funzione si ricostruiscono numeri (0 = ∅, 1 = {∅}…), relazioni, l'infinito.
• Il perno era il principio di comprensione illimitata: ogni proprietà P definisce l'insieme {x : P(x)}. Sembrava ovvio.
• Il paradosso di Russell (1901): l'insieme R = {x : x ∉ x} porta a R ∈ R ⇔ R ∉ R, una contraddizione → la teoria ingenua degli insiemi è inconsistente («l'aritmetica vacilla»).
• Gravità: in un sistema contraddittorio si dimostra tutto (ex falso quodlibet), quindi diventa inutile.
• Rimedio: assiomatizzare la teoria degli insiemi (Zermelo-Fraenkel), limitando la comprensione. La crisi apre la questione di coerenza e completezza dei sistemi formali → Gödel (cap. 10).

In breve

Il paradosso di Russell (cap. 9) aveva mostrato che l'intuizione, in logica, può ingannare: servivano sistemi formali rigorosi, di cui poter garantire la solidità. Un sistema formale è un dispositivo puramente sintattico — un alfabeto di simboli, regole per formare le formule, assiomi (formule di partenza) e regole di inferenza — con cui si producono teoremi manipolando simboli, senza appello al significato. Di un tale sistema si possono chiedere proprietà cruciali: è coerente (non dimostra contraddizioni)? È completo (dimostra tutte le verità del suo dominio)? È decidibile (esiste un metodo meccanico per stabilire se una formula è un teorema)? All'inizio del Novecento David Hilbert lanciò un programma ambizioso: dimostrare, con metodi sicuri, che la matematica formalizzata è coerente e completa — mettere per sempre al riparo la matematica da nuovi paradossi. Nel 1931 un giovane logico, Kurt Gödel, dimostrò due teoremi di incompletezza che infransero quel sogno: ogni sistema formale abbastanza potente da contenere l'aritmetica, se è coerente, è incompleto (esistono verità che non può dimostrare) e non può dimostrare la propria coerenza. È uno dei risultati più profondi del pensiero umano, con implicazioni che vanno dalla matematica alla filosofia della mente. Questo capitolo presenta i sistemi formali, le loro proprietà, e — a livello intuitivo — i teoremi di Gödel.

🎯 Alla fine di questo capitolo saprai: definire un sistema formale (assiomi, regole, teoremi); distinguere coerenza, completezza, decidibilità; capire i teoremi di correttezza e completezza del primo ordine; spiegare intuitivamente i due teoremi di incompletezza di Gödel e il loro significato.

I sistemi formali e le loro proprietà

Perché conta: è il concetto che rende la logica una scienza esatta e permette di porre domande precise sulla potenza e i limiti del ragionamento formale.

Un sistema formale (o sistema assiomatico, o calcolo) è definito da quattro componenti puramente sintattiche: un alfabeto di simboli; regole grammaticali che stabiliscono quali sequenze sono formule ben formate; un insieme di assiomi (formule assunte come punto di partenza); e regole di inferenza (come il modus ponens) che permettono di passare da formule a formule. Un teorema è una formula ottenibile dagli assiomi mediante le regole: una formula «dimostrabile». Tutto avviene manipolando simboli secondo regole, senza guardare i significati — è il calcolo di Leibniz portato a compimento. Di un sistema formale si studiano tre proprietà fondamentali. La coerenza (o consistenza): il sistema non dimostra alcuna contraddizione (non esiste A tale che sia A sia ¬A siano teoremi). È la proprietà irrinunciabile: un sistema incoerente dimostra tutto (cap. 9) ed è inutile. La completezza: il sistema dimostra tutte le verità del suo dominio (per ogni A, o A o ¬A è dimostrabile / ogni verità è un teorema). La decidibilità: esiste un metodo meccanico (un algoritmo) che, data una formula, stabilisce in un numero finito di passi se è un teorema.

📌 Definizione formale. Un sistema formale è coerente se non dimostra alcuna formula e insieme la sua negazione; completo se ogni formula vera (o valida) del suo linguaggio è dimostrabile; decidibile se esiste un algoritmo che determina, per ogni formula, se essa è un teorema.

🔗 Analogia. Un sistema formale è come un gioco con pezzi (simboli), posizioni iniziali (assiomi) e mosse legali (regole): i «teoremi» sono le posizioni raggiungibili giocando correttamente. Chiedersi se è coerente è chiedersi se il gioco non permette di raggiungere posizioni assurde (vincere e perdere insieme); se è completo, se ogni posizione «vera» è raggiungibile; se è decidibile, se esiste un metodo sicuro per sapere in anticipo quali posizioni sono raggiungibili. Il sogno di Hilbert era garantire che il «gioco della matematica» fosse insieme coerente, completo e decidibile: perfetto e sotto controllo.

Correttezza, completezza e il programma di Hilbert

Perché conta: stabilisce cosa si può sperare da un sistema formale — e la logica del primo ordine sembrava dare ragione all'ottimismo, prima di Gödel.

Due teoremi «positivi» inquadrano la logica del primo ordine (cap. 7-8). Il teorema di correttezza (soundness): tutto ciò che è derivabile (⊢) è anche conseguenza logica (⊨) — le regole non «sbagliano», non producono falsità (ciò che si dimostra è davvero valido). Il teorema di completezza di Gödel (1929, da non confondere con l'incompletezza del 1931!): tutto ciò che è conseguenza logica (⊨) è anche derivabile (⊢) — le regole «bastano», ogni verità logica del primo ordine si può dimostrare. Insieme, ⊢ e ⊨ coincidono: per la logica del primo ordine, dimostrabilità e verità logica sono la stessa cosa. Era un risultato splendido, che sembrava confermare l'ottimismo del programma di Hilbert: l'idea di formalizzare tutta la matematica in un sistema di cui provare, con metodi «finitari» sicuri, la coerenza e la completezza, chiudendo per sempre la porta ai paradossi. Se il primo ordine è completo, perché non l'intera aritmetica? Su questa speranza si abbatté Gödel.

⚠️ Attenzione. Bisogna distinguere due risultati di Gödel dai nomi quasi opposti. Il teorema di completezza (1929) è positivo e riguarda la logica del primo ordine: le sue regole catturano tutte le verità logiche. I teoremi di incompletezza (1931) sono limitativi e riguardano le teorie matematiche (come l'aritmetica) formalizzate: nessuna di esse può catturare tutte le verità aritmetiche. Non si contraddicono: parlano di cose diverse (verità logiche vs verità aritmetiche). Confonderli è l'equivoco più comune su Gödel.

I teoremi di incompletezza di Gödel

Perché conta: sono tra i risultati più profondi mai dimostrati; segnano un limite invalicabile del metodo formale e chiudono un'epoca della logica.

Nel 1931 Kurt Gödel dimostrò due teoremi che infransero il programma di Hilbert. Il primo teorema di incompletezza afferma: ogni sistema formale coerente e abbastanza potente da contenere l'aritmetica elementare è incompleto — esistono enunciati veri (dell'aritmetica) che il sistema non può dimostrare né refutare. L'idea della prova è geniale: Gödel trovò il modo di far «parlare» l'aritmetica di se stessa (numerando formule e dimostrazioni: la gödelizzazione), e costruì un enunciato G che, di fatto, afferma «io non sono dimostrabile in questo sistema». Se il sistema dimostrasse G, G sarebbe falso (dimostrerebbe un falso: incoerenza); se dimostrasse ¬G, sarebbe di nuovo incoerente. Quindi, se il sistema è coerente, non dimostra né G né ¬G: G è indecidibile nel sistema — eppure è vero (perché dice il vero: non è dimostrabile). Il secondo teorema aggiunge il colpo finale: un tale sistema, se coerente, non può dimostrare la propria coerenza. La speranza di Hilbert — provare la coerenza della matematica con i mezzi della matematica stessa — è quindi irrealizzabile. Non c'è un sistema formale unico, coerente e completo per tutta la matematica: la verità matematica eccede sempre ciò che ogni singolo sistema può dimostrare.

🧩 Esempio (l'autoreferenza, di nuovo). L'enunciato di Gödel «io non sono dimostrabile» ricorda il paradosso del mentitore («questa frase è falsa»), e non è un caso: Gödel trasformò un paradosso semantico in un teorema matematico rigoroso, sostituendo «falso» (nozione problematica) con «non dimostrabile» (nozione precisa e aritmetizzabile). Il risultato non è una contraddizione (come nel mentitore o in Russell, cap. 9), ma un enunciato vero e indimostrabile: la logica, resa capace di parlare di se stessa, scopre i propri limiti. È il segno che l'autoreferenza — la stessa che generava i paradossi — è anche una miniera di verità profonde sulla natura e i confini del ragionamento formale.

🗺️ Come si collega il tutto

Questo capitolo ha portato la logica classica al suo vertice e al suo limite. Un sistema formale (alfabeto, assiomi, regole, teoremi) può essere valutato per coerenza (non dimostra contraddizioni), completezza (dimostra tutte le verità) e decidibilità (metodo meccanico). Per la logica del primo ordine, i teoremi di correttezza e completezza (Gödel 1929) mostrano che dimostrabilità (⊢) e verità logica (⊨) coincidono — un successo che alimentava il programma di Hilbert di una matematica formalmente coerente e completa. Ma i teoremi di incompletezza di Gödel (1931) infrangono quel sogno: ogni sistema coerente che contenga l'aritmetica è incompleto (esistono verità indimostrabili, come l'enunciato «io non sono dimostrabile») e non può provare la propria coerenza. La verità matematica eccede ogni formalismo. Con Gödel la grande stagione fondazionale della logica classica si chiude su un risultato di umiltà e grandezza insieme. Restano da esplorare i territori che si sono aperti oltre la logica classica: le logiche che cambiano le regole del gioco — modale, intuizionista, a più valori. È il tema del prossimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Sistema formale	Alfabeto + assiomi + regole → teoremi (pura sintassi)	Teoria intuitiva (con appello ai significati)
Coerenza	Non dimostra A e ¬A insieme	Completezza (dimostra tutte le verità)
Completezza	Ogni verità del dominio è dimostrabile	Coerenza (non dimostra falsità)
Decidibilità	Esiste un algoritmo che riconosce i teoremi	Completezza (i teoremi «coprono» le verità)
Teorema di completezza (1929)	Nel primo ordine ⊢ e ⊨ coincidono (positivo)	Incompletezza (1931, limitativo)
1° teorema di incompletezza	Ogni sistema coerente ⊇ aritmetica è incompleto	Teorema di completezza (parla di verità logiche)
2° teorema di incompletezza	Tale sistema non prova la propria coerenza	—

📝 Riepilogo

• Un sistema formale (alfabeto, assiomi, regole, teoremi) si valuta per coerenza (niente contraddizioni: irrinunciabile), completezza (dimostra tutte le verità), decidibilità (algoritmo che riconosce i teoremi).
• Per la logica del primo ordine: correttezza (⊢ ⟹ ⊨, le regole non sbagliano) e completezza di Gödel 1929 (⊨ ⟹ ⊢, le regole bastano) → ⊢ e ⊨ coincidono. Alimenta il programma di Hilbert (matematica coerente e completa).
• 1° teorema di incompletezza (Gödel 1931): ogni sistema coerente e potente da contenere l'aritmetica è incompleto — esistono enunciati veri ma indimostrabili (l'enunciato G «io non sono dimostrabile», via gödelizzazione).
• 2° teorema: un tale sistema non può dimostrare la propria coerenza → il programma di Hilbert è irrealizzabile; la verità matematica eccede ogni formalismo.
• Distinguere completezza (1929, positivo, verità logiche) da incompletezza (1931, limitativo, verità aritmetiche): non si contraddicono.

In breve

Tutta la logica vista finora è classica: si fonda su alcuni principi che sembrano ovvi — ogni proposizione è o vera o falsa (bivalenza), vale il terzo escluso (p ∨ ¬p), la doppia negazione equivale all'affermazione. Ma nel Novecento i logici hanno scoperto che questi principi si possono modificare o arricchire, ottenendo logiche non classiche: sistemi diversi, con regole diverse, ciascuno adatto a esprimere qualcosa che la logica classica trascura o tratta male. Non sono «errori» né semplici curiosità: sono strumenti che ampliano ciò che la logica sa dire, e che hanno trovato applicazioni profonde in filosofia, matematica e informatica. Ne vedremo tre famiglie principali. La logica modale aggiunge gli operatori di necessità (□) e possibilità (◇), per ragionare non solo su ciò che è vero, ma su ciò che dev'essere o può essere vero — e da qui nascono le logiche del tempo, dell'obbligo (deontica), della conoscenza (epistemica). La logica intuizionista (Brouwer, Heyting) rifiuta il terzo escluso e identifica la verità con la dimostrabilità, con enormi conseguenze in matematica e informatica. Le logiche a più valori (e la logica fuzzy) abbandonano la bivalenza, ammettendo valori intermedi tra vero e falso, per trattare il vago e il graduale. Questo capitolo esplora questi mondi alternativi e ciò che ci insegnano sulla natura stessa della logica.

🎯 Alla fine di questo capitolo saprai: capire cosa rende «classica» una logica e cosa significa modificarla; usare gli operatori modali □ e ◇ e i «mondi possibili»; spiegare perché la logica intuizionista rifiuta il terzo escluso; capire le logiche a più valori e fuzzy; vedere le applicazioni (tempo, obblighi, conoscenza, informatica).

Che cosa significa «non classica»

Perché conta: chiarisce che i principi della logica classica sono scelte, non dogmi, e che modificarli apre strumenti nuovi — una lezione filosofica di fondo.

La logica classica poggia su alcuni assunti che tendiamo a dare per scontati: il principio di bivalenza (ogni proposizione ha esattamente uno di due valori, vero o falso); il terzo escluso (p ∨ ¬p è sempre vero: una cosa o è, o non è); il principio di non contraddizione (¬(p ∧ ¬p)); l'equivalenza tra ¬¬p e p. Una logica non classica è un sistema che rinuncia a uno di questi principi, o ne aggiunge di nuovi. Le due mosse danno due tipi di logiche non classiche: quelle estensive, che aggiungono operatori mantenendo il nucleo classico (la logica modale aggiunge □ e ◇); e quelle devianti o alternative, che modificano il nucleo (l'intuizionismo toglie il terzo escluso, le logiche a più valori tolgono la bivalenza). La scoperta filosofica è che i principi «ovvi» della logica sono in realtà assunzioni su cui si può discutere: cambiare le regole non produce necessariamente un errore, ma una logica diversa, utile per scopi diversi. La logica si rivela plurale.

🔗 Analogia. La logica classica è come la geometria di Euclide: per secoli sembrò l'unica possibile, l'espressione stessa dello spazio. Poi si scoprì che, cambiando un assioma (quello delle parallele), nascono geometrie non euclidee altrettanto coerenti — e persino più adatte a descrivere lo spazio reale (Einstein). Allo stesso modo, cambiando un principio della logica classica nascono logiche non classiche coerenti, ciascuna con il suo dominio d'elezione. Come non c'è «la» geometria ma le geometrie, così non c'è «la» logica ma un ventaglio di logiche: scegliere quale usare dipende da cosa si vuole modellare.

La logica modale: necessità, possibilità e mondi possibili

Perché conta: è la più importante e feconda delle logiche non classiche, e il suo apparato (i mondi possibili) è diventato uno strumento centrale della filosofia.

La logica modale arricchisce la logica classica con due operatori: la necessità □ («è necessario che…», □p) e la possibilità ◇ («è possibile che…», ◇p), legati dalla dualità ◇p ≡ ¬□¬p (è possibile p = non è necessario non-p). Serve a distinguere ciò che è semplicemente vero da ciò che è necessariamente vero (come le verità matematiche o logiche) o possibilmente vero. La semantica standard, dovuta a Saul Kripke, usa la nozione di mondi possibili: □p è vero se p è vero in tutti i mondi possibili (accessibili); ◇p se p è vero in almeno un mondo. È un'idea potentissima e intuitiva: «necessario» = «vero in ogni scenario», «possibile» = «vero in qualche scenario». Cambiando l'interpretazione degli operatori, la stessa struttura modella ambiti diversi, generando famiglie di logiche modali: la logica temporale (□ = «sempre», ◇ = «qualche volta»); la logica deontica (□ = «è obbligatorio», ◇ = «è permesso»), per il ragionamento su norme e doveri (utile in diritto ed etica); la logica epistemica (□ = «si sa che», ◇ = «per quel che si sa, può darsi che»), per il ragionamento sulla conoscenza e la credenza. Un solo apparato, molte applicazioni.

🧩 Esempio (necessario vs contingente). «7 è un numero primo» e «il numero dei pianeti è 8» sono entrambe vere, ma in modo diverso. La prima è necessaria: è vera in ogni mondo possibile, non poteva essere altrimenti (□). La seconda è contingente: è vera, ma poteva essere diversa (poteva esserci un pianeta in più: la sua negazione è possibile, ◇¬p). La logica classica, che ha solo «vero/falso», non può esprimere questa differenza cruciale; la logica modale sì. Con i mondi possibili: la prima proposizione è vera in tutti i mondi, la seconda solo in alcuni (nel nostro e in quelli simili). Questa capacità di distinguere necessario, possibile e contingente ha reso la logica modale uno strumento indispensabile della metafisica e della filosofia del linguaggio contemporanee.

Intuizionismo e logiche a più valori

Perché conta: mostrano due modi radicali di rivedere il nucleo classico, con conseguenze profonde in matematica, informatica e nel trattamento del vago.

La logica intuizionista nasce dalla filosofia della matematica di Brouwer (formalizzata da Heyting) e compie una mossa radicale: identifica la verità con la dimostrabilità. Per l'intuizionista, dire «p è vero» significa «abbiamo una costruzione/dimostrazione di p»; dire «¬p» significa «abbiamo una dimostrazione che p porta all'assurdo». Ne segue il rifiuto del terzo escluso p ∨ ¬p: affermarlo significherebbe che, per ogni p, o sappiamo dimostrare p o sappiamo refutarlo — ma per molte proposizioni (specie sull'infinito) non abbiamo né l'una né l'altra dimostrazione. Cade anche la doppia negazione (¬¬p non equivale a p: sapere che «non è assurdo» non è come avere una costruzione di p) e con essa la dimostrazione per assurdo di enunciati esistenziali. Sembra una perdita, ma ha una contropartita straordinaria: le dimostrazioni intuizioniste sono costruttive (se provano che «esiste x», forniscono un metodo per trovare x), e questo le lega profondamente all'informatica (una dimostrazione costruttiva corrisponde a un programma: è la corrispondenza di Curry-Howard). Le logiche a più valori (Łukasiewicz) compiono un'altra mossa: abbandonano la bivalenza, ammettendo un terzo valore (es. «indeterminato») o infiniti valori intermedi. La logica fuzzy («sfumata») porta questo all'estremo: il grado di verità è un numero tra 0 e 1, adatto a trattare i concetti vaghi («alto», «caldo», «anziano»), che non hanno confini netti. Ha vaste applicazioni pratiche (controllo automatico, elettrodomestici, intelligenza artificiale).

⚠️ Attenzione. Le logiche non classiche non «confutano» quella classica, né sono tra loro in gara per la verità assoluta. Sono strumenti con domini d'elezione diversi: la classica resta ideale per la matematica ordinaria e il ragionamento standard; l'intuizionista per la matematica costruttiva e l'informatica; la modale per necessità, tempo, obblighi, conoscenza; la fuzzy per il vago e il graduale. La domanda giusta non è «quale logica è vera?», ma «quale logica è adatta a ciò che voglio modellare?». È il pluralismo logico maturato nel Novecento, la lezione filosofica più importante di questo capitolo.

🗺️ Come si collega il tutto

Questo capitolo ha aperto i mondi oltre la logica classica. Abbiamo visto che i principi «ovvi» della logica classica — bivalenza, terzo escluso, doppia negazione — sono in realtà assunzioni modificabili, come l'assioma delle parallele in geometria. Le logiche estensive aggiungono operatori: la logica modale (□ necessità, ◇ possibilità), con la semantica dei mondi possibili di Kripke, e le sue famiglie (temporale, deontica, epistemica). Le logiche devianti cambiano il nucleo: l'intuizionismo (verità = dimostrabilità, niente terzo escluso, dimostrazioni costruttive legate all'informatica) e le logiche a più valori e fuzzy (abbandono della bivalenza, gradi di verità per il vago). La lezione è il pluralismo: non «la» logica, ma molte logiche, ciascuna adatta a un dominio. Con questo la parte formale del corso è completa: abbiamo percorso la logica dai sillogismi ai sistemi formali fino ai loro limiti e alle loro alternative. Resta un ultimo territorio, il più vicino alla vita di tutti i giorni: la logica informale, cioè l'analisi degli argomenti nel linguaggio naturale e delle fallacie che ci ingannano nel discorso reale. È il tema dell'ultimo capitolo.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Bivalenza	Ogni proposizione è o vera o falsa (2 valori)	Logiche a più valori (la negano)
Terzo escluso	p ∨ ¬p sempre vero (classico)	Intuizionismo (lo rifiuta)
Logica modale	Aggiunge □ (necessità) e ◇ (possibilità)	Logica classica (solo vero/falso)
Mondi possibili	□p = vero in tutti i mondi; ◇p = in almeno uno (Kripke)	Il solo mondo attuale (logica classica)
Logica deontica/temporale/epistemica	Modale per obbligo / tempo / conoscenza	Modale «alethica» (necessità/possibilità)
Intuizionismo	Verità = dimostrabilità; no terzo escluso; costruttivo	Logica classica (verità indipendente dalla prova)
Logica fuzzy	Gradi di verità tra 0 e 1 (per il vago)	Bivalenza classica (solo 0 o 1)

📝 Riepilogo

• La logica classica assume bivalenza, terzo escluso (p∨¬p), doppia negazione. Una logica non classica rinuncia a un principio o ne aggiunge: sono assunzioni modificabili (come gli assiomi in geometria) → pluralismo logico.
• Logica modale: operatori □ (necessità) e ◇ (possibilità), duali (◇p ≡ ¬□¬p); semantica dei mondi possibili (Kripke: □ = vero in tutti i mondi, ◇ = in almeno uno). Famiglie: temporale, deontica (obbligo/permesso), epistemica (conoscenza).
• Distingue necessario (vero in ogni mondo, es. verità matematiche) da contingente (vero ma poteva essere diverso) — cosa che la logica classica non esprime.
• Intuizionismo (Brouwer, Heyting): verità = dimostrabilità, rifiuta il terzo escluso e la doppia negazione; dimostrazioni costruttive legate all'informatica (Curry-Howard).
• Logiche a più valori (Łukasiewicz) e fuzzy: abbandonano la bivalenza, con gradi di verità (tra 0 e 1) per il vago. Nessuna logica è «la vera»: si sceglie quella adatta al dominio.

In breve

Per undici capitoli abbiamo studiato la logica formale: linguaggi artificiali, simboli, dimostrazioni. Ma la maggior parte degli argomenti che incontriamo — nel dibattito politico, in tribunale, in pubblicità, in una discussione tra amici — non si presenta in forma simbolica: è espressa nel linguaggio naturale, con tutte le sue ambiguità, sottintesi e trucchi retorici. La logica informale si occupa proprio di questo: valutare la bontà degli argomenti reali, così come compaiono nel discorso quotidiano, e soprattutto smascherare le fallacie — i ragionamenti che sembrano buoni ma non lo sono, e che spesso persuadono proprio per questo. Alcune fallacie sono formali (errori nella struttura, come l'affermazione del conseguente, cap. 5); ma le più insidiose sono quelle informali, dove il difetto non sta nella forma logica ma nel contenuto, nella rilevanza o nel linguaggio: attaccare la persona invece dell'argomento, appellarsi alla forza o alla pietà, spostare il discorso, sfruttare l'ambiguità delle parole. Riconoscerle è forse la competenza più immediatamente utile di tutto il corso: è ciò che protegge dalla manipolazione e rende cittadini e pensatori più liberi. Questo capitolo — l'ultimo — presenta l'argomentazione nel linguaggio naturale e un catalogo ragionato delle principali fallacie, chiudendo il percorso della logica là dove essa torna alla vita di tutti i giorni.

🎯 Alla fine di questo capitolo saprai: distinguere logica formale e informale; valutare argomenti nel linguaggio naturale (premesse implicite, rilevanza); definire cos'è una fallacia; riconoscere le principali fallacie formali e informali (di rilevanza, di ambiguità, induttive); usare la logica come difesa dalla manipolazione.

Argomentare nel linguaggio naturale

Perché conta: gli argomenti reali richiedono un lavoro di ricostruzione e valutazione che la sola logica formale non copre; è il ponte tra teoria e uso.

La logica informale studia gli argomenti così come appaiono nel linguaggio naturale, dove valutarli richiede operazioni che precedono la formalizzazione. Primo, l'identificazione: distinguere, in un testo o discorso, qual è la conclusione e quali le premesse (spesso segnalate da parole come «quindi», «perché», «dato che», ma non sempre). Secondo, la ricostruzione: gli argomenti reali sono quasi sempre entimematici, cioè hanno premesse implicite, date per scontate e non enunciate («Socrate è un uomo, quindi è mortale» sottintende «tutti gli uomini sono mortali»); renderle esplicite è indispensabile per valutare l'argomento. Terzo, la valutazione, su due piani distinti: le premesse sono vere/accettabili? E, se lo fossero, sosterrebbero la conclusione (l'inferenza è valida o almeno forte)? A differenza della logica formale, che si concentra sulla sola validità, la logica informale considera anche la rilevanza e la sufficienza delle premesse, e la plausibilità — perché molti argomenti reali sono induttivi (cap. 1), non deduttivi, e vanno giudicati per la loro forza, non per una validità stringente.

📌 Definizione formale. La logica informale è lo studio della struttura, dell'analisi e della valutazione degli argomenti espressi nel linguaggio naturale, con attenzione all'identificazione delle premesse (anche implicite), alla loro rilevanza e sufficienza, e al riconoscimento delle fallacie.

🔗 Analogia. Se la logica formale è come esaminare lo scheletro di un animale già pulito e montato in un museo (la forma isolata, perfetta), la logica informale è come il lavoro del naturalista sul campo: deve prima trovare l'animale nel folto (identificare l'argomento nel discorso), ricostruirne le parti mancanti da pochi resti (le premesse implicite), e poi giudicarne la salute (la solidità). È un lavoro più impreciso ma più vicino alla realtà: gli argomenti veri non arrivano mai già formalizzati, bisogna scavarli fuori dal linguaggio.

Che cos'è una fallacia; le fallacie formali

Perché conta: definire la fallacia e distinguere quelle formali da quelle informali è la chiave per organizzare il riconoscimento degli errori argomentativi.

Una fallacia è un argomento scorretto che però ha l'apparenza della correttezza, e per questo tende a persuadere indebitamente. La parola chiave è apparenza: una fallacia non è semplicemente un argomento sbagliato, ma uno sbagliato in modo ingannevole, che «sembra» funzionare. Si distinguono due grandi categorie. Le fallacie formali sono errori nella struttura logica: l'argomento istanzia una forma invalida, e lo si può mostrare formalizzandolo (cap. 5). Le due principali le conosciamo già: l'affermazione del conseguente (p→q, q ⊢ p) e la negazione dell'antecedente (p→q, ¬p ⊢ ¬q), entrambe invalide ma somiglianti a modus ponens e tollens. A queste si aggiunge, per esempio, il quaternio terminorum (il sillogismo che usa un termine medio in due significati diversi, così che non fa davvero da ponte). Le fallacie informali, invece, non hanno un difetto di forma: la struttura può anche essere impeccabile, ma l'argomento fallisce per ragioni di contenuto, di rilevanza delle premesse o di ambiguità del linguaggio. Sono le più numerose, le più subdole e le più frequenti nel discorso pubblico.

⚠️ Attenzione. Non ogni argomento debole è una «fallacia» in senso tecnico, e — soprattutto — accusare l'avversario di aver commesso una fallacia può a sua volta essere scorretto se l'accusa è ingiusta (la cosiddetta fallacy fallacy: pensare che, poiché un argomento a favore di una tesi è fallace, la tesi sia falsa — mentre potrebbe essere vera per altri motivi). La logica informale è uno strumento di analisi, non un'arma per zittire: va usata per valutare gli argomenti, non per etichettare le persone. Il suo scopo è capire meglio, non «vincere» a ogni costo.

Le principali fallacie informali

Perché conta: è il catalogo pratico più immediatamente spendibile del corso, la difesa quotidiana contro la manipolazione.

Le fallacie informali si raggruppano per tipo di difetto. Le fallacie di rilevanza portano premesse che non c'entrano con la conclusione, facendo leva su emozioni o su elementi estranei:

FALLACIE INFORMALI PIÙ COMUNI
│
├─ DI RILEVANZA (premesse irrilevanti)
│   • ad hominem        attacca la PERSONA invece dell'argomento
│   • ad baculum        appello alla FORZA/minaccia («credici, o…»)
│   • ad misericordiam  appello alla PIETÀ invece che alle ragioni
│   • ad populum         «lo pensano tutti, quindi è vero»
│   • ad verecundiam     appello all'AUTORITÀ (impropria o non pertinente)
│   • uomo di paglia    distorce la tesi avversaria per confutarla più facilmente
│
├─ DI AMBIGUITÀ (linguaggio)
│   • equivocazione     usa una parola in due sensi diversi
│   • anfibolia         sfrutta l'ambiguità sintattica di una frase
│
└─ INDUTTIVE / PRESUPPOSIZIONE
    • generalizzazione affrettata   conclude dal troppo poco (pochi casi)
    • falsa causa (post hoc)        «dopo di ciò, dunque a causa di ciò»
    • petizione di principio        dà per assunta la conclusione (circolarità)
    • falsa dicotomia               «o A o B» quando ci sono altre opzioni
    • china scivolosa               «se A, allora inevitabilmente… catastrofe»

Le più diffuse meritano un cenno. L'ad hominem attacca chi parla invece di ciò che dice («non ascoltarlo, è un ipocrita»): irrilevante, perché un argomento vale per le sue ragioni, non per le qualità di chi lo porta. L'uomo di paglia (straw man) caricatura la posizione avversaria in una versione debole e la demolisce, fingendo di aver confutato l'originale. La petizione di principio (petitio principii) assume come premessa ciò che dovrebbe dimostrare (circolarità: «Dio esiste perché lo dice la Bibbia, che è vera perché ispirata da Dio»). La falsa causa scambia la successione temporale per causazione. La falsa dicotomia riduce a due le alternative quando ce ne sono altre. Riconoscerle non richiede formalismo, ma attenzione e pratica: è la logica che entra nella vita quotidiana e ne diventa igiene mentale.

🧩 Esempio (smontare un argomento reale). «O sei con noi o sei contro di noi: e visto che critichi questa proposta, sei evidentemente un nemico — del resto lo dicono tutti.» Un solo enunciato, tre fallacie: falsa dicotomia (le opzioni non sono solo due: si può criticare e essere alleati); ad hominem implicito (dalla critica si salta alla condanna della persona come «nemico»); ad populum («lo dicono tutti»). Smontarlo significa mostrare che nessuna di queste mosse fornisce una vera ragione per la conclusione. È l'esercizio che riassume tutto il corso: dietro la forza persuasiva di un discorso, cercare se c'è — o non c'è — un argomento valido. Questa è, in fondo, la libertà che la logica regala.

🗺️ Come si collega il tutto

Questo capitolo conclusivo ha riportato la logica dalla forma alla vita. La logica informale valuta gli argomenti del linguaggio naturale: identificare premesse e conclusione, ricostruire le premesse implicite (entimemi), giudicare rilevanza, sufficienza e plausibilità — non solo la validità stretta. Al centro sta il riconoscimento delle fallacie: gli argomenti che sembrano buoni ma non lo sono. Le formali (affermazione del conseguente, negazione dell'antecedente, quaternio terminorum) si smascherano formalizzando (cap. 5); le informali — di rilevanza (ad hominem, ad populum, uomo di paglia…), di ambiguità (equivocazione), induttive e di presupposizione (falsa causa, petizione di principio, falsa dicotomia) — richiedono attenzione al contenuto e al linguaggio. Il cerchio si chiude: la logica, nata con Aristotele per studiare la forma del ragionamento (cap. 2), sviluppatasi in linguaggi formali potentissimi (cap. 4-10) e in logiche alternative (cap. 11), ritorna infine al suo scopo umano più antico e concreto — pensare bene e non lasciarsi ingannare.

🔑 Concetti chiave

Termine	In una frase	Da non confondere con
Logica informale	Valuta argomenti nel linguaggio naturale	Logica formale (linguaggi simbolici)
Entimema	Argomento con premesse implicite (da esplicitare)	Argomento completo (tutte le premesse dette)
Fallacia	Argomento scorretto ma con apparenza di correttezza	Argomento semplicemente debole
Fallacia formale	Errore nella struttura (forma invalida)	Fallacia informale (difetto di contenuto/rilevanza)
Ad hominem	Attacca la persona invece dell'argomento	Critica pertinente delle premesse
Uomo di paglia	Distorce la tesi avversaria per confutarla	Confutazione della tesi reale
Petizione di principio	Assume come premessa la conclusione (circolarità)	Argomento valido (premesse indipendenti)
Falsa causa (post hoc)	Successione temporale scambiata per causa	Nesso causale genuino

📝 Riepilogo

• La logica informale valuta gli argomenti del linguaggio naturale: identificare conclusione e premesse, esplicitare le premesse implicite (entimemi), giudicare rilevanza, sufficienza e plausibilità (non solo validità).
• Una fallacia è un argomento scorretto con apparenza di correttezza (persuade indebitamente).
• Fallacie formali (difetto di struttura, si smascherano formalizzando): affermazione del conseguente, negazione dell'antecedente, quaternio terminorum.
• Fallacie informali (difetto di contenuto/rilevanza/linguaggio): di rilevanza (ad hominem, ad baculum, ad populum, uomo di paglia, appello all'autorità impropria), di ambiguità (equivocazione), induttive e di presupposizione (falsa causa, petizione di principio, falsa dicotomia, china scivolosa).
• Scopo: usare la logica come igiene mentale e difesa dalla manipolazione — valutare gli argomenti, non etichettare le persone (attenzione alla fallacy fallacy).

---

🎓 Fine del corso. Hai percorso l'intera avventura della logica: dalla domanda di fondo — cosa rende valido un argomento (cap. 1) — alla logica antica di Aristotele e il sillogismo (cap. 2), lungo il ponte fino a Frege (cap. 3); poi il cuore formale — logica proposizionale (cap. 4-6), logica dei predicati con i quantificatori, identità e relazioni (cap. 7-8); i fondamenti e la loro crisi — insiemi, il paradosso di Russell (cap. 9), i sistemi formali e i teoremi di Gödel (cap. 10); infine le logiche non classiche (cap. 11) e il ritorno alla vita con la logica informale e le fallacie (cap. 12). Hai ora sia gli strumenti formali (connettivi, quantificatori, dimostrazioni) sia l'occhio critico per valutare qualunque ragionamento — in matematica, in filosofia e nel discorso di ogni giorno. È la conquista più preziosa della logica: imparare non cosa pensare, ma come pensare in modo rigoroso e libero.