R


Konsistenz (Logik)


Ohne innere Widersprüche


Basiswissen


Man spricht von Konsistenz, wenn zwei oder mehr Tatsachen, Daten oder Aussagen logisch zueinander passen, das heißt, dass sich zwischen ihnen keine Widersprüche bestehen. Ähnliches meinen auch die Worte Stimmigkeit, Plausibilität, Widerspruchsfreiheit oder Kohärenz. Das ist hier kurz mit Beispielen erklärt.

Konsistenz in der Mathematik


Die Mathematik soll so aufgebaut sein, dass aus anerkannten Regeln bei richtiger Anwendung keine falschen Aussagen entstehen. Dazu ein Beispiel: wenn das Distributivgesetz zum Auflösen von Klammern gilt (a·(b+c)=ab+ac) und gleichzeitig die Gesetze zum Rechnen mit negativen Zahlen richtig sein sollen (z. B. minus mal minus gleich plus), dann darf aus einer Verbindung dieser zwei Gesetze keine falsche Aussage, kein Widerspruch entstehen. Das ist im Detail erklärt auf der Seite zu Minuszahl mal Minuszahl ↗

Konsistenz in der Informatik


Angenommen in einer großen Datenbank eines Werbeunternehmens sind Daten zu Personen gespeichert. Angenommen zu dem Namen Anna-Maria Tscheboschewsky ist gespeichert dass sie (aufgrund ihrer Bestellhistorie von Medikamenten und Büchern) depressiv ist. Der Name taucht sowohl in einer Tabelle mit ihren persönlichen Eigenschaften als auch in einer zweiten Tabelle zu depressiven Personen auf. Nun ändert Anna-Maria ihren Nachnahmen. Sie heißt jetzt Anna-Maria Schmiedbauer. Wenn der Name gleichzeitig in beiden Tabellen aktualisiert wird, dann sind die Daten in der Datenbank weiterhin konsistent. Wird der Name nur in einer Tabelle aktualisiert und die andere Tabelle führt weiterhin den alten Namen, denn sind die Daten nicht mehr konsistent. Daten ständig konsistent zu halten ist für reale Datenbanken sehr aufwändig. Man spricht in der Informatik von einer sogenannten Konsistenzerhaltung ↗

Konsistenz in der Semantik


„In einem semantischen Sinn bedeutet Konsistenz, dass in einer Satzmenge alle Sätze zugleich wahr sind“.[1]

Konsistenz in der Syntaktik


In einem syntaktischen Sinn bedeutet Konsistenz, „dass sich in einer Reihe von Sätzen kein kontradiktorischer Gegensatz ergibt“.[1]

Fußnoten