Les outils formels en philosophie sont un trait caractéristique de la «philosophie formelle». Les méthodes de la logique, des mathématiques, de l’informatique et de la linguistique ainsi que celles des sciences cognitives, des sciences économiques, de la théorie des jeux, de la théorie politique etc. font partie de la boîte d’outils méthodologique de ce mouvement philosophique. Au séminaire, des articles philosophiques formelles se référant aux disciplines philosophiques t.q. la théorie de l’argumentation, la logique appliquée, la métaphysique, la philosophie du langage, l’épistémologie, ou la théorie des valeurs et la philosophie morale seront traités, analysés, et discutés, entre autres des articles du grand philosophe fribourgeois J.M. Bochenski.