Peter Schroeder-Heister

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). 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.

Literatur

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Peter Schröder-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 …   Deutsch Wikipedia

  • Schroeder — Schröder oder Schroeder ist ein niederdeutscher Familienname und meint im allgemeinen den Schneider (von niederdeutsch schrôden für „schneiden“). Daneben kann als „Bier und Weinschröder“ der Verlader von Bier und Weinfässern gemeint sein (siehe… …   Deutsch Wikipedia

  • Liste der Biografien/Schp–Scht — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • Schröder — Verteilung des Namens in Deutschland (2005) Schröder oder Schroeder ist ein deutscher Familienname. Herkunft und Bedeutung Mit dem Namen ist im Allgemeinen der Schneider (von niederdeutsch schrôden für „schneiden“) gemeint. Da …   Deutsch Wikipedia

  • Felscher — Walter Felscher 1976 Walter Felscher (* 12. Oktober 1931 in Brandenburg an der Havel; † 9. Dezember 2000) war ein deutscher Mathematiker. Sein Arbeitsgebiet war die Mathematische Logik, insbesondere befasste er sich mit Mengenlehre und Fragen der …   Deutsch Wikipedia

  • Gerhard Karl Erich Gentzen — (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis 1 Mathematische Leistungen 2 Leben 3 Zitat …   Deutsch Wikipedia

  • Hugo Dingler — Hugo Albert Emil Hermann Dingler (* 7. Juli 1881 in München; † 29. Juni 1954 in München) war ein deutscher Philosoph und Wissenschaftstheoretiker. Inhaltsverzeichnis 1 Leben 2 Werk 3 Werke …   Deutsch Wikipedia

  • Certismus — [lat. certus = sicher] ist in der Wissenschaftstheorie in Gegensatz zum Fallibilismus eine Grundsatzposition, die zum Programm erhebt, die Geltung von Erkenntnis durch das Prinzip der zureichenden Begründung auf einen sicheren Anfangspunkt (… …   Deutsch Wikipedia

  • Cut-elimination — Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in Gentzentypkalkülen gültig ist. Er ist nach Gerhard Gentzen benannt, der ihn 1934 aufstellte und bewies. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Gentzenscher Hauptsatz — Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in Gentzentypkalkülen gültig ist. Er ist nach Gerhard Gentzen benannt, der ihn 1934 aufstellte und bewies. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”