Advances in Proof-Theoretic Semantics

2016.05.15 : View this Review Online | View Recent NDPR Reviews Thomas Piecha and Peter Schroeder-Heister (eds.), Advances in Proof-Theoretic Semantics, Springer, 2016, 283pp., $59.99 (hbk),
Philosophy News image
2016.05.15 : View this Review Online | View Recent NDPR Reviews Thomas Piecha and Peter Schroeder-Heister (eds.), Advances in Proof-Theoretic Semantics, Springer, 2016, 283pp., $59.99 (hbk), ISBN 9783319226859. Reviewed by Greg Restall, The University of Melbourne What could you mean by the term "proof-theoretic semantics" (PTS)? At first glance, it could mean either the semantics of proof theory, or perhaps it's more likely to mean semantics conducted using the tools of proof theory. And that's the enterprise that the fifteen authors intend to advance in the sixteen papers in this edited collection. The last 70 years has seen the development of a large body of work in formal semantics -- of the tools and techniques of logic finding their way to illuminate and inform semantics of natural language. In this process, not all tools of logic have played an equal part in the application of logic to language. Logic, as the discipline has grown over the 20th and into the. . .

Continue reading . . .

News source: Notre Dame Philosophical Reviews // News

blog comments powered by Disqus