Geboren 1953.

1971-1978 Studium der Katholischen Theologie, Mathematik, Musikwissenschaft und Philosophie in Bonn, Köln und Aachen.

1977 in Bonn Staatsexamen in Philosophie und Mathematik.

1981 in Bonn Promotion im Fach Logik und Grundlagenforschung mit der Dissertation "Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen" bei Prof. G. Hasenjaeger (Bonn) und Prof. D. Prawitz (Stockholm)

1988 in Konstanz Habilitation im Fach Philosophie mit der Habilitationsschrift "Structural Frameworks with Higher-Level Rules".

1978-1989 als Wissenschaftlicher Mitarbeiter, Hochschulassistent und Hochschuldozent in der Fachgruppe Philosophie der Universität Konstanz.

Seit Oktober 1989 Professor für Formale Logik und Sprachphilosophie an der Universität Tübingen.

November 1990 Wechsel in die neugegründete Fakultät für Informatik der Universität Tübingen, seitdem Lehre in der Philosophischen Fakultät und in der Fakultät für Informatik.

Abgelehnte Rufe: Professur für Logik und Sprachphilosophie (FU Berlin, 1990),
Lehrstuhl für Philosophie und Wissenschaftstheorie (Universität Salzburg, 2000)

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

Publikationen