180361 UE-GKL Exercise in Logic (2007W)

Die Übung erläutert und vertieft den Stoff der Einführungsvorlesung in die Logik. Es geht also darum, dass die Studierenden eine solide Kenntnis der grundlegenden Begriffsbildungen und Methoden von Aussagen- und Prädikatenlogik erwerben. Der Schwerpunkt der Übung liegt auf Formalisierungstechniken und deren Anwendung auf die Analyse natürlichsprachlicher Kontexte und Argumente, insbesondere soll das Feststellen der (syntaktischen und semantischen) Gültigkeit von aussagen- und prädikatenlogischen Argumenten erarbeitet und geübt werden. Die Fruchtbarkeit sowie die Grenzen der Übersetzung von natürlicher Sprache in die Sprache der formalen Logik soll reflektiert werden. Wichtige Beispiel hierfür sind die sog. Paradoxien der materialen Implikation und die Debatte um die Wahrheitsfunktionalität des Konditionals sowie die Bedeutung von extensionalen bzw. intensionalen semantischen Methoden.

Didaktik: Gemeinsame Analyse und Diskussion von Übungsbeispielen, Präsentation von Lösungen zu Übungsaufgaben durch Studierende, Kurzreferate zu ausgewählten philosophisch/logischen Themen.