(V) Einführung in die moderne Logik
Dozent:innen: Dr. Nick HaverkampKurzname: V Einf. Logik
Kurs-Nr.: 05.127.055
Kurstyp: Vorlesung
Voraussetzungen / Organisatorisches
Die zweistündigen Vorlesung bildet zusammen mit der zweistündigen Übung (PS) den Einführungskurs zur modernen Logik. Seine erfolgreiche Absolvierung ist für Kernfachstudierende im B.A. Philosophie sowie für Studierende des B.Ed. Philosophie/Ethik verpflichtend. Beide Kursteile finden in Präsenz statt. Die in der Vorlesung vorgestellten Inhalte werden anhand von wöchentlich zu bearbeitenden Übungsaufgaben eingeübt, die Aufgaben werden in den Übungen besprochen. Zur aktiven Teilnahme gehören die Bearbeitung der Übungsaufgaben und die insgesamt erfolgreiche Teilnahme an mehreren Präsenztests in den Übungen. Die Modulprüfung erfolgt als Abschlussklausur. Genauere organisatorische Informationen gibt es am Beginn des Kurses.Empfohlene Literatur
Die Folien zur Vorlesung werden elektronisch als Skript zugänglich gemacht.Der Kurs ähnelt inhaltlich in Einigem A. Beckermann, Einführung in die Logik, 4. Aufl. Berlin: de Gruyter 2014 (Exemplare in der Lehrbuchsammlung, außerdem elektronischer Zugang über OPAC).
Eine weitere Quelle ist B. Mates, Elementare Logik, 2. Aufl. Göttingen: Vandenhoeck & Ruprecht, 1978.
Inhalt
Die Logik befasst sich zentral mit der Unterscheidung zwischen gültigen und ungültigen Schlüssen. Z.B. ist der Schluss „Alle Lebewesen sind sterblich; alle Menschen sind Lebewesen; also sind alle Menschen sterblich“ gültig, während „Alle Menschen sind Lebewesen; alle Menschen sind sterblich; also sind alle Lebewesen sterblich“ ungültig ist. Doch was genau macht Gültigkeit aus und wie lässt sich prüfen, ob ein Schluss gültig ist?Unter der modernen Logik ist genauer diejenige Logik zu verstehen, die im 19. und 20. Jahrhundert von Wissenschaftlern wie Gottlob Frege, Bertrand Russell und Alfred Tarski begründet wurde. Der Kurs führt in die elementare Logik ein, d.h. in die klassische Aussagen- und Prädikatenlogik der ersten Stufe.
Kenntnisse der Logik sind zum einen wichtig, um philosophische Argumente in ihrer Struktur zu erkennen und ihre Gültigkeit zu beurteilen, aber auch um eigene gültige Argumente präzise zu formulieren. Zum anderen prägen Methoden der modernen Logik weite Bereiche der modernen Philosophie.
Termine
| Datum (Wochentag) | Zeit | Ort |
|---|---|---|
| 20.10.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 27.10.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 03.11.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 10.11.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 17.11.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 24.11.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 01.12.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 08.12.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 15.12.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 22.12.2026 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 12.01.2027 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 19.01.2027 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 26.01.2027 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 02.02.2027 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 09.02.2027 (Dienstag) | 16:15 - 17:45 | 01 422 HS 19 1321 - Naturwissenschaftlich-Medizinischer Bau |