Widerspruch (Kontradiktion): Logik, Definition, Beispiele & Ursprung

Widerspruch (Kontradiktion): Definition, Beispiele, Ursprung der "Speer und Schild"-Geschichte und logische Prinzipien kompakt und verständlich erklärt.

Ein Widerspruch liegt vor, wenn es zwei oder mehr Aussagen gibt, die nicht alle gleichzeitig wahr sein können.

Eine Geschichte, die zeigt, was ein Widerspruch ist, kommt aus China. In dieser Geschichte gibt es einen Händler, der sowohl Speere als auch Schilde verkauft. Er sagt, dass seine Speere so scharf sind, dass sie jeden Schild durchbrechen könnten. Gleichzeitig sagt er, dass seine Schilde so stark sind, dass sie jeden Speer blockieren könnten. Dies ist ein Widerspruch, denn diese beiden Aussagen können nicht beide wahr sein. Entweder zerbricht der Speer den Schild oder der Schild blockiert den Speer, aber nicht beides. Aus diesem Grund lautet das Wort für Widerspruch im Chinesischen máodùn (矛盾), was wörtlich übersetzt "Speer und Schild" bedeutet.

In der Logik des Aristoteles heißt es, dass zwei widersprüchliche Aussagen nicht beide wahr sein können. Zum Beispiel schließen sich die Sätze "A ist B" und "A ist nicht B" gegenseitig aus. So können zum Beispiel die Aussagen "der Papst ist katholisch" und "der Papst ist nicht katholisch" nicht beide wahr sein. Nur eine der Aussagen, und nicht die andere, ist wahr.

Formale Definition

In der modernen Logik wird ein Widerspruch (auch Kontradiktion genannt) oft formal als eine Aussage betrachtet, die unter keiner Interpretation wahr sein kann. Typisches Beispiel in der Aussagenlogik ist die Formel p ∧ ¬p (»p und nicht p«). Solche Formeln nennt man unerfüllbar oder falsifizierend; in vielen formalen Systemen wird die unerfüllbare Formel mit dem Symbol ⊥ (»Falsum«) bezeichnet.

Wichtige Prinzipien

• Gesetz vom Widerspruch (Non-Contradiction): Keine Aussage kann zugleich wahr und nicht wahr sein. Dies ist ein Grundprinzip der klassischen Logik und geht auf Aristoteles zurück.
• Gesetz vom ausgeschlossenen Dritten (Excluded Middle): Für jede Aussage A gilt: entweder A ist wahr oder ¬A ist wahr. (Dieses Gesetz gilt in der klassischen Logik, in manchen konstruktivistischen Systemen wird es jedoch eingeschränkt.)
• Ex falso quodlibet (Prinzip der Explosion): Aus einem Widerspruch lassen sich in der klassischen Logik beliebige Aussagen folgern. Wenn ein formales System widersprüchlich ist, ist es trivialerweise nicht mehr nützlich, weil dann jede Aussage beweisbar wäre.

Widerspruch, Inkonsistenz und Unerfüllbarkeit

Man unterscheidet:

• Widerspruch als einzelne kontradiktorische Aussage (z. B. p ∧ ¬p).
• Inkonsistenz einer Menge von Aussagen: Eine Menge ist inkonsistent, wenn sich aus ihr ein Widerspruch ableiten lässt. Eine konsistente Menge ist widerspruchsfrei.
• Unerfüllbarkeit einer Formel: Wenn keine Interpretation die Formel wahr macht, ist sie unerfüllbar (ein formaler Widerspruch).

Beispiele

• Alltägliches Beispiel: "Es regnet" und "Es regnet nicht" zur gleichen Zeit am gleichen Ort sind widersprüchlich.
• Mathematik: Die Behauptungen "2+2=4" und "2+2≠4" können nicht beide wahr sein; ein Fehler im Beweis, der beide zulässt, deutet auf Inkonsistenz.
• Logik: In der Aussagenlogik ist p ∧ ¬p immer falsch. In der Prädikatenlogik ist etwa die Menge {∀x P(x), ∃x ¬P(x)} widersprüchlich.
• Alltagsdiagnostik: Widersprüchliche Vertragsklauseln oder Anforderungen in Software-Spezifikationen machen das System unbrauchbar, bis die Inkonsistenz beseitigt wird.

Methoden zum Aufdecken und Umgang

• Formale Verfahren: Wahrheitstabellen, semantische Tabellen (Tableaux), Resolution und SAT-Solver können prüfen, ob eine Formel unerfüllbar ist.
• Beweisführung: Die Methode des Widerspruchsbeweises (Reductio ad absurdum) nutzt das Erzeugen eines Widerspruchs, um die Negation einer Annahme zu verwerfen und so die Behauptung zu sichern.
• Praktischer Umgang: Konsistenzprüfung in Spezifikationen, Peer-Review, Versionierung und klare Definitionen verringern das Risiko widersprüchlicher Aussagen.

Ausnahmen und philosophische Aspekte

In der klassischen Logik sind Widersprüche absolut abzulehnen, weil sie zur Explosion führen. Es gibt jedoch alternative Logiksysteme:

• Parakonsistente Logik: Systeme, in denen aus einem Widerspruch nicht automatisch jede beliebige Aussage folgt. Sie sind nützlich, wenn man inkonsistente, aber dennoch informativ nutzbare Theorien modellieren will.
• Dialetheismus: Eine philosophische Position, die behauptet, dass es echte, wahre Widersprüche geben kann (d. h. Aussagen, die zugleich wahr und falsch sind). Diese Auffassung ist umstritten und wird nicht von der klassischen Logik geteilt.

Zusammenfassung

Ein Widerspruch liegt vor, wenn zwei oder mehrere Aussagen sich gegenseitig ausschließen und nicht zugleich wahr sein können. Historisch und sprachlich ist die chinesische Anekdote vom Speer und Schild ein anschauliches Bild für dieses Konzept. In der formalen Logik ist das Vermeiden von Widersprüchen zentral: eine widerspruchsfreie Theorie ist brauchbar und verlässlich, eine widersprüchliche Theorie kann (in klassischen Systemen) beliebige Schlüsse zulassen und damit unbrauchbar werden. Alternative Logiken bieten Möglichkeiten, mit Inkonsistenzen kontrollierter umzugehen.

Fragen und Antworten

F: Was ist ein Widerspruch?

F: Was ist eine in sich widersprüchliche Aussage?

F: Kann ein Speer jeden Schild durchbrechen und ein Schild gleichzeitig jeden Speer blockieren?

F: Wie lautet das Wort für Widerspruch auf Chinesisch?

F: Können nach der Logik von Aristoteles zwei widersprüchliche Sätze beide wahr sein?

F: Schließen sich die Aussagen "A ist B" und "A ist nicht B" gegenseitig aus?

F: Können "der Papst ist katholisch" und "der Papst ist nicht katholisch" beide wahr sein?

Suche nach Buchstaben