M3 parle de lui-même📋

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

Diapositives sources : 18, 20, 21, 22, 23, 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📋

L'article précédent a installé la pile complète à cinq colonnes — REALITY, OCCURENCE, MODEL, META-MODEL, META-META-MODEL. Reprenons-la une fois, mais en concentrant le regard sur la colonne de droite, celle qui pose le problème.

La colonne META-META-MODEL porte deux phrases qui sont, à elles seules, le programme de cet article : « Auto-reflexive language. Speaks and defines itself in its own terms. » Tout est dit — mais rien n'est encore montré. Pour voir le mécanisme à l'œuvre, il faut zoomer.

Le document marque ici un zoom avant. Arrêtons-nous sur les niveaux méta : laissons les colonnes basses (REALITY, OCCURENCE, MODEL) en arrière-plan et regardons de près ce qui se passe entre META-MODEL et META-META-MODEL. C'est là que la clef de voûte est posée — pas dans une formule lointaine, mais dans une mini-construction explicite et brève.

La diapositive 21 est la diapositive qui pose tout. Elle dit, en trois propositions :

META-MODEL : Set of language elements that let define a concise model to assist answering a question.

META-META-MODEL : Set of language elements that let define a concise meta-model to assist answering a question.

A model is an « instance » of a meta-model. A meta-model is an « instance » of a meta-meta-model. A meta-meta-model is an « instance » of itself.

Trois propositions, mais c'est la troisième qui fait tout le travail. Les deux premières définissent les niveaux M2 et M3 par le service qu'ils rendent — aider à répondre à une question. Le critère est pragmatique : un méta-modèle est concis (concise) et intentionnel (il sert à answering a question). Il n'est pas une totalité métaphysique ; il est un outil de pensée taillé pour un problème.

La troisième proposition ferme la récursion. Un modèle est une instance d'un méta-modèle — c'est la chaîne de typage standard. Un méta-modèle est une instance d'un méta-méta-modèle — la chaîne continue, on monte d'un cran. Un méta-méta-modèle est une instance de lui-même — et là, la chaîne ne s'allonge pas vers un M4 imaginaire. Elle se referme. Le M3 n'a pas besoin d'un niveau au-dessus pour être typé : il se type lui-même. Le point fixe est atteint, non par convention mais par auto-suffisance opérationnelle.

C'est exactement ce que les flèches bidirectionnelles defines ← → realizes montrent entre les deux boîtes : le META-META-MODEL définit ce qu'est un META-MODEL, et un META-MODEL est une réalisation (instance) d'un META-META-MODEL. Et comme le META-META-MODEL est lui-même un méta-modèle (un ensemble d'éléments de langage), il est sa propre réalisation. La boucle est explicite, dessinée, dans la diapositive même.

2. Trois verbes pour un système📋

L'auto-référence, pour ne pas rester un slogan, demande un vocabulaire opératoire. Le document le donne en une diapositive — la diapositive 23 — qui nomme les trois verbes sur lesquels toute la pile repose.

Trois verbes, trois rôles distincts :

• impress — « According to a person's current state, he will be impressed differently. » C'est le verbe de l'entrée perceptive. La scène réelle imprime une occurrence dans le sujet — et l'impression varie selon l'état (perceptif, affectif, attentionnel) du sujet. impress n'opère qu'entre Scene et OCCURENCE : c'est le seul verbe qui touche le réel. Tout le reste de la pile est interne au mental.
• realizes — « An element may "realize" (being an instance of) a "typed" thing. » C'est le verbe de la montée par typage. Une occurrence réalise un modèle ; un modèle réalise un méta-modèle ; un méta-modèle réalise un méta-méta-modèle ; et un méta-méta-modèle se réalise lui-même. La flèche montante (à droite, dans la diapositive) est la même flèche, déclinée à chaque étage.
• defines — « An element may "define" what, how, when, things "can be". » C'est le verbe miroir, descendant. Le méta-modèle définit ce que peut être un modèle ; le méta-méta-modèle définit ce que peut être un méta-modèle. La descente est la posture normative : à chaque étage, le niveau supérieur dit ce qui est admissible en dessous.

Les flèches bidirectionnelles defines / realizes qui traversent la pile sont donc le double mouvement d'une même relation : de haut en bas, le langage contraint ce qui peut exister ; de bas en haut, l'existant manifeste le langage qui le rend possible. C'est ce double mouvement, et seulement lui, qui fait tenir la pile sans support extérieur. La récursion ne repose pas sur une intuition mystique du sujet ; elle repose sur le fait que defines et realizes sont deux faces d'une même opération typée — et que cette opération s'applique à elle-même au niveau M3.

3. 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 — [MetaConcept], [MetaProperty], [MetaReference], [MetaConstraint], [MetaInherits] — 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. C'est exactement ce que disait la troisième proposition de la diapositive 21 : a meta-meta-model is an instance of itself.

La référence canonique en informatique théorique est le M3 du MOF (MetaObject Facility) de l'OMG, qui structure depuis vingt-cinq ans l'ingénierie dirigée par les modèles. Le M3 du document de 2017 est un cousin direct du MOF — il en a la simplicité revendiquée (cinq primitives plutôt que les dizaines d'EMF/Ecore) mais la même propriété formelle : se décrire dans son propre langage.

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.

4. 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.

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.

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

Le document marque maintenant un dézoom. Revenons à la vue d'ensemble : sortons de la mécanique interne du couple META-MODEL / META-META-MODEL et reposons la question au niveau de la pile entière.

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.

6. 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 projet Appareil et compilateur prend acte de cette propriété : il construit un compilateur croisé dont les règles s'appliquent au compilateur lui-même. C'est la transposition opérationnelle de la diapositive 21 au domaine politique — un cadre dont le M3 est instance de lui-même, donc un cadre paramétrable, réfutable, ouvert.

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.

7. Les niveaux d'abstraction dans la vie quotidienne📋

Le document, après avoir installé l'auto-référence formelle, ramène la discussion sur terre par un xkcd. Ce n'est pas un ornement humoristique : c'est un argument épistémologique. Le comique du strip vient d'un contraste compositif — à gauche, un mur de texte qui énumère la pile technologique réelle (le processeur x64 qui « screams along at billions of cycles per second to run the XNU kernel… ») ; à droite, une stick figure qui clique sur son ordinateur en pensant « I am a god ».

L'illusion du « god mode » développeur — ou du sujet en général — est précisément ce que la pile MDE permet de désamorcer. Le développeur qui se croit dieu opère à un niveau d'abstraction (M1 du logiciel, voire M2 quand il manipule des frameworks) sans voir les niveaux qui le supportent (M0 du processeur, M0 du noyau). Sa puissance perçue est inversement proportionnelle à sa visibilité sur la pile.

La même mécanique vaut hors logiciel. 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.

8. 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 21 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