Unter Logik versteht man im weitesten Sinn die Lehre des folgerichtigen Denkens und Argumentierens, in einem engeren Sinn die Lehre des korrekten Schliessens. In diesem Seminar werden elementare Kenntnisse der modernen Logik vermittelt, die zu einer soliden philosophischen Ausbildung gehören. Wir werden uns mit den Grundbegriffen der formalen Logik vertraut machen und verschiedene Beweisverfahren kennenlernen, um die Gültigkeit von Argumenten zu prüfen. Zum Inhalt der Veranstaltung gehören: logische Wahrheit und logische Folgerung, Aussagenlogik und Prädikatenlogik (1. Stufe), Formalisierung und formale Sprachanalyse, natürliches Schliessen und Grundzüge der Argumentationstheorie.

Als Arbeitsgrundlage werden wir uns auf Auszüge aus einschlägigen Logikeinführungen stützen, die auf OLAT verfügbar gemacht werden (s. Literatur). Die Credits werden durch eine erfüllte Gesamtleistung erworben, die sich aus zwei Kurztests während des Semesters sowie einer Abschlussprüfung zusammensetzt. 

Für den Besuch des Kurses muss keine Literatur angeschafft werden; zur Vertiefung des Stoffes werden folgende Einführungen empfohlen: 

- Ansgar Beckermann, Einführung in die Logik, De Gruyter 2014. 

- Sven Rosenkranz, Einführung in die Logik, Metzler 2006.

- E.J. Lemmon, Beginning Logic, Hackett 1978.

- Wilfried Hodges, Logic, Penguin 2001.