Foundations of Science 14 (1-2):136-152 (2009)
|Abstract||In this paper, I assume, perhaps controversially, that translation into a language of formal logic is not the method by which mathematicians assess mathematical reasoning. Instead, I argue that the actual practice of analyzing, evaluating and critiquing mathematical reasoning resembles, and perhaps equates with, the practice of informal logic or argumentation theory. It doesn’t matter whether the reasoning is a full-fledged mathematical proof or merely some non-deductive mathematical justification: in either case, the methodology of assessment overlaps to a large extent with argument assessment in non-mathematical contexts. I demonstrate this claim by considering the assessment of axiomatic or deductive proofs, probabilistic evidence, computer-aided proofs, and the acceptance of axioms. I also consider Jody Azzouni’s ‘derivation indicator’ view of proofs because it places derivations—which may be thought to invoke formal logic—at the center of mathematical justificatory practice. However, when the notion of ‘derivation’ at work in Azzouni’s view is clarified, it is seen to accord with, rather than to count against, the informal logical view I support. Finally, I pose several open questions for the development of a theory of mathematical argument.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Andrew Aberdein (2011). The Dialectical Tier of Mathematical Proof. In Frank Zenker (ed.), Argumentation: Cognition & Community. Proceedings of the 9th International Conference of the Ontario Society for the Study of Argumentation (OSSA), May 18--21, 2011. OSSA.
Jody Azzouni (2004). The Derivation-Indicator View of Mathematical Practice. Philosophia Mathematica 12 (2):81-106.
Jody Azzouni (2009). Why Do Informal Proofs Conform to Formal Norms? Foundations of Science 14 (1-2):9-26.
Jean Paul van Bendegem & Bart van Kerkhove (2009). Mathematical Arguments in Context. Foundations of Science 14 (1-2):45-57.
Mark McEvoy (2012). Platonism and the 'Epistemic Role Puzzle'. Philosophia Mathematica 20 (3):289-304.
Jean Paul Van Bendegem (2005). Proofs and Arguments: The Special Case of Mathematics. Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.
Brendan Larvor (2012). How to Think About Informal Proofs. Synthese 187 (2):715-730.
Andrew Aberdein (2006). The Informal Logic of Mathematical Proof. In Reuben Hersh (ed.), 18 Unconventional Essays About the Nature of Mathematics. Springer-Verlag.
Marianna Antonutti Marfori (2010). Informal Proofs and Mathematical Rigour. Studia Logica 96 (2):261-272.
Yehuda Rav (2007). A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices. Philosophia Mathematica 15 (3):291-320.
Added to index2009-01-28
Total downloads28 ( #44,147 of 549,500 )
Recent downloads (6 months)1 ( #63,397 of 549,500 )
How can I increase my downloads?