Born 1953.

1977 Staatsexamen in Philosophy and Mathematics, University of Bonn

1981 Dr. phil., University of Bonn
Thesis: "Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen"
(Supervisors: Profs. G. Hasenjaeger, D. Prawitz)

1988 Habilitation in Philosophy, University of Konstanz
Thesis: "Structural Frameworks with Higher-Level Rules"

1978-1989 Research Assistant and Lecturer, 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)

Member Editorial Board:
Notre Dame Journal of Formal Logic (1992-2003),
History and Philosophy of Logic (since 1993),
Studies in Universal Logics (Birkhäuser book series, since 2006).

Publications