Studium der Philosophie, Germanistik und Mathematik an der Universität Fribourg, Forschungsaufenthalte an den Universitäten Stanford, Siena, Oxford, Leiden und Stockholm, Habilitation in theoretischer Philosophie mit Schwerpunkt Logik und Wissenschaftsphilosophie, von 1996 bis 2002 Universitätsdozent in Freiburg i. Br., zur Zeit Universitätsdozent in Fribourg und Lehrbeauftragter in Basel und Zürich.
Philosophie der Logik und der Mathematik, Geschichte der Logik, konstruktive Typentheorie
Logik, Wissenschaftstheorie
Quick Links