In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 1 (2008)

Michael Detlefsen
University of Notre Dame
I focus on three preoccupations of recent writings on proof. I. The role and possible effects of empirical reasoning in mathematics. Do recent developments (specifically, the computer-assisted proof of the 4CT) point to something essentially new as regards the need for and/or effects of using broadly empirical and inductive reasoning in mathematics? In particular, should we see such things as the computer-assisted proof of the 4CT as pointing to the existence of mathematical truths of which we cannot have a priori knowledge? 2. The role of formalization in proof. What are the patterns ofinference according to which mathematical reasoning naturally proceeds? Are they of 'local' character (i.e. sensitive to the subject-matter of the reasoning concerned) or 'global' character (i.e. invariant across all subject-matters)? Finally, what if any relationship is there (a) between the patterns of inference manifest in a proof and its explanatory capacity and (b) between explanatory capacity and rigor? 3. Diagrams and their role in mathematical reasoning. What essentially is diagrammatic reasoning, and what is the nature and basis of its usefulness? Can it play a justificative role in the development of mathematical knowledge and, more particularly, in genuine proof? Finally, does the use of diagrammatic reasoning force an adjustment either in our conception of rigor or in our view of its importance?
Keywords empirical reasoning in mathematics  the role of formalization in proof  diagrams and their role(s) in mathematical reasoning
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,704
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Lakatos and Hersh on Mathematical Proof.Hossein Bayat - 2015 - Journal of Philosophical Investigations at University of Tabriz 9 (17):75-93.

Add more citations

Similar books and articles


Added to PP index

Total views
62 ( #151,746 of 2,340,062 )

Recent downloads (6 months)
2 ( #334,980 of 2,340,062 )

How can I increase my downloads?


My notes