Ontodynamique V2 : ce qui a changé depuis la V1

Un axiome de plus, et c’est un progrès

La première version du système se vantait d’un seul axiome. La deuxième en a deux. Sur le papier, c’est un recul : on a perdu en parcimonie. En réalité c’est l’inverse, et voici pourquoi.

L’axiome unique de la V1 disait : « être, c’est se faire ». Une seule phrase d’où sortait tout le reste. Élégant. Mais cette phrase cachait quelque chose. Pour qu’une chose se fasse, il faut un lieu où elle se fait, un fond, un déjà-là. La V1 supposait silencieusement ce fond : un Tout qui se tient de lui-même, sans dehors. Cet axiome unique n’était d’ailleurs pas un point de départ choisi : le système y était tombé à force de réduction, en retirant un à un, sous le contrôle de l’assistant de preuve, les axiomes qui ne travaillaient pas, jusqu’à n’en garder qu’un. Mais ce survivant unique devait alors couvrir à la fois le Tout et les déterminations finies, et « se faire » se trouvait forcé de s’appliquer au Tout comme au reste, ce qui tordait la langue. Le Tout ne se fait pas dans un contexte : il n’a pas de dehors, pas de contexte. Il est, tout court.

La V2 arrête de tordre. Elle sépare les deux strates que la V1 comprimait dans une seule phrase. Le premier axiome porte sur le Tout : le réel est un acte, un et sans dehors. Le second porte sur tout le reste, les déterminations finies en lui : pour elles, être, c’est se faire un, dans un contexte, à un coût. Deux niveaux, deux énoncés. Ils ne se répètent pas : le premier pose le terrain, le second pose la loi sur ce terrain.

« Mais alors vous avez payé un axiome de plus. » Oui, et le système l’assume. Voici le point qui change tout : un axiome peut faire un travail ontologique sans faire un travail déductif. Le premier axiome ne démontre rien. Toute la chaîne de théorèmes tourne sur le second. Le premier se contente de poser qu’il y a un Tout, et que le fini n’est pas le Tout. Le retirer ne casse aucune preuve. Mais le retirer laisse « se faire un » sans terrain (se faire un, mais dans quoi ?), et fait réapparaître une vieille dichotomie que le système dissout justement.

Cette dichotomie, c’est celle du réel et de l’abstrait. Une fois le Tout séparé des déterminations finies, elle s’effondre. Le réel pur, au sens fort, c’est le Tout, l’acte un sans dehors. Tout ce qui est individué, cette pierre, ce théorème, n’est pas dans le réel pur : c’est déjà une forme découpée, maintenue, portée. Et l’abstrait n’est pas un autre monde, une arrière-boutique platonicienne : c’est simplement une forme portée très dure, tenue par un réseau dense et varié de supports. Un théorème formellement vérifié et une pierre sont sur le même axe ; ils ne diffèrent que par la variété de leurs supports. Le platonisme n’a plus où loger ses objets : une forme que rien ne porte n’existe pas.

Ce geste, le système le répète partout. Substance contre processus, qualitatif contre quantitatif, réel contre abstrait : chaque fois, il montre que la coupure qu’on prenait pour première n’est pas inscrite dans le réel, elle est tracée par quelqu’un, depuis quelque part. La coupure est un acte, pas un fait premier. C’est devenu un théorème de la V2 : toute partition qu’une clôture finie trace est interne à son acte. Aucune coupure ne précède celui qui la trace.

Voilà le cadrage de la V2. Elle est moins parcimonieuse que la V1, et elle en est plus fière. Elle a cessé de vendre l’économie pour dire la vérité sur la structure du réel : il y a un Tout, et il y a ce que des êtres finis y découpent. Le reste suit.

La chose et ce qui la tient : le porté

La V1 rangeait tout ce qui existe dans trois boîtes. Les clôtures, qui paient leur propre maintien sur leur propre marge, comme un organisme qui cicatrise. Les portages, qui maintiennent une forme en faisant payer la facture à quelqu’un d’autre. Et les agrégats, qui ne paient rien et ne tiennent que par inertie, comme un caillou. La V2 s’est aperçue que la boîte du milieu contenait en fait deux choses qu’on confondait.

Prenez un grand modèle de langage. Quand on dit « le LLM », on mélange deux objets. Il y a les poids, le fichier sur le disque : une forme. Vous pouvez la copier, la restaurer à l’identique après une panne, la faire tourner sur une autre machine, elle ne change pas. Et il y a l’inférence, le processus actif qui fait tourner ces poids, chauffe les serveurs, use le silicium. La facture tombe sur l’inférence et son infrastructure, jamais sur les poids. Les poids, eux, ne paient rien : on les rejoue gratuitement.

La V2 nomme les deux. Ce qui compose et maintient activement une forme, en externalisant le coût, c’est le portage. La forme maintenue, qui se laisse faire et ne paie rien en propre, c’est le porté. Les poids sont un porté ; l’inférence est le portage qui les active.

Une fois qu’on a l’œil, on les voit partout. Le génome d’un virus est un porté ; sa réplication, qui emprunte toute la machinerie de la cellule, est le portage. Un théorème est un porté ; les cerveaux et les institutions qui le démontrent et le maintiennent sont le portage. Un mot de passe est un porté presque pur, une forme inscrite qui ne fait rien jusqu’à ce qu’un système la vérifie.

Comment reconnaître un porté ? À quatre traits. Il se restaure à l’identique : le rollback ne lui coûte rien. Il est bon marché à réinscrire une fois qu’il a été produit la première fois. Il est portable d’un support à l’autre sans changer de forme : la même mélodie sur un papier, dans une mémoire, sur un disque. Et entre deux activations, il est simplement là où il est inscrit, dans l’encre, le silicium, les neurones, en attendant qu’un porteur le rejoue.

Cette distinction en débloque une autre, plus utile encore : la forme et la fonction. Un porté est une forme. Ce à quoi il donne droit, sa fonction, est toujours attribué par ce qui le porte, et peut changer sans que la forme bouge. Un brevet qui expire garde sa forme exacte et perd sa fonction juridique. Un mot de passe révoqué garde sa forme et perd sa fonction d’authentification. La forme et la fonction ne sont pas au même endroit.

Et la dureté d’un porté, sa résistance, ne tient pas à lui mais au réseau qui le porte. Plus les supports sont nombreux et variés, plus il est dur. C’est exactement ce qui faisait passer certaines formes pour abstraites : un théorème formellement vérifié est un porté très dur, tenu par un réseau dense et hétérogène. Rien de plus. C’est le lien avec le cadrage : l’abstrait n’est pas un autre monde, c’est un porté dur.

Le gain de tout ça, c’est un scalpel plus fin. Là où la V1 disait « le LLM est un portage », la V2 dit : ses poids sont un porté, son inférence est un portage, et le coût tombe sur le second. Elle a même corrigé l’auteur en chemin : les objets mathématiques, que la V1 rangeait du côté des clôtures autonomes, sont des portés. La question « qu’est-ce que cette chose ? » se scinde proprement en trois : quelle est la forme, qu’est-ce qui la maintient, et qui paie.

---

le document de réference document: résumé autonome ontodynamique