Switch to: References

Citations of:

The growth of mathematical knowledge

Boston: Kluwer Academic Publishers (2000)

Add citations

You must login to add citations.
  1. Mathematical Progress — On Maddy and Beyond.Simon Weisgerber - 2023 - Philosophia Mathematica 31 (1):1-28.
    A key question of the ‘maverick’ tradition of the philosophy of mathematical practice is addressed, namely what is mathematical progress. The investigation is based on an article by Penelope Maddy devoted to this topic in which she considers only contributions ‘of some mathematical importance’ as progress. With the help of a case study from contemporary mathematics, more precisely from tropical geometry, a few issues with her proposal are identified. Taking these issues into consideration, an alternative account of ‘mathematical importance’, broadly (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Manufacturing a Mathematical Group: A Study in Heuristics.Emiliano Ippoliti - 2020 - Topoi 39 (4):963-971.
    I examine the way a relevant conceptual novelty in mathematics, that is, the notion of group, has been constructed in order to show the kinds of heuristic reasoning that enabled its manufacturing. To this end, I examine salient aspects of the works of Lagrange, Cauchy, Galois and Cayley. In more detail, I examine the seminal idea resulting from Lagrange’s heuristics and how Cauchy, Galois and Cayley develop it. This analysis shows us how new mathematical entities are generated, and also how (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Scientific Discovery Reloaded.Emiliano Ippoliti - 2020 - Topoi 39 (4):847-856.
    The way scientific discovery has been conceptualized has changed drastically in the last few decades: its relation to logic, inference, methods, and evolution has been deeply reloaded. The ‘philosophical matrix’ moulded by logical empiricism and analytical tradition has been challenged by the ‘friends of discovery’, who opened up the way to a rational investigation of discovery. This has produced not only new theories of discovery, but also new ways of practicing it in a rational and more systematic way. Ampliative rules, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Individuation of objects – a problem for structuralism?Jessica Carter - 2005 - Synthese 143 (3):291 - 307.
    . This paper identifies two aspects of the structuralist position of S. Shapiro which are in conflict with the actual practice of mathematics. The first problem follows from Shapiros identification of isomorphic structures. Here I consider the so called K-group, as defined by A. Grothendieck in algebraic geometry, and a group which is isomorphic to the K-group, and I argue that these are not equal. The second problem concerns Shapiros claim that it is not possible to identify objects in a (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician.Norma B. Goethe & Michèle Friend - 2010 - Studia Logica 96 (2):273-288.
    In this paper, we discuss the prevailing view amongst philosophers and many mathematicians concerning mathematical proof. Following Cellucci, we call the prevailing view the “axiomatic conception” of proof. The conception includes the ideas that: a proof is finite, it proceeds from axioms and it is the final word on the matter of the conclusion. This received view can be traced back to Frege, Hilbert and Gentzen, amongst others, and is prevalent in both mathematical text books and logic text books.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
    is a fragment of first-order aritlimetic so weak that it cannot prove the totality of an iterated exponential fimction. Surprisingly, however, the theory is remarkably robust. I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Philosophy of Science in Germany, 1992–2012: Survey-Based Overview and Quantitative Analysis.Matthias Unterhuber, Alexander Gebharter & Gerhard Schurz - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (1):71-160.
    An overview of the German philosophy of science community is given for the years 1992–2012, based on a survey in which 159 philosophers of science in Germany participated. To this end, the institutional background of the German philosophy of science community is examined in terms of journals, centers, and associations. Furthermore, a qualitative description and a quantitative analysis of our survey results are presented. Quantitative estimates are given for: (a) academic positions, (b) research foci, (c) philosophers’ of science most important (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond.David Rabouin - 2018 - Synthese 195 (11):4751-4783.
    Descartes’ Rules for the direction of the mind presents us with a theory of knowledge in which imagination, considered as an “aid” for the intellect, plays a key role. This function of schematization, which strongly resembles key features of Proclus’ philosophy of mathematics, is in full accordance with Descartes’ mathematical practice in later works such as La Géométrie from 1637. Although due to its reliance on a form of geometric intuition, it may sound obsolete, I would like to show that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Against Mathematical Explanation.Mark Zelcer - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):173-192.
    Lately, philosophers of mathematics have been exploring the notion of mathematical explanation within mathematics. This project is supposed to be analogous to the search for the correct analysis of scientific explanation. I argue here that given the way philosophers have been using “ explanation,” the term is not applicable to mathematics as it is in science.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Handling mathematical objects: representations and context.Jessica Carter - 2013 - Synthese 190 (17):3983-3999.
    This article takes as a starting point the current popular anti realist position, Fictionalism, with the intent to compare it with actual mathematical practice. Fictionalism claims that mathematical statements do purport to be about mathematical objects, and that mathematical statements are not true. Considering these claims in the light of mathematical practice leads to questions about how mathematical objects are handled, and how we prove that certain statements hold. Based on a case study on Riemann’s work on complex functions, I (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • What can the Philosophy of Mathematics Learn from the History of Mathematics?Brendan Larvor - 2008 - Erkenntnis 68 (3):393-407.
    This article canvasses five senses in which one might introduce an historical element into the philosophy of mathematics: 1. The temporal dimension of logic; 2. Explanatory Appeal to Context rather than to General Principles; 3. Heraclitean Flux; 4. All history is the History of Thought; and 5. History is Non-Judgmental. It concludes by adapting Bernard Williams’ distinction between ‘history of philosophy’ and ‘history of ideas’ to argue that the philosophy of mathematics is unavoidably historical, but need not and must not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
    It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations