Peter Schroeder-Heister

Peter Schroeder-Heister (* 2. März 1953 in Düren) ist ein deutscher Logiker. Er ist derzeit Professor für Formale Logik und Sprachphilosophie am Wilhelm-Schickard-Institut für Informatik der Universität Tübingen.

Biografie

Peter Schroeder-Heister studierte von 1971 bis 1978 Katholische Theologie, Mathematik, Musikwissenschaft und Philosophie in Bonn, Köln und Aachen. 1981 promovierte er im Fach Logik mit der Dissertation Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen bei Gisbert Hasenjaeger (Bonn) und Dag Prawitz (Stockholm).[1] 1988 habilitierte er sich im Fach Philosophie an der Universität Konstanz mit der Habilitationsschrift Structural Frameworks with Higher-Level Rules. Seit 1990 ist er Professor in Tübingen.

Von 2012 bis 2019 war Schroeder-Heister im Exekutivkomitee der Division für Logik, Methodologie und Wissenschaftstheorie der Internationalen Vereinigung für Wissenschaftsgeschichte und -theorie in verschiedenen Ämtern tätig (2012–2015 Generalsekretär und amtierender Schatzmeister; 2016–2019 Schatzmeister).

Literatur

  • Kürschners Deutscher Gelehrten-Kalender, 2007, S. 3334, ISBN 3-598-23616-6

Einzelnachweise

  1. Peter Schroeder-Heister im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet