Nach Abschluss der LV sollen die Studierenden in der Lage sein Grundbegriffe der Logik verstehen und anzuwenden, Theorien und Sätze zu symbolisieren und die Folgerichtigkeit von Argumenten zu prüfen

Vorwiegend Lehrendenvortrag, aber auch Diskussion, Übungen und interaktive Erarbeitung der Inhalte

Diese LV führt in die klassische Aussagenlogik und in die klassische Prädikatenlogik erster Stufe ein. Inhalte: Was ist Logik? Erläuterung der Begriffe: Argument, Prämisse, Konklusion, Gültigkeit, Stichhaltigkeit; Entwicklung eines Aussagenlogischen Systems (formale Sprache, Semantik, Kalkül); Entwicklung eines Prädikatenlogischen Systems (formale Sprache, eventuell Kalkül);Symbolisierbarkeit deutscher Sätze in der formalen Sprache des Logiksystems; Anwendung der besprochenen Methoden zur Überprüfung der Folgerichtigkeit philosophischer Argumente.

v.a. Abstraktionsvermögen; es wird auch empfohlen das PS Einführung in das Philosophische Argumentieren vor dieser LV zu besuchen. 

wird in der LV bekannt gegeben 

aktive Mitarbeit schriftliche Hausübungen (Vor- und Nachbereiten der Einheiten)schriftliche Abschlussprüfung 

Argumente, Prämissen, Konklusion, Gültigkeit, Stichhaltigkeit; Unterschied Erwähnung - Verwendung von TermenAussagenlogischen System (formale Sprache, Semantik, Kalkül) und SymbolisierbarkeitPrädikatenlogischen System (formale Sprache, Semantik, Kalkül) und Symbolisierbarkeit

Notenschlüsselvon/bisSehr Gut 89-100%Gut 77-88%Befriedigend 64-76%Genügend 51-63%Nicht Genügend 0-50%