imported>Bildungsbürger: Wikilinks mit AWB

2021-07-01T20:58:45Z

Wikilinks mit AWB

Neue Seite

Unter '''Konvention T''' versteht man in der [[Sprachphilosophie]] den Leitgedanken der [[Semantik|semantischen]] [[Wahrheitstheorie]] von [[Alfred Tarski]]. Sie wurde [[1935]] in seiner Publikation über das Wahrheitskonzept<ref>A. Tarski: Der Wahrheitsbegriff in den formalisierten Sprachen. ''Studia Philosophica'' '''1''' (1935), S. 261–405. (Originaltitel: ''Pojęcie prawdy w językach nauk dedukcyjnych'', 1933)</ref> folgendermaßen formuliert:

:Eine formal korrekte Definition des [[Symbol]]s Tr, formuliert in einer [[Metasprache]], wird eine ''adäquate Definition der Wahrheit'' genannt, wenn sie folgende Konsequenzen hat:

:(a) Alle Sätze, 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 Übersetzung dieses Ausdrucks in die Metasprache bildet, können aus ihr abgeleitet werden.

:(b) Der Satz ''für 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 für Wahrheitsdefinitionen in Sprachen. An eine auf solchen Definitionen aufbauende Wahrheitstheorie wird die Forderung gestellt, dass sie mit genügend deskriptivem Potenzial ausgestattet ist, um Aussagen der Form

:Die Aussage ''x ist der Fall'' ist wahr, wenn x der Fall ist

oder um ein konkretes Beispiel zu nennen

:Die Aussage ''Schnee ist weiß'' ist wahr, wenn Schnee weiß ist

zu konstruieren.

Die Konvention fordert somit die Existenz einer [[Metasprache]], die neben [[logische Verknüpfung|logischen Verknüpfungen]] und Objekten vor allem auch das [[Prädikat (Logik)|Prädikat]] „ist wahr“ enthält. 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 darüber aus, unter welchen Bedingungen in obigem Beispiel „x der Fall ist“. Es geht in erster Linie – wenn man so will – nur um die Verknüpfung zwischen der Wahrheit der formalen Aussage und der Wahrheit der Tatsache.

Tarskis ''Konvention T'' ist ein vor allem in der [[Sprachphilosophie]] häufig zitierter Begriff, der oft auch mit dem später von [[Paul Benacerraf]] aufgestellten [[Benacerrafsches Dilemma|Benacerrafschen Dilemma]] in Verbindung gebracht wird.
Der amerikanische Philosoph [[Donald Davidson]] bezieht sich in seiner semantischen Theorie für natürliche Sprachen auf Tarskis Arbeit.

== Quellen ==
<references />

[[Kategorie:Semantik (Philosophie)]]
[[Kategorie:Philosophische Logik]]

Konvention T - Versionsgeschichte

imported>Bildungsbürger: Wikilinks mit AWB