LFU:online

Vermittlung grundlegender Kenntnisse der Aussagen- und Prädikatenlogik und verwandter formaler Methoden in der Philosophie.

Einführung in das logische Schließen; Syllogistik und traditionelle Logik; moderne Aussagenlogik mit Wahrheitstafeln, formalen Beweisverfahren und nicht-klassischen Varianten der Logik (philosophische Logik); Formalisierung von natürlich-sprachlichen Aussagen und Ausblick in die Prädikatenlogik.

Vorlesung, foliengestützt, vereinzelt im Format eines flipped classrooms.

schriftliche Abschlussklausur in Präsenz.

Winfried Löffler; Einführung in die Logik; Stuttgart, Kohlhammer, 2008 - Wesley Salmon: Logik; Stuttgart, Reclam, 1983 - Peter J. Cameron: Logic, Sets and Categories; New York, Berlin, Springer Verlag, 1999 - Peter Smith: An Introduction to Formal Logic; Cambridge University Press, ²2020 - Ian Chiswell/Wilfrid Hodges: Mathematical Logic; Oxford University Press, 2007. - Daniel W. Cunningham: A Logical Introduction to Proof; New York, Heidelberg, Springer Verlag, 2012.

Die Vorlesung setzt keine Kenntnisse voraus.