Una volta annunciato l'ideale di verifica, il positivismo logico doveva costruire una macchina capace di sostenerlo. Il sistema risultante non era un singolo teorema, ma una rete di distinzioni, ciascuna destinata a preservare l'austerità originale evitando un evidente collasso. La distinzione più famosa era quella tra affermazioni analitiche e sintetiche. Le affermazioni analitiche sono vere in virtù del significato e della logica; le affermazioni sintetiche dipendono da come è il mondo. Questo permetteva alla logica e alla matematica di mantenere la necessità senza essere trattate come descrizioni di fatti. Fu una mossa cruciale, perché il movimento non poteva permettersi di declassare l'aritmetica allo status di rapporti meteorologici, né poteva consentire alla necessità di rientrare in filosofia attraverso la porta sul retro della metafisica.
Il Circolo si avvalse ampiamente della nuova logica sviluppata da Frege, Russell e altri, poiché la grammatica ordinaria era troppo fuorviante. Le frasi possono sembrare simili mentre funzionano in modo molto diverso. “Tutti gli unicorni hanno corna” ha la forma di un'affermazione universale, ma se non ci sono unicorni, cosa sta esattamente dicendo? La logica formale doveva spogliare via tali illusioni ed esporre la struttura logica sottostante alla formulazione quotidiana. Per i positivisti, questo non era semplicemente uno strumento tecnico, ma una igiene filosofica. La cattiva metafisica spesso sorge quando la grammatica ci seduce a trattare pseudo-oggetti come se fossero cose. Nel clima intellettuale della Vienna dei primi del Novecento, questo era più di un avvertimento astratto. Era uno sforzo per prevenire il ritorno del vecchio stile di inflazione filosofica sotto un abito scientifico moderno.
Un secondo pilastro era il linguaggio di protocollo o di osservazione. Il movimento sperava di ancorare le teorie scientifiche in frasi che riportassero l'esperienza, almeno inizialmente in una forma accessibile al pubblico. Il programma iniziale di Carnap cercava una base ridotta in cui le affermazioni di livello superiore potessero essere collegate sistematicamente all'osservazione. Neurath, più radicale in alcuni aspetti, resistette al sogno di una fondazione perfettamente privata o infallibile e insistette sul fatto che la scienza è come una barca ricostruita in mare: rivediamo la nostra rete di affermazioni dall'interno, non da un punto di vista privilegiato esterno ad essa. Quella immagine divenne una delle metafore più durevoli e modestamente sorprendenti del movimento. Catturava la situazione pratica dell'indagine scientifica: nessuno può uscire completamente dal linguaggio, dalle prove e dalla teoria, eppure l'intera struttura rimane rivedibile pezzo per pezzo.
Il sistema si ampliò dall'epistemologia alla filosofia della scienza. Le leggi non erano iscrizioni eterne, ma generalizzazioni supportate da prove e aperte a revisione. La spiegazione divenne legata alla previsione e alla conferma. L'ideale era una scienza unificata in cui diverse discipline potessero, in linea di principio, essere coordinate attraverso un comune quadro logico. Questo progetto aveva risonanza politica e culturale. Neurath pensava che una società scientificamente organizzata potesse sostituire l'autorità dogmatica con la pianificazione pubblica; il suo entusiasmo per “l'unità della scienza” era legato ai suoi impegni democratici e socialisti, sebbene il movimento nel suo insieme non fosse riducibile alla sua politica. Ciò che contava filosoficamente era che la scienza dovesse essere resa leggibile come un'impresa pubblica, con le sue affermazioni collegate da regole esplicite piuttosto che da prestigio ereditato.
Il contesto istituzionale del movimento affilò le scommesse. A Vienna, dove il Circolo si riunì negli anni '20 e all'inizio degli anni '30, le posizioni filosofiche non fluttuavano in un vuoto. Erano dibattute in seminari, conferenze e pubblicazioni che davano loro una vita pubblica. La Logische Syntax der Sprache di Carnap apparve nel 1934, e il manifesto precedente, Wissenschaftliche Weltauffassung: Der Wiener Kreis, pubblicato nel 1929, annunciava il programma del movimento in termini inequivocabilmente programmatici. Quei documenti non riassumevano semplicemente un umore; codificavano l'aspirazione a rendere la filosofia responsabile dei metodi della scienza e della logica. Quella aspirazione rese anche il movimento vulnerabile. Una volta che una dottrina si impegna a criteri espliciti, può essere testata rispetto ai propri standard.
Un'illustrazione lavorata rende chiaro lo stile. Supponiamo che un meteorologo dica: “Il barometro sta scendendo, quindi è probabile che piova.” Per i positivisti, questo è significativo perché collega termini teorici e osservazionali in un modo che può essere verificato. La frase non decora semplicemente il cielo con poesia; vincola l'aspettativa. Oppure consideriamo un'affermazione in fisica sugli elettroni. Non osserviamo gli elettroni direttamente come osserviamo una sedia, ma la teoria è significativa perché i suoi termini sono inseriti in una rete di procedure di misurazione e regole inferenziali. Questo permise al movimento di onorare entità non osservabili senza tornare alla metafisica. Il punto non era escludere entità teoriche dalla scienza, ma renderle intelligibili attraverso il loro ruolo in un sistema di prove e inferenze.
La sorprendente svolta fu che il positivismo logico, spesso ricordato come ostile alla teoria, in realtà dava un posto centrale al vocabolario teorico della scienza. Il suo obiettivo non erano tutti gli inobservabili, ma il discorso non connesso. Ciò che rendeva una frase significativa non era la presentazione sensoriale immediata, ma il suo posto in un sistema di possibile verifica. Questa sottigliezza era importante, perché altrimenti il movimento avrebbe ridotto la scienza a un diario di sensazioni e non avrebbe mai potuto rendere conto della ricchezza della fisica moderna. I positivisti volevano evitare entrambi gli estremi: la grandezza vuota della metafisica e la povertà di un linguaggio di sensazione puramente privata.
Ecco perché il loro sistema dipendeva così tanto dal formalismo. Distinguendo il significato dall'apparenza e separando ciò che è analitico da ciò che è empiricamente testabile, il Circolo sperava di tracciare una mappa pulita del territorio intellettuale. Un'affermazione doveva guadagnarsi il suo posto. Se apparteneva alla logica o alla matematica, poteva essere necessaria senza descrivere il mondo. Se apparteneva alla scienza empirica, doveva essere legata a una possibile osservazione. Qualsiasi altra cosa era sospetta. In questo senso, il sistema era una sorta di audit. Il linguaggio filosofico, il linguaggio scientifico e il linguaggio quotidiano dovevano essere ordinati in base a ciò che effettivamente facevano, non a ciò che affermavano di fare.
Tuttavia, il sistema produceva anche un'etica distintiva del discorso. Poiché ogni affermazione deve essere giustificata dalla logica o dall'esperienza, il linguaggio filosofico stesso diventa responsabile. Non si parla più di “essenza della materia” o “destino metafisico dello spirito umano” come se tali frasi conferissero automaticamente profondità. Invece si chiede: cosa conterebbe come prova? quale inferenza è autorizzata? quale osservazione modificherebbe l'affermazione? Il filosofo si trasforma in una sorta di ingegnere linguistico, allineando le affermazioni con le loro condizioni di test. Questo era parte della disciplina intellettuale del movimento e parte della sua forza polemica. Rendeva l'oscurità filosofica stessa una responsabilità.
La serietà pratica del movimento può essere vista nella sua insistenza su criteri pubblici. Se un'affermazione è significativa a causa di ciò che la verificherebbe, allora le prove pertinenti devono essere, in linea di principio, condivisibili. Questa caratteristica conferiva al sistema un'impronta democratica: nessun oracolo privato, nessun accesso metafisico privilegiato, nessun appello finale a un'intuizione ineffabile. Allo stesso tempo, rendeva il sistema fragile. I criteri condivisi non sono la stessa cosa delle risposte semplici, e il lavoro di specificare quei criteri non è mai finito. Anche la distinzione tra ciò che può essere osservato e ciò che deve essere inferito è continuamente rinegoziata nella pratica scientifica effettiva. Il positivismo logico voleva che quella negoziazione fosse trasparente, ma la trasparenza stessa è difficile da garantire.
Questo era il movimento nella sua piena estensione: un linguaggio purificato della scienza, una logica formale per regimentare l'inferenza, un empirismo fallibilista ma disciplinato, e un'ambizione di eliminare pseudo-problemi esponendo la loro mancanza di acquisto empirico. La dottrina era elegante perché sembrava unificare molte virtù contemporaneamente. Era anche vulnerabile, perché una volta che chiedi come il principio di verifica stesso debba essere verificato, il terreno inizia a tremare. Il sistema era stato assemblato; ora doveva resistere alle obiezioni più forti contro le proprie fondamenta. Ciò che sembrava un'architettura di chiarezza avrebbe presto affrontato la pressione dei criteri che aveva imposto a tutti gli altri.