Ein anomales, degeneriertes oder extremes Phänomen, das am Rand der Anwendbarkeit eines formalen Systems auftritt — ein Gegenbeispiel, ein modelltheoretisches Kuriosum oder eine singuläre Konstruktion, die erwartetes allgemeines Verhalten verletzt, aber möglicherweise nur in Randfällen vorkommt.

Prinzip

Pathologien entstehen dort, wo die Annahmen oder Regularitäten, die allgemeine Sätze tragen, an Randbedingungen versagen: Grenzfälle, infinitäre Konstruktionen, nichtstandard Modelle oder künstliche Kodierungen können Verhalten erzeugen, das nicht repräsentativ für den intendierten Bereich ist.

Demonstration

In der Modelltheorie zeigen nichtstandard Modelle der Arithmetik 'unendliche' ganze Zahlen und Verhaltensweisen, die Intuitionen aus dem Standardmodell widersprechen; solche Beispiele demonstrieren, wie Kompaktheit und Vollständigkeit exotische Randmodelle zulassen.

Fehlanwendung

Ein Randgegenbeispiel zu verallgemeinern und daraus zu schließen, die gesamte Theorie sei unsound oder unbrauchbar; oder Kerndefinitionen so zu ändern, dass die Pathologie verschwindet, ohne zu prüfen, ob die beabsichtigten Sätze erhalten bleiben.

Konsequenz

Das Identifizieren von Randpathologien klärt die Grenzen allgemeiner Ergebnisse, motiviert zusätzliche Hypothesen oder Regularitätsbedingungen und führt zur Verfeinerung von Definitionen, um Artefakte auszuschließen und legitime Fälle zu bewahren.

Umkehrung

Wohlverhalten im Inneren: der Teil der Theorie, in dem Regularitätsbedingungen gelten und die Sätze wie vorgesehen ohne exotische oder degenerierte Fälle anwendbar sind.

Abgrenzung

Bezieht sich auf Randbedingungen, die durch infinitäre Prinzipien, ungewöhnliche Kodierungen oder abgeschwächte Hypothesen entstehen; schließt alltägliche Gegenbeispiele aus, die ein echtes generelles Versagen anzeigen statt einer Randdegeneration.

Semantische Spannung

Die Spannung besteht darin, eine Pathologie als wesentliches Gegenbeispiel zu werten, das eine Revision verlangt, oder sie als Artefakt extremer Konstruktionen zu sehen, das durch eine Einschränkung des Geltungsbereichs ausgeschlossen werden sollte.

Synthese

Randpathologie macht Ausnahmen sichtbar, die durch Randbedingungen entstehen: sie verlangt einen Ausgleich zwischen dem Erhalt breit anwendbarer Sätze und dem Verschärfen von Hypothesen zur Eliminierung degenerierter Randfälle, während Unsicherheit darüber bestehen bleibt, wo die Grenze zu ziehen ist.