Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • A Scheme Foiled: A Critique of Baron's Account of Extra-mathematical Explanation.Mark Povich - 2023 - Mind 132 (526):479–492.
    Extra-mathematical explanations explain natural phenomena primarily by appeal to mathematical facts. Philosophers disagree about whether there are extra-mathematical explanations, the correct account of them if they exist, and their implications (e.g., for the philosophy of scientific explanation and for the metaphysics of mathematics) (Baker 2005, 2009; Bangu 2008; Colyvan 1998; Craver and Povich 2017; Lange 2013, 2016, 2018; Mancosu 2008; Povich 2019, 2020; Steiner 1978). In this discussion note, I present three desiderata for any account of extra-mathematical explanation and argue (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Challenges Facing Counterfactual Accounts of Explanation in Mathematics.Marc Lange - 2022 - Philosophia Mathematica 30 (1):32-58.
    Some mathematical proofs explain why the theorems they prove hold. This paper identifies several challenges for any counterfactual account of explanation in mathematics (that is, any account according to which an explanatory proof reveals how the explanandum would have been different, had facts in the explanans been different). The paper presumes that countermathematicals can be nontrivial. It argues that nevertheless, a counterfactual account portrays explanatory power as too easy to achieve, does not capture explanatory asymmetry, and fails to specify why (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Eulerian Routing in Practice.Davide Rizza - 2024 - Erkenntnis 89 (2):817-839.
    The Königsberg bridge problem has played a central role in recent philosophical discussions of mathematical explanation. In this paper I look at it from a novel perspective, which is independent of explanatory concerns. Instead of restricting attention to the solved Königsberg bridge problem, I consider Euler’s construction of a solution method for the problem and discuss two later integrations of Euler’s approach into a more structured methodology, arisen in operations research and genetics respectively. By examining Euler’s work and its later (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Cognitive extra-mathematical explanations.Travis Holmes - 2022 - Synthese 200 (2):1-23.
    This paper advances the view that some explanations in cognitive science are extra-mathematical explanations. Demonstrating the plausibility of this interpretation centers around certain efficient coding cases which ineliminably enlist information theoretic laws, facts and theorems to identify in-principle, mathematical constraints on neuronal information processing capacities. The explanatory structure in these cases is shown to parallel other putative instances of mathematical explanation. The upshot for cognitive mathematical explanations is thus two-fold: first, the view capably rebuts standard mechanistic objections to non-mechanistic explanation; (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • No computation without implementation? A potential problem for the single hierarchy view of physical computation.Jesse Kuokkanen - 2022 - Synthese 200 (5):1-15.
    The so-called integration problem concerning mechanistic and computational explanation asks how they are related to each other. One approach is that a computational explanation is a species of mechanistic explanation. According to this view, computational or mathematical descriptions are mechanism sketches or macroscopic descriptions that include computationally relevant and exclude computationally irrelevant physical properties. Some suggest that this results in a so-called single hierarchy view of physical computation, where computational or mathematical properties sit together in the same mechanistic hierarchy with (...)
    Download  
     
    Export citation  
     
    Bookmark