Indietro

ⓘ Paradosso




Paradosso
                                     

ⓘ Paradosso

Un paradosso, dal greco παρά e δόξα, è, genericamente, la descrizione di un fatto che contraddice lopinione comune o lesperienza quotidiana, riuscendo perciò sorprendente, straordinaria o bizzarra; più precisamente, in senso logico-linguistico, indica sia un ragionamento che appare invalido, ma che deve essere accettato, sia un ragionamento che appare corretto, ma che porta a una contraddizione.

Secondo la definizione, che ne dà Mark Sainsbury, si tratta di "una conclusione evidentemente inaccettabile, che deriva da premesse evidentemente accettabili per mezzo di un ragionamento evidentemente accettabile".

In filosofia ed economia il termine paradosso è usato spesso anche come sinonimo di antinomia. In matematica invece si distinguono i due termini: il paradosso consiste in una proposizione eventualmente dimostrata e logicamente coerente, ma lontana dallintuizione; lantinomia, invece, consiste in una vera e propria contraddizione logica.

Il paradosso è un potente stimolo per la riflessione. Rivela sia la debolezza della nostra capacità di discernimento sia i limiti di alcuni strumenti intellettuali per il ragionamento.

È stato così che paradossi basati su concetti semplici hanno spesso portato a grandi progressi intellettuali. Talvolta si è trattato di scoprire nuove regole matematiche o nuove leggi fisiche per rendere accettabili le conclusioni che allinizio erano "apparentemente inaccettabili". Altre volte si sono individuati i sottili motivi per cui erano fallaci le premesse o i ragionamenti "apparentemente accettabili".

Sin dallinizio della storia scritta si hanno riferimenti ai paradossi: dai paradossi di Zenone alle antinomie di Immanuel Kant, fino a giungere ai paradossi della meccanica quantistica e della teoria della relatività generale, lumanità si è sempre interessata ai paradossi. Il buddhismo zen specie quello di scuola Rinzai affida linsegnamento della sua dottrina ai kōan, indovinelli paradossali.

                                     

1. Paradossi nella vita comune

Molti sono i paradossi in senso letterale, ossia contro lopinione comune. Ad esempio, si parla molto del riscaldamento globale e delleffetto serra. Secondo i modelli climatologici accettati, il riscaldamento dellArtico, con il conseguente scioglimento dei ghiacci, causa il "raffreddamento" dellEuropa. Quindi laumento della temperatura a livello globale genera una diminuzione della stessa a livello locale. Questo è noto come paradosso dellArtico.

Molti paradossi sono alla base di trame di film famosi, ad esempio nel primo Terminator vediamo che un androide è stato mandato a uccidere Sarah Connor per impedire che John Connor nasca, in conseguenza di ciò viene inviato un uomo a fermare landroide, e infine questuomo va a letto con Sarah Connor provocando la nascita di John Connor; in pratica un viaggio nel tempo che ha lo scopo di evitare un evento scatena una serie di conseguenze che portano a provocare levento stesso, questo va sotto il nome di paradosso di predestinazione; nel secondo Terminator scopriamo che le macchine hanno origine dai resti del primo terminator inviato, una versione del classico paradosso del nonno. Meno noto è il paradosso del Comma 22 del codice di guerra dei Klingon, desunto quasi letteralmente dal romanzo Comma 22.

                                     

1.1. Paradossi nella vita comune I paradossi dei sensi

Nelle neuroscienze sono noti molti paradossi dovuti allimperfezione dei sensi, o allelaborazione dei dati da parte della mente. Ad esempio, è possibile creare un suono che sembra crescere sempre, mentre in realtà è ciclico. Per il tatto, basta provare con un compasso a due punte: sul polpastrello si percepiscono due punte separate di pochi millimetri, mentre sulla schiena se ne percepisce solo una anche a qualche centimetro. Oppure si immergano le mani in due bacinelle di acqua una calda e una fredda; dopo un paio di minuti si immergano entrambe in una bacinella tiepida e si avranno sensazioni contrastanti: fredda e calda. Le illusioni ottiche sono un altro esempio di paradossi sensoriali.

                                     

1.2. Paradossi nella vita comune Paradossi statistici

In statistica uno dei fenomeni più strani che si hanno è il paradosso di Simpson, di cui si fa un esempio: su una certa malattia, lospedale X ha il 55% di successi, lospedale Y il 60%. Quindi converrebbe farsi operare in Y.

Se scomponiamo, a X sono 90% casi gravi, di cui il 50% è risolto 45% del totale, mentre i restanti 10% lievi hanno il 100% 10% sul totale di successo. Ad Y il 40% sono casi lievi, di cui risolvono il 90% 36% e nel 60% di casi gravi il successo è del 40% 24%.

Quindi in realtà conviene sempre farsi operare in X.

In pratica, linterpretazione dei dati è falsata da parametri non considerati.

                                     

2. I paradossi più antichi

Il più antico paradosso si ritiene essere il paradosso di Epimenide, in cui il Cretese Epimenide afferma: "Tutti i cretesi sono bugiardi". Poiché Epimenide era originario di Creta, la frase è paradossale. A rigor di logica, moderna ovviamente, questo non è un vero paradosso: detta p la frase di Epimenide, o è vera p o è vera non p. Il contrario di p è "Non tutti i cretesi sono bugiardi", ossia "Qualche cretese dice la verità", Epimenide non è uno di quelli, e la frase è falsa. Tuttavia la negazione dei quantificatori non era ben chiara nella logica degli antichi greci. Subito dopo troviamo i paradossi di Zenone. Un altro famoso paradosso dellantichità, questo sì irresolubile, è il paradosso di Protagora, più o meno contemporaneo di Zenone di Elea.

Alcuni paradossi, poi, hanno preceduto di secoli la loro risoluzione: prendiamo ad esempio il paradosso di Zenone della freccia:

"Il terzo argomento è quello della freccia. Essa infatti appare in movimento ma, in realtà, è immobile: in ogni istante difatti occuperà solo uno spazio che è pari a quello della sua lunghezza; e poiché il tempo in cui la freccia si muove è fatto di infiniti istanti, essa sarà immobile in ognuno di essi."


                                     

3. Classificazione dei paradossi logici

Esistono varie forme di classificazione dei paradossi. Secondo le loro implicazioni, i paradossi si dividono in:

  • Positivi: un esempio ne è la teoria della relatività ristretta. Un paradosso "nullo" o "retorico" deriva dal tipico ragionamento sofista, che dimostra una cosa e il suo contrario, come i già citati paradossi di Zenone.
  • Negativi: portano il ragionamento a partire da unipotesi alla negazione della stessa e sono in pratica una dimostrazione per assurdo della falsità dellipotesi di partenza. Di questultimo tipo sono molti teoremi matematici e fisici, come ad esempio il teorema dellinfinità dei numeri primi o il teorema di Church.

Se invece categorizziamo che cosa ci appare paradossale secondo i nostri sensi, abbiamo i paradossi visivi, auditivi, tattili, gustativi e olfattivi, più spesso indicati come anomalie o ambiguità, e i paradossi logici e matematici che sono categoria a sé.

Più diffusa è invece la classificazione di W. V. Quine 1962 che distingueva in tre classi di paradossi:

  • Paradosso "veridico", che produce un risultato apparentemente assurdo sebbene sia dimostrato comunque vero con un argomento valido. Ad esempio il teorema di impossibilità di Arrow stabilisce difficoltà enormi del mappare i voti come risultati di un volere popolare. Il paradosso di Monty Hall dimostra invece che una decisione che ha intuitivamente una probabilità del 50%, quando al contrario non si dia il caso di ciò. Nel ventunesimo secolo, il paradosso del Gran Hotel di Hilbert e del gatto di Schrödinger sono famosi e vividi esempi di una teoria considerata logica ma dalle conclusioni che sembrano paradossali.
  • Un paradosso non presente fra i punti precedenti dovrebbe essere unantinomia.
  • Paradosso "falsidico", più comunemente conosciuto come fallacia, stabilisce che una conclusione non sia falsa perché appaia tale anzi, può anche sembrare il contrario, ma perché non è valida la sua dimostrazione. Esempi di argomenti del genere sono i sofismi algebrici come 1=2, scorretti perché poggiano, in qualche punto nascosto, per una divisione per zero, impossibile nei campi numerici e in generale in tutti i domini di integrità. Altri esempi famosi in letteratura sono i paradossi di Zenone.

Cè anche un quarto tipo di paradosso preso in esame, addizionalmente, nel lavoro di Quine: un paradosso che è effettivamente sia vero che falso contemporaneamente, chiamato dialetheia. Nella logica occidentale mainstream si è assunto che non esistessero, seguendo Aristotele, sebbene esistano delle eccezioni della filosofia orientale e nella logica paraconsistente.

                                     

4. Paradossi dellinduzione

Molti ritengono David Hume responsabile di aver introdotto il problema dellinduzione. In realtà, nella versione del paradosso del sorite, tale problema era noto sin dai tempi di Zenone, vero padre del pensiero paradossale. Il paradosso del sorite afferma:

"Un granello di sabbia che cade non fa rumore, quindi nemmeno due, e nemmeno tre, e così via. Quindi nemmeno un mucchio di sabbia che cade fa rumore". Oppure il suo inverso: se tolgo un granello di sabbia a un mucchio, è ancora un mucchio, così se ne tolgo due e così via. Tuttavia 10 granelli non fanno un mucchio. Qual è allora il granello che fa passare da un mucchio a un non-mucchio? Anche se questo problema può essere risolto con la logica fuzzy, ponendo una funzione che al variare dei granelli restituisca un valore compreso tra 0 e 1, ben più difficile è la risoluzione del seguente paradosso: 1 è un numero piccolo se n è un numero piccolo, allora anche n +1 è un numero piccolo allora, per lassioma dellinduzione, ogni numero naturale è piccolo

Questi problemi sono i principali argomenti di discussione dellepistemologia moderna, che fondamentalmente si riassumono nella domanda: "Quando si può definire vera una teoria?"



                                     

