Eigenschaft einer Menge von Sätzen, aus der eine Kontradiktion gemäß der gegebenen Folgerelation abgeleitet werden kann, beziehungsweise einer Theorie, die sowohl eine Formel als auch deren Negation beweist.

Prinzip

Eine Theorie ist inkonsistent, wenn die Folgerelation sowohl φ als auch ¬φ ergibt; in der klassischen Logik führt das typischerweise zur Trivialität (Explosion), obwohl alternative Logiken die Explosion blockieren können.

Demonstration

In einem deduktiven System gilt eine Axiomenmenge A als inkonsistent, wenn aus A sowohl p als auch ¬p ableitbar sind; beispielsweise macht das Hinzufügen der Axiome {p, ¬p} jede Theorie inkonsistent und erlaubt in klassischen Systemen die Ableitung beliebiger Sätze.

Fehlanwendung

Semantische Unerfüllbarkeit mit Inkonsistenz gleichzusetzen, ohne die Folgerelation zu berücksichtigen: Eine Menge kann semantisch unerfüllbar sein, aber in einem unvollständigen Beweissystem keine syntaktische Kontradiktion zeigen.

Konsequenz

Inkonsistenz untergräbt verlässliche Schlussfolgerungen: In klassischen Logiken führt sie zur Explosion, wobei jede Aussage ableitbar wird, und erzwingt Revision der Axiome oder die Wahl parakonsistenter Strategien, um das Schließen fortzusetzen.

Umkehrung

Konsistenz ist die Umkehr: Eine konsistente Menge liefert keine Widersprüche; die Untersuchung minimaler inkonsistenter Teilmengen (unerfüllbare Kerne) kehrt die Diagnose um, um problematische Axiome zu lokalisieren.

Abgrenzung

Inkonsistenz ist relativ zur gewählten Folgerelation und Logik definiert; parakonsistente Logiken, Relevanzlogiken oder eingeschränkte Beweissysteme verändern, ob ein abgeleiteter Widerspruch die Theorie kollabieren lässt.

Semantische Spannung

Inkonsistenz vs Unerfüllbarkeit: Inkonsistenz ist die syntaktische Ableitbarkeit einer Kontradiktion, Unerfüllbarkeit die semantische Abwesenheit von Modellen; in sounden und vollständigen Frameworks stimmen sie überein, in der Praxis können sie differieren.

Synthese

Inkonsistenz kennzeichnet eine Theorie, aus der gemäß ihrer Folgerelation Widersprüche folgen; sie signalisiert Reparaturbedarf, schränkt vertrauenswürdige Inferenz ein und steht in Wechselwirkung mit semantischer Unerfüllbarkeit und Logikwahl.