Wer A sagt, muss nicht unbedingt auch B sagen. Aber doch, wenn er außerdem sagt: „Wenn A, dann B“. Banal? Wertvoll. Denn mit solchen Überlegungen lassen sich Argumente ordnen und einschätzen. Am Anfang eines Studiums der Philosophie steht daher weltweit ein einführender Logikkurs, in dem man die beiden grundlegenden formalen Sprachen der modernen Logik lernt: die klassische Aussagenlogik und die Prädikatenlogik erster Stufe. Zur Vorlesung werden Tutorien angeboten, deren Besuch unverzichtbar ist. Die Vorlesung wird mit einer Klausur abgeschlossen.

Grundlage des Kurses ist das folgende Lehrbuch: Niko Strobach, Einführung in die Logik, WBG Darmstadt, 5. Auflage 2019. In der ersten Vorlesungssitzung sind dazu noch einige Einzelheiten zu besprechen, so dass ich empfehle, das Buch noch nicht vorher zu kaufen.

Kurs im HIS-LSF

Semester: WiSe 2022/23