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

Ä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

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

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

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

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

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

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

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.