## [Nichtklassische Logik](/de/node/61353) Definition Ein Oberbegriff für formale Logiken, die ein oder mehrere klassische Prinzipien verändern oder aufgeben—wie Bivalenz, das Ausschlussprinzip, Widerspruchsfreiheit oder Monotonie—um Paradoxien, Vagheit, Glauben oder ressourcenbewusstes Schließen besser zu modellieren. ## Prinzip Prinzip Ändere ein oder mehrere strukturelle oder semantische Prinzipien der klassischen Logik (beispielsweise Einführung von Wahrheitsgraden, Tolerierung von Widersprüchen ohne Trivialität, Forderung nach Relevanz der Prämissen, oder Ressourcen- und Modalitätsmanagement), um Phänomene zu erfassen, die klassische Logik schlecht darstellt. ## Demonstration Demonstration Parakonsistente Logik erlaubt, dass eine Theorie einen Widerspruch enthält, ohne jede Formel folgen zu lassen; Fuzzy-Logik weist abgestufte Wahrheitswerte zu; Relevanzlogik schränkt Schlussregeln so ein, dass Prämissen relevant für die Konklusion sein müssen. ## Fehlanwendung Fehlanwendung Eine nichtklassische Kalkül anwenden, ohne semantische Annahmen anzupassen (z. B. parakonsistente Beweise mit klassischer semantischer Interpretation verwenden), oder davon ausgehen, alle nichtklassischen Logiken seien austauschbar oder automatisch schwächer als die klassische Logik. ## Konsequenz Konsequenz Ermöglicht die formale Behandlung inkonsistenter, aber informativer Theorien, abgestufter oder unsicherer Informationen sowie kontext‑ oder ressourcenabhängiger Schlussregeln; bietet spezialisierte Beweissysteme und Semantiken, abgestimmt auf konkrete Modellierungsbedürfnisse. ## Umkehrung Umkehrung Die klassische Logik stellt die vertrauten Prinzipien (Bivalenz, Ausschlussprinzip, Explosion, Monotonie) wieder her und wertet Abweichung als Fehler; die Umkehrung besteht darin, klassische Folgerung und Wahrheitsbedingungen als Standard zu verlangen. ## Abgrenzung Abgrenzung Umfasst viele unterschiedliche formale Systeme—parakonsistent, relevanzbasierte, intuitionistische, modale, unterstrukturelle, fuzzy—schließt aber rein notationale Varianten der klassischen Logik aus, die deren Schlüsselsätze bewahren; die Anwendbarkeit hängt von den Modellierungszielen ab. ## Semantische Spannung Semantische Spannung Spannung zwischen expressiver Flexibilität (Modellierung von Widersprüchen, Vagheit, Unsicherheit) und dem Erhalt erwünschter Metaeigenschaften (Vollständigkeit, Kompaktheit, Entscheidbarkeit, strukturelle Eigenschaf­ten von Beweisen); die Wahl einer nichtklassischen Logik bedeutet Tausch bestimmter Garantien gegen andere. ## Synthese Synthese Nichtklassische Logik ist eine Familie formal spezifizierter Kalküle und Semantiken, die klassische Axiome gezielt lockern oder ändern und so zielgerichtete Werkzeuge zum Ausdrücken und Schließen über Phänomene bereitstellen, die die klassische Logik schlecht erfasst.