Logik ist ein wesentlicher Teil der Lehre von den Grundsätzen, Merkmalen
und Verfahren, mit deren Hilfe man gute von schlechten, schlüssige von
fehlschlüssigen, überzeugende von irreführenden Argumenten unterscheiden
kann. Eine wichtige Ausgabe der formalen Logik ist es, zu untersuchen,
unter welchen Bedingungen die Übertragung der Wahrheit bestimmter Sätze
(der Prämissen) auf andere Sätze (die Konklusionen) allein aufgrund der
verwendeten formalen Strukturen garantiert ist. In dieser Vorlesung mit
angegliedertem Tutorium werden die Grundlagen zweier wichtiger
Grundlagenbereiche der modernen formalen Logik, der Aussagenlogik und
Prädikatenlogik, erarbeitet.
- Dozent/in: Andreas Bender
- Dozent/in: Bertold Schweitzer