Wahrheitswert

aus Wikipedia, der freien Enzyklopdie

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.
Eingefhrt wurde der Begriff Wahrheitswert von Gottlob Frege als undefinierter Grundbegriff, unter den
die beiden Gegenstnde fallen, die nach seiner Sicht als Werte von Wahrheitswertefunktion auftreten
knnen 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 gngigen Verstndnis haben nur Aussagestze Wahrheitswerte, nicht aber zum Beispiel
Fragestze oder einzelne Wrter. Der Begriff des Wahrheitswertes ist nicht an eine bestimmte
Wahrheitstheorie gebunden.

Inhaltsverzeichnis
1
2
3
4
5
6
7

Anzahl der Wahrheitswerte

Extensionalitt und Wahrheitsfunktionalitt
Symbole fr Wahrheitswerte
Siehe auch
Einzelnachweise
Literatur
Weblinks

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 heit, 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.

Extensionalitt und Wahrheitsfunktionalitt

In extensionalen Logiken ist der Wahrheitswert eines zusammengesetzten Satzes eindeutig aus den
Wahrheitswerten seiner Teilstze bestimmt (Prinzip der Wahrheitsfunktionalitt, allgemeiner:
Extensionalittsprinzip oder Kompositionalittsprinzip); man sagt auch: Die Junktoren (Konnektive) sind
wahrheitsfunktional. Die klassische Logik verwendet ausschlielich wahrheitsfunktionale Konnektive, ist
also extensional. Zur Angabe des Wahrheitswertverlaufs eines extensionalen (wahrheitsfunktionalen)
Konnektivs werden in endlichwertigen Logiken gerne Wahrheitstabellen verwendet.
In intensionalen Logiken, das heit 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. Fr manche intensionale Logiken, vor allem fr
Modallogik, hat sich die Kripke-Semantik zur Bewertung von Stzen bewhrt.

Symbole fr Wahrheitswerte
Die Wahrheitswerte werden unterschiedlich symbolisiert; gebruchlich sind folgende Zeichen:
wahr
W (wahr), t (englisch true), , "v" (lateinisch verum), 1 oder +.
falsch
F (falsch), f (englisch false; bzw. lateinisch falsum), , 0 oder .
In einer mehrwertigen Logik greift man entweder auf Zahlen zurck, die einen abgestuften Wahrheitsgrad
beschreiben z. B.

in dreiwertigen Logik auf oder

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" gebruchlich.

Siehe auch
Funktion und Begriff
ber Sinn und Bedeutung

Einzelnachweise
1. ber Sinn und Bedeutung, Seite 34.

Literatur
L. Kreiser, S. Gottwald, W. Stelzner (Hge): Nichtklassische Logik. Eine Einfhrung, Berlin:
Akademie 2 1990.
Tugendhat/Wolf, Logisch-semantische Propdeutik, 1983. ISBN 3-15-008206-4.

Weblinks
Yaroslav Shramko und Heinrich Wansing: Truth Values. (http://plato.stanford.edu/entries/truthvalues/) In: Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy

Von http://de.wikipedia.org/w/index.php?title=Wahrheitswert&oldid=104174104
Kategorien: Logik Sprachphilosophie Wahrheit (Philosophie)
Diese Seite wurde zuletzt am 8. Juni 2012 um 22:28 Uhr gendert.
Abrufstatistik
Der Text ist unter der Lizenz Creative Commons Attribution/Share Alike verfgbar; zustzliche
Bedingungen knnen anwendbar sein. Einzelheiten sind in den Nutzungsbedingungen beschrieben.
Wikipedia ist eine eingetragene Marke der Wikimedia Foundation Inc.