Kommentar |
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. |
Literatur |
Literatur: Lehrbuch: Gottfried Gabriel, Einführung in die Logik, Jena 2005 (und weitere unveränderte Nachdrucke).
Weitere Literatur wird im elektronischen Semesterapparat bereitgestellt: dies sind zum einen klausurrelevante Ergänzungen zum Lehrbuch; darüber hinaus wird auch einige weiterführende Literatur zu einzelnen Fragen zugänglich gemacht. |