Aufbauend auf den Stoff der Vorlesung *Einführung in die Logik* aus dem Modul phi130 bietet das Seminar interessierten Studierenden die Möglichkeit, tiefer in die philosophische Logik einzusteigen und mit den Prädikaten- und Modallogiken die zwei für die analytische Philosophie wichtigsten logischen Systemfamilien kennenzulernen. Dabei werden neben den aus der Vorlesung bekannten Regelkalkülen auch die sehr flexiblen Tableau- bzw. Baumkalküle eingesetzt.

Begleitmaterial zur Veranstaltung wird im Laufe des Semesters über Stud.IP bereitgestellt.