Kurseinschreibung

Einführung in die Logik (SoSe 2022)



Die Studierenden erhalten eine Einführung in die Logik. Motiviert durch Überlegungen zum informellen Folgern werden speziell aussagenlogische und prädikatenlogische Sprachen aufgebaut. Für diese wird „Herleitbarkeit" definiert und das Herleiten im Kalkül wird eingeübt. Übersetzungen zwischen formalen Sprachen und natürlicher Sprache werden behandelt. Die dabei gewonnenen Kompetenzen werden für die Analyse von philosophischen Texten und Argumenten eingesetzt.

Semester: SoSe 2022
Selbsteinschreibung
Selbsteinschreibung
Anonyme Gäste sind in diesem Kurs nicht zugelassen. Bitte loggen Sie sich mit Ihrem persönlichen Account ein oder geben Sie (falls eingerichtet) den Gastschlüssel ein.