Paradosso

Quest'articolo di Wikipedia contiene almeno un errore.

Questo sopra non è una versione modificata dello stub, ma il Paradosso dell'introduzione di David Markinson: se vi sono errori nel testo, quanto affermato è vero, e se non ve ne sono, l'errore è appunto in quanto affermato. A scanso di equivoci, l'errore non consiste nel non leggere l'articolo nella sua interezza.


Un paradosso, del greco para, oltre e doxa, opinione, è qualcosa che sfida l'opinione comune. Sin dall'inizio della storia scritta, si hanno riferimenti ai paradossi: dai paradossi di Zenone alle antinomie kantiane, fino a giungere ai paradossi della meccanica quantistica e della teoria della relatività generale, l'umanità si è sempre interessata ai paradossi. Un'intera corrente filosifico-religiosa, il buddhismo zen, affida l'insegnamento della sua dottrina ai koan, indovinelli paradossali. 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 di fatti occuperà solo uno spazio che è pari a quello della sua lunghezza; e poiché il tempo in cui la freccia si muove è fatta di infiniti istanti, essa sarà immobile in ognuno di essi."

Come si può distinguere la freccia in movimento da quella ferma, e smentire il paradosso? Oggi sappiamo che, secondo la teoria della relatività ristretta, una freccia in moto rispetto all'osservatore appare a questi più corta della stessa freccia ferma rispetto all'osservatore. Tra Zenone e la relatività ristretta intercorrono ben 24 secoli! Molti paradossi sono alla base di trame di film famosi, ad esempio nel secondo Terminator, scopriamo che le macchine hanno origine dai resti del primo terminator inviato, una versione del classico paradosso della nonna. Meno noto è il paradosso del Comma 22 del codice di guerra dei Klingon.

Indice
1 I paradossi dei sensi
2 I primi paradossi
3 Classificazione dei paradossi
4 Paradossi dell'induzione
5 Tanto gentil e tanto onesta, pare...
6 Lista dei paradossi più noti
7 Voci correlate
8 Bibliografia
9 Collegamenti esterni

I paradossi dei sensi

Nelle neuroscienze sono noti molti paradossi dovuti all'imperfezione dei sensi, o all'elaborazione dei dati da parte della mente. Ad esempio è possibile creare un suone 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 immergono le mani in due bacinelle di acqua una calda ed una fredda; dopo un paio di minuti si immergono enrtambe in una bacinella tiepida, e si avranno sensazioni contrastanti: fredda e calda. Le illusioni ottiche sono un altro esempio di paradssi sensoriali.

I primi paradossi

Il più antico paradosso si ritiene essere quello di Epimenide, che dice "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 dell'antichità, questo sì irresolubile, è il paradosso di Protagora, più o meno contemporaneo di Zenone di Elea.

Classificazione dei paradossi

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

a seconda delle loro implicazioni. Un paradosso si dice positivo se attraverso un ragionamento paradossale rafforza le conclusioni a cui si arriva: un esempio ne è la teoria della relatività ristretta. Un paradosso nullo o retorico deriva dal tipico ragionamento sofista, che dimostra una cosa ed il suo contrario, come i già citati paradossi di Zenone. Infine, i paradossi negativi portano il ragionamento a partire da un'ipotesi alla negazione della stessa, e sono in pratica una dimostrazione per assurdo della falsità dell'ipotesi di partenza. Di quest'ultimo tipo sono molti teoremi matematici e fisici, come ad esempio il teorema dell'infinità 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è.

Paradossi dell'induzione

Molti ritengono David Hume responsabile di aver introdotto il problema dell'induzione. 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 ad 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 ad 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:

0 è un numero piccolo
1 è un numero piccolo
Per l'assioma dell'induzione, se una proprietà vale per n e per n+1, allora vale \forall n \in \mathbb{N}
Quindi ogni numero è piccolo.

Questi problemi sono i principali argomenti di discussione dell'epistemologia moderna, che fondamentalmente si riassumono in Quando si può definire vera una teoria?.

Tanto gentil e tanto onesta, pare...

Ossia così sembra ma non è, anche se le parole del Vate non avevano questo significato. Vediamo come a volte il buon senso, anche il buon senso matematico, può farci prendere degli abbagli: l'esempio più noto, forse, lo troviamo nella teoria dei numeri. In questa branca della matematica, lo studio dei numeri primi e della loro distribuzione riveste, da almeno due secoli, primaria importanza. Dopo la sconfitta dell'ultimo 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 è appunto che tutti gli zeri giacciano su questa linea. Ma smentite di quello che sembrerebbe evidente (ce ne sono miliardi...) sono famose in matematica, e una riguarda proprio i numeri primi. La quantità di numeri primi inferiori ad un certo numero, diciamo n, può essere approsimata dalla funzione Li(n) di Gauss, definta come: Li(x) = \int^{x}_0 \frac 1 {log (u)} du. Questo valore sembra essere sempre maggiore della vera distribuzione dei numeri, solitamente indicata con Π(n), fino a numeri di centinia di cifre. Tuttavia nel 1914 John Littlewood ha dimostrato che Π(x) − Li(x) per x intero cambia di segno infinite volte. Nel 1986 Herman te Riele ha dimostrato che esistono più 10180 interi consecutivi per cui Π(x) − Li(x) non è mai minore di 6,62×10370. Altra paradossale situazione è il teorema di Goodstein: si definisce una funzione che, pur crescendo esponenzialmente e venendo ridotta ad ogni iterazione di 1, dopo innumerevoli iterazioni ritorna a 0. Il che dimostra anche, per inciso, come Ercole avrebbe potuto uccidere l'Idra di Lerna da solo, senza aiuti per cicatrizzarne le teste tagliate. Quindi, nonostante miliardi di esempi a favore, la verità o falsità della congettura di Riemann è tuttora in discussione.

Lista dei paradossi più noti

L'elenco riporta solo i paradossi più citati, per una lista più esauriente, vedere l'articolo "elenco di paradossi"

Voci correlate

Bibliografia

Collegamenti esterni

See also: Paradosso, 1914, 1986, 1987, 2001, Antinomie kantiane, Compasso, Congettura di Riemann, Dante Alighieri, David Hume