Peter Schroeder-Heister on Proof-Theoretic Semantics
Peter Schroeder-Heister on Proof-Theoretic Semantics
English | 2024 | ISBN: 3031509803 | 465 Pages | PDF (True) | 4 MB
English | 2024 | ISBN: 3031509803 | 465 Pages | PDF (True) | 4 MB
This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language.