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
Weblinks
- Literatur von und über Peter Schroeder-Heister im Katalog der Deutschen Nationalbibliothek
- Peter Schroeder-Heister auf uni-tuebingen.de
Einzelnachweise
- ↑ Peter Schroeder-Heister im Mathematics Genealogy Project (englisch)
| Personendaten | |
|---|---|
| NAME | Schroeder-Heister, Peter |
| KURZBESCHREIBUNG | deutscher Logiker und Hochschullehrer, Professor für Logik |
| GEBURTSDATUM | 2. März 1953 |
| GEBURTSORT | Düren |