Das Phänomen, bei dem eine formale Theorie oder eine Theorienfamilie die beabsichtigten Unterscheidungen zwischen Konzepten, Modellen oder Theoremen verliert und dadurch Trivialität oder überraschende Identifizierungen zwischen ursprünglich unterschiedlichen Entitäten hervorruft.

Prinzip

Wenn Axiome, Schlussregeln oder semantische Beschränkungen zu schwach, widersprüchlich oder zu allgemein werden, können zuvor trennbare Prädikate, Typen oder Modelle von der Theorie identifiziert werden; die leitende Idee ist, dass die Struktur unterscheidender Relationen erhalten bleiben muss, um einen Kollaps zu vermeiden.

Demonstration

In einer formalen Spezifikation kann das Hinzufügen eines Axioms, das zwei unterschiedliche Prädikate gleichsetzt (beispielsweise die Behauptung P(x) ⇔ Q(x) für alle x, obwohl P und Q unterschiedlich sein sollten), Beweise zwingen, sie identisch zu behandeln, und dadurch sinnvolle Unterscheidungen beseitigen, sodass mehrere Theoreme ununterscheidbar werden.

Fehlanwendung

Jede Vereinfachung oder bewusste Grobmodellierung als Kollaps zu bezeichnen — etwa eine intendierte Abstraktion, die unwichtige Details verbirgt, mit einem tatsächlichen logischen Versagen gleichzusetzen — vermischt pragmatische Modellierungsentscheidungen mit echtem theoretischem Versagen.

Konsequenz

Das Konzept warnt Gestaltende davor, diskriminierende Beschränkungen zu wahren; unterlassene Vorsorge führt zum Verlust erklärender oder vorhersagender Kraft, zur Unfähigkeit, Gegenbeispiele zu unterscheiden, und möglicherweise zur Trivialisierung, in der alles beweisbar oder äquivalent wird.

Umkehrung

Theorienverfeinerung: die gezielte Einführung zusätzlicher Beschränkungen, Sorten oder modulierender Axiome, die Trennungen wiederherstellen und unterschiedliche Modelle und Theoreme zurückgewinnen.

Abgrenzung

Gilt für formale oder semi-formale Systeme, bei denen explizite Unterscheidungen durch Syntax oder Axiome erzwungen werden; bezieht sich nicht auf rein umgangssprachliche Bedeutungsverschiebungen außerhalb eines formalen Apparats oder auf absichtliche Modellabstrahierung, die Unterscheidungen bewusst vergröbert.

Semantische Spannung

Widerspruch zur ‚Inkonsistenz‘ (bei der aus einem Widerspruch alles folgt) und zur Überabstraktion; im Gegensatz zur Inkonsistenz kann ein Kollaps ohne explizit ableitbaren Widerspruch auftreten und betrifft den Verlust diskriminierender Struktur statt einer logischen Explosion.

Synthese

Der Kollaps Einer Theorie ist das strukturelle Versagen, das auftritt, wenn die Beschränkungen einer Theorie Trennungen nicht mehr aufrechterhalten und so Trivialisierung oder unerwartete Äquivalenzen entstehen; er signalisiert die Notwendigkeit verfeinerter Axiome oder Typisierungen zur Wiederherstellung sinnvoller Unterscheidungen.