Die Studentinnen und Studenten 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. |
