Für aussagenlogische und prädikatenlogische Sprachen werden formale, speziell 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.
Die Veranstaltung wurde 3 mal im Vorlesungsverzeichnis WiSe 2024/25 gefunden: