Dag Prawitz on Proofs and Meaning

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Dag Prawitz on Proofs and Meaning by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319110417
Publisher: Springer International Publishing Publication: November 27, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783319110417
Publisher: Springer International Publishing
Publication: November 27, 2014
Imprint: Springer
Language: English

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 p

roofs, 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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 p

roofs, 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.

More books from Springer International Publishing

Cover of the book Computer and Computing Technologies in Agriculture IX by
Cover of the book Algorithmic Aspects of Cloud Computing by
Cover of the book Lecture Notes in Real-Time Intelligent Systems by
Cover of the book Neoliberalism and U.S. Foreign Policy by
Cover of the book Experimental Methods of Shock Wave Research by
Cover of the book Problems & Solutions in Inventory Management by
Cover of the book Professional Authority After the Global Financial Crisis by
Cover of the book Scaphoid Fractures and Nonunions by
Cover of the book Metaphorical Signs in Computed Tomography of Chest and Abdomen by
Cover of the book Approximation and Online Algorithms by
Cover of the book Machine Learning for Health Informatics by
Cover of the book Sustainable Building and Built Environments to Mitigate Climate Change in the Tropics by
Cover of the book The Neurobiology and Genetics of Nicotine and Tobacco by
Cover of the book Engineering Safe and Secure Cyber-Physical Systems by
Cover of the book Language and Cognitive Structures of Emotion by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy