180296 UE-GKL Exercise in Logic (2010W)

Die "Übung Logik" findet begleitend zu der Vorlesung "Grundkurs Logik" statt. In ihr sollen die inhaltlichen Schwerpunkte der Vorlesung (Semantik und Syntax der Aussagen- und Prädikatenlogik) angewendet und vertieft werden. Besonders soll das praktische Arbeiten mit Aufgaben aus der Logik geübt werden, zum Beispiel Wahrheitswerttabellen und Ableitungen im Kalkül des natürlichen Schließens.

Die Übung soll den Stoff der Einführungsvorlesung in die Logik erläutern und vertiefen, d.h. die Studierenden sollen die grundlegenden Begriffsbildungen von Aussagen- und Prädikatenlogik verstehen, in ihren historischen Zusammenhang einordnen und die Bedeutung der Logik innerhalb der Philosophie einzuschätzen lernen. Insbesondere sollen die Studierenden Fertigkeiten im Feststellen von syntaktischer und semantischer Gültigkeit von aussagen- und prädikatenlogischen Argumenten erwerben. Da dazu eine gewisse Routine nötig ist, wird ein Teil der Zeit darauf verwendet, mit den Studierenden Beispiele zu üben.

Die Übung Grundkurs Logik soll helfen, im Umgang mit Aussagen- und
Prädikatenlogik, deren Theorie in der Vorlesung Logik dargestellt und
vermittelt wird, die nötige Praxis zu erwerben um Aufgaben in diesen
Logiken
zu lösen. In einem weiteren Teil der Übung beschäftigen wir uns über
Urteilsformen (synthetisch, analytisch) und wissenschaftliche Verfahren im
Allgemeinen (Induktion, Deduktion). Für BA-Studierende, keine
Vorkenntnisse erforderlich.