After successful completion of the course, students are able to name and explain the most imporant milestones in the development of formal logic, as well as to correctly argue theoretical relations of the considered formalisms and their relevance for modern logic.

This lecture deals with a brief overview on the history of logic.

Formal logic has a tradition spanning more than 2000. Today, it is a powerful tool for knowledge representation and fundamental not only in computer science but for science in general. In this lecture, we deal with a brief overview on the historical development of logic. Topics include:

1. Aristotle's system of syllogisms
2. Leibniz's work on logic (algebraic calculi, the idea of a complete and automated language of reasoning - "calculus ratiocinator")
3. algebra and geometry
4. Boole's algebra of logic
5. Cantor's theory of sets
6. Frege's logic
7. Whitehead and Russell's Principia Mathematica
8. Hilbert and Gödel

Frontal lecture.

Attention: This semester, the lecture is planned to be held as a presence course, with a possible fall-back to an online modus. The oral exam can also optionally be online.

Oral exam.

Basic knowledge in formal logic.