L'idea centrale di Russell era semplice da esprimere e difficile da assorbire: la forma logica di una proposizione conta più del suo abito grammaticale, e molti enigmi filosofici sorgono perché il linguaggio traveste la struttura. Una volta che si comprende questo, si può iniziare a districare le confusioni che fanno sembrare la metafisica più profonda di quanto non sia e la matematica meno sicura di quanto dovrebbe essere. Per Russell, questo non era una preferenza astratta, ma una disciplina del pensiero: si doveva guardare oltre l'arrangiamento visibile delle parole e chiedere cosa, esattamente, stesse facendo la proposizione.
Questa insistenza sulla forma rispetto all'apparenza emerse con particolare forza da una delle crisi più famose nella storia della logica. Il paradosso di Russell fornì il punto di pressione. Considera la classe di tutte le classi che non sono membri di se stesse. Se quella classe è un membro di se stessa, allora per definizione non è un membro di se stessa; se non è un membro di se stessa, allora per definizione lo è. L'enigma non è un trucco di parole, ma una contraddizione generata da assunzioni superficiali riguardo a classi o insiemi. Russell scoprì che un modo apparentemente innocente di raccogliere oggetti in totalità poteva produrre un'auto-riferimento che collassa in inconsistenza.
Un'illustrazione vivida aiuta. Immagina un registro di un villaggio che elenca ogni club del villaggio, e solo quei club che non si elencano nei propri registri di membri. Il registro si elenca? Se lo fa, non deve. Se non lo fa, allora dovrebbe. La contraddizione non è un'anomalia contabile; espone un difetto strutturale nella nozione di raccolta illimitata. Un registro, una classe, un insieme: in ciascun caso il problema non è l'inchiostro o la carta o le parole, ma la relazione tra una regola di descrizione e la cosa descritta. Per Russell, questo non era semplicemente un malfunzionamento tecnico. Era un segno che la logica stessa richiedeva una riforma.
La sorpresa era che il pericolo proveniva da troppa generosità, non da poca. Quando permettiamo a qualsiasi condizione descrivibile di generare una classe, sembriamo guadagnare potere espressivo. Ma quel potere ha un costo: l'auto-applicazione può generare paradossi. La risposta di Russell fu quella di cercare restrizioni abbastanza potenti da prevenire contraddizioni pur preservando le verità di cui la matematica ha bisogno. L'intero progetto logicista cambiò forma sotto questa pressione. Se la matematica doveva poggiare sulla logica, allora la logica non poteva essere lasciata con scappatoie nascoste. Le fondamenta dovevano essere controllate con la stessa attenzione di un libro mastro le cui pagine potrebbero altrimenti annullarsi a vicenda.
La sua soluzione era in parte negativa e in parte costruttiva. Negativamente, rifiutò l'idea che ogni descrizione significativa nomini automaticamente un'entità legittima. Costruttivamente, sviluppò una teoria dei tipi, che stratifica espressioni e oggetti in modo che un predicato o un insieme non possano applicarsi illegittimamente a se stessi allo stesso livello. Il punto non è semplicemente vietare un paradosso specifico; è mostrare che lo spazio logico ha strati. In quello spazio stratificato, ciò che può essere detto di un livello non può semplicemente essere portato verso l'alto o ripiegato su se stesso senza regole. L'ambizione non era quella di indebolire la logica, ma di prevenire che essa si divorasse.
Questa nuova sensibilità alla forma influenzò anche la filosofia del linguaggio di Russell. Una frase può sembrare nominare qualcosa quando in realtà nasconde una struttura più complessa. Considera "L'attuale re di Francia è calvo." Lettura ingenua, sembra riferirsi a un oggetto strano—l'attuale re di Francia—e poi attribuirgli la calvizie. L'analisi di Russell riformula famosamente tali affermazioni come affermazioni riguardanti l'esistenza, l'unicità e la predicazione. Secondo quella lettura, la frase è falsa perché non esiste un attuale re di Francia, non perché ci sia un misterioso re inesistente che per caso è privo di capelli. L'apparente referente si rivela essere un miraggio grammaticale.
Quella mossa fu potente perché dissolse intere famiglie di pseudo-problemi. Le domande sugli esistenziali negativi, sui nomi vuoti e sui riferimenti apparenti a oggetti fittizi o impossibili potevano essere trattate senza panico metafisico. Il costo, tuttavia, era che il linguaggio ordinario non poteva più essere considerato affidabile a valore nominale. Il filosofo doveva diventare un detective della grammatica logica, mostrando come una frase significhi scoprendo cosa dice realmente. Una frase che appare puntare direttamente a una cosa può invece nascondere una struttura esistenziale, una condizione di unicità e un modello di predicazione. Nelle mani di Russell, l'analisi divenne un modo per rimuovere la nebbia che consente alle parole di mascherarsi da ontologia.
Questo è il motivo per cui il lavoro di Russell sembrava minaccioso anche per gli ammiratori. Se la grammatica superficiale è inaffidabile, allora molti argomenti tradizionali—specialmente quelli costruiti su nomi vaghi come "Essere," "l'Assoluto," o "nulla"—possono basarsi su confusione. Il sogno di una grande sintesi metafisica appare improvvisamente sospettosamente come una collezione di incidenti verbali che indossano vesti filosofiche. La sua analisi non risolse semplicemente problemi; li declassò. Costrinse a un confronto con quanto la filosofia fosse stata sostenuta dalla grammatica del prestigio piuttosto che dalla disciplina della prova.
Le poste in gioco non erano solo filosofiche, ma anche matematiche. Il paradosso mostrava che una fondazione superficiale poteva minare il soggetto stesso che Russell sperava di garantire. Il suo logicismo dipendeva dal mantenere la matematica all'interno di una struttura razionale abbastanza forte da sostenere l'aritmetica e altro. Se si permettevano classi illimitate, allora la contraddizione poteva diffondersi attraverso il sistema. Ciò che sembrava una questione tecnica sottile era quindi una questione di sopravvivenza intellettuale: si poteva rendere la matematica sicura dai paradossi senza sacrificare la sua portata? Russell credeva di sì, ma solo se il linguaggio e la forma logica fossero sottoposti a un attento scrutinio.
Eppure l'idea centrale non era nichilistica. Russell non pensava che il linguaggio fosse senza speranza, solo che richiedeva disciplina. Una volta che la forma logica è esposta, la matematica può essere ricostruita su basi più solide, e la filosofia può diventare uno strumento chiarificatore piuttosto che un generatore di misteri. Il paradosso aveva aperto una ferita nelle fondamenta della ragione; la risposta di Russell fu quella di proporre un metodo attraverso il quale la ragione potesse guarire se stessa. Il suo successo non fu semplicemente quello di rilevare un errore, ma di mostrare perché l'errore fosse importante e come una logica più esigente potesse prevenire il suo ritorno.
Per comprendere fino a che punto abbia spinto quel metodo, bisogna vedere come l'idea di analisi si espanse da una correzione locale a un'architettura filosofica completa. Il capitolo successivo segue quella espansione, dalle classi e proposizioni all'epistemologia, all'ontologia e ai principi secondo cui Russell pensava che il pensiero stesso dovesse procedere.