www.wikidata.de-de.nina.az
Unter Konvention T versteht man in der Sprachphilosophie den Leitgedanken der semantischen Wahrheitstheorie von Alfred Tarski Sie wurde 1935 in seiner Publikation uber das Wahrheitskonzept 1 folgendermassen formuliert Eine formal korrekte Definition des Symbols Tr formuliert in einer Metasprache wird eine adaquate Definition der Wahrheit genannt wenn sie folgende Konsequenzen hat a Alle Satze die aus dem Ausdruck Tr x genau dann wenn p erhalten werden wenn das Symbol x durch einen strukturell deskriptiven Namen irgendeines Satzes der betrachteten Sprache und das Symbol p durch den Ausdruck ersetzt wird der die Ubersetzung dieses Ausdrucks in die Metasprache bildet konnen aus ihr abgeleitet werden b Der Satz fur alle x wenn Tr x dann S x mit anderen Worten Tr ᑕ S kann aus ihr abgeleitet werden Vereinfacht gesagt handelt es sich dabei um eine konventionelle Bedingung fur Wahrheitsdefinitionen in Sprachen An eine auf solchen Definitionen aufbauende Wahrheitstheorie wird die Forderung gestellt dass sie mit genugend deskriptivem Potenzial ausgestattet ist um Aussagen der Form Die Aussage x ist der Fall ist wahr wenn x der Fall istoder um ein konkretes Beispiel zu nennen Die Aussage Schnee ist weiss ist wahr wenn Schnee weiss istzu konstruieren Die Konvention fordert somit die Existenz einer Metasprache die neben logischen Verknupfungen und Objekten vor allem auch das Pradikat ist wahr enthalt Die Metasprache muss demnach reichhaltiger sein als die Sprache in der die Aussagen vom Typ x ist der Fall konstruiert werden die so genannte Objektsprache Die Konvention T ist also ein Versuch Wahrheitsattributionen im Kontext der zu Grunde liegenden Sprache mittels einer Forderung an die Struktur der Sprache zu formalisieren Gleichzeitig sagt die Konvention aus auf welche Weise man in formalen sprachlichen Systemen einen Wahrheitsbegriff definieren kann Die Konvention sagt allerdings nichts daruber aus unter welchen Bedingungen in obigem Beispiel x der Fall ist Es geht in erster Linie wenn man so will nur um die Verknupfung zwischen der Wahrheit der formalen Aussage und der Wahrheit der Tatsache Tarskis Konvention T ist ein vor allem in der Sprachphilosophie haufig zitierter Begriff der oft auch mit dem spater von Paul Benacerraf aufgestellten Benacerrafschen Dilemma in Verbindung gebracht wird Der amerikanische Philosoph Donald Davidson bezieht sich in seiner semantischen Theorie fur naturliche Sprachen auf Tarskis Arbeit Quellen Bearbeiten A Tarski Der Wahrheitsbegriff in den formalisierten Sprachen Studia Philosophica 1 1935 S 261 405 Originaltitel Pojecie prawdy w jezykach nauk dedukcyjnych 1933 Abgerufen von https de wikipedia org w index php title Konvention T amp oldid 213473340