Borrow it
 Architecture Library
 Bizzell Memorial Library
 Boorstin Collection
 Chinese Literature Translation Archive
 Engineering Library
 Fine Arts Library
 Harry W. Bass Business History Collection
 History of Science Collections
 John and Mary Nichols Rare Books and Special Collections
 Library Service Center
 Price College Digital Library
 Western History Collections
The Resource Dag Prawitz on proofs and meaning, Heinrich Wansing, editor
Dag Prawitz on proofs and meaning, Heinrich Wansing, editor
Resource Information
The item Dag Prawitz on proofs and meaning, Heinrich Wansing, editor represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
Resource Information
The item Dag Prawitz on proofs and meaning, Heinrich Wansing, editor represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
 Summary
 This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inferencebased meaning theories have been extremely influential in the development of modern proof theory and antirealistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an introductory paper that surveys Prawitz's numerous contributions to proof theory and prooftheoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either indepth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three ĺldogmas of prooftheoretic semanticsĺl are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of prooftheoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence
 Language
 eng
 Extent
 1 online resource.
 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
 GeneralElimination Harmony and HigherLevel Rules; Read, Stephen
 Hypothesisdischarging rules in atomic bases; Sandqvist, Tor
 Harmony in prooftheoretic semantics: A reductive analysis; SchroederHeister, Peter
 Firstorder Logic without bound variables: Compositional Semantics; Tait, William W
 On Gentzen's Structural Completeness Proof; Tennant, Neil
 A Notion of CJustification for Empirical Statements; Usberti, Gabriele
 Isbn
 9783319110417
 Label
 Dag Prawitz on proofs and meaning
 Title
 Dag Prawitz on proofs and meaning
 Statement of responsibility
 Heinrich Wansing, editor
 Subject

 Electronic books
 Mathematical Logic and Foundations
 Logic
 Prawitz, Dag
 Logic design
 Logic
 Logic
 PHILOSOPHY  Logic
 Philosophy
 Logic design
 Philosophy
 Prawitz, Dag
 Philosophy
 Philosophy: logic
 Mathematical foundations
 Logics and Meanings of Programs
 Logic, Symbolic and mathematical
 Philosophy & Religion
 Computer programming / software development
 Logic, Symbolic and mathematical
 Language
 eng
 Summary
 This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inferencebased meaning theories have been extremely influential in the development of modern proof theory and antirealistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an introductory paper that surveys Prawitz's numerous contributions to proof theory and prooftheoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either indepth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three ĺldogmas of prooftheoretic semanticsĺl are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of prooftheoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence
 Cataloging source
 N$T
 Dewey number

 160
 100
 Index
 no index present
 LC call number
 BC71
 Literary form
 non fiction
 Nature of contents
 dictionaries
 http://library.link/vocab/relatedWorkOrContributorName
 Wansing, H.
 Series statement
 Outstanding contributions to logic
 Series volume
 v. 7
 http://library.link/vocab/subjectName

 Prawitz, Dag
 Prawitz, Dag
 Logic
 Logic design
 Logic, Symbolic and mathematical
 Philosophy
 PHILOSOPHY
 Logic
 Logic design
 Logic, Symbolic and mathematical
 Philosophy
 Philosophy
 Philosophy & Religion
 Logic
 Mathematical foundations
 Computer programming / software development
 Philosophy: logic
 Philosophy
 Logic
 Mathematical Logic and Foundations
 Logics and Meanings of Programs
 Label
 Dag Prawitz on proofs and meaning, Heinrich Wansing, editor
 Antecedent source
 unknown
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 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  GeneralElimination Harmony and HigherLevel Rules; Read, Stephen  Hypothesisdischarging rules in atomic bases; Sandqvist, Tor  Harmony in prooftheoretic semantics: A reductive analysis; SchroederHeister, Peter  Firstorder Logic without bound variables: Compositional Semantics; Tait, William W  On Gentzen's Structural Completeness Proof; Tennant, Neil  A Notion of CJustification for Empirical Statements; Usberti, Gabriele
 Dimensions
 unknown
 Extent
 1 online resource.
 File format
 unknown
 Form of item
 online
 Isbn
 9783319110417
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Note
 SpringerLink
 Other control number
 10.1007/9783319110417
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)897376720
 (OCoLC)ocn897376720
 Label
 Dag Prawitz on proofs and meaning, Heinrich Wansing, editor
 Antecedent source
 unknown
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 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  GeneralElimination Harmony and HigherLevel Rules; Read, Stephen  Hypothesisdischarging rules in atomic bases; Sandqvist, Tor  Harmony in prooftheoretic semantics: A reductive analysis; SchroederHeister, Peter  Firstorder Logic without bound variables: Compositional Semantics; Tait, William W  On Gentzen's Structural Completeness Proof; Tennant, Neil  A Notion of CJustification for Empirical Statements; Usberti, Gabriele
 Dimensions
 unknown
 Extent
 1 online resource.
 File format
 unknown
 Form of item
 online
 Isbn
 9783319110417
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Note
 SpringerLink
 Other control number
 10.1007/9783319110417
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)897376720
 (OCoLC)ocn897376720
Subject
 Computer programming / software development
 Electronic books
 Logic
 Logic
 Logic
 Logic design
 Logic design
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logics and Meanings of Programs
 Mathematical Logic and Foundations
 Mathematical foundations
 PHILOSOPHY  Logic
 Philosophy
 Philosophy
 Philosophy
 Philosophy & Religion
 Philosophy: logic
 Prawitz, Dag
 Prawitz, Dag
Genre
Member of
Library Locations

Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 97.445050



Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 97.447906

Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 97.445050

Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 97.448244

Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 97.447906


Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 97.448244

Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 97.445414
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/DagPrawitzonproofsandmeaningHeinrich/a71PiB1AnM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/DagPrawitzonproofsandmeaningHeinrich/a71PiB1AnM/">Dag Prawitz on proofs and meaning, Heinrich Wansing, editor</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Dag Prawitz on proofs and meaning, Heinrich Wansing, editor
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/DagPrawitzonproofsandmeaningHeinrich/a71PiB1AnM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/DagPrawitzonproofsandmeaningHeinrich/a71PiB1AnM/">Dag Prawitz on proofs and meaning, Heinrich Wansing, editor</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>