Recensione di Introduction to Mathematical Philosophy

Recensione di Introduction to Mathematical Philosophy: ciò che è familiare diventa insolito

Una recensione di Introduction to Mathematical Philosophy deve cominciare correggendo la promessa implicita nella parola «introduzione». Bertrand Russell non propone una rassegna delle celebri posizioni filosofiche sulla matematica, né insegna le tecniche matematiche nel senso consueto. Pone una domanda più inquietante: che cosa deve essere vero, sul piano logico, prima che possa avere inizio anche la matematica più semplice? Numeri, conteggio, ordine, infinito, continuità e classi non sono trattati come strumenti già definiti, ma come concetti la cui apparente ovvietà deve essere giustificata.

Questo movimento a ritroso è l'idea guida del libro. La matematica ordinaria procede da punti di partenza accettati verso risultati più complessi. Russell si muove nella direzione opposta: dai risultati familiari verso fondamenti sempre più astratti. Il libro comincia con i numeri naturali perché sembrano elementari, poi mostra che persino lo zero, la successione e il contare racchiudono problemi che la notazione può nascondere. La sua tesi è metodologica quanto dottrinale: a volte il progresso dipende dal rifiuto di considerare autoesplicativo un concetto utile.

Il risultato è impegnativo, ma non volutamente oscuro. Russell ricorre di continuo a piccoli esempi — coppie, collezioni, predecessori, discendenti e serie ordinate — per chiarire il lavoro svolto da una definizione. La sua prosa dà il meglio quando fa apparire di nuovo difficile un'idea ritenuta semplice e poi mostra perché tale difficoltà sia importante. Il risultato centrale non è quindi una serie di conclusioni da memorizzare, ma una lezione rigorosa sul modo in cui l'analisi logica può cambiare le domande che un lettore sa porre.

Che cosa intende Russell quando parte dalla logica

I primi capitoli passano dalla concezione dei numeri naturali elaborata da Peano a una definizione logica del numero. A Russell non interessa soltanto stabilire se un gruppo contenga due o tre elementi. Vuole spiegare che cosa siano i numeri senza presupporre tacitamente l'atto di contare, poiché contare si basa già sull'idea di numero. Il percorso attraverso la corrispondenza e le classi di collezioni simili può sembrare tortuoso, ma l'apparente deviazione coincide con l'argomentazione stessa: la familiarità matematica può nascondere un circolo logico.

Da qui il libro sviluppa definizioni della finitezza, dell'induzione matematica, dell'ordine e di diversi tipi di relazione. Le relazioni sono particolarmente importanti perché consentono a Russell di spiegare come si possa strutturare una serie senza ridurre l'ordine a una vaga immagine spaziale. La somiglianza tra relazioni, anziché tra oggetti isolati, diventa uno strumento per comprendere come sistemi distinti possano condividere la stessa forma. Le discussioni sui numeri razionali, reali e complessi mostrano poi come sistemi numerici più ampi possano essere costruiti, invece che semplicemente postulati.

Il successivo percorso attraverso i numeri cardinali e ordinali infiniti, i limiti, la continuità, la selezione, i tipi logici, le funzioni proposizionali, le descrizioni e le classi è più condensato. La progressione rimane però comprensibile: Russell sta raccogliendo le risorse concettuali necessarie per difendere il logicismo, la posizione secondo cui la matematica può, in un senso importante, essere tradotta nella logica e derivata da essa. Chi desidera la realizzazione molto più tecnica di tale ambizione può proseguire con la recensione di Principia Mathematica presente sul sito. Questo volume non è un sostituto semplificato di quell'opera; è un ponte interpretativo verso i problemi che fecero apparire necessario un progetto simile.

Il maggior pregio del libro è il rigore dell'analisi

Il talento più evidente di Russell è la capacità di sottoporre a un vaglio serrato le parole che usiamo senza esaminarle. «Numero», «uguale», «successivo», «tutti» e «alcuni» sono indispensabili nel ragionamento ordinario, ma la praticità non garantisce la precisione. Ancora e ancora, Russell verifica se una definizione spieghi il proprio oggetto o si limiti a descriverlo in modo diverso. Questa abitudine conferisce al libro un valore che va oltre le alterne fortune storiche del logicismo. Un lettore può dissentire dal programma fondazionale di Russell e tuttavia imparare dal rigore con cui egli esige che ogni passaggio sia esplicito.

