LFU:online

Introduction to formal logic (traditional logic, propositional logic, and predicate logic) and related formal methods in philosophy.

Introduction to logical deduction, syllogisms and traditional logic; modern propositional logic: truth-tables and formal proof procedures, non-classical variants of logic; formalization of natural language sentnences and basic steps into predicate logic.

Lecture, slide-based. Some units will be held as a 'flipped class room'.

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.

No special requirements.