1977 Staatsexamen in Philosophy and Mathematics, University of Bonn
1981 Dr. phil. in Logic and Foundational Research, University of Bonn
Thesis: "Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen"
["Investigations into the rule-based interpretation of propositional connectives"]
(Supervisors: Profs. G. Hasenjaeger, D. Prawitz)
1988 Habilitation in Philosophy, University of Konstanz
Thesis: "Structural Frameworks with Higher-Level Rules"
1978-1989 Research Assistant, Lecturer, University Docent, Department of Philosophy, University of Konstanz
Since 1989 Professor of Logic and Philosophy of Language, University of Tübingen
(joint appointment in the Faculty of Computer Science and the Philosophical Faculty, since 2010 in the Faculty of Science)
Professor of Logic and Philosophy of Language (Free University of Berlin, 1990)
Chair of Philosophy and Philosophy of Science (University of Salzburg, Austria, 2000)
Honorary doctoral degree:
Member Editorial Board:
Notre Dame Journal of Formal Logic (1992-2003),
History and Philosophy of Logic (since 1993),
European Journal for Philosophy of Science (since 2011),
Studies in Universal Logics (Birkhäuser book series, since 2006),
Trends in Logic (Springer book series, since 2012),
Bulletin of the Section of Logic (since 2018).