Une relation formelle entre deux modèles dans laquelle existe une application bijective entre leurs éléments et relations qui préserve la structure des connexions et des opérations ; quand l'isomorphisme tient, les propriétés et inférences formelles valides dans un modèle correspondent à des propriétés formellement équivalentes dans l'autre, indépendamment des étiquettes ontologiques distinctes.

Principe

L'isomorphisme garantit l'équivalence structurelle : il existe une bijection f telle que pour toute relation ou opération R dans le modèle A, R vaut des éléments de A si et seulement si la relation correspondante R' vaut des f(éléments) dans le modèle B, ce qui permet le transfert de résultats formels tout en laissant l'interprétation sémantique dépendante des assignations de domaine.

Démonstration

Scénario illustratif — Situation : Deux chercheurs représentent des agents en interaction avec des ontologies distinctes (nœuds différemment étiquetés). Reconnaissance : Ils construisent une bijection entre nœuds et arêtes qui préserve l'adjacence et les règles d'interaction. Action : Un théorème sur la propagation d'une propriété dans le modèle A est traduit via la bijection au modèle B et testé. Conséquence : Parce que la bijection préserve la structure, la prédiction formelle s'applique dans B sous les conditions mappées ; toutefois, l'interprétation au niveau du domaine (ce que représentent les nœuds) reste une étape séparée.

Mauvaise application

Confondre isomorphisme formel et identité ontologique — p. ex. prétendre que deux théories décrivent les mêmes entités réelles parce que leurs modèles sont isomorphes ; l'erreur est de prendre l'équivalence structurelle pour une preuve d'équivalence référentielle ou métaphysique sans corroboration indépendante.

Conséquence

L'isomorphisme de modèle facilite le transfert formel, l'unification de procédures de raisonnement et la détection d'équivalences profondes entre représentations ; il n'éclaire pas à lui seul les questions d'interprétation sur ce que représentent les éléments modélisés dans le monde.

Inversion

Les mappages approximatifs (homomorphismes, isomorphismes partiels) affaiblissent les garanties : les propriétés préservées peuvent être unidirectionnelles ou limitées. À d'autres échelles ou sous contraintes additionnelles, un isomorphisme dans la formalisation abstraite peut ne plus tenir quand des paramètres spécifiques au domaine sont introduits.

Limite

Clairement inclus : une bijection préservant les relations entre deux modèles formels. Cas limite : un homomorphisme qui préserve la structure dans un sens sans être bijectif. Clairement exclu : analogie informelle ou similarité sans cartographie formelle.

Tension sémantique

Équivalence formelle ↔ Engagement ontologique — la similarité structurelle facilite le transfert mathématique tout en laissant ouverte la question de savoir si les modèles s'engagent sur la même interprétation des entités ou des processus.

Synthèse

L'isomorphisme de modèle identifie l'identité formelle de la structure : il légitime le transfert de conclusions formelles entre représentations étiquetées différemment mais exige une étape distincte et explicite pour relier les résultats structurels à l'interprétation au niveau du domaine.