Ein allgemeines Resultat, Axiom oder Schema, das Konzepte, Definitionen oder Theoreme über zwei verschiedene formale oder semantische Domänen hinweg verbindet und so den Transfer von Struktur oder Wahrheit zwischen ihnen ermöglicht.

Prinzip

Ein Brückenprinzip legt Bedingungen und eine Abbildungsregel fest, unter denen eine Aussage oder Konstruktion in einer Domäne einer verwandten Aussage in einer anderen Domäne entspricht, wobei häufig Erhaltungs-, Spiegelungs- oder Übersetzungseigenschaften explizit formuliert werden.

Demonstration

Ein Axiomenschema, das besagt, dass jeder algebraische Homomorphismus, der ein bestimmtes Invariante induziert, einer logisch-erhaltenden Übersetzung entspricht; oder ein Satz, der die exakten Hypothesen identifiziert, unter denen semantische Erfüllung in einem Modell Erfüllung in einem konstruierten Modell einer anderen Domäne impliziert.

Fehlanwendung

Ein Brückenprinzip außerhalb seiner angegebenen Voraussetzungen anzuwenden (z. B. eine Übersetzungsregel zu benutzen, die Vollständigkeit erfordert, in einem Kontext ohne diese), wodurch ungültige Schlüsse oder übergeneralisierte Korrespondenzen entstehen.

Konsequenz

Macht klar, wann und wie Ergebnisse zwischen Domänen gehoben werden können: mit einem expliziten Brückenprinzip lassen sich Beweise, Gegenbeispiele und Invarianten übertragen, was zu inter-domänen Sätzen und vereinheitlichten Rahmen führt.

Umkehrung

Die Verneinung oder Entfernung des Brückenprinzips isoliert Domänen und verhindert Transfer; das Fehlen der Brücke macht parallele Aussagen unvergleichbar und kann Unabhängigkeit zwischen Theorien offenlegen.

Abgrenzung

Gilt nur unter den explizit geforderten Annahmen des Prinzips (Logiktyp, Strukturklasse, Abschlusseigenschaften); außerhalb dieser Grenzen kann die Brücke versagen, partiell sein oder modifiziert werden müssen.

Semantische Spannung

Spannung zwischen Brückenprinzipien, die konservative Übersetzungen sind (sie bewahren Theoreme exakt), und solchen, die heuristische oder approximative Verknüpfungen bieten und nur bestimmte Invarianten erhalten.

Synthese

Ein Brückenprinzip ist eine explizite verbindende Regel oder ein Satz, der vorschreibt, wann und wie Aussagen oder Strukturen in einer Domäne in eine andere abgebildet werden, wodurch Transferaussagen präzisiert und ihr gültiger Umfang abgegrenzt werden.