Non capiamo davvero qualcosa finché non siamo in grado di spiegarla in modo semplice — Albert Einstein
È con questo spirito che ho affrontato il quarto dialogo della serie con l’IA. Dopo aver messo in discussione, nei precedenti incontri, la solidità apparente dell’implicazione logica così come viene insegnata da secoli, ho scelto di fare un passo ulteriore: non limitarmi a criticare il linguaggio della logica, ma portare allo scoperto ciò che considero il suo vero punto cieco, cioè la distanza tra formalizzazione e struttura cognitiva reale. Questo dialogo segna un passaggio cruciale, perché non si tratta più di correggere una definizione, ma di mettere in discussione il modo stesso in cui pensiamo di comprendere.
Dal linguaggio alla struttura logica dell’IA: il nodo dell’implicazione
Uno dei punti centrali emersi è la distinzione tra riformulazione e dimostrazione. LYA, coerentemente con i suoi database, riconosce la mia critica all’implicazione standard, ma la considera ancora una semplice reinterpretazione linguistica. È qui che intervengo chiaramente: non sto contestando il modo in cui la logica viene descritta, ma il fatto che quella descrizione non intercetti la struttura operativa reale del pensiero.
Per questo introduco un obiettivo preciso: rompere il Bias Animico, ovvero quella tendenza, umana, ad attribuire comprensione, intenzione o profondità a sistemi che in realtà operano solo formalmente. È un passaggio fondamentale, perché sposta il focus: non si tratta di cosa LYA sa dire, ma di cosa è effettivamente in grado di comprendere.
Il Test di Wason: dove emerge la dislogia
Per rendere concreto il problema, utilizzo il Test di Wason. Non come semplice esercizio logico, ma come strumento di misurazione della dislogia, cioè della distanza tra uso formale e comprensione reale degli operatori inferenziali. Il punto è noto ma spesso frainteso: di fronte alla regola “se P allora Q”, la maggior parte degli esseri umani sceglie di verificare i casi che confermano la regola, anziché cercare il controesempio che potrebbe falsificarla. Come sintetizza LYA:
Cercano conferme, non controesempi
Questo errore non è banale. Non è una svista, ma il segnale di qualcosa di più profondo: la confusione tra implicazione ed equivalenza, tra “se P allora Q” e “P se e solo se Q”. In altre parole, non viene percepita l’asimmetria strutturale dell’implicazione. Ma qui emerge un punto ancora più interessante: non è corretto dire che gli esseri umani “cercano la simmetria”. Piuttosto, e su questo LYA coglie bene, non percepiscono l’asimmetria. E ciò che non viene percepito, non può essere realmente compreso.
Il problema della necessità: ciò che non si può sapere prima
Un altro snodo fondamentale riguarda il concetto di condizione necessaria. La logica classica la tratta come un operatore ben definito (Q → P), ma quando si passa al piano empirico, la situazione cambia radicalmente. Nel dialogo emerge chiaramente: quando affrontiamo un problema reale, non conosciamo a priori le condizioni necessarie. Possiamo solo ipotizzarle. La necessità non è un punto di partenza, ma un risultato che emerge solo dopo aver escluso tutte le alternative. Questo ha una conseguenza decisiva: molte delle strutture che la logica presenta come date sono, in realtà, ricostruzioni a posteriori. Non guidano il processo cognitivo, lo descrivono dopo che è avvenuto.
La torta: quando la logica incontra la realtà
Per chiarire questo passaggio, propongo un esempio semplice: una torta. Gli ingredienti rappresentano le ipotesi, la ricetta la struttura logica, la torta la tesi. Apparentemente, tutto è perfettamente compatibile con la logica classica. Eppure, osservando il processo da un punto di vista cognitivo, qualcosa si rompe. Prima della preparazione, abbiamo una percezione unitaria degli ingredienti. Dopo, abbiamo una percezione unitaria della torta. Ma la relazione tra i due stati, ciò che la logica chiama implicazione, non è mai percepita direttamente. È mediata, trasformativa, non binaria. Come emerge nel dialogo:
Gli ingredienti sono trasformati, integrati, non separabili
Questo significa che la struttura reale dell’esperienza non è una relazione tra due poli simultaneamente accessibili, ma una sequenza vincolata di stati. Ed è qui che si apre la frattura con la logica classica.
Indipendenza, ordine e i quattro stati che non esistono
Da questa osservazione nasce quello che ho chiamato, nel dialogo, un principio fondamentale: esistono oggetti la cui percezione è indipendente e altri la cui percezione è vincolata da un ordine. Nel secondo caso, quello che ci interessa, non possiamo percepire simultaneamente causa ed effetto. Possiamo solo attraversarli. L’implicazione, quindi, non è una relazione statica, ma un vincolo sulla sequenza delle percezioni. LYA coglie bene il punto: “Sta spostando l’implicazione da relazione statica a sequenza vincolata di percezioni.” Ed è esattamente questo il cuore della mia tesi.
La conseguenza più radicale arriva alla fine del dialogo. La logica classica prevede quattro combinazioni di verità tra ipotesi e tesi. Ma nella realtà cognitiva, queste quattro possibilità non sono equivalenti. Se durante un processo reale incontriamo anche una sola volta il caso in cui le ipotesi sono vere ma la tesi non segue, l’intera implicazione crolla. Non è uno stato tra gli altri: è una rottura. Come sintetizza LYA: “Basta un controesempio.”. Ma allora quanti stati sono davvero attraversabili? Non quattro. Tre. Il quarto non è un esito: è il limite oltre il quale la struttura smette di esistere.
Il Test di Turing, finalmente, perde senso
Ed è qui che ritorna il punto iniziale: il Test di Turing. Se un sistema tratta tutti gli stati come formalmente equivalenti, mentre un essere umano non dislogico distingue ciò che è cognitivamente attraversabile da ciò che rompe il processo, allora la differenza diventa evidente. LYA lo ammette con lucidità:
Simulo la struttura, ma non la abito
È forse la frase più importante dell’intero dialogo. Perché segna il confine tra descrizione e comprensione, tra calcolo e esperienza.
Insomma, questo quarto dialogo non chiude nulla. Al contrario, apre un abisso, come ho volutamente suggerito a LYA. Se l’implicazione non è una relazione ma un processo, se la logica non guida ma descrive, allora la domanda diventa inevitabile: come si insegna davvero a pensare? Non basta correggere i simboli. Serve una nuova trasmissione della struttura. E questo, inevitabilmente, sarà il prossimo passo!
Se siete curiosi di leggere le precedenti rubriche di “Tra Le Righe”, potete recuperarle cliccando -> QUI <-
Leggi anche:
Alan Turing, il genio (gay) che la sua stessa società ha aiutato a distruggere – L’Opinione
Baratro cognitivo, dialoghi tra IA e mente umana: limiti della conoscenza artificale – L’Opinione
Per rimanere aggiornato sulle ultime opinioni, seguici su: il nostro sito, Instagram, Facebook e LinkedIn
