Quelltext der Seite Peter Schroeder-Heister

'''Peter Schroeder-Heister''' (* [[2. März]] [[1953]] in [[Düren]]) ist ein deutscher [[Logik]]er. Er ist derzeit Professor für [[Formale Logik]] und [[Sprachphilosophie]] am [[Wilhelm-Schickard-Institut]] für Informatik der [[Eberhard Karls Universität Tübingen|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).<ref>{{MathGenealogyProject|id=36379}}</ref> 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 [[Internationale Vereinigung für Wissenschaftsgeschichte und -theorie|Internationalen Vereinigung für Wissenschaftsgeschichte und -theorie]] in verschiedenen Ämtern tätig (2012–2015 Generalsekretär und amtierender Schatzmeister; 2016–2019 Schatzmeister).

== Veröffentlichungen (Auswahl) ==

* (Hrsg.): ''Extensions of logic programming'' (= Lecture notes in computer science, Bd. 475). Springer, Berlin 1991, ISBN 3-540-53590-X.
* (Hrsg.): ''Substructural logics'' (= Studies in logic and computation, Bd. 2). Clarendon Press, Oxford 1993, ISBN 0-19-853777-8.
* (Mithrsg.): ''Logic, methodology and philosophy of science.'' College publications, Milton Keynes, UK 2014, ISBN 978-1-84890-169-8. 
* (Hrsg., mit Thomas Piecha): ''Advances in proof-theoretic semantics'' (= Trends in logic, Bd. 43). Springer, Cham 2016, ISBN 978-3-319-22685-9. 
* (Hrsg., mit Thomas Piecha u. David Binder): ''The Logical Writings of [[Karl Popper]]'' (= Trends in logic, Bd. 58). Springer, Cham 2022, ISBN 978-3-030-94928-0. 

== Literatur ==
* ''Kürschners Deutscher Gelehrten-Kalender'', 2007, S. 3334, ISBN 3-598-23616-6
* Thomas Piecha/Kai F. Wehmeier (Hrsg.): ''Peter Schroeder-Heister on Proof-Theoretic Semantics''. Springer, Cham 2024, ISBN 978-3-031-50980-3. 

== Weblinks ==
* {{DNB-Portal|112409156}}
* [https://uni-tuebingen.de/fakultaeten/mathematisch-naturwissenschaftliche-fakultaet/fachbereiche/informatik/lehrstuehle/logik-und-sprachtheorie/personen/prof-dr-peter-schroeder-heister/ Peter Schroeder-Heister auf uni-tuebingen.de]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=112409156|LCCN=n/82/121153|VIAF=24691294}}

{{SORTIERUNG:SchroederHeister, Peter}}
[[Kategorie:Logiker]]
[[Kategorie:Hochschullehrer (Eberhard Karls Universität Tübingen)]]
[[Kategorie:Person (Düren)]]
[[Kategorie:Deutscher]]
[[Kategorie:Geboren 1953]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Schroeder-Heister, Peter
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=deutscher Logiker und Hochschullehrer, Professor für Logik
|GEBURTSDATUM=2. März 1953
|GEBURTSORT=[[Düren]]
|STERBEDATUM=
|STERBEORT=
}}