È anche per questo che il libro funziona come opera filosofica anziché come manuale di consultazione neutrale. Le definizioni di Russell non sono mai un semplice riordino terminologico. Producono conseguenze sui tipi di entità che occorre ammettere e sugli enigmi tradizionali che possono essere riformulati. Nel trattare le descrizioni e le classi emerge una preferenza ricorrente: prima di moltiplicare oggetti misteriosi, occorre esaminare la forma logica della frase che sembra nominarli. Questa tecnica collega la sua opera matematica alla più ampia filosofia analitica rappresentata nella recensione di The Problems of Philosophy, benché i due libri si rivolgano a lettori diversi.

La prosa possiede inoltre un rigore fecondo. Russell non si affida all'entusiasmo per la bellezza matematica per far sorvolare il lettore su una lacuna. Distingue i casi finiti da quelli infiniti, le questioni cardinali da quelle ordinali e una serie dalla relazione che la ordina. Queste distinzioni si accumulano. Il loro effetto complessivo è rivelare un mondo matematico tenuto insieme non dalla sola intuizione, ma da affermazioni accuratamente circoscritte. Nella più vasta raccolta dedicata a filosofia e psicologia, pochi libri mostrano in modo così diretto come una modifica della definizione possa riorganizzare un intero campo d'indagine.

Perché questa introduzione rimane difficile

Il titolo può far pensare a un'opera accessibile a qualsiasi lettore curioso, ma l'idea russelliana di difficoltà minima è relativa alla proibitiva letteratura simbolica che egli interpreta. Russell riduce la notazione, non l'astrazione. Chi si aspetta storie di matematici, una cronologia delle idee o esercizi svolti troverà poco sostegno. Gli esempi illuminano singoli passaggi, ma mancano diagrammi moderni, riepiloghi, raccolte di problemi o esercitazioni graduate per difficoltà. Lasciarsi sfuggire una distinzione può rendere diverse pagine successive più difficili del necessario.

Il libro procede inoltre in modo diseguale. Le discussioni sui numeri naturali e sulle relazioni sono abbastanza pazienti da stabilire un ritmo; i capitoli successivi, a volte, condensano dibattiti che meriterebbero una preparazione maggiore. «Classe», «funzione proposizionale», «tipo» e «assioma moltiplicativo» non sono termini che il lettore possa assorbire per semplice esposizione. La sicura padronanza sintattica di Russell può far sembrare il filo di un paragrafo più chiaro di quanto lo siano davvero le sue implicazioni. Rileggere lentamente non è qui un segno di fallimento; è parte integrante del lavoro richiesto.

Occorre poi una cautela di ordine storico. Russell presenta un particolare programma fondazionale in un momento in cui la logica moderna e la teoria degli insiemi venivano rapidamente rielaborate. Il suo logicismo esercitò un'influenza enorme, ma la trattazione dei tipi, delle classi e degli assiomi speciali suscitò serie critiche anche tra i logici che guardavano con favore al progetto. Gli sviluppi successivi della logica matematica modificarono ancora una volta il quadro. Il libro va dunque letto come una limpida esposizione prodotta all'interno di un importante programma di ricerca, non come un resoconto definitivo di che cosa sia la matematica o di ciò che i filosofi contemporanei credono unanimemente.

Il contesto chiarisce tanto l'ambizione quanto i limiti

Pubblicato per la prima volta nel 1919, il libro appartiene al periodo successivo al completamento, da parte di Russell e Alfred North Whitehead, dei tre volumi dei Principia Mathematica. Traduce in una prosa in larga misura priva di simboli alcuni risultati legati a quel progetto tecnico. Russell lo scrisse mentre era in carcere per la sua attività contro la guerra: una circostanza biografica notevole, che però non dovrebbe diventare una scorciatoia interpretativa. La validità delle argomentazioni dipende dalla loro struttura, non dal carattere drammatico delle condizioni in cui furono composte.

Sul piano storico, il libro si colloca al punto d'incontro tra diverse imprese: l'aritmetizzazione dell'analisi, l'assiomatizzazione dell'aritmetica di Peano, l'analisi logica del numero di Frege, lo studio dell'infinito di Cantor e la risposta di Russell ai paradossi logici mediante una teoria dei tipi. Russell è una guida incisiva proprio perché non osserva questi sviluppi da una distanza neutrale. Cerca di mostrare come sostengano una visione unitaria nella quale il confine tra matematica e logica diventa difficile da tracciare.

