Une fois que l'idéal de vérification avait été annoncé, le positivisme logique devait construire une machinerie capable de le soutenir. Le système résultant n'était pas un seul théorème mais un réseau de distinctions, chacune destinée à préserver l'austérité originale tout en évitant un effondrement évident. La distinction la plus célèbre était celle entre les énoncés analytiques et synthétiques. Les énoncés analytiques sont vrais en vertu de leur signification et de la logique ; les énoncés synthétiques dépendent de la façon dont le monde est. Cela permettait à la logique et aux mathématiques de conserver la nécessité sans être traitées comme des descriptions de faits. C'était un mouvement crucial, car le mouvement ne pouvait pas se permettre de déclasser l'arithmétique au statut de bulletins météorologiques, ni permettre à la nécessité de réintégrer la philosophie par la porte dérobée de la métaphysique.
Le Cercle s'est fortement appuyé sur la nouvelle logique développée par Frege, Russell et d'autres, car la grammaire ordinaire était trop trompeuse. Les phrases peuvent se ressembler tout en fonctionnant très différemment. "Tous les licornes ont des cornes" a la forme d'une affirmation universelle, mais s'il n'y a pas de licornes, que dit-elle exactement ? La logique formelle était censée dépouiller de telles illusions et exposer la structure logique sous le phrasé quotidien. Pour les positivistes, ce n'était pas simplement un outil technique mais une hygiène philosophique. La mauvaise métaphysique surgit souvent lorsque la grammaire nous séduit à traiter des pseudo-objets comme s'ils étaient des choses. Dans le climat intellectuel de Vienne au début du XXe siècle, c'était plus qu'un avertissement abstrait. C'était un effort pour empêcher le vieux style d'inflation philosophique de revenir sous un déguisement scientifique moderne.
Un deuxième pilier était le langage protocolaire ou d'observation. Le mouvement espérait ancrer les théories scientifiques dans des phrases rapportant l'expérience, du moins initialement sous une forme accessible au public. Le programme précoce de Carnap cherchait une base réduite dans laquelle des affirmations de niveau supérieur pouvaient être reliées systématiquement à l'observation. Neurath, plus radical à certains égards, résistait au rêve d'une fondation parfaitement privée ou infaillible et insistait sur le fait que la science est comme un bateau reconstruit en mer : nous révisons notre réseau d'énoncés de l'intérieur, non depuis un point de vue privilégié à l'extérieur. Cette image est devenue l'une des métaphores les plus durables et modestement surprenantes du mouvement. Elle capturait la situation pratique de l'enquête scientifique : personne ne peut sortir complètement du langage, des preuves et de la théorie, pourtant toute la structure reste révisable pièce par pièce.
Le système s'est élargi de l'épistémologie à la philosophie des sciences. Les lois n'étaient pas des inscriptions éternelles mais des généralisations soutenues par des preuves et ouvertes à révision. L'explication est devenue liée à la prédiction et à la confirmation. L'idéal était une science unifiée dans laquelle différentes disciplines pouvaient, en principe, être coordonnées à travers un cadre logique commun. Ce projet avait une résonance politique et culturelle. Neurath pensait qu'une société scientifiquement organisée pouvait remplacer l'autorité dogmatique par une planification publique ; son enthousiasme pour "l'unité de la science" était lié à ses engagements démocratiques et socialistes, bien que le mouvement dans son ensemble ne puisse être réduit à sa politique. Ce qui importait philosophiquement, c'était que la science devait être rendue lisible comme une entreprise publique, avec ses revendications liées par des règles explicites plutôt que par un prestige hérité.
Le cadre institutionnel du mouvement a aiguisé les enjeux. À Vienne, où le Cercle s'est réuni dans les années 1920 et au début des années 1930, les positions philosophiques n'étaient pas flottantes dans un vide. Elles étaient débattues lors de séminaires, de conférences et de publications qui leur donnaient une vie publique. La Logische Syntax der Sprache de Carnap est parue en 1934, et le manifeste antérieur, Wissenschaftliche Weltauffassung : Der Wiener Kreis, publié en 1929, annonçait le programme du mouvement en termes indiscutablement programmatiques. Ces documents ne résumaient pas simplement un état d'esprit ; ils codifiaient l'aspiration à rendre la philosophie responsable des méthodes de la science et de la logique. Cette aspiration rendait également le mouvement vulnérable. Une fois qu'une doctrine s'engage à des critères explicites, elle peut être testée par rapport à ses propres normes.
Une illustration travaillée rend le style clair. Supposons qu'un météorologue dise : "Le baromètre baisse, donc la pluie est probable." Pour les positivistes, cela a du sens car cela relie des termes théoriques et d'observation d'une manière qui peut être vérifiée. La phrase ne décore pas simplement le ciel de poésie ; elle contraint l'attente. Ou considérons une affirmation en physique concernant les électrons. Nous n'observons pas les électrons directement de la manière dont nous observons une chaise, mais la théorie a du sens car ses termes sont intégrés dans un réseau de procédures de mesure et de règles d'inférence. Cela a permis au mouvement d'honorer des entités non observables sans revenir à la métaphysique. Le but n'était pas de bannir les entités théoriques de la science, mais de les rendre intelligibles par leur rôle dans un système de preuves et d'inférences.
Le tournant surprenant était que le positivisme logique, souvent considéré comme hostile à la théorie, a en réalité donné une place centrale au vocabulaire théorique de la science. Son objectif n'était pas tous les non-observables mais les discours non connectés. Ce qui rendait une phrase significative n'était pas la présentation sensorielle immédiate mais sa place dans un système de vérification possible. Cette subtilité était importante, car autrement le mouvement aurait réduit la science à un journal de sensations et n'aurait jamais pu rendre compte de la richesse de la physique moderne. Les positivistes voulaient éviter les deux extrêmes : la grandeur vide de la métaphysique et la pauvreté d'un langage de sensations purement privées.
C'est pourquoi leur système dépendait si fortement du formalisme. En distinguant le sens de l'apparence, et en séparant ce qui est analytique de ce qui est empiriquement testable, le Cercle espérait tracer une carte claire du territoire intellectuel. Une déclaration devait justifier son existence. Si elle appartenait à la logique ou aux mathématiques, elle pouvait être nécessaire sans décrire le monde. Si elle appartenait à la science empirique, elle devait être liée à une observation possible. Tout le reste était suspect. En ce sens, le système était une sorte d'audit. Le langage philosophique, le langage scientifique et le langage quotidien devaient tous être triés selon ce qu'ils faisaient réellement, et non selon ce qu'ils prétendaient faire.
Pourtant, le système a également produit une éthique distinctive du discours. Parce que chaque énoncé doit être justifié par la logique ou l'expérience, le langage philosophique lui-même devient responsable. On ne parle plus de "l'essence de la matière" ou "du destin métaphysique de l'esprit humain" comme si de telles phrases conféraient automatiquement de la profondeur. Au lieu de cela, on demande : qu'est-ce qui compterait comme preuve ? quelle inférence est autorisée ? quelle observation modifierait l'affirmation ? Le philosophe se transforme en une sorte d'ingénieur linguistique, alignant les énoncés avec leurs conditions de test. Cela faisait partie de la discipline intellectuelle du mouvement et de sa force polémique. Cela rendait l'obscurité philosophique elle-même un handicap.
Le sérieux pratique du mouvement peut être vu dans son insistance sur des critères publics. Si une affirmation est significative en raison de ce qui la vérifierait, alors les preuves pertinentes doivent être, en principe, partageables. Cette caractéristique donnait au système une teinte démocratique : pas d'oracle privé, pas d'accès métaphysique privilégié, pas d'appel final à une intuition ineffable. En même temps, cela rendait le système fragile. Les critères partagés ne sont pas les mêmes que de simples réponses, et le travail de spécification de ces critères n'est jamais terminé. Même la distinction entre ce qui peut être observé et ce qui doit être inféré est continuellement renégociée dans la pratique scientifique réelle. Le positivisme logique voulait que cette négociation soit transparente, mais la transparence elle-même est difficile à garantir.
C'était le mouvement à plein régime : un langage purifié de la science, une logique formelle pour régimenter l'inférence, un empirisme fallibiliste mais discipliné, et une ambition d'éliminer les pseudo-problèmes en exposant leur manque d'achat empirique. La doctrine était élégante car elle semblait unifier de nombreuses vertus à la fois. Elle était également vulnérable, car une fois que vous demandez comment le principe de vérification lui-même doit être vérifié, le sol commence à trembler. Le système avait été assemblé ; maintenant il devait résister aux objections les plus fortes contre ses propres fondations. Ce qui avait semblé être une architecture de clarté serait bientôt confronté à la pression des critères mêmes qu'il avait imposés à tout le monde.