Table of Contents

Prawitz, proofs, and meaning; Wansing, Heinrich.- A short scientific autobiography; Prawitz, Dag.- Explaining deductive inference; Prawitz, Dag.- Necessity of Thought; Cozzo, Cesare.- On the Motives for Proof Theory; Detlefsen, Michael.- Inferential Semantics; Došen, Kosta.- Cut elimination, substitution and normalization; Dyckhoff, Roy.- Inversion principles and introduction rules; Milne, Peter.- Intuitionistic Existential Instantiation and Epsilon Symbol; Mints, Grigori.- Meaning in Use; Negri, Sara and von Plato, Jan.- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?; Pagin, Peter.- On constructive fragments of Classical Logic; Pereira; Luiz Carlos and Haeusler, Edward Hermann.- General-Elimination Harmony and Higher-Level Rules; Read, Stephen.- Hypothesis-discharging rules in atomic bases; Sandqvist, Tor.- Harmony in proof-theoretic semantics: A reductive analysis; Schroeder-Heister, Peter.- First-order Logic without bound variables: Compositional Semantics; Tait, William W.- On Gentzen’s Structural Completeness Proof; Tennant, Neil.- A Notion of C-Justification for Empirical Statements; Usberti, Gabriele.

About the Author

Heinrich Wansing is a professor of logic and epistemology at the Ruhr University Bochum (Germany). He is known for his work in philosophical logic, including the semantics and proof theory of modal, constructive, paraconsistent, many-valued and other non-classical logics. Moreover, he is the editor-in-chief of the book series Trends in Logic (Springer)

Reviews

“Swedish logician and philosopher Dag Prawitz and his distinguished contributions to philosophical and mathematical logic are the focus of this book. … This is an excellent book, celebrating not only Prawitz’s career, but also a movement in the contrary direction of W. V. O Quine’s views against the so-called (somehow prejudicially) ‘deviant’ logics, and I cannot forbear from congratulating the editor for the distinctive choice of topics and for the general tone of the book.” (Walter Carnielli, Computing Reviews, May, 2015)