Aktuelle Lehrveranstaltungen aller Lehrender des Philosophischen Seminars (WiSe 2024/25)

(V) Einführung in die moderne Logik

Dozent:innen: Univ.-Prof. Dr. Ralf Busse
Kurzname: V 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. Übungsmaterial wird zu den begleitenden Übungen bereitgestellt.
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 Vögel sind Lebewesen; also sind alle Menschen Vögel“ ungültig ist. Doch was genau macht Gültigkeit aus, und wie lässt sich prüfen, ob ein Schluss gültig ist? Während Aristoteles als Begründer der abendländischen Logik insgesamt gilt, versteht man unter der modernen Logik die besonders von G. Frege und B. Russell seit dem Ende des 19. Jahrhunderts in Gang gebrachte technisch präzisierte und systematisierte Logik. Der Kurs führt in die elementare Logik ein, d.h. in die klassische Aussagen- und die klassische Prädikatenlogik der ersten Stufe. Kenntnisse der Logik sind zum einen wichtig, um philosophische Argumente in ihrer Struktur erkennen und ihre Gültigkeit beurteilen zu können, aber auch um eigene gültige Argumente präzise formulieren zu können. Zum anderen prägen Methoden der modernen Logik weite Bereiche der modernen Philosophie. So ist die moderne Sprachphilosophie stark geprägt von der logischen Einsicht in die Struktur sprachlicher Aussagen.

Termine

Datum (Wochentag)	Zeit	Ort
15.04.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
22.04.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
29.04.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
06.05.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
13.05.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
20.05.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
27.05.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
03.06.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
10.06.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
17.06.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
24.06.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
01.07.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
08.07.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau
15.07.2025 (Dienstag)	16:15 - 17:45	01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau