Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Dag Prawitz on Proofs and Meaning

BuchGebunden
458 Seiten
Englisch
Springererschienen am08.12.20142015
Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR106,99
BuchGebunden
EUR106,99
E-BookPDF1 - PDF WatermarkE-Book
EUR96,29

Produkt

KlappentextPrawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics.
Details
ISBN/GTIN978-3-319-11040-0
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2014
Erscheinungsdatum08.12.2014
Auflage2015
ReiheOutstanding Contributions to Logic
Seiten458 Seiten
SpracheEnglisch
Gewicht854 g
IllustrationenXIII, 458 p. 6 illus.
Artikel-Nr.15502515

Inhalt/Kritik

Inhaltsverzeichnis
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; Dosen, 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.mehr
Kritik
"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)mehr

Schlagworte

Autor

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)
Weitere Artikel von
Herausgegeben:Wansing, Heinrich