Peter Schröder-Heister 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 Schröder-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 Prof. G. Hasenjaeger (Bonn) und Prof. D. Prawitz (Stockholm). 1988 habilitierte er sich im Fach Philosophie an der Universität Konstanz mit der Habilitationsschrift "Structural Frameworks with Higher-Level Rules".
Weblinks
| Personendaten | |
|---|---|
| NAME | Schröder-Heister, Peter |
| KURZBESCHREIBUNG | deutscher Professor für Logik |