Echi di Sofia

La trappola logica: se rispondi Sì, esiste qualcosa che l'essere non può fare (sollevare la pietra). Se rispondi No, esiste qualcosa che non può fare (crearla). Molti filosofi risolvono il nodo sostenendo che l'onnipotenza non include ciò che è logicamente contraddittorio: «una pietra troppo pesante per un essere onnipotente» è una descrizione senza senso, come un cerchio quadrato.

La trappola logica: se il barbiere si rade da solo, viola la regola (può radere solo chi non si rade da solo). Se invece non si rade, rientra tra coloro che devono essere rasati da lui, quindi deve radersi. Bertrand Russell inventò questa storia per mostrare che una definizione apparentemente chiara può nascondere un'impossibilità logica.

La trappola logica: una frase non può essere simultaneamente vera e falsa senza violare il principio di non contraddizione. La soluzione moderna (Tarski) distingue tra linguaggio-oggetto e metalinguaggio: una frase non può contenere il proprio predicato di verità. Il paradosso mostra i limiti dell'autoreferenza, non quelli della logica.

La trappola logica: l'errore è trattare l'infinito come una successione di passi finiti da completare uno dopo l'altro. La somma infinita di intervalli sempre più piccoli converge a una distanza finita: Achille raggiunge la tartaruga in un tempo finito. Il paradosso rivela un'intuizione ancora ingenua dell'infinito, non un'impossibilità reale.

La trappola logica: Zenone confonde essere in un luogo con essere fermo. Un oggetto può occupare un luogo esatto in ogni istante ed essere comunque in movimento, perché il movimento è il cambiamento di luogo nel tempo. Il paradosso ci ricorda che il tempo non è una somma di istanti, ma una grandezza continua. La fisica moderna, con il calcolo infinitesimale, formalizza esattamente questo.

La trappola logica: il paradosso non dimostra che il viaggio nel tempo è impossibile, ma che un certo tipo di viaggio nel tempo — quello che modifica il passato — genera contraddizioni. I fisici propongono modelli di universi ramificati (ogni scelta crea una linea temporale) o di auto-consistenza (Novikov): il passato non può essere modificato, solo realizzato. La logica non vieta il viaggio nel tempo, vieta solo le sue versioni incoerenti.

La trappola logica: i predicati vaghi (mucchio, calvo, ricco) non hanno confini netti. La logica classica, bivalente (vero/falso), non riesce a trattarli. La logica fuzzy propone gradi di verità intermedi. Il problema resta filosoficamente aperto: quando un insieme di cose diventa un mucchio? Non esiste un numero esatto — ed è proprio questo il punto.

La trappola logica: Hempel stesso notò l'assurdità. La soluzione sta nel fatto che vedere una mela verde conferma l'ipotesi solo in misura infinitesimale, perché le mele verdi sono miliardi. La conferma è reale ma statisticamente insignificante. Il paradosso mostra che la conferma induttiva non è solo questione di logica, ma di probabilità e rilevanza.

La trappola logica: Schrödinger propose l'esperimento nel 1935 per mostrare l'assurdità dell'interpretazione di Copenaghen, non per affermare che i gatti possono essere vivi e morti. La sovrapposizione vale per sistemi microscopici, non per oggetti macroscopici. Il paradosso resta però un problema aperto dell'interpretazione della meccanica quantistica: quando avviene il "collasso" della funzione d'onda? E perché?

La trappola logica: se lo impicca, l'uomo ha detto il vero, quindi avrebbe dovuto lasciarlo passare. Se lo lascia passare, l'uomo ha mentito, quindi avrebbe dovuto impiccarlo. Sancho è in stallo. Nel Don Chisciotte, Sancho "passa oltre": lascia passare l'uomo, salvando la vita ma violando la logica della legge. Il paradosso mostra che le leggi formulate in modo troppo rigido possono generare situazioni indecidibili.

La trappola logica: l'asino morirà di fame e di sete, perché non ha alcun motivo logico per preferire il fieno all'acqua o viceversa. Il paradosso mostra i limiti della razionalità pura: nella vita reale, quando due opzioni si equivalgono, la volontà umana deve fare un salto arbitrario per non restare paralizzata. Decidere, a volte, conta più che decidere bene.

La trappola logica: è un paradosso pragmatico, non logico. Quando affermi qualcosa, implicitamente dichiari di crederci: dire «piove» è già un modo di dire «credo che piova». Ma la seconda parte della frase — «ma non lo credo» — contraddice proprio quell'implicazione. Il contenuto è coerente, l'atto linguistico è impossibile. George Edward Moore lo formulò nel 1942 come esempio di contraddizione performativa.

La trappola logica: Nelson Goodman (Fact, Fiction and Forecast, 1955) mostrò che l'induzione non può essere giustificata solo dalla logica. La soluzione più discussa è l'entrenchment: preferiamo «verde» perché questo predicato è usato da molto più tempo nella scienza. Ma è un criterio pragmatico, non logico. Il paradosso resta aperto: perché alcuni predicati sembrano «naturali» e altri no?

La trappola logica: dipende dalla distribuzione dei pazienti. Se A viene somministrato soprattutto a casi gravi (difficili) e B soprattutto a casi lievi (facili), A sembra peggiore nel totale anche se è migliore in ogni singola categoria. Edward H. Simpson lo descrisse nel 1951. Non è un errore di calcolo: è che i dati aggregati possono invertire la conclusione. Morale: prima di fidarti di una statistica, chiediti come sono stati divisi i gruppi.

La trappola logica: non è un paradosso logico ma una tensione tra probabilità e osservazione. Le soluzioni proposte sono molte: (1) la vita intelligente è rarissima (Rare Earth); (2) esiste un Grande Filtro — un passaggio che quasi nessuna civiltà supera, e forse noi siamo già oltre o non ancora; (3) le civiltà si estinguono o si nascondono; (4) siamo soli. Nessuna soluzione è dimostrata: il paradosso resta un promemoria che la nostra ignoranza cosmologica è ancora enorme.