Quand un postulat est remplacé
Pas une pierre retirée du socle
La métaphore du bâtiment fait croire qu’enlever un postulat détruit tout l’édifice. La Critique préfère un réseau de dépendances. Si P est retiré, les énoncés qui en dépendent passent en « révision requise » ; ils ne deviennent pas automatiquement faux.
Certains trouveront un autre appui, d’autres survivront avec une portée réduite, d’autres seront abandonnés. Cette propagation détaillée est plus exigeante que l’alternative spectaculaire entre effondrement total et continuité intacte.
Conserver les adresses historiques
Même lorsqu’un énoncé n’est plus utilisable aujourd’hui, son ancienne adresse doit rester visible : sous quelles prémisses et dans quelle branche avait-il qualité ? Effacer cette histoire empêcherait de comprendre la transformation de la théorie.
Un nouvel axiome candidat subit trois passages : l’épreuve performative, l’épreuve de réduction aux engagements existants, puis l’inscription publique du candidat et de ses dépendances. Le simple baptême d’« axiome » ne confère aucun rang.
Une philosophie apparaît dans ses choix
Deux théories peuvent partager l’axiome tout en assumant des postulats différents. Leur singularité réside moins dans la quantité de nécessité proclamée que dans les engagements qu’elles signent et les coûts qu’elles suivent.
La révisabilité n’est pas la négligence. Elle exige une raison de changer, une carte des effets, la conservation de l’ancienne adresse et l’inscription des nouvelles questions. La Critique ne promet pas une théorie incassable, mais une théorie capable de montrer comment elle se corrige.