210.472 (22W) Von Lügnern und Wahrsagern. Überblick über formale Wahrheitstheorien von Tarski bis Priest.
Überblick
Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
- Lehrende/r
- LV-Titel englisch Formal Theories of Truth from Tarski to Priest
- LV-Art Proseminar (prüfungsimmanente LV )
- LV-Modell Präsenzlehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 4.0
- Anmeldungen 11
- Organisationseinheit
- Unterrichtssprache Deutsch
- mögliche Sprache/n der Leistungserbringung Deutsch , Englisch
- LV-Beginn 03.12.2022
- eLearning zum Moodle-Kurs
Zeit und Ort
LV-Beschreibung
Lehrmethodik
Das PS wird geblockt zu vier Terminen stattfinden. In der ersten Einheit werden durch Vortrag des LV-Leiters die technischen Grundlagen für alles weitere geschaffen. Im ersten Teil jeder weiteren Einheit werden dann von den Teilnehmenden jeweils vorzubereitende Übungsblätter gemeinsam besprochen. Im zweiten Teil der zweiten und dritten Einheit werden durch Vortrag des LV-Leiters weiterführende Inhalte vermittelt und im zweiten Teil der letzten Einheit werden ausgewählte Texte von den Teilnehmenden in Form von Referaten präsentiert.
Inhalt/e
Der Begriff der Wahrheit ist einer der zentralsten Begriffe der Philosophie. In diesem Proseminar werden wir uns mit formalen Wahrheitstheorien beschäftigen, die seit Alfred Tarskis berühmter Schrift „Über den Wahrheitsbegriff in den formalisierten Sprachen“ von 1933 ein wichtiges und stetig wachsendes Feld an der Schnittstelle zwischen Philosophie und Logik einnehmen. Was formale Wahrheitstheorien gegenüber substanziellen Wahrheitstheorien (Korrespondenztheorien, Kohärenztheorien, etc.) auszeichnet, ist ihre Nähe zur mathematischen Logik und ihr Anspruch präzise Theorien des Wahrheitsprädikats („ist wahr“) für spezifische formalisierte Sprachen bereitzustellen. Nach Tarski ist diese Nähe nicht zufällig, weil präzise, inhaltlich korrekte und zugleich konsistente Wahrheitstheorien für natürliche Sprachen, unter anderem aufgrund der semantischen Paradoxien (insbesondere der Lügner Paradoxie), nicht möglich seien. Die Paradoxien und Ansätze zu ihrer Auflösung stehen seit Tarski daher auch im Zentrum der Debatten um formale Wahrheitstheorien und werden auch im PS einen großen Raum einnehmen.
Im PS werden wir uns auf ausgewählte Kapitel aus dem umfangreichen Gebiet der formalen Wahrheitstheorien beschränken. Nach einer Besprechung der technischen Grundlagen (Formale Sprachen und Logik, Wahrheitsprädikate, Objekte des Wahrheitsprädikats, Arithmetisierung, Tarskis Satz von der Undefinierbarkeit der Wahrheit, etc.) besprechen wir die semantischen Wahrheitstheorien von Tarski und Kripke. Danach behandeln wir die wichtigsten axiomatischen Wahrheitstheorien und besprechen einige Zusammenhänge zu den besprochenen semantischen Wahrheitstheorien. Zuletzt widmen wir uns noch ausgewählten philosophischen Fragestellungen im Zusammenhang mit formalen Wahrheitstheorien, insbesondere auch der Frage, ob das Wahrheitsprädikat überhaupt eine substantielle Eigenschaft ausdrückt oder ob es nur als device für „semantic ascent“ angesehen werden sollte (Minimalismus, Deflationismus).
Erwartete Vorkenntnisse
Die Absolvierung einer einführenden LV zur Logik sollte ausreichend sein. Ein gewisser Wille sich auf formale Details einzulassen wird den Teilnehmenden nicht zum Nachteil gereichen.
Literatur
Die im PS verwendeten Folien werden den Studierenden im Moodle zur Verfügung gestellt. Wir werden uns sehr grob am Buch "Formal Theories of Truth" von JC Beall, Michael Glanzberg und David Ripley orientieren. Auszüge daraus, sowie weitere zentrale Texte, die im PS besprochen werden, werden rechtzeitig im Moodle bereitgestellt. Es ist also nicht notwendig (wenn auch nicht verboten), sich dieses Buch zu kaufen.
Beall, JC, Glanzberg, Michael & Ripley David, 2018. Formal Theories of Truth. Oxford: Oxford University Press.
Prüfungsinformationen
Beurteilungskriterien/-maßstäbe
Die Gesamtnote setzt sich aus einer Mitarbeitsnote und einer Note auf ein Referat bzw. alternativ auf eine zu verfassende Proseminararbeit zusammen. Die Mitarbeitsnote wird sich aus den Übungsblättern ergeben, die rechtzeitig zum jeweils nächsten Termin abzugeben sind. In der Proseminararbeit (7 – 10 Seiten) sollen die Studierenden sich mit einem Thema, das im PS besprochen wurde, weiterführend beschäftigen.
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelorstudium Philosophie
(SKZ: 541, Version: 20W.1)
-
Fach: Theoretische Philosophie
(Wahlfach)
-
3.2 PS aus Theoretische Philosophie (
0.0h PS / 4.0 ECTS)
- 210.472 Von Lügnern und Wahrsagern. Überblick über formale Wahrheitstheorien von Tarski bis Priest. (2.0h PS / 4.0 ECTS) Absolvierung im 1., 2., 3., 4., 5. Semester empfohlen
-
3.2 PS aus Theoretische Philosophie (
0.0h PS / 4.0 ECTS)
-
Fach: Theoretische Philosophie
(Wahlfach)
- Bachelorstudium Philosophie
(SKZ: 541, Version: 20W.1)
-
Fach: Theoretische Philosophie
(Wahlfach)
-
3.4 VO/PS/SE Theoretische Philosophie (
0.0h VO, PS, SE / 20.0 ECTS)
- 210.472 Von Lügnern und Wahrsagern. Überblick über formale Wahrheitstheorien von Tarski bis Priest. (2.0h PS / 4.0 ECTS) Absolvierung im 1., 2., 3., 4., 5. Semester empfohlen
-
3.4 VO/PS/SE Theoretische Philosophie (
0.0h VO, PS, SE / 20.0 ECTS)
-
Fach: Theoretische Philosophie
(Wahlfach)
- Bachelorstudium Philosophie
(SKZ: 541, Version: 20W.1)
-
Fach: Thematische Vertiefung
(Wahlfach)
-
VO/PS/SE aus Geschichte der Philosophie/ Theoretische Philosophie/ Praktische Philosophie (
0.0h VO, PS, SE / 12.0 ECTS)
- 210.472 Von Lügnern und Wahrsagern. Überblick über formale Wahrheitstheorien von Tarski bis Priest. (2.0h PS / 4.0 ECTS) Absolvierung im 6. Semester empfohlen
-
VO/PS/SE aus Geschichte der Philosophie/ Theoretische Philosophie/ Praktische Philosophie (
0.0h VO, PS, SE / 12.0 ECTS)
-
Fach: Thematische Vertiefung
(Wahlfach)
- Bachelorstudium Philosophie
(SKZ: 541, Version: 16W.1)
-
Fach: Theoretische Philosophie
(Wahlfach)
-
Theoretische Philosophie (
0.0h VO, PS, SE / 36.0 ECTS)
- 210.472 Von Lügnern und Wahrsagern. Überblick über formale Wahrheitstheorien von Tarski bis Priest. (2.0h PS / 4.0 ECTS) Absolvierung im 1., 2., 3., 4., 5., 6. Semester empfohlen
-
Theoretische Philosophie (
0.0h VO, PS, SE / 36.0 ECTS)
-
Fach: Theoretische Philosophie
(Wahlfach)
- Masterstudium Philosophie
(SKZ: 941, Version: 10W.1)
-
Fach: Theoretische Philosophie und ihre Geschichte
(Wahlfach)
-
Theoretische Philosophie und ihre Geschichte (
0.0h XX / 24.0 ECTS)
- 210.472 Von Lügnern und Wahrsagern. Überblick über formale Wahrheitstheorien von Tarski bis Priest. (2.0h PS / 4.0 ECTS)
-
Theoretische Philosophie und ihre Geschichte (
0.0h XX / 24.0 ECTS)
-
Fach: Theoretische Philosophie und ihre Geschichte
(Wahlfach)