Überblick in die Entwicklung der Logik.

Didaktisches Vorgehen: Frontalvortrag mittels Folien.

Formale Logik weist eine jahrhundertelange Tradition auf und ist heute ein mächtiges Werkzeug der Wissensrepräsentation. In dieser Lehrveranstaltung wird ein Streifzug durch die Geschichte der Logik anhand der Arbeiten ihrer wichtigsten Pionieregeboten. Aus dem Inhalt:

1. Der Syllogismus von Aristoteles
2. Leibniz's Arbeiten zur Logik (algebraische Kalküle, die Idee einer vollständigen, automatisierten Sprache des Schließens ("calculus ratiocinator")
3. Algebra und Geometrie
4. Boole's Algebra der Logik
5. Frege's Logik
6. Cantor's Arithmetik
7. Peano's Logik
8. Whitehead and Russell's Principia Mathematica
9. Hilbert und Gödel

Mündliche Prüfung.

Elementare Kenntnisse der formalen Logik.