##  [Inkonsistenz](/de/node/59954) 

 Definition

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

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

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

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

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

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

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

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

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.