Das logische Prinzip, dass keine Aussage zugleich wahr und falsch sein kann, zur gleichen Zeit und im selben Sinn; formal verbietet es, dass A und ¬A unter einer einzigen Interpretation beide gelten.

Prinzip

Eine Aussage und ihre Negation können nicht gleichzeitig wahr sein im selben Kontext oder unter denselben Bedingungen; dies bildet die Grundlage konsistenter deduktiver Schlussführung in klassischen Systemen.

Demonstration

Wenn zur Zeit t am Ort L der Satz ‚Es regnet‘ wahr ist, dann kann unter derselben Zeit/Ort/Interpretation der Satz ‚Es regnet nicht‘ nicht ebenfalls wahr sein; beides zu behaupten führt zur Inkonsistenz.

Fehlanwendung

Das Zuschreiben einer Verletzung des Gesetzes, wenn tatsächlich unterschiedliche Zeiten, verschiedene Bedeutungen, vage Prädikate oder unterschiedliche Kontexte vorliegen (z. B. ‚kalt‘ auf unterschiedlichen Skalen), ist ein Fehlgebrauch, der scheinbare Widersprüche erzeugt.

Konsequenz

Die Anwendung des Gesetzes bewahrt die Nicht-Trivialität klassischer Theorien, ermöglicht eine vorhersehbare Negation und stützt Widerspruchsbeweise, die auf der Herleitung von Widersprüchen beruhen, um Hypothesen zu verwerfen.

Umkehrung

Die Annahme, dass manche Aussagen zugleich wahr und falsch sein können (Dialetheismus), kehrt das Gesetz um; eine solche Umkehr erlaubt echte Widersprüche und erfordert alternative Logiken, die Trivialisierung verhindern.

Abgrenzung

Gilt in der klassischen Logik und in Kontexten, die eine einzige Interpretation festlegen und die Standard-Negation respektieren; nicht allgemein gültig in parakonsistenten Logiken, bei kontextabhängiger Wahrheit oder wenn die relevante ‚Respect‘-Dimension nicht festgelegt ist.

Semantische Spannung

Spannungen bestehen zu parakonsistenten Auffassungen und zu Analysen von Mehrdeutigkeit oder Kontextabhängigkeit, die wahre Widersprüche zulassen oder keine eindeutige Wahrheitszuweisung für eine Aussage annehmen.

Synthese

Das Gesetz des Nichtwiderspruchs besagt, dass innerhalb einer festen Interpretation und Hinsicht A und ¬A nicht gleichzeitig wahr sein können; es ist ein Grundpfeiler klassischer Konsistenz und steht im Gegensatz zu Systemen, die lokalisierte echte Widersprüche erlauben.