Das Inferenzprinzip ex contradictione quodlibet, dass sobald ein Widerspruch (sowohl P als auch ¬P) in einem deduktiven System vorliegt, jede Proposition Q abgeleitet werden kann; Widersprüche führen in klassischen Folgerungsrelationen zur logischen Trivialität.

Prinzip

Wenn ein System P und ¬P liefert, dann liefert es für beliebiges Q auch Q; ein einzelner Widerspruch zieht unter klassischer Folgerung beliebige Schlüsse nach sich.

Demonstration

Gegeben die widersprüchlichen Prämissen ‚Alice ist zu Hause‘ und ‚Alice ist nicht zu Hause‘ im klassischen aussagenlogischen Kalkül, lässt sich mittels der Standardableitungen ein inhaltlich nicht verwandter Satz wie ‚Der Mond ist aus Käse‘ herleiten, indem die Widersprüchlichkeit ausgenutzt wird.

Fehlanwendung

Explosion anzuwenden, ohne die zugrunde liegende Logik zu prüfen, ist Fehlgebrauch in parakonsistenten Kontexten, in denen Widersprüche toleriert werden, aber nicht alles folgt; das universelle Voraussetzen von Explosion verschleiert alternative Folgerungsrelationen.

Konsequenz

Hebt die kritische Rolle der Konsistenz in klassischen Systemen hervor: um Trivialität zu vermeiden, muss jede gesunde Theorie die Ableitung von Widersprüchen blockieren oder in einer nicht-explosiven Logik neu formuliert werden.

Umkehrung

Die Ablehnung der Explosion führt zu parakonsistenten Logiken, in denen Widersprüche existieren können, ohne das System in Trivialität stürzen zu lassen; die Ablehnung verlangt eine Umstrukturierung der Folgerungsregeln, um Widerspruchseffekte zu lokalisieren.

Abgrenzung

Gilt für klassische Folgerungsrelationen und die meisten standardmäßigen formalen Systeme, die Monotonie und Standardregeln für Negation übernehmen; gilt nicht in parakonsistenten oder manchen unterstrukturellen Logiken, die das Folgern verändern.

Semantische Spannung

Es besteht eine Spannung zwischen dem Wunsch, klassische inferentielle Stärke zu bewahren (die Explosion impliziert), und dem Wunsch, inkonsistente aber informative Theorien zu modellieren (was parakonsistente Alternativen motiviert, die Explosion blockieren).

Synthese

Das Prinzip der Explosion besagt, dass klassische Folgerung Widersprüche verheerend macht: aus P und ¬P folgt alles; um dieses Ergebnis zu verhindern, muss die Folgerungsrelation oder die Behandlung der Negation verändert werden.