Stud.IP Uni Oldenburg
University of Oldenburg
05.10.2022 04:39:57
pb036 - Logic (Course overview)
Institute of Philosophy 6 KP
Module components Semester courses Sommersemester 2022 Examination
Lecture
Tutorial
Seminar
  • Limited access 4.03.1154 - Kritisches Denken Show lecturers
    • Prof. Dr. Mark Siebel

    Thursday: 10:15 - 11:45, weekly (from 21/04/22)
    Dates on Wednesday. 24.08.22 09:00 - 17:30, Monday. 26.09.22 09:00 - 15:30

    Dieses Seminar mit Vorlesungscharakter soll Ihr kritisches Denken insofern anregen, als es Ihnen helfen soll, Fehlschlüsse zu identifizieren und damit Denkfehler zu vermeiden. Zuerst wird es darum gehen, wie man Schlüsse bzw. Argumente analysiert und was deduktiv gültige von induktiv gültigen Argumenten unterscheidet. Nach der Unterscheidung zwischen Entdecken, Begründen und Erklären werden verschiedene Arten deduktiver Fehlschlüsse thematisiert. Anschließend stehen induktive und dabei insbesondere statistische und kausale Fehlschlüsse im Blickpunkt. Zur Veranschaulichung werden viele reale Beispiele aus Wissenschaft und Alltag herangezogen.

  • Limited access 4.03.5304 - Superlügner, Allwissende & Co: Semantische und epistemische Paradoxien Show lecturers
    • Dr. Gregor Damschen, M.A.

    Tuesday: 16:00 - 18:00, weekly (from 19/04/22)

    Eine Paradoxie ist „eine scheinbar unannehmbare Schlussfolgerung, die durch einen scheinbar annehmbaren Gedankengang aus scheinbar annehmbaren Prämissen abgeleitet ist“ (Sainsbury 2010: 11-12). Besonders unannehmbare und hartnäckige Konsequenzen ergeben sich aus den mit den Begriffen der Wahrheit und des Wissens verbundenen Paradoxien: den semantischen und den epistemischen Paradoxien. Im Bereich der semantischen Paradoxien werden wir uns mit der Grundform und den Steigerungen der sogenannten Lügnerparadoxie (dem „Liar“) beschäftigen. Betrachten wir den folgenden Satz: (*) „Dieser Satz ist falsch.“ Tatsächlich? Wenn der mit dem Asterisk (*) gekennzeichnete Satz wahr ist, dann stimmt es, was er sagt. Er sagt aber, dass er falsch ist. Dann ist er also falsch. Wenn der mit dem Asterisk (*) gekennzeichnete Satz aber falsch ist, dann stimmt es nicht, was er sagt. Er sagt aber, dass er falsch ist, mithin ist er dann nicht falsch. Er ist demnach – in einer klassischen, zweiwertigen Logik – wahr. Kann er jedoch, was sich logisch daraus ergibt, zugleich wahr und falsch sein? Das scheint nicht akzeptabel zu sein. Es handelt sich hier also um eine Paradoxie. Wir werden neben der Lügnerparadoxie die folgenden semantischen Paradoxien kennenlernen und untersuchen: die Verstärkte Lügnerparadoxie (Superlügner), Milnes Wahrmacherproblem, Brendels Wahrmacherparadox und Damschens Modales Wahrmacherparadox. Im Bereich der epistemischen Paradoxien werden wir zwei neuere Probleme untersuchen: Fitchs Paradoxie der Wissbarkeit (knowability) und Grims Paradoxie der Allwissenheit (omniscience). Die Paradoxie der Wissbarkeit geht auf Frederic Fitch (1963: 139) zurück und besagt, dass unter der Annahme, dass alle Wahrheiten möglicherweise (von jemandem zu einer bestimmten Zeit) gewusst werden können, tatsächlich alle Wahrheiten (von jemandem zu einer bestimmten Zeit) gewusst werden (vgl. Brogaard/Salerno 2008: 272-273). Die von Patrick Grim (1984) behauptete Unmöglichkeit der Allwissenheit ist eine Konsequenz aus Cantors Potenzmengenaxiom und dem damit verbundenen Beweis der Nichtexistenz einer Allmenge. Wir werden diese Argumente genau analysieren, die wichtigsten Einwände und Lösungsvorschläge bedenken und uns fragen, ob die Wissensparadoxien möglicherweise mit anderen Paradoxiengruppen wie dem semantischen Lügner verwandt sind (vgl. Brendel 2001: 10). Kenntnisse klassischer und nicht-klassischer Logiksysteme, auch der Modallogik(en), sind in diesem Kurs von großem Vorteil. Gute Lesekenntnisse des Englischen sind unabdingbar. Der genaue Seminarplan wird in der Vorbereitungssitzung vorgestellt.

Hinweise zum Modul
Reference text
6 KP | 1V, 1S/T | 1.FS oder 3.FS | Siebel
Module examination
KL
Skills to be acquired in this module
Fähigkeit zur Analyse und kritischen Reflexion alltäglicher, wissenschaftlicher und philosophischer Rede mit Hilfe formaler Methoden; Fähigkeit zur Aufdeckung von Argumentationsfehlern; Kenntnis grundlegender Begriffe der Logik (z.B. "Argument", "Schlüssigkeit", "logischer Ausdruck"); Kenntnis der Syntax und Semantik der klassischen Junktoren- und Quantorenlogik; Fähigkeit zur Übertragung normalsprachlicher Argumente in junktoren- und quantorenlogische Argumentschemata; Fähigkeit zur Überprüfung der Schlüssigkeit von Argumenten mit Hilfe von Wahrheitswerttafeln und Ableitungen; Reflexions- und Argumentationskompetenzen, hermeneutische Kompetenzen, Sprachkompetenzen, Informationskompetenzen, Transformationskompetenzen.