Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Piccolomini d'Aragona, Antonio
- 出版商: Springer
- 出版日期: 2024-04-02
- 售價: $5,160
- 貴賓價: 9.5 折 $4,902
- 語言: 英文
- 頁數: 424
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 303151405X
- ISBN-13: 9783031514050
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為哲學家和邏輯學家提供了對於當代推理問題的廣泛觀點，包括其合理性和解釋。單獨的章節所展示的多樣化方法使得通常很少互相交流的觀點之間能夠進行對話。
這些貢獻涉及三個主要的邏輯觀點：哲學、歷史和形式。哲學觀點涉及推理有效性與真理之間的關係，並質疑推理的結論性和其認識論貢獻。它還討論了語言行為在推理實踐中的角色，並提供了關於我們如何通過推理學習的認知教學貢獻。在歷史觀點中，這些貢獻討論了一些重要的歷史人物的觀點，如Bolzano、Girard、Gödel和Peano。最後，在形式觀點中，主要從直覺主義建構主義或證明論的角度來處理推理的數學，重點放在對邏輯有效性的"普遍"或內在方法、證明的性質和身份，以及對話設置上。
第14章可通過link.springer.com以創用CC授權4.0國際許可證進行開放存取。
作者簡介
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.
作者簡介(中文翻譯)
我於2009年在那不勒斯的「費代里科二世」大學獲得哲學學士學位，並於2014年在羅馬的「拉·薩皮恩察」大學獲得哲學碩士學位。我於2019年獲得哲學博士學位，論文研究主題為達格·普拉維茨的「基礎理論」，指導教授為Gabriella Crocco教授（Aix-Marseille大學）和Cesare Cozzo教授（羅馬的「拉·薩皮恩察」大學）。我目前在Aix-Marseille大學的科學和哲學系教授科學史、邏輯學和邏輯哲學以及數學哲學。
廣義而言，我的研究領域是數學邏輯和邏輯哲學。更具體地說，我對建構性邏輯和證明論語義學（尤其是普拉維茨的語義學）感興趣，這源於直覺主義傳統。作為一個平行項目，我正在研究克萊塞爾的非正式嚴謹性和哥德爾的絕對可證明性是否可以通過當代建構主義方法的角度來解讀。我還對科學爭議的社會認識論研究有較小的興趣。
