Dag Prawitz on proofs and meaning [electronic resource] / Heinrich Wansing, editor.
Wansing, H. (Heinrich)
2015
BC71
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Dag Prawitz on proofs and meaning [electronic resource] / Heinrich Wansing, editor.
ISBN 9783319110417 electronic book
3319110411 electronic book
9783319110400
DOI https://doi.org/10.1007/978-3-319-11041-7
Published Cham, Switzerland : Springer, [2015]
Language English
Description 1 online resource.
Item Number 10.1007/978-3-319-11041-7 doi
Call Number BC71
Dewey Decimal Classification 160
100
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 inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic 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 proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth 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 ℓ́ℓdogmas of proof-theoretic semanticsℓ́ℓ 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 proof-theoretic 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.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Added Author Wansing, H. (Heinrich)
Series Outstanding contributions to logic ; v. 7.
Available in Other Form Print version: 9783319110400
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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{u2019}s Structural Completeness Proof; Tennant, Neil
A Notion of C-Justification for Empirical Statements; Usberti, Gabriele.

Browse Subjects

Show more subjects...

Statistics

from
to
Export