Peter Schroeder-Heister

from Wikipedia, the free encyclopedia

Peter Schroeder-Heister (born March 2, 1953 in Düren ) is a German logician . He is currently Professor of Formal Logic and Philosophy of Language at the Wilhelm Schickard Institute for Computer Science at the University of Tübingen .

biography

Peter Schroeder-Heister studied Catholic theology , mathematics , musicology and philosophy in Bonn, Cologne and Aachen from 1971 to 1978 . In 1981 he received his doctorate in the subject of logic with the dissertation Investigations on the logical interpretation of statements made by Gisbert Hasenjaeger (Bonn) and Dag Prawitz (Stockholm). In 1988 he completed his habilitation in philosophy at the University of Konstanz with the habilitation thesis Structural Frameworks with Higher-Level Rules . Since 1990 he has been a professor in Tübingen.

From 2012 to 2019, Schroeder-Heister served in various offices on the Executive Committee of the Division for Logic, Methodology and Philosophy of Science of the International Association for the History and Theory of Science (2012–2015 General Secretary and Acting Treasurer; 2016–2019 Treasurer).

literature

Web links