Quelltext der Seite Tarski (W)

Zur allgemeinen Orientierung:

[http://plato.stanford.edu/entries/tarski-truth/ Einführung in Tarskis Wahrheitsdefinition (Stanford Encyclopedia of Philosophy)]

Eine knappere Skizze der Tarskidefinition aus der Sicht der gegenwärtigen analytischen Philosophie gibt ein [http://timaios.philo.at/texts/Tarski_Truthdef-1.pdf hand out] aus der Universität von Cape Town. Aus kontinentaler Sicht siehe  [http://timaios.philo.at/texts/watzka_tarski.pdf die Kurzübersicht] von Heinrich Watzka. Zur Einführung geeignet auch die [http://timaios.philo.at/texts/tarski-1_duppen.pdf Darstellung von Y. Duppen].

Einen Eindruck von den formalen Zusammenhänge erhält man durch [http://timaios.philo.at/texts/tarski_def.pdf Robert F. Stärks Zusammenfassung]. [http://www.inf.ethz.ch/personal/staerk/tarski/index.html Ein Java Applet] illustriert das Verfahren.

Angesichts dieser homogenisierenden Darstellungen ist es interessant, sich einige "Unebenheiten" in den originalen Tarski-Texten anzusehen.

<br>
----
<br>

=== Aus: Grundlegung der wissenschaftlichen Semantik ===

"Der wesentliche Grund der angetroffenen Schwierigkeiten scheint in folgendem zu liegen: man hatte nicht immer vor Augen, daß die semantischen Begriffe einen relativen Charakter haben, daß sie immer auf eine bestimmte Sprache bezogen werden sollten; man war sich dessen nicht bewußt, daß die Sprache ''über die'' man spricht, sich mit der Sprache ''in der'' man spricht keineswegs decken muß; man hat die Semantik einer Sprache in der Sprache selbst betrieben und im allgemeinen hat <font color="darkred">man sich so benommen, als ob in der Welt nur eine einzige Sprache existierte</font>."


"Übrigens ist die Lösung des Problems durch den eigentümlichen Charakter der semantischen Begriffe vorgezeichnet: da in diesen Begriffen gewisse <font color="darkred">Beziehungen zwischen den Gegenständen und Sachverhalten</font>, von denen in der untersuchten Sprache 'die Rede ist', <font color="darkred">und den Ausdrücken der Sprache</font> zum Ausdruck kommen, so müssen in den Sätzen, die die wesentlichen Eigenschaften semantischer Begriffe feststellen, sowohl die <font color="darkred">Bezeichnungen</font> jener Gegenstände und Sachverhalte, also die <font color="darkred">Ausdrücke der Sprache selbst</font>, als auch die <font color="darkturquoise">Termini auftreten, die bei der strukturellen Beschreibung der Sprache verwendet werden</font> und die zu dem Gebiet der sogenannten ''Morphologie der Sprache'' gehören, und zwar die Bezeichnungen einzelner Ausdrücke, struktureller Relationen zwischen Ausdrücken u.s.w."

"Bei der zweiten Verfahrensweise ... werden die semantischen Begriffe mit Hilfe der üblichen Begriffe der Metasprache definiert und dadurch auf die rein logischen Begriffe, auf die Begriffe der untersuchten Sprache selbst und auf die spezifischen Begriffe der Morphologie der Sprache zurückgeführt; so wird die Semantik zu einem Teil der - genügend weit aufgefaßten - Morphologie der Sprache."
<br>

* einerseits handelt die Semantik vom Verhältnis zwischen Gegenständen/Sachverhalten und Sprachausdrücken
* andererseits spricht Tarski vom Verhältnis zwischen Sprachausdrücken und der ''Morphologie'' von Sprachausdrücken
* die Idee scheint zu sein, dass die Beschreibung der ''Gestalt'' der Sprachausdrücke der Objektsprache (in einer Metasprache) mit diesen Ausdrücken korreliert wird


----
<br>

=== Aus: Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik (1) ===

"Wir wollen nun unser zuvor verwendetes Verfahren verallgemeinern, indem wir eine beliebige Aussage betrachten und durch >''p''< ersetzen. Wir bilden ihren Namen und ersetzen diesen durch >X<. Nun fragen wir nach der logischen Beziehung zwischen den beiden Aussagen >X ist wahr< und >''p''<. Es ist klar, daß diese Aussagen gemäß der von uns zugrunde gelegten Konzeption der Wahrheit äquivalent sind, das heißt: es gilt die Äquivalenz:

<div align="center">
(T)          X ist wahr genau dann, wenn ''p''. 
</div>

Wir wollen jede solche Äquivalenz als >''Äquivalenz der Form (T)''< bezeichnen (wobei >''p''< <font color="darkred">durch eine Aussage der Sprache, auf die sich das Wort >wahr< bezieht</font>, ersetzt wird und >X< durch den Namen dieser Aussage)."

<br>
----
<br>

* offenbar soll sich hier >p< auf einen ein Ausdruck der Objektsprache beziehen
* es fragt sich allerdings, was damit gemeint ist, dass eine Aussage der Objektsprache durch >p< "ersetzt" wird
* >p< ist eine metasprachliche Variable für einen Satz der Objektsprache
* wie funktioniert dann die rechte Seite der Äquivalenz? 

In Tarskis Verfahren besteht eine Spannung:

* einerseits moniert er die Berücksichtigung mehrerer Sprachen
* andererseits soll der Satz, der die Wahrheitsbedingung angibt (''p'') '''zur Objektsprache gehören'''

An einer späteren Stelle wird diese Schwierigkeit noch deutlicher.

<br>
----
<br>

=== Aus: Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik (2) ===
<br>

"Diese Definition muß, um es zu wiederholen, alle Äquivalenzen der Form (T) implizieren:

<div align="center">
(T)          X ist wahr genau dann, wenn ''p''. 
</div>

Die Definition selbst und all die Äquivalenzen, die sie impliziert, müssen in der Metasprache formuliert werden. <font color="darkred">Allerdings</font> steht das Symbol >''p''< in (T) für eine beliebige Aussage <font color="darkred">unserer Objektsprache</font>. Daraus folgt, daß <font color="darkred">jede Aussage, die in der Objektsprache vorkommt, auch in der Metasprache vorkommen muß</font>. Mit anderen Worten: die Metasprache muß die Objektsprache als einen Teil enthalten. Das ist auf jeden Fall für den Beweis der Angemessenheit der Definition notwendig - ..."

<br>
----
<br>

* wir brauchen die Metasprache, um etwas über Eigenschaften von Sätzen der Objektsprache auszusagen
* darum muss rechts in der Äquivalenz ein Ausdruck der Metasprache stehen
* darum wird >p< eine Stufe "hinaufbefördert" ("semantic ascent")
* das beschreibt die Formulierung, dass "Metasprache die Objektsprache enthalten muss"
* damit stellt sich das Problem zwischen einer und mehreren Sprachen noch deutlicher 



<br>
----

=== Spracherweiterung versus Übersetzung ===

Semantische Begriffe unterscheiden sich von gewöhnlichen Sprachausdrücken dadurch, dass sie eine Beziehung zwischen solchen Sprachausdrücken und ihren "Bedeutungen" (Dinge, Sachverhalte, abstrakte Inhalte) herstellen. Das macht sie komplizierter und für naturwissenschaftlich ausgerichtete Theorien verdächtig. Tarski entwirft eine "semantische Wahrheitstheorie", aber er vermeidet die Semantik Freges oder Wittgensteins.

<blockquote>
Zu diesem Zweck verwendet er einen ebenso umstrittenen wie wirksamen Trick: Er geht einfach davon aus, dass für jeden Satz (bzw. jeden nichtlogischen Ausdruck) der Objektsprache, für die der Wahrheitsbegriff definiert werden soll, eine ''Übersetzung'' in die Metasprache bekannt ist, dass also z.B. für jeden Satz S<sub>i</sub> der Objektsprache ein Satz ''p<sub>i</sub>'' der Metasprache bekannt ist, der dasselbe besagt wie S<sub>i</sub>. (Ansgar Beckermann)
</blockquote>

Diese Annahme kann man doppelt deuten:

* Die Metasprache ist eine Erweiterung der Metasprache, wie etwa die rationalen Zahlen eine Erweiterung der natürlichen Zahlen sind. Jede natürliche Zahl ist ''auch'' eine rationale Zahl. Damit verschwindet die Mehrzahl der Sprachen.
* Oder der Akzent liegt auf der Doppelsprachlichkeit. Dann muss es zwischen den beiden Systemen eine Übersetzung geben.

In formalen Konstruktionen kann der Ausdrucksbestand der Objektsprache leicht in die Metasprache kopiert werden. Dann definiert man in der Metasprache mengentheoretische Abstraktionen (strukturierte Diskurs-Domänen) und "interpretiert" die Ausdrücke mit Hilfe dieser Elemente. Eine "Interpretationsfunktion" stellt die Semantik her und gipfelt in der "Wahrheitsdefinition". Wenn es sich um nicht reglementierte Sprachen handelt, ist dieses Verfahren unanwendbar.

Der Lösungsansatz Tarskis hat dennoch auch für die philosophische Diskussion nachhaltige Wirkungen gehabt.

<br>
----
<br>

zurück zu: '''[[Wahrheit, Vorlesung Hrachovec, 2004/05]]'''