Darstellungsformen der Logik   (Vorlesung)

Die Vorlesung gibt einen Überblick über die syntaktisch und semantisch inspirierte Darstellungsformen der klassischen Logik wie auch nichtklassischer Logiken, insbesondere axiomatische Kalküle, Tableau-Kalküle, Systeme des natürlichen Schließens, Sequenzkalküle u.a. Zudem werden spezielle beweis- oder modelltheoretisch basierte Techniken (Unabhängigkeitsbeweise, Einbettungen u.ä.) vorgestellt. Einen weiteren Schwerpunkt bilden algebraische Begriffsbildungen und ihr Bezug zur Logik.
Die begleitende Übung soll einen sicheren Umgang mit diesen Kalkülformen ermöglichen und die Teilnehmer mit spezifischen logischen Techniken vertraut machen.
Vorausgesetzt werden Kenntnisse der Klassischen Logik.