Lexikon der Argumente

 

Horwich I 123
Wahrheitstabelle/Wahrheitswerttabelle/Wahrheitstafel/WW-Tabelle/Tarski: Die Wahrheitstafel liegt außerhalb der Logik! Sie ist keine Definition der Terme.
Die WW-Tafel ist nicht in der Sprache der Logik formuliert, sondern stellt bestimmte Konsequenzen der Wahrheitsdefinition in der Metasprache dar. Außerdem beeinflusst sie nicht die deduktive Entwicklung der Logik. Denn dort interessiert uns nicht, ob ein gegebener Satz wahr ist, sondern ob er beweisbar ist.
>Beweisbarkeit, >Beweise, >Logik, >Metasprache.
Andererseits: In einem deduktiven System (z.B. Semantik) behandeln wir die Verknüpfungen entweder als undefinierte Grundbegriffe oder definieren sie durch andere Verknüpfungen, aber niemals mit "wahr" oder "falsch".
Definition von Verknüpfung ohne semantische Begriffe: Bsp
(p v q) gdw. (wenn ~p dann q)).⁽¹⁾
>Verknüpfungen/Tarski.


1. A. Tarski, The semantic Conceptions of Truth, Philosophy and Phenomenological Research 4, pp. 341-75