Pagina iniziale | Navigazione |
Google

Paradosso di Russell

Il paradosso di Russell è considerato la più celebre antinomia della storia del pensiero logico e matematico. La sua scoperta ebbe ampia risonanza all'interno della comunità di studiosi che agli inizi del Novecento si occupavano della sistemazione dei fondamenti della matematica.

Table of contents
1 La contradditorietà degli insiemi
2 Il paradosso di Russell e la crisi della Grande Logica: la storia
3 Altri paradossi logici

La contradditorietà degli insiemi

Il ragionamento di Bertrand Russell dimostra come sia facile cadere in contraddizione parlando di insiemi. La nozione di insieme è solo apparentemente esente da dubbi e difficoltà, come dimostra l'argomentazione seguente. Introduciamo dapprima il concetto di insiemi che appartengono o non appartengono a se stessi:

  • un insieme appartiene a se stesso se è elemento di se stesso (per esempio, l'insieme di tutti i pensieri astratti è a sua volta un pensiero astratto e dunque appartiene a se stesso);
  • un insieme non appartiene a se stesso se non è elemento di se stesso (per esempio, l'insieme di tutti gli uomini calvi non è un uomo calvo e dunque non appartiene a se stesso).
A questo punto consideriamo l'insieme R di tutti gli insiemi che non appartengono a se stessi e chiediamoci se esso appartiene o meno a se stesso:
  • se R appartiene a se stesso allora R non appartiene a se stesso;
  • se R non appartiene a se stesso allora R appartiene a se stesso.
In entrambi i casi abbiamo derivato una contraddizione.

Il paradosso di Russell e la crisi della Grande Logica: la storia

Il paradosso fu scoperto da Bertrand Russell mentre si dedicava allo studio della teoria degli insiemi di Cantor su cui contemporaneamente Frege stava realizzando la riduzione della matematica alla logica. Russell si rese subito conto delle conseguenze che la sua scoperta avrebbe avuto per il programma logicista e non esitò a mettersi immediatamente in contatto con il logico di Jena. Il caso volle che la lettera di Russell fosse recapitata a Frege nell'estate del 1902 poco prima della pubblicazione del secondo e ultimo volume dei Principi di aritmetica. Frege prese atto delle conseguenze distruttive per il sistema che aveva costruito in quegli anni e decise di scrivere un'appendice ai suoi Principi in cui confessava il fallmento della sua opera.

Altri paradossi logici

Accanto al paradosso di Russell, altre antinomie fiorirono tra la fine dell'Ottocento e l'inizio del Novecento:

  • Paradosso di Burali Forti
  • Paradosso di Konig
  • Paradosso di Richard


GNU Fdl - it.Wikipedia.org




Google | 

Enciclopedia |  La Divina Commedia di Dante |  Mappa | : A |  B |  C |  D |  E |  F |  G |  H |  I |  J |  K |  L |  M |  N |  O |  P |  Q |  R |  S |  T |  U |  V |  W |  X |  Y |  Z |