| Konvention W: (auch Konvention T) Bestandteil der Wahrheitstheorie von A. Tarski, der die Forderung enthält, dass in dem sogenannten W-Schema Tr(x) <> p mit der Beispielsinstanz „Schnee ist weiß“ ist wahr, genau dann, wenn Schnee weiß ist die rechte Seite der Äquivalenz, also p eine Übersetzung des Ausdrucks x auf der linken Seite in die Metasprache der Theorie ist, wobei die Metasprache u.a. reich genug sein muss, um das Prädikat „ist wahr“ zu enthalten. Daraus folgt eine Ableitbarkeit beliebig vieler weiterer Instanzen des Schemas. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. |