Questa presa di posizione è intellettualmente utile. Dà una direzione all'esposizione e chiarisce perché le distinzioni tecniche siano importanti. Al tempo stesso, restringe la prospettiva. Il lettore ricava un'idea molto limitata delle filosofie della matematica concorrenti, salvo nei punti in cui Russell deve indicare un problema che il proprio approccio intende risolvere. Formalismo, intuizionismo e dibattiti fondazionali successivi non sono presentati come alternative poste sullo stesso piano. Chi usa il libro per studiare dovrebbe affiancargli una panoramica aggiornata, anziché pretendere che un testo primario vecchio di un secolo ne offra una.

I lettori ideali e un modo migliore di affrontare i capitoli

I lettori più adatti non sono necessariamente i matematici più avanzati. Sono coloro che amano chiedersi quali presupposti comportino le operazioni familiari. Una certa dimestichezza con le dimostrazioni, gli insiemi o la logica elementare è utile, ma la pazienza conta più della capacità di calcolo. Gli studenti di filosofia possono servirsi del libro per vedere il metodo analitico messo davvero alla prova; quelli di matematica per mettere in discussione presupposti che i normali corsi spesso lasciano impliciti. I lettori generalisti devono aspettarsi un serio progetto intellettuale, non una storia divulgativa.

Una strategia di lettura produttiva consiste nel dividere il libro in blocchi concettuali. Si può seguire dapprima la trattazione dei numeri naturali, della definizione, dell'induzione e dell'ordine; poi fermarsi e riformulare in un linguaggio semplice il ruolo delle relazioni. I capitoli sui sistemi numerici, l'infinito e la continuità vanno affrontati come costruzioni edificate con quegli strumenti precedenti. Le discussioni conclusive sulla deduzione, le descrizioni, le classi e il rapporto tra matematica e logica costituiscono il punto d'arrivo filosofico. Tenere un piccolo glossario è più utile che cercare di ricordare ogni dettaglio alla prima lettura.

Chi è interessato soprattutto alla chiarezza filosofica generale di Russell dovrebbe cominciare da The Problems of Philosophy e tornare qui quando desidera conoscere i fondamenti tecnici del suo metodo. Chi cerca una riflessione sulla vocazione matematica, la creatività e il valore estetico troverà in A Mathematician's Apology un'alternativa più personale. Nessuno dei due sostituisce questo libro: il primo spazia tra epistemologia e metafisica, mentre il secondo si chiede che cosa renda la matematica pura degna di essere coltivata. Russell si concentra su un problema più circoscritto e strutturale: che cosa serve perché i numeri e le proposizioni matematiche siano comprensibili.

Verdetto: un ponte rigoroso, non una via d'accesso priva di ostacoli

Introduction to Mathematical Philosophy conserva il proprio valore perché occupa un'insolita posizione intermedia. È più esplicativo di un trattato formale e più impegnativo di un'introduzione convenzionale. Russell non rende facili i fondamenti della matematica; ne rende la difficoltà visibile, ordinata e degna di essere affrontata. I suoi esempi offrono appigli sufficienti perché un lettore paziente possa seguire argomentazioni che, altrimenti, scomparirebbero dietro il simbolismo.

L'età del libro è parte tanto della sua importanza quanto dei suoi limiti. L'opera offre un accesso insolitamente diretto a un'ambizione logicista che ha segnato la formazione della disciplina, ma non può fungere da mappa aggiornata della filosofia della matematica. Parte della terminologia apparirà datata, alcune affermazioni richiedono precisazioni storiche e l'assenza di esercizi rende più difficile acquisire una padronanza autonoma. Letto come l'ultima parola sull'argomento, il libro induce in errore. Letto come un testo primario argomentato con cura, mostra quanto profondamente l'analisi dei concetti elementari abbia trasformato la filosofia e la logica moderne.

La raccomandazione è dunque convinta ma selettiva. Scegliete questo libro se, più a lungo la considerate, la domanda «Che cos'è un numero?» vi sembra sempre più profonda invece che sempre più pedante. Rimandatelo, almeno per ora, se cercate un racconto storico, matematica pratica o un'ampia panoramica contemporanea. Ai lettori a cui è destinato, Russell offre qualcosa di più raro: non un percorso agevole verso la matematica, ma una serie di strumenti intellettuali con cui esaminare il terreno su cui essa poggia.