Eine formale Relation zwischen zwei Modellen, bei der es eine bijektive Abbildung zwischen ihren Elementen und Relationen gibt, die die Struktur von Verbindungen und Operationen erhält; wenn Isomorphismus vorliegt, entsprechen formale Eigenschaften und Schlussfolgerungen eines Modells formal äquivalenten Eigenschaften im anderen, unabhängig von unterschiedlichen ontologischen Bezeichnungen.

Prinzip

Isomorphismus gewährleistet strukturelle Äquivalenz: Es existiert eine Bijektion f, sodass für jede Relation oder Operation R in Modell A R für Elemente in A genau dann gilt, wenn die entsprechende Relation R' für f(Elemente) in Modell B gilt, wodurch der Transfer formaler Resultate möglich wird, während die semantische Interpretation von Domain‑Zuweisungen abhängig bleibt.

Demonstration

Illustratives Szenario — Situation: Zwei Forschende stellen interagierende Agenten mit unterschiedlichen Ontologien dar (Knoten unterschiedlich beschriftet). Erkennung: Sie konstruieren eine bijektive Abbildung zwischen Knoten und Kanten, die Adjazenz und Interaktionsregeln bewahrt. Handlung: Ein Theorem über die Ausbreitung einer Eigenschaft in Modell A wird mittels Abbildung auf Modell B übertragen und geprüft. Konsequenz: Da die Abbildung Struktur erhält, gilt die formale Vorhersage in Modell B unter den abgebildeten Bedingungen; die Interpretation auf Domenenniveau (was Knoten repräsentieren) bleibt jedoch gesondert.

Fehlanwendung

Formalen Isomorphismus mit ontologischer Identität zu verwechseln — z. B. zu behaupten, zwei Theorien beschrieben dieselben realen Entitäten, weil ihre Modelle isomorph sind; der Fehler besteht darin, strukturelle Äquivalenz als Beleg für referentielle oder metaphysische Gleichheit ohne unabhängige Bestätigung zu nehmen.

Konsequenz

Modellisomorphismus unterstützt formalen Transfer, Vereinheitlichung von Schlussverfahren und Erkennung tiefer Äquivalenzen zwischen Repräsentationen; er beantwortet nicht von selbst die interpretativen Fragen, wofür die modellierten Elemente stehen.

Umkehrung

Ungefähre Abbildungen (Homomorphismen, partielle Isomorphismen) schwächen die Garantien: Erhaltene Eigenschaften können einseitig oder begrenzt sein. Auf anderen Skalen oder bei zusätzlichen Zwängen kann ein im abstrakten Formalismus bestehender Isomorphismus beim Einführen domänenspezifischer Parameter entfallen.

Abgrenzung

Eindeutig innerhalb: eine bijektive, relations­erhaltende Abbildung zwischen zwei formalen Modellen. Grenzfall: ein Homomorphismus, der Struktur in einer Richtung erhält, aber nicht bijektiv ist. Eindeutig außerhalb: informelle Analogie oder Ähnlichkeit ohne formale Abbildung.

Semantische Spannung

Formale Äquivalenz ↔ Ontologische Verpflichtung — strukturelle Gleichheit erleichtert mathematischen Transfer, lässt aber offen, ob die Modelle dieselbe Interpretation von Entitäten oder Prozessen beanspruchen.

Synthese

Modellisomorphismus bezeichnet formale Strukturidentität: Er legitimiert den Transfer formaler Schlussfolgerungen zwischen unterschiedlich beschrifteten Repräsentationen, erfordert jedoch einen separaten expliziten Schritt zur Verbindung strukturierter Resultate mit der domänenspezifischen Interpretation.