Skip to main content
Welcome. This site supports keyboard navigation and screen readers. Press ? at any time for keyboard shortcuts. Press [ to focus the sidebar, ] to focus the content. High-contrast themes are available via the toolbar.
serard@dev00:~/cv

M3 parle de lui-même

L'auto-référence comme propriété du meta

Diapositives sources : 12, 31 Sens d'ontologie en jeu : sens 3 (non-identité) et sens 4 (MDE) Croisement corpus 2026 : La carte, la légende, et le compilateur mou


1. La diapositive qui pose tout

La diapositive 12 est la clef de voûte de l'édifice. Elle dit, en une phrase :

« This model speaks itself, it auto-references itself in its realization. It's a language designed to design meta-models given some intentions. »

Diapositive 12 — Le méta-méta-modèle : auto-référence, le modèle qui se décrit lui-même.
Diapositive 12 — Le méta-méta-modèle : auto-référence, le modèle qui se décrit lui-même.

Trois propositions en une. Première proposition : this model speaks itself — M3 se décrit dans son propre langage. Il n'a pas besoin d'un M4 pour être défini, parce que ses propres primitives (concept, propriété, relation, contrainte, héritage) suffisent à décrire ce qu'est un concept, une propriété, une relation, une contrainte, un héritage. La récursion s'arrête, non par convention mais par auto-suffisance.

Deuxième proposition : it auto-references itself in its realization — M3 n'est pas seulement un schéma théorique qui se décrit lui-même sur le papier. Il se décrit lui-même dans son implémentation. Les cinq primitives [MetaConcept], [MetaProperty], [MetaReference], [MetaConstraint], [MetaInherits] sont elles-mêmes annotées par ces mêmes primitives. Le code est l'argument.

Troisième proposition : a language designed to design meta-models given some intentions — M3 n'est pas un objet inerte. C'est un outil de production. Il sert à construire des méta-modèles (des M2) en fonction d'intentions. Les intentions sont le paramètre humain — ce que le sujet veut comprendre, ce qu'il veut modéliser, ce qu'il veut vérifier. M3 est le cadre qui rend ces intentions formalisables.

2. La boucle étrange

Douglas Hofstadter, dans Gödel, Escher, Bach (1979), a donné un nom à ce phénomène : les boucles étranges (strange loops). Un système qui se prend lui-même pour objet — un langage qui parle de lui-même, un programme qui s'exécute lui-même, un miroir qui se reflète dans un autre miroir — produit une boucle qui n'est ni vicieuse ni triviale. Elle est productive : elle engendre de la complexité à partir de la simplicité, de la nouveauté à partir de la répétition, de la signification à partir de la syntaxe.

Le M3 du document de 2017 est une boucle étrange au sens de Hofstadter. Il se décrit lui-même, mais cette auto-description n'est pas circulaire au sens péjoratif du terme. Elle est stabilisante. Cinq primitives suffisent pour que le système se tienne debout sans support extérieur. Le point fixe est atteint — la récursion s'arrête parce que le système n'a plus besoin de monter d'un cran pour se justifier.

L'article La carte, la légende, et le compilateur mou développe cette idée avec toute la lignée intellectuelle qu'elle appelle. Korzybski (1933) pose la non-identité carte/territoire. Tarski (1933) démontre qu'on ne peut pas définir la vérité d'un langage dans ce langage. Bateson (1972) fait observer que la carte qui se redessine est elle-même un événement dans le territoire. Hofstadter (1979) nomme les boucles étranges. Brian Cantwell Smith (1984) donne le texte canonique de l'informatique réflexive. Sowa (1984) construit la première ontologie formelle implémentable qui se décrit elle-même. La lignée est réelle — ce n'est pas une parade d'autorités mais une chaîne de transmission du même problème à travers les disciplines.

3. Gödel et Tarski : ce que M3 ne peut pas faire

Il faut ici un caveat honnête, parce que l'auto-référence de M3 a des limites que le document de 2017 ne thématise pas mais que l'honnêteté intellectuelle exige de nommer.

Kurt Gödel, dans ses théorèmes d'incomplétude (1931), a démontré que tout système formel suffisamment riche pour parler de l'arithmétique contient des énoncés vrais mais indémontrables à l'intérieur du système. Alfred Tarski, dans The Concept of Truth in Formalized Languages (1933), a démontré que la vérité d'un langage formel est indéfinissable dans ce langage — il faut un méta-langage strictement plus expressif.

Diapositive 31 — xkcd 676 et les niveaux d'abstraction. La référence culturelle d'un ingénieur-philosophe.
Diapositive 31 — xkcd 676 et les niveaux d'abstraction. La référence culturelle d'un ingénieur-philosophe.

Ces résultats signifient que M3, aussi auto-suffisant qu'il soit syntaxiquement, ne peut pas se justifier sémantiquement depuis l'intérieur. Il peut se décrire — mais il ne peut pas prouver sa propre cohérence. La récursion s'arrête opérationnellement (le compilateur tourne, le système fonctionne), mais elle ne se ferme pas logiquement (il reste toujours un niveau de justification que le système ne peut pas atteindre depuis l'intérieur).

Sowa lui-même, dans sa Top-Level Ontology, écrit avec une probité admirable : « the other axioms cannot be stated formally until a great deal more has been fully formalized. » Il reconnaît la régression infinie sans la résoudre, et c'est précisément parce qu'il la reconnaît qu'on peut construire sur lui sans illusion. Un cadre qui admet sa propre frontière est plus fiable qu'un cadre qui prétend n'en avoir aucune.

