Paradossi logici e semantici: Cantor, Russell e il mentitore
Cos'è un Paradosso?
Un paradosso è un'affermazione o un ragionamento che, pur partendo da premesse apparentemente vere e seguendo una logica impeccabile, porta a una conclusione contraddittoria, inaspettata o contraria all'opinione comune. I paradossi possono essere di natura logica o semantica. Il paradosso di Russell è un esempio di paradosso logico, mentre quello del mentitore è semantico. Lo studio dei paradossi ha stimolato la nascita di nuove teorie fondamentali, come la teoria dei tipi di Russell o la distinzione tra diversi livelli di linguaggio.
Il Paradosso di Cantor e l'Infinito
Secondo il teorema di Cantor, dato un insieme qualsiasi, l'insieme di tutti i suoi possibili sottoinsiemi (noto come insieme delle parti) ha sempre una...