LFU:online

Die Studierenden können argumentative Texte durch die Anwendung passender formaler Sprachen analysieren und mittels der in ihnen verfügbaren Entscheidungsverfahren bewerten. Sie haben aber auch ein Bewusstsein für die inhärenten theoretischen Grenzen dieser formalen Mittel.

Einführung in die grundlegenden formalen Sprachen der Logik (Aussagenlogik, Prädikatenlogik, Modallogiken), die Voraussetzungen der Anwendbarkeit solcher Sprachen und die Reichweite elementarer Verfahren zur Gültigkeitsbeurteilung von Argumenten.

Vorlesung mit Diskussionsmöglichkeit, Hausaufgaben.

Hausübungen (20%), Zwischentest (30%) und Schlussprüfung (50%). Die Schlussprüfung muss positiv sein. 

Winfried Löffler, Einführung in die Logik, Stuttgart 2008.

Irving M. Copi, Introduction to Logic (diverse Auflagen).

Keine.