LEADER 03101nam 2200577 a 450 001 9910438332403321 005 20200520144314.0 010 $a94-007-6534-7 024 7 $a10.1007/978-94-007-6534-4 035 $a(CKB)2670000000403986 035 $a(EBL)1317723 035 $a(OCoLC)852840083 035 $a(SSID)ssj0000962500 035 $a(PQKBManifestationID)11542569 035 $a(PQKBTitleCode)TC0000962500 035 $a(PQKBWorkID)10970260 035 $a(PQKB)11544207 035 $a(DE-He213)978-94-007-6534-4 035 $a(MiAaPQ)EBC1317723 035 $a(PPN)172433193 035 $a(EXLCZ)992670000000403986 100 $a20130524d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe argument of mathematics /$fAndrew Aberdein, Ian J. Dove, editors 205 $a1st ed. 2013. 210 $aNew York $cSpringer$d2013 215 $a1 online resource (391 p.) 225 0$aLogic, epistemology and the unity of science ;$vv. 30 300 $aDescription based upon print version of record. 311 $a94-017-8194-X 311 $a94-007-6533-9 320 $aIncludes bibliographical references and index. 327 $apt. I. What are mathematical arguments? -- pt. II. Argumentation as a methodology for studying mathematical practice -- pt. III. Mathematics as a testbed for argumentation theory -- pt. IV. An argumentational turn in the philosophy of mathematics. 330 $aWritten 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. . 410 0$aLogic, Epistemology, and the Unity of Science,$x2214-9775 ;$v30 606 $aProof theory 615 0$aProof theory. 676 $a510.1 701 $aAberdein$b Andrew$01764032 701 $aDove$b Ian J$01764033 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910438332403321 996 $aThe argument of mathematics$94204763 997 $aUNINA