Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Tarski, Alfred
 
Bücher bei Amazon
Wahrheitswert-Tabellen Horwich I 123
Wahrheitstabelle/Wahrheitswerttabelle/Wahrheitstafel/WW-Tabelle/Tarski: 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 W-Def 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.
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)).

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Hor I
P. Horwich (Ed.)
Theories of Truth Aldershot 1994

> Gegenargumente gegen Tarski



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 29.03.2017