4.1. Paradossi dellinduzione Non tutto è vero quello che sembra solito

A volte il buon senso, anche il buon senso matematico, può farci prendere degli abbagli.

Un esempio lo troviamo nella storiella del tacchino induttivista: un tacchino statunitense aveva imparato che ogni mattina, più o meno alla stessa ora, il padrone gli portava da mangiare. Diligentemente memorizzava tutte le piccole differenze, finché, dopo giorni e giorni, poté essere soddisfatto di aver trovato una regola infallibile: tra le nove le dieci di mattina arrivava inevitabilmente il cibo. Al passare delle settimane e dei mesi la regola trovò sempre conferme. fino al giorno del Ringraziamento, quando il tacchino fu calorosamente invitato sulla tavola della famiglia, come protagonista dellarrosto tradizionale.

Esempi più matematici li troviamo nella teoria dei numeri, nello studio della distribuzione dei numeri primi. Dopo la "sconfitta" dellultimo teorema di Fermat, resta aperta la Congettura di Riemann sulla sua funzione zeta, che collega la distribuzione dei numeri primi con gli zeri di tale funzione. Finora se ne sono trovati miliardi letteralmente che giacciono sulla retta x=1/2, e la congettura che tutti gli zeri giacciano su questa linea potrebbe essere dunque accettata come vera. Ma smentite di quello che sembrerebbe evidente sono famose in matematica, e una riguarda proprio i numeri primi.

La quantità di numeri primi inferiori a un certo numero, diciamo n, solitamente indicata con Π n {\displaystyle \Pi n}, può essere approssimata dalla funzione logaritmo integrale, o Lin, di Gauss, definita come: L i x = ∫ 0 x 1 l o g u d u {\displaystyle Lix=\int _{0}^{x}{\frac {1}{logu}}du}. Questo valore sembra essere "sempre maggiore" della vera distribuzione dei numeri primi, "fino a numeri di centinaia di cifre". Tuttavia nel 1914 John Littlewood ha dimostrato invece che Π x − L i x {\displaystyle \Pi x-Lix} per x intero cambia di segno infinite volte. Nel 1986 Herman te Riele ha dimostrato addirittura che esistono più 10 180 interi consecutivi per cui Π x − L i x {\displaystyle \Pi x-Lix} non è mai minore di 6.62×10 370.

Quindi, nonostante miliardi di esempi a favore, la veridicità o falsità della congettura o ipotesi, visto che si pensa generalmente che sia vera di Riemann è tuttora in discussione.

Altra paradossale situazione è il teorema di Goodstein: si definisce una particolare funzione iterativa su numeri interi che inizialmente presenta una crescita esponenziale ma, venendo ridotta a ogni iterazione di un semplice 1, dopo innumerevoli iterazioni ritorna a 0. Tornando al teorema, esso ha la caratteristica di non poter essere provato allinterno degli assiomi di base della teoria dei numeri Assiomi di Zermelo - Fraenkel e come previsto dal teorema di incompletezza di Gödel, per la sua dimostrazione occorre aggiungere un assioma: lesistenza dei cardinali transfiniti.

                                     

5. Il paradosso della chiaroveggenza

Uno dei paradossi più intriganti della teoria dei giochi è il paradosso di Newcomb, che riguarda il principio di dominanza, ed è il seguente: supponiamo che esista un oracolo, che sostenga di sapere in anticipo quali saranno le mie decisioni. Egli mette in una busta 1.000.000 €, ma solo se sceglierò solo questa, altrimenti la lascia vuota. Poi mi vengono presentate due buste, una con sicuramente 1.000 €, e laltra è quella delloracolo. Posso scegliere se prendere una sola busta o tutte e due. Se applico il principio di massima utilità, mi conviene prendere solo la seconda, e mi fido delloracolo. Se applico il principio di minima perdita, mi conviene sceglierle entrambe: se loracolo ha ragione, prendo almeno 1.000 €, se sbaglia 1.001.000 €. Il paradosso nasce dalla visione delle cose: se la scelta delloracolo si considera già effettuata al momento della scelta ossia loracolo è un ciarlatano che tira a indovinare, applichiamo il principio di dominanza e conviene prendere sempre entrambe le buste. Se invece ammettiamo che il comportamento delloracolo sia influenzato dalla nostra scelta ossia che loracolo sia realmente preveggente, ammettiamo il principio di utilità e conviene prendere solo la seconda. Uno dei due principi non è quindi razionale, oppure non esiste la preveggenza. Si possono trovare argomenti a favore di tutte e due le ipotesi. Tra laltro, basta che loracolo indovini più del 50% delle volte.

Diversamente, la chiaroveggenza potrebbe anche essere dannosa: supponiamo che ci sia una gara automobilistica in cui valga la regola "perde chi sterza per primo". Due macchine sono lanciate luna contro laltra: se uno dei due guidatori è chiaroveggente, la strategia migliore per laltro è non sterzare; il veggente lo sa, e quindi per evitare limpatto sterzerà per primo.