Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage die wichtigsten Meilensteine in der Enwicklung der formalen Logik zu benennen und zu erläutern, sowie theoretische Zusammenhänge und ihre Relevanz für die moderne Logik korrekt zu argumentieren.

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. Cantor's Theorie der Mengen
6. Frege's Logik
7. Whitehead and Russell's Principia Mathematica
8. Hilbert und Gödel

Frontalvortrag.

ECTS Aufschlüsselung: 3 ECTS = 75 Stunden

• Vorlesung 24h
• Einführung 0.5h
• Prüfungsvorbereitung 50h
• Mündliche Prüfung 0.5h

Mündliche Prüfung.

Kneale & Kneale: The Development of Logic

Nidditch: The Development of Mathematical Logic

Doxiadis & Papadimitriou:Logicomix - An Epic Search for Truth

Cryan, Shatil, & Mayblin: Logic - A Graphic Guide

Elementare Kenntnisse der formalen Logik.