Regel der klassischen Logik (ex falso quodlibet), die besagt, dass, sobald in einem deduktiven System ein Widerspruch zugelassen wird (sowohl P als auch ¬P), jede Proposition daraus gültig abgeleitet werden kann.

Prinzip

Die organisierende Regel ist, dass ein Widerspruch in klassischen Folgerungsrelationen Trivialität nach sich zieht: Aus inkonsistenten Prämissen wird die Menge der Konsequenzen zur gesamten Sprache, sofern die Logik diese Folgerung nicht blockiert.

Demonstration

Illustratives Szenario: In der klassischen Aussagenlogik kann man aus P und ¬P durch Einfügung der Disjunktion P ∨ Q ableiten und dann durch Disjunktionselimination Q ableiten; konkret: enthält eine Datenbank sowohl 'Benutzer A ist aktiv' als auch 'Benutzer A ist nicht aktiv', erlauben klassische Regeln die Ableitung beliebiger Aussagen und zeigen so den Zusammenbruch.

Fehlanwendung

Explosion heranzuziehen, um zu behaupten, jede inkonsistente Datenmenge sei in jedem praktischen Kontext nutzlos, ignoriert parakonsistente Ansätze und pragmatische Eindämmungsstrategien; ebenso ist die Behauptung, Explosion gelte in nicht-klassischen Systemen, ohne Prüfung der strukturellen Regeln ein Fehler.

Konsequenz

Innerhalb von Systemen, die Explosion zulassen, ist Konsistenz ein zentrales Erfordernis: Ein zugelassener Widerspruch macht das System deduktiv trivial und untergräbt verlässliche Folgerungen, sodass die Aufrechterhaltung oder Wiederherstellung von Konsistenz normativ dringend wird.

Umkehrung

Parakonsistente Logiken und Systeme, die ex falso quodlibet ablehnen, verhindern Explosion, indem sie Schlussregeln oder Folgerungsrelationen einschränken und so lokal begrenzte Widersprüche ohne allgemeine Trivialität zulassen.

Abgrenzung

Gilt für Logiken, die klassische strukturelle Regeln einschließen (insbesondere Disjunctionseinführung/-elimination und Monotonie). Sie gilt nicht universell in nicht-klassischen, substrukturellen oder parakonsistenten Logiken und nicht automatisch für informelles Schließen oder probabilistische Inferenz.

Semantische Spannung

Spannung zwischen der Auffassung, dass Widersprüche katastrophal sind (zur Trivialität führen), und Ansätzen, die Inkonsistenz aus pragmatischen oder theoretischen Gründen tolerieren; strittig ist, ob Explosion als formale Eigenschaft für eine gegebene Anwendung wünschenswert ist.

Synthese

Das Prinzip der Explosion beschreibt die klassische Konsequenz, dass das Zulassen eines direkten Widerspruchs deduktive Systeme zur Trivialität zusammenbrechen lässt; seine Annahme zwingt zur Betonung von Konsistenz, während seine Ablehnung parakonsistente Verfahren begründet, die Widersprüche isolieren wollen.