210.472 (22W) Von Lügnern und Wahrsagern. Überblick über formale Wahrheitstheorien von Tarski bis Priest.

Wintersemester 2022/23

Anmeldefrist abgelaufen.

Erster Termin der LV
03.12.2022 10:00 - 16:00 N.1.71 On Campus
... keine weiteren Termine bekannt

Überblick

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Präsenz-Lehreveranstaltungen und Umstellung auf Online-Prüfungen) erforderlich sein.

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

Beachten Sie bitte, dass sich aufgrund von COVID-19-Maßnahmen die derzeit angezeigten Termine noch ändern können.
Liste der Termine wird geladen...

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

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

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 Benotungsschema

Position 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
  • 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
  • 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
  • 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
  • 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)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Diese Lehrveranstaltung ist keiner Kette zugeordnet