180320 SE Formale Wahrheitstheorien (Minicurriculum Logik II) (2010W)

In der Lehrveranstaltung sollen unterschiedliche formale Wahrheitstheorien behandelt werden. Ausgehend von einer Diskussion der zwei zentralen semantischen Theorien der Wahrheit des 20. Jahrhunderts von Alfred Tarski (Tarski 1935) und Saul Kripke (Kripke 1975) soll der Schwerpunkt des Seminars in einer ausführlichen Analyse von Hartry Fields Saving Truth from Paradox (Field 2008) liegen. Field entwickelt hier eine alternative Wahrheitstheorie, die einerseits starke Bezüge zu Kripke Fixpunkttheorie aufweist und andererseits deutlich von Tarskis und Kripkes Ansätzen abweicht.
Ein Ziel der Lehrveranstaltung soll darin liegen, diese Bezüge und Abgrenzungen genauer zu bestimmen und damit den Teilnehmern einen systematischen Überblick über einen viel beachteten jüngeren Beitrag zur Frage der logischen Modellierbarkeit von Wahrheit zu verschaffen. Ein Schwerpunkt im Seminar wird dabei die genauere Untersuchung der unterschiedlichen nicht-klassischen Logiken darstellen, die Kripkes und Fields Wahrheitstheorien zugrunde liegen. Insbesondere sollen höherstufige (typentheoretische) Logiken, mehrwertige Logiken sowie Logiken mit Gaps und Gluts ausführlich diskutiert werden. Als Textgrundlage werden hierfür – parallel zum Studium von Field (2008) - ausgewählte Kapitel aus Priests An Introduction to Non-Classical Logic (Priest 2008) dienen.