Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely...

Full description

Bibliographic Details
Other Authors: Piccolomini d'Aragona, Antonio (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2024, 2024
Edition:1st ed. 2024
Series:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 04082nmm a2200337 u 4500
001 EB002203036
003 EBX01000000000000001340237
005 00000000000000.0
007 cr|||||||||||||||||||||
008 240502 ||| eng
020 |a 9783031514067 
100 1 |a Piccolomini d'Aragona, Antonio  |e [editor] 
245 0 0 |a Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction  |h Elektronische Ressource  |c edited by Antonio Piccolomini d'Aragona 
250 |a 1st ed. 2024 
260 |a Cham  |b Springer International Publishing  |c 2024, 2024 
300 |a VI, 424 p. 1 illus  |b online resource 
505 0 |a 1. Introduction: deduction at the crossroads (Antonio Piccolomini d'Aragona) -- 2. The interdependence between the concepts of valid inference and proof revisited (Dag Prawitz) -- 3. The completeness theorem? So what! (Goran Sundholm) -- 4. Godel's absolute proofs and Girard's Ludics. Mutual insights (Gabriella Crocco and Myriam Quatrini) -- 5. Dummett, analytic and synthetic deductions (Cesare Cozzo) -- 6. From proof-objects to grounds (Enrico Moriconi) -- 7. On an ecumenical natural deduction with stoup - Part I: the propositional case (Luiz Carlos Pereira and Elaine Pimentel) -- 8. Martin-Lof on the validity of inference (Ansten Klev) -- 9. Molecularity in the theory of meaning and the topic neutrality of logic (Nils Kurbis and Bernhard Weiss) -- 10. Assertion, assumption and deduction (Peter Pagin) -- 11. Deduction and ampliativity: a critical appraisal (Emiliano Ippoliti) -- 12. A new conjecture about identity of proofs (Paolo Pistone) -- 13. Godel's introduction to deduction (Milos Adzic) -- 14. Karl Popper on deduction (Thomas Piecha) -- 15. An epistemological view on the Peano School Axiomatics (Paola Cantu) -- 16. Inferential quantification and the w-rule (Constantin Brincus) -- 17. Chains of inferences in proof by induction: a cognitive analysis (Samuele Antonini and Bernardo Nannini) -- 18. From strategies to derivations and back. An easy completeness proof for first-order intuitionistic dialogical logic (Davide Catta) -- Index 
653 |a Mathematics / Philosophy 
653 |a Mathematical logic 
653 |a Logic 
653 |a Knowledge, Theory of 
653 |a Philosophy of Mathematics 
653 |a Epistemology 
653 |a Mathematical Logic and Foundations 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 
028 5 0 |a 10.1007/978-3-031-51406-7 
856 4 0 |u https://doi.org/10.1007/978-3-031-51406-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 160 
520 |a This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely communicate with each other. The contributions concern (in a possibly intertwined way) three major perspectives in logic: philosophical, historical, formal. The philosophical perspective has to do with the relationship between deductive validity and truth, and questions the alleged conclusiveness of deduction and its epistemic contribution. It also discusses the role of linguistic acts in deductive practice, and provides a cognitive-didactic contribution on how we may learn through deduction. In the historical perspective, the contributions discuss the ideas of some major historical figures, such as Bolzano, Girard, Gödel, and Peano. Finally, in the formal perspective, the mathematics of deduction is dealt with mainly from an intuitionistic-constructivist or proof-theoretic point of view, with focus on “ecumenic” or internalistic approaches to logical validity, on the nature and identity of proofs, and on dialogical setups. Chapter [14] is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com