Switch to: References

Add citations

You must login to add citations.
  1. Proof, Explanation, and Justification in Mathematical Practice.Moti Mizrahi - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (4):551-568.
    In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. The results of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Philosophy of mathematical practice: A primer for mathematics educators.Yacin Hamami & Rebecca Morris - 2020 - ZDM Mathematics Education 52:1113–1126.
    In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth.William D’Alessandro - 2020 - Synthese (9):1-44.
    Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Teaching and Learning Guide for: Explanation in Mathematics: Proofs and Practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
    This is a teaching and learning guide to accompany "Explanation in Mathematics: Proofs and Practice".
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
    Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A Noetic Account of Explanation in Mathematics.William D’Alessandro & Ellen Lehet - forthcoming - Philosophical Quarterly.
    We defend a noetic account of intramathematical explanation. On this view, a piece of mathematics is explanatory just in case it produces understanding of an appropriate type. We motivate the view by presenting some appealing features of noeticism. We then discuss and criticize the most prominent extant version of noeticism, due to Inglis and Mejía Ramos, which identifies explanatory understanding with the possession of well-organized cognitive schemas. Finally, we present a novel noetic account. On our view, explanatory understanding arises from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Platonism and Intra-mathematical Explanation.Sam Baron - forthcoming - Philosophical Quarterly.
    I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mathematical Explanations: An Analysis Via Formal Proofs and Conceptual Complexity.Francesca Poggiolesi - 2024 - Philosophia Mathematica 32 (2):145-176.
    This paper studies internal (or intra-)mathematical explanations, namely those proofs of mathematical theorems that seem to explain the theorem they prove. The goal of the paper is a rigorous analysis of these explanations. This will be done in two steps. First, we will show how to move from informal proofs of mathematical theorems to a formal presentation that involves proof trees, together with a decomposition of their elements; secondly we will show that those mathematical proofs that are regarded as having (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Definitions in practice: An interview study.V. J. W. Coumans & L. Consoli - 2023 - Synthese 202 (1):1-32.
    In the philosophy of mathematical practice, the aim is to understand the various aspects of this practice. Even though definitions are a central element of mathematical practice, the study of this aspect of mathematical practice is still in its infancy. In particular, there is little empirical evidence to substantiate claims about definitions in practice. In this article, we address this gap by reporting on an empirical investigation on how mathematicians create definitions and which roles and properties they attribute to them. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mathematicians’ Assessments of the Explanatory Value of Proofs.Juan Pablo Mejía Ramos, Tanya Evans, Colin Rittberg & Matthew Inglis - 2021 - Axiomathes 31 (5):575-599.
    The literature on mathematical explanation contains numerous examples of explanatory, and not so explanatory proofs. In this paper we report results of an empirical study aimed at investigating mathematicians’ notion of explanatoriness, and its relationship to accounts of mathematical explanation. Using a Comparative Judgement approach, we asked 38 mathematicians to assess the explanatory value of several proofs of the same proposition. We found an extremely high level of agreement among mathematicians, and some inconsistencies between their assessments and claims in the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Models as Fundamental Entities in Set Theory: A Naturalistic and Practice-based Approach.Carolin Antos - 2022 - Erkenntnis 89 (4):1683-1710.
    This article addresses the question of fundamental entities in set theory. It takes up J. Hamkins’ claim that models of set theory are such fundamental entities and investigates it using the methodology of P. Maddy’s naturalism, Second Philosophy. In accordance with this methodology, I investigate the historical case study of the use of models in the introduction of forcing, compare this case to contemporary practice and give a systematic account of how set-theoretic practice can be said to introduce models as (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Mathematical Explanation in Practice.Ellen Lehet - 2021 - Axiomathes 31 (5):553-574.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations