Peter Schroeder-Heister
Sprachphilosoph,
Philosoph,
Logiker
Geboren:
1953
Werke:
- Schluss und Umkehrschluss : Ein Beitrag zur Definitionstheorie
- Sequent Calculi and Bidirectional Natural Deduction : On the Proper Basis of Proof-theoretic Semantics
- Der strukturalistische Reduktionsbegriff und Repräsentationen von Theorien
- Ein Logik-Lotse geht von Bord. Zur Verabschiedung des Naturwissenschaftlers und Philosophen Walter Hoering