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:
Frontalvortrag.
Achtung: Die VO ist dieses Semester als Präsenzlehrveranstaltung geplant mit einem möglichen Wechsel zu einem Onlinemodus. Die mündliche Prüfung kann ebenfalls online stattfinden.
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.