La diapositive 31 du document fait un clin d'oeil à cette problématique en citant le xkcd 676 sur les couches d'abstraction. Le comique du xkcd vient de la régression infinie : chaque couche d'abstraction repose sur une autre couche, et la dernière repose sur des turtles all the way down. Le document reconnaît le problème par l'humour — ce qui est, ici, une forme de probité.

4. L'auto-référence comme propriété du meta

La thèse que le document de 2017 pose, même s'il ne la formule pas en ces termes, est que l'auto-référence n'est pas un accident du M3 — c'est la propriété définitoire de tout niveau méta. Être méta, c'est se prendre soi-même pour objet. Le méta-modèle est un modèle qui parle de ce que c'est qu'un modèle. Le méta-méta-modèle est un modèle qui parle de ce que c'est qu'un méta-modèle — et comme il est lui-même un méta-modèle, il parle de lui-même.

Cette propriété a une conséquence immédiate : le niveau méta ne peut pas être extérieur à ce qu'il décrit. Le M3 n'est pas un observateur surplombant qui regarderait les M2 depuis un piédestal. Il est dans le système qu'il décrit. Il est l'un des objets dont il parle. C'est cette immanence qui rend la boucle étrange étrange — et qui rend l'auto-référence productive plutôt que vicieuse.

Diagram
La boucle auto-référentielle du M3 — le point fixe opérationnel

5. META comme M3 du pouvoir

Voici le pont vers la métacratie, et c'est le pont le plus important de cet article.

Si l'auto-référence est la propriété définitoire du niveau méta, alors la métacratie de 2026 est un M3 du pouvoir. La métacratie ne parle pas d'un pouvoir particulier (tel régime, telle institution, telle configuration) — elle parle de ce que c'est qu'une configuration de pouvoir en général. Et comme elle est elle-même une configuration discursive (un texte, une présentation, un corpus), elle est elle-même l'un des objets dont elle parle. Le corpus métacratique est une occurrence, produite par un sujet situé dans un espace et un temps, avec ses limites perceptives et ses affects — exactement comme toute autre occurrence.

Le sous-titre du document de 2017 perforMe cette auto-référence : « Ma manière à moi d'essayer une théorie générale de l'humain (mais je n'en connais pas beaucoup). » La parenthèse est un acte M3 : le document reconnaît qu'il est lui-même un exemple de ce qu'il décrit — une tentative de modélisation produite par un sujet situé, avec les limites que cela implique.

La SUFRA-structure de 2026 est un autre nom pour la même propriété. La SUFRA est la part du présent que le présent ne peut pas lire — et le fait que le document de 2017 ne puisse pas lire en lui-même les germes de la métacratie est un exemple de SUFRA en acte. L'auto-référence n'est pas une solution aux limites de la connaissance — c'est la reconnaissance que ces limites sont constitutives et que toute tentative de les dépasser produit un nouveau niveau qui a ses propres limites.

6. Les niveaux d'abstraction dans la vie quotidienne

La diapositive 31, avec le xkcd 676, ramène la discussion sur terre. Les niveaux d'abstraction ne sont pas un concept réservé aux philosophes et aux ingénieurs. Tout le monde vit dans une pile d'abstraction. Quand je dis « il fait beau », je parle à M1 — je modélise une occurrence météorologique dans le vocabulaire du sens commun. Quand un météorologue dit « anticyclone des Açores étendu sur l'Europe occidentale », il parle au même M1 mais dans un vocabulaire M2 différent — celui de la météorologie scientifique. Quand un épistémologue dit « les catégories de la météorologie sont des constructions socio-historiques qui varient selon les cultures », il parle à M2 — il analyse le vocabulaire même dans lequel la météorologie parle. Et quand le document de 2017 dit « un méta-modèle est un ensemble d'éléments de langage qui permettent de définir un modèle concis pour aider à répondre à une question », il parle à M3 — il définit ce que c'est qu'un méta-modèle en général.

La différence entre le sens commun et le travail philosophique n'est pas une différence de nature — c'est une différence de niveau dans la pile. Le sens commun vit à M1 sans s'en rendre compte. La philosophie est le geste de monter d'un cran et de regarder les catégories dans lesquelles le sens commun pense. La métacratie est le geste de monter encore d'un cran et de regarder les conditions de possibilité de ce regard lui-même.

7. Le prix de l'auto-référence

L'auto-référence a un prix. Un système qui se prend lui-même pour objet est un système qui ne peut jamais se tenir entièrement à l'extérieur de lui-même. Il ne peut pas se vérifier complètement depuis l'intérieur (Gödel). Il ne peut pas définir sa propre vérité sans paradoxe (Tarski). Il ne peut pas garantir qu'il ne produit pas des boucles infinies non détectables (le problème de l'arrêt de Turing).

Ce prix n'est pas un argument contre l'auto-référence — c'est une propriété à connaître pour ne pas se tromper sur ce qu'on peut attendre du système. Le compilateur Roslyn qui utilise le M3 du blog technique ne prétend pas être logiquement complet — il prétend être opérationnellement suffisant. Le corpus métacratique de 2026 ne prétend pas être la théorie définitive du pouvoir — il prétend être un cadre paramétré, réfutable, ouvert. L'honnêteté sur les limites est la condition de la fiabilité. Un cadre qui prétend n'avoir aucune limite est un cadre qui ment — et un cadre qui ment est un cadre dangereux.

La diapositive 12 du document de 2017, en posant l'auto-référence du M3 sans prétendre qu'elle résout tous les problèmes, fait preuve d'une maturité intellectuelle qui tranche avec beaucoup de théories qui prétendent au surplomb. Le document sait qu'il est dans le système qu'il décrit. Il le dit. Et c'est cette honnêteté qui rend le système utilisable.


Article précédent : La pile M0-M1-M2-M3 Article suivant : R et G Retour à l'index : L'humain comme machine à projection

⬇ Download