Formale Wahrheitstheorien nach Alfred Tarski

Die mathematische Logik nimmt einen so grossen Teil der Arbeit ein, weil ich glaube dass man ohne Kenntnis der mathematischen Logik die von mir behandelten Autoren nicht wirklich verstehen kann. Ausserdem habe ich immer versucht in den Kapiteln über formale Logik philosophische Fragen aufzuwerfen und zu diskutieren. Das so etwas nur anzatzweise möglich ist, wird jedem klar sein der sich schon mit der Philosophie der Logik beschäftigt hat. Die Autoren, mit denen ich mich genauer beschäftigen möchte sind Saul Kripke und Tyler Burge. Der erste wird Saul Kripke sein, der mit seiner Theorie wichtige Ideen in die Diskussion eingebracht hat. Der zweite wird Tyler Burge sein, der mich interessiert hat weil sein Ansatz über die Tarski-Kripke'sche Tradition hinausgeht. Obwohl sich ein grosser Teil dieser Arbeit mit den formalen Grundlagen von Wahrheitstheorien beschäftigt, wird die Tarski'sche Wahrheitstheorie nicht explizit bearbeitet werden. Aber immer dort, wo modelltheoretische Begriffe verwendet werden, ist Tarski's Theorie präsent, weil seine Ideen die Basis für die moderne Modelltheorie geliefert haben. Ich habe mich zu diesem Vorgehen entschlossen, um die Notation so einheitlich wie möglich zu halten. Überhaupt war es eine der interessantesten Aufgaben dieser Arbeit, die unterschiedlichen Notationen ineinander zu übersetzen. Mich hat interessiert warum eine formale Wahrheitstheorie akzeptiert wird. Welche Ergebnisse der formalen Logik müssen berücksichtigt werden? Eines der zentralen Theoreme in diesem Zusammenhang ist das Theorem von der Undefinierbarkeit der Wahrheit. Es bildet den Hintergrund auf dem viele Theorien verstanden werden können. Warum man sich z.b. mit partiellen Wahrheitsprädikaten beschäftigt.