Paradosso di Russell e programmi astrazionisti. Spiegazioni e soluzioni a confronto

I paradosso di Russell segna il fallimento della versione fregeana del progetto fondazionale logicista di riduzione della matematica — e, in modo decisivo, dell'aritmetica — alla logica. Il progetto logicista rimane tuttavia alla base degli attuali programmi astrazionisti, animati dal medesimo intento fondazionale e caratterizzati dall'adozione dello strumento, tipicamente fregeano, dei principi d'astrazione. Si rivela dunque cruciale, per lo sviluppo di tali programmi, una profonda comprensione e un pieno superamento del paradosso di Russell. Nel libro, il dibattito astrazionista viene ricostruito a partire dalle risposte fornite all'interrogativo sull'origine di questo paradosso. Si approfondisce, in particolare, una spiegazione finora poco indagata, che mette in luce il ruolo dirimente della logica classica del primo ordine e suggerisce, quale nuova direzione risolutiva, l'adozione della logica libera.