LFU:online

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

Die Vorlesung findet virtuell statt. Foliensätze und Skripten werden ergänzt um screencast und Videoeinheiten.

Schriftlich (Abschlussklausur)

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, 2003 - Ian Chiswell/Wilfrid Hodges: Mathematical Logic; Oxford University Press, 2007.

Keine

Die Vorlesung findet ausschließlich in digitaler Form und als distant teaching statt. Sie setzt keine formalen Vorkenntnisse voraus. Ein erhöhter Zeitaufwand für die Bearbeitung von Übungsaufgaben ist zu berücksichtigen.

Einzelheiten über digitale Abhaltungen werden zu Beginn des Semesters mitgeteilt.