Recent works in the philosophy of mathematical practice and mathematical education have challenged orthodox views of mathematical explanation by developing Understanding-first accounts according to which mathematical explanation should be cashed out in terms of understanding. In this article, we explore two arguments that might have motivated this move, (i) the context-sensitivity argument and (ii) the inadequacy of knowing why argument. We show that although these arguments are derived from compelling observations, they ultimately rest on a misunderstanding of what Explanation-first accounts (...) are committed to and an underestimation of the resources available to them. By clarifying the terms at play in the debate and distinguishing different objects of evaluation, we show that the insightful observations about practice and education made by challengers to the orthodoxy are in fact best accounted for within the traditional Explanation-first framework. (shrink)

Gestures are usually regarded as a casual element of communication processes between logicians. By contrast, we aim to show that gestures have played a significant role in logic. We argue that the development of communication techniques and their standardization have led to the rise of formal notation systems commonly used in logic today. In order to substantiate this claim, the historical development of the use of gestures in (early) modern logic is investigated. This investigation uncovers exemplary communication and proof techniques (...) that illustrate the efficacy of gestures as representational media in formal logic. Revisiting the tradition of gestures in logic offers promising paths and insights for today’s logic as a communication practice in the digital age. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)