| 書目名稱 | The Argument of Mathematics |
| 編輯 | Andrew Aberdein,Ian J Dove |
| 視頻video | http://file.papertrans.cn/905/904537/904537.mp4 |
| 概述 | Investigates the relationship between argumentation theory and the philosophy of mathematical practice..Challenges the assumption that there is no role for informal logic in mathematics.Offers large a |
| 叢書名稱 | Logic, Epistemology, and the Unity of Science |
| 圖書封面 |  |
| 描述 | .Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations..The book begins by first challenging the assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics.? ?. |
| 出版日期 | Book 2013 |
| 關鍵詞 | Argumentation theory; Concept of Argumentation; Formal proof verification; Perelman’s system of argumen |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-007-6534-4 |
| isbn_softcover | 978-94-017-8194-7 |
| isbn_ebook | 978-94-007-6534-4Series ISSN 2214-9775 Series E-ISSN 2214-9783 |
| issn_series | 2214-9775 |
| copyright | Springer Science+Business Media Dordrecht 2013 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 22:32
發(fā)表于 2025-3-21 18:05:00
