Le séminaire 'Outils formels de philosophie/ Formale Hilfsmittel der Philosophie' est un séminaire annuel semi-obligatoire pour les étudiants de philosophie en BA et MA. Les étudiantEs y apprennent des méthodes et techniques logiques avancées. Ce séminaire a toujours lieu au semestre de printemps.