Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit außerlogische Wahrheit zukommt. Für Aussagen über die Zukunft stellt bereits Aristoteles diese Frage, indem er argumentiert, dass die Wahrheit einer Aussage wie „Morgen wird eine Seeschlacht stattfinden“ erst am Abend des morgigen Tages feststehen wird und dass sie bis zu diesem Zeitpunkt noch als unbestimmt und damit als kontingent möglich betrachtet werden muss. Die erste im modernen Sinn formalisierte mehrwertige Logik ist die im Jahre 1920 von Jan Łukasiewicz vorgestellte dreiwertige Logik L₃. Ihre drei Wahrheitswerte interpretiert Łukasiewicz unter Berufung auf das Seeschlacht-Beispiel des Aristoteles als „wahr", „falsch" und – für zukünftige Aussagen, deren Wahrheit noch nicht feststeht – „(kontingent) möglich". In neuerer Zeit haben mehrwertige Logiken im Bereich der Informatik hohe praktische Bedeutung gewonnen. Sie ermöglichen den Umgang mit der Tatsache, dass Datenbanken nicht nur eindeutig bestimmte, sondern auch unbestimmte, fehlende oder sogar widersprüchliche Informationen enthalten können.

[Last contributor : Elisabeth59 , Content under LGPL license]