Mathematical proofs are not sequences of arbitrary deductive steps—each deductive step is, to some extent, rational. This paper aims to identify and characterize the particular form of rationality at play in mathematical proofs. The approach adopted consists in viewing mathematical proofs as reports of proof activities—that is, sequences of deductive inferences—and in characterizing the rationality of the former in terms of that of the latter. It is argued that proof activities are governed by specific norms of rational planning agency, and (...) that a deductive step in a mathematical proof qualifies as rational whenever the corresponding deductive inference in the associated proof activity figures in a plan that has been constructed rationally. It is then shown that mathematical proofs whose associated proof activities violate these norms are likely to be judged as defective by mathematical agents, thereby providing evidence that these norms are indeed present in mathematical practice. We conclude that, if mathematical proofs are not mere sequences of deductive steps, if they possess a rational structure, it is because they are the product of rational planning agents. (shrink)

We give an overview of Lakatos’ life, his philosophy of mathematics and science, as well as of this issue. Firstly, we briefly delineate Lakatos’ key contributions to philosophy: his anti-formalist philosophy of mathematics, and his methodology of scientific research programmes in the philosophy of science. Secondly, we outline the themes and structure of the masterclass Lakatos’ Undone Work – The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science, which gave rise to this special issue. Lastly, (...) we provide a summary of the contributions to this issue. (shrink)

This paper presents the results of an empirical study following up on Mizrahi (2021). Using the same methods of text mining and corpus analysis used by Mizrahi (2021), we test empirically a philosophical account of scientific progress that Mizrahi (2021) left out of his empirical study, namely, the so-called functional-internalist account of scientific progress according to which the aim or goal or scientific research is to solve problems. In general, our results do not lend much empirical evidence in support of (...) the problem-solving model of scientific progress over the other philosophical accounts of scientific progress (namely, the epistemic, noetic, and semantic accounts of scientific progress) tested in Mizrahi (2021) and in this follow-up study. Of all the subjects in the JSTOR database we have tested in this study, however, Mathematics is an interesting exception as far as the problem-solving model of scientific progress is concerned. For, in Mathematics alone, we have found that there is significantly more talk of the aims and/or goals of research in terms of solutions than in terms of truth, knowledge, or understanding. (shrink)

The connection between understanding and explanation has recently been of interest to philosophers. Inglis and Mejía-Ramos (Synthese, 2019) propose that within mathematics, we should accept a functional account of explanation that characterizes explanations as those things that produce understanding. In this paper, I start with the assumption that this view of mathematical explanation is correct and consider what we can consequently learn about mathematical explanation. I argue that this view of explanation suggests that we should shift the question of explanation (...) away from why-questions and towards a “what’s going on here” question. Additionally, I argue that when we recognize the connection between understanding and explanation we naturally see how more than just proof can be explanatory. I expand this point by detailing how definitions and diagrams can be explanatory. In all, we see that when we take seriously the connection between understanding and explanation, we get a better sense of how explanation arises within mathematics. (shrink)

In this introductory essay we compare different strategies to study the possibility of applying philosophical theories of social ontology to mathematical practice and vice versa. Analyzing the contributions to the special issue Mathematical practice and social ontology, we distinguish four main strands: (1) to verify whether the very act of producing mathematical knowledge is an intersubjective activity; (2) to explain how the intersubjective nature of mathematics relates to mathematical objectivity; (3) to show how this intersubjectivity-based objectivity is the result of (...) social practice; (4) to understand whether, given the social nature of intersubjectivity-based mathematical objectivity, mathematical objects can be described by analogy with social facts as institutions. (shrink)

We give an overview of Lakatos’ life, his philosophy of mathematics and science, as well as of this issue. Firstly, we briefly delineate Lakatos’ key contributions to philosophy: his anti-formalist philosophy of mathematics, and his methodology of scientific research programmes in the philosophy of science. Secondly, we outline the themes and structure of the masterclass Lakatos’ Undone Work – The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science​, which gave rise to this special issue. Lastly, (...) we provide a summary of the contributions to this issue. (shrink)

This work gives a new argument for ‘Empirical Philosophy of Mathematical Practice’. It analyses different modalities on how empirical information can influence philosophical endeavours. We evoke the classical dichotomy between “armchair” philosophy and empirical/experimental philosophy, and claim that the latter should in turn be subdivided in three distinct styles: Apostate speculator, Informed analyst, and Freeway explorer. This is a shift of focus from the source of the information towards its use by philosophers. We present several examples from philosophy of mind/science (...) and ethics on one side and a case study from philosophy of mathematics on the other. We argue that empirically informed philosophy of mathematics is different from the rest in a way that encourages a Freeway explorer approach, because intuitions about mathematical objects are often unavailable for non-mathematicians. This consideration is supported by a case study in set theory. (shrink)