02-01-0026-ku Einführung in die formale Logik

Lehrende: Nico Formanek; M. A. Michael Nerurkar; Linda Sulzmann

Veranstaltungsart: Proseminar

Orga-Einheit: FB02 / Philosophie (Institut)

Anzeige im Stundenplan: Einf.formaleLogik

Fach:

Anrechenbar für:

Semesterwochenstunden: 2

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Grundkenntnisse in formaler Logik sind unerlässlich für jeden, der sich ernsthaft mit Philosophie beschäftigen möchte. Wir werden uns erstens mit den Grundlagen des aussagenlogischen und prädikatenlogischen Formalisierens und Schließens befassen, wobei das Hauptaugenmerk eher auf ein klares Verständnis und die Beherrschung von Grundlagen, als auf Vollständigkeit gelegt wird. Da formale Logik von Philosophiestudenten nicht einfach so erlernt werden soll, sondern in der Absicht einer Verbesserung der eigenen Kompetenzen in Analyse, Argumentation und Kritik, und da Logik als "Werkzeug" des Philosophen auch gerade hier ihre Anwendungsbereiche hat, soll es zweitens im Kurs um Standards und Methoden des Argumentierens und Begründens gehen.