Einführung in die Klassische Logik   (Vorlesung)

Die Lehrveranstaltung bietet eine elementare Einführung in die klassische Logik. Zentrales Problem ist die Analyse der logischen Folgebeziehung, d.h. die Klärung der Frage, wann man gerechtfertigt sagen kann, dass eine Aussage aus anderen (logisch) folgt. Um dieses Problem angemessen darstellen und in einer ersten Näherung lösen zu können, wird eine formale Sprache eingeführt. Die Teilnehmer lernen mittels grundlegender logischer Verfahren (Wahrheitstafeln, Regeln des Natürlichen Schließens etc.) Schlussstrukturen auf ihre Folgerichtigkeit (Gültigkeit) zu prüfen. Ausführlich werden im Rahmen des Kurses die Beziehungen von natürlicher und formaler Sprache, von Schlussbeispiel und Schlussstruktur erörtert. Anwendungsbeispiele und Übungen ergänzen die Darstellung.

Bitte beachten Sie: Die vorlesungsbegleitenden Übungen finden zur ausgewiesenen Zeit (Fr., 09-11 Uhr) sowie parallel dazu zu weiteren Terminen statt, die in der ersten Vorlesung festgelegt werden!

Die Ergebnisse der Klausur finden Sie ab 13.02.06 hier oder als Aushang am Zimmer H2-1.08 (GWZ)

Ergebnisse der Klausur vom 30.01.06

Weitere Informationen zum Kurs