ISBN:
9789400765337
,
9400765339
Language:
English
Pages:
X, 393 S.
,
Ill
,
25 cm
Year of publication:
2013
Series Statement:
Logic, epistemology, and the unity of science 30
Series Statement:
Logic, epistemology, and the unity of science
DDC:
511.3/6
Keywords:
Mathematics Philosophy
;
Logic, Symbolic and mathematical
;
Proof theory
;
Schlussfolgern
Abstract:
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
Note:
Includes bibliographical references and index
Permalink
