180040 SE Formal theories of truth (2024S)

Inhalte:
Der Begriff der Wahrheit steht seit jeher im Zentrum der Philosophie. In diesem Seminar werden wir uns mit formalen Wahrheitstheorien und ihren philosophischen Implikationen beschäftigen. Formale Wahrheitstheorien bilden seit Alfred Tarskis berühmter Schrift “Über den Wahrheitsbegriff in den formalisierten Sprachen” von 1933 ein wichtiges und stetig wachsendes Forschungsgebiet an der Schnittstelle zwischen Philosophie und Logik. Was formale Wahrheitstheorien gegenüber traditionellen philosophischen Wahrheitstheorien (Korrespondenztheorien, Kohärenztheorien, etc.) auszeichnet, ist ihre Nähe zur formalen Logik und ihr Anspruch, präzise Theorien des Wahrheitsprädikats (“ist wahr”) für eine bestimmte Klasse von klar definierten, formalen Sprachen bereitzustellen. Nach Tarski ist diese Nähe nicht zufällig, da präzise, inhaltlich korrekte und zugleich konsistente Wahrheitstheorien für natürliche Sprachen aufgrund verschiedener Umsände nicht möglich seien. Einer davon betrifft die semantischen Paradoxien, insbesondere die Lügner‐Paradoxie; ein Problemkreis, der auch heute noch im Zentrum der Debatten um formale Wahrheitstheorien steht.
Im Seminar beschränken wir uns auf ausgewählte Kapitel aus dem umfangreichen Gebiet der formalen Wahrheitstheorien. Im ersten Abschnitt erarbeiten wir uns zunächst die technischen Grundlagen, die für die Beschäftigung mit formalen Wahrheitstheorien notwendig sind und besprechen dann die wichtigsten semantischen und axiomatischen Wahrheitstheorien sowie grundlegende Zusammenhänge zwischen diesen Theorien. Im zweiten Abschnitt widmen wir uns ausgewählten Problemen im Zusammenhang mit formalen Wahrheitstheorien. Die Schwerpunkte werden dabei auf zwei Problemkreisen liegen. Unter Berücksichtigung der im ersten Abschnitt erarbeiteten Inhalte beschäftigen wir uns zunächst mit deflationistischen Wahrheitstheorien und der Frage, was eigentlich der Zweck eines Wahrheitsprädikats ist. Zweitens beschäftigen wir uns mit der Frage, was eine gute formale Wahrheitstheorie mit Blick auf die semantischen Paradoxien leisten sollte bzw. leisten kann.

Ziele:
Die Hauptziele dieser LV sind, 1) den Studierenden ein grundlegendes Verständnis wichtiger formaler Wahrheitstheorien zu vermitteln und 2) sie in die Lage zu versetzen, deren Bedeutung für philosophische Fragstellungen in Bezug auf Wahrheit einzuordnen.

Methoden:
In den ersten beiden Dritteln der LV wird der LV‐Leiter mittels Vortrag das technische Rüstzeug bereitstellen, das für das Verständnis formaler Wahrheitstheorien notwendig ist. Zur Festigung des Verständnisses der präsentierten Inhalte wird es wöchentliche Übungsblätter geben, die in der jeweils nächsten Einheit gemeinsam besprochen wer‐ den. Im letzten Drittel der LV werden die Teilnehmenden Referate zu ausgewählten Fachartikeln halten, die sich mit spezifischen philosophischen Fragestellungen im Zusammenhang mit formalen Wahrheitstheorien beschäftigen.