Journal of the Indian Council of Philosophical Research 27:161-197 (2010)
The philosophy of mathematics has long been concerned with deter- mining the means that are appropriate for justifying claims of mathemat- ical knowledge, and the metaphysical considerations that render them so. But, as of late, many philosophers have called attention to the fact that a much broader range of normative judgments arise in ordinary math- ematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The as- sociated values are often loosely classied as aspects of \mathematical understanding." Meanwhile, in a branch of computer science known as \formal ver- ication," the practice of interactive theorem proving has given rise to software tools and systems designed to support the development of com- plex formal axiomatic proofs. Such eorts require one to develop models of mathematical language and inference that are more robust than the the simple foundational models of the last century. This essay explores some of the insights that emerge from this work, and some of the ways that these insights can inform, and be informed by, philosophical theories of mathematical understanding
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Functional Explaining: A New Approach to the Philosophy of Explanation.Daniel A. Wilkenfeld - 2014 - Synthese 191 (14):3367-3391.
Similar books and articles
Objects and Processes in Mathematical Practice.Uwe Riss - 2011 - Foundations of Science 16 (4):337-351.
Dedekind, Structural Reasoning, and Mathematical Understanding.Erich H. Reck - 2009 - In Bart Van Kerkhove (ed.), New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics. World Scientific. pp. 150--173.
Proof and Disproof in Formal Logic: An Introduction for Programmers.Richard Bornat - 2005 - New Yorkoxford University Press.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.P. B. Andrews - 2002 - Kluwer Academic Publishers.
Proofs and Arguments: The Special Case of Mathematics.Jean Paul Van Bendegem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.
Added to index2010-06-13
Total downloads91 ( #57,672 of 2,178,269 )
Recent downloads (6 months)1 ( #316,623 of 2,178,269 )
How can I increase my downloads?