Wahrheitswert

Wahrheitswert

Ein Wahrheitswert (logischer Wert) gibt in der Logik den Grad der Wahrheit eines Satzes an. Gibt es in einem logischen System mehr als zwei Wahrheitswerte, spricht man oft lieber von Quasiwahrheitswerten, Pseudowahrheitswerten oder Geltungswerten. Unter einer Wahrheitswertzuordnung (synonym: Wahrheitsfunktion, Wahrheitswertefunktion, Denotationsfunktion oder Bewertungsfunktion) versteht man eine Funktion im mathematischen Sinn, die die Menge der Aussagen einer (meist formalen) Sprache auf die Menge ihrer Wahrheitswerte abbildet.

Eingeführt wurde der Begriff „Wahrheitswert“ von Gottlob Frege als undefinierter Grundbegriff, unter den die beiden Gegenstände fallen, die nach seiner Sicht als Werte von Wahrheitswertefunktion auftreten können – das Wahre und das Falsche: „Ich verstehe unter dem Wahrheitswerthe eines Satzes den Umstand, daß er wahr oder daß er falsch ist.“[1] Auf der Basis der Unterscheidung zwischen Extension und Intension wird im Gefolge von Frege vielfach angenommen, dass der Wahrheitswert die Extension (das Designat, die Referenz, in Freges Terminologie die Bedeutung) einer Aussage ist.

Nach dem gängigen Verständnis haben nur Aussagesätze Wahrheitswerte, nicht aber zum Beispiel Fragesätze oder einzelne Wörter. Der Begriff des Wahrheitswertes ist nicht an eine bestimmte Wahrheitstheorie gebunden.

Inhaltsverzeichnis

Anzahl der Wahrheitswerte

In der klassischen, zweiwertigen Logik hat jeder Satz einen von genau zwei Wahrheitswerten: Er ist entweder wahr oder falsch. Man nennt diesen Sachverhalt auch das Prinzip der Zweiwertigkeit.

In mehrwertigen Logiken gibt es mehr als zwei Wahrheitswerte, das heißt, das Prinzip der Zweiwertigkeit wird aufgegeben. Der Satz vom ausgeschlossenen Dritten wird dadurch jedoch nicht automatisch mit aufgegeben – vielmehr gibt es mehrwertige Logiken, in denen der Satz vom ausgeschlossenen Dritten gilt, und solche, in denen er nicht gilt.

Es gibt Logiken mit endlich vielen Wahrheitswerten, so zum Beispiel das als erste mehrwertige Logik 1920 von Jan Łukasiewicz formalisierte System Ł3, eine dreiwertige Logik. Es gibt aber auch Logiken mit unendlich vielen Wahrheitswerten, zum Beispiel Fuzzylogik.

Extensionalität und Wahrheitsfunktionalität

In extensionalen Logiken ist der Wahrheitswert eines zusammengesetzten Satzes eindeutig aus den Wahrheitswerten seiner Teilsätze bestimmt (Prinzip der Wahrheitsfunktionalität, allgemeiner: Extensionalitätsprinzip oder Kompositionalitätsprinzip); man sagt auch: Die Junktoren (Konnektive) sind wahrheitsfunktional. Die klassische Logik verwendet ausschließlich wahrheitsfunktionale Konnektive, ist also extensional. Zur Angabe des Wahrheitswertverlaufs eines extensionalen (wahrheitsfunktionalen) Konnektivs werden in endlichwertigen Logiken gerne Wahrheitstabellen verwendet.

In intensionalen Logiken, das heißt in solchen, die auch (oder nur) Konnektive enthalten, die nicht wahrheitsfunktional sind, sind die Formalismen erheblich aufwendiger und diverser, mit denen man den Wahrheitswert eines komplexen Satzes berechnet. Für manche intensionale Logiken, vor allem für Modallogik, hat sich die Kripke-Semantik zur Bewertung von Sätzen bewährt.

Symbole für Wahrheitswerte

Die Wahrheitswerte werden unterschiedlich symbolisiert; gebräuchlich sind folgende Zeichen:

wahr
„W“ (wahr), „t“ (englisch „true“), „\top“, "v" (lateinisch verum), „1“ oder „+“.
falsch
„F“ (falsch), „f“ (englisch „false“), „\bot“, „0“ oder „–“.

In einer mehrwertigen Logik greift man entweder auf Zahlen zurück, die einen abgestuften Wahrheitsgrad beschreiben z. B. {0; \frac{1}{2}; 1} in dreiwertigen Logik auf oder {0; \frac{1}{3}; \frac{2}{3}; 1} in einer vierwertigen Logik (vergleiche Wahrheitstabelle) oder auch auf alle reellen Zahlen zwischen 0 und 1 (vergleiche Fuzzylogik). Andererseits sind auch Wahrheitswerte wie "undefiniert", "indifferent" oder "hochohmig" gebräuchlich.

Siehe auch

Einzelnachweise

  1. Über Sinn und Bedeutung, Seite 34.

Literatur

  • L. Kreiser, S. Gottwald, W. Stelzner (Hge): Nichtklassische Logik. Eine Einführung, Berlin: Akademie 21990.
  • Tugendhat/Wolf, Logisch-semantische Propädeutik, 1983. ISBN 3-15-008206-4.

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Wahrheitswert — Wahrheitswert,   formale Logik: Wert einer Wahrheitsfunktion. Die Menge der Wahrheitswerte enthält in der zweiwertigen Aussagenlogik genau die beiden semantischen Prädikatoren »wahr« und »falsch«, in der dreiwertigen Logik von J. Łukasiewicz… …   Universal-Lexikon

  • Wahrheitswert — loginė vertė statusas T sritis automatika atitikmenys: angl. Boolean value; logical value vok. Boolescher Wert, m; logischer Wert, m; Wahrheitswert, m rus. булево значение, n; логическое значение, n pranc. valeur logique, f …   Automatikos terminų žodynas

  • Dreiwertige Logik — Dreiwertige Logiken (auch: ternäre Logiken) sind Beispiele für mehrwertige Logiken, also für nichtklassische Logiken, die sich von der klassischen Logik dadurch unterscheiden, dass das Prinzip der Zweiwertigkeit aufgegeben wird. Dies bedeutet,… …   Deutsch Wikipedia

  • Ausdruck (Logik) — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …   Deutsch Wikipedia

  • Logische Aussage — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …   Deutsch Wikipedia

  • Logischer Ausdruck — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …   Deutsch Wikipedia

  • Mehrweritge Logiken — 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… …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Prädikatenlogik — oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund …   Deutsch Wikipedia

  • Vierwertige Logik — 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… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”