Die Studentinnen und Studenten erhalten eine Einführung in die Metalogik. Sie lernen, die im Modul „Einführung in die Logik“ eingeübten Fertigkeiten theoretisch zu reflektieren.
Für aussagenlogische und prädikatenlogische Sprachen werden formale, z.B. modelltheoretische Semantiken angegeben; diese werden für Definitionen von „logische Folgerung“ verwendet. Herleitbarkeit und logische Folgerung werden abstrakt untersucht und ihr Zusammenhang wird behandelt. Die dabei gewonnenen Kompetenzen werden für die Analyse von philosophischen Texten und Argumenten eingesetzt.
