Overview
- Includes contributions by well-established researchers in the field of constructive logic, proof-theory, etc
- Discusses and analyses hotly debated issues relating to the concept of deduction
- Shows the reader a variety of positions and schools of thoughts and how they each interact
Part of the book series: Synthese Library (SYLI, volume 481)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 chapters)
Keywords
About this book
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.
Editors and Affiliations
About the editor
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.
Bibliographic Information
Book Title: Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Editors: Antonio Piccolomini d'Aragona
Series Title: Synthese Library
DOI: https://doi.org/10.1007/978-3-031-51406-7
Publisher: Springer Cham
eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Hardcover ISBN: 978-3-031-51405-0Published: 02 April 2024
Softcover ISBN: 978-3-031-51408-1Due: 06 May 2024
eBook ISBN: 978-3-031-51406-7Published: 01 April 2024
Series ISSN: 0166-6991
Series E-ISSN: 2542-8292
Edition Number: 1
Number of Pages: VI, 424
Number of Illustrations: 1 b/w illustrations
Topics: Logic, Mathematical Logic and Foundations, Epistemology, Philosophy of Mathematics