Overview

Full Product Details

Author:   Heinrich Wansing
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   Softcover reprint of the original 1st ed. 2015
Volume:   7
Dimensions:   Width: 15.50cm , Height: 2.40cm , Length: 23.50cm
Weight:   0.718kg
ISBN:  

9783319360317

ISBN 10:   3319360310
Pages:   458
Publication Date:   22 September 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

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.

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)

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)

Author Information

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)

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions