Stoff dieser Vorlesung für Studierende im Grundstudium ist die elementare Aussagen- und Prädikatenlogik. Die Veranstaltung soll einen sicheren Umgang mit den grundlegenden Instrumenten der Logik wie Junktoren, Wahrheitstafeln, logischen Regeln, Schlüssigkeitsprüfungen, Formalisierungen und Quantoren vermitteln. Das Vorgehen ist weniger durch formale Ableitungen bestimmt als vielmehr durch die Einübung des Gebrauchs von Junktoren und Quantoren im Rahmen einer logischen Argumentationslehre, die auf sprachanalytischer Grundlage entwickelt wird. Zentral ist dabei zum einen das Erkennen der logischen Struktur umgangssprachlich formulierter Sätze, zum anderen aber darüber hinausgehend auch die Präzisierung des durch umgangssprachliche Sätze eigentlich Gemeinten, wenn die üblichen Formulierungen mehrere Deutungen zulassen.
Darüber hinaus werden Hinweise darauf gegeben, wie logische Formen der Darstellung wichtiger philosophischer Werke zugrunde liegen: Zahlreiche Klassiker sind als "Logiken" angelegt.
Hinweis: Verpflichtend für den Besuch des Moduls ist der Besuch der Vorlesung, sowie einer zugeordneten Übung (es werden zwei Gruppen angeboten).
DIE KLAUSUR FINDET IN DER VORLETZTEN VORLSUNGSWOCHE, AM 31. JANUAR, STATT! IN DER LETZTEN WOCHE ERFOLGT DIE BESPRECHUNG UND RÜCKGABE DER KLAUSUR.
HINWEIS: DIE VORLESUNG WIRD AUFGEZEICHNET; SO DASS STREAMING UND EIN SPÄTERER ZUGRIFF MÖGLICH IST
Die Vorlesung wird im Hörsaal gehalten und zeitgleich gestreamt und auch aufgezeichnet. |