Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction: Synthese Library, cartea 469
Autor Antonio Piccolomini d’Aragonaen Limba Engleză Paperback – 3 ian 2024
This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz’s theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion.
The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz’s grounding as foundin his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 726.55 lei 6-8 săpt. | |
Springer International Publishing – 3 ian 2024 | 726.55 lei 6-8 săpt. | |
Hardback (1) | 732.52 lei 6-8 săpt. | |
Springer International Publishing – 2 ian 2023 | 732.52 lei 6-8 săpt. |
Din seria Synthese Library
- 15% Preț: 638.43 lei
- 18% Preț: 989.98 lei
- 15% Preț: 596.69 lei
- 18% Preț: 903.93 lei
- 15% Preț: 586.88 lei
- 15% Preț: 696.50 lei
- 18% Preț: 892.90 lei
- 15% Preț: 643.34 lei
- Preț: 282.33 lei
- 5% Preț: 372.19 lei
- Preț: 443.10 lei
- 15% Preț: 637.59 lei
- 18% Preț: 958.88 lei
- 15% Preț: 642.36 lei
- 18% Preț: 1230.66 lei
- 15% Preț: 642.83 lei
- 18% Preț: 1000.39 lei
- Preț: 389.70 lei
- 15% Preț: 637.28 lei
- 18% Preț: 952.26 lei
- 18% Preț: 1231.32 lei
- 15% Preț: 645.96 lei
- Preț: 395.85 lei
- Preț: 400.47 lei
- 18% Preț: 1225.48 lei
- 15% Preț: 638.89 lei
- 18% Preț: 1232.09 lei
- Preț: 380.45 lei
- Preț: 394.87 lei
- 15% Preț: 640.37 lei
- 15% Preț: 639.08 lei
- Preț: 381.98 lei
- 15% Preț: 643.00 lei
- 15% Preț: 672.29 lei
Preț: 726.55 lei
Preț vechi: 886.03 lei
-18% Nou
Puncte Express: 1090
Preț estimativ în valută:
139.06€ • 144.63$ • 116.53£
139.06€ • 144.63$ • 116.53£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031202964
ISBN-10: 3031202961
Pagini: 282
Ilustrații: VIII, 282 p. 1 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.41 kg
Ediția:1st ed. 2023
Editura: Springer International Publishing
Colecția Springer
Seria Synthese Library
Locul publicării:Cham, Switzerland
ISBN-10: 3031202961
Pagini: 282
Ilustrații: VIII, 282 p. 1 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.41 kg
Ediția:1st ed. 2023
Editura: Springer International Publishing
Colecția Springer
Seria Synthese Library
Locul publicării:Cham, Switzerland
Cuprins
1. Introduction.- Part I. The idea of epistemic grounding. 2. From models to evidence.- 3. Valid arguments and proofs.- 4. Prawitz’s theory of grounds.- Part II. Formal epistemic grounding. 5. Languages of grounding.- 6. Systems of grounding.- 7. Completeness and recognizability.- 8. Conclusion.- Bibliography.
Notă biografică
I obtained my Bachelor Degree in Philosophy at the “Federico II” University of Naples in 2009, and my Master Degree in Philosophy at the “La Sapienza” University of Rome in 2014. I achieved the Doctoral Degree in Philosophy in 2019, with a dissertation about Dag Prawitz’s theory of grounds under the conjoint direction of prof. Gabriella Crocco (Aix-Marseille University) and prof. Cesare Cozzo (“La Sapienza” University of Rome). I am currently teaching History and Philosophy of Science, Logic and Philosophy of Logic, and Philosophy of Mathematics, at the Science and Philosophy Departments of the Aix-Marseille University.
Broadly, I deal with mathematical logic and philosophy of logic. More specifically, I am interested into constructive logics and proof-theoretic semantics (particularly Prawitz’s semantics) stemming from the intuitionistic tradition. As a parallel project, I investigate whether Kreisel’s informal rigour and Goedel’s absolute provability can be read through the lens of contemporary constructivist approaches. A minor interest concerns a socio-epistemological study of scientific controversies.
Textul de pe ultima copertă
This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz’s theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion.
The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz’s grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.
Caracteristici
Answers one of the most fundamental questions in logic Presents an in-depth and critical reconstruction of Dag Prawitz’s epistemic grounding Discusses Dag Prawitz's epistemic grounding within the broader field of proof-theoretic semantics