David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
In Emily Grosholz & Herbert Breger (eds.), The Growth of Mathematical Knowledge, pp. 153-176. Kluwer 153--176 (2000)
In his book The Value of Science Poincaré criticizes a certain view on the growth of mathematical knowledge: “The advance of science is not comparable to the changes of a city, where old edifices are pitilessly torn down to give place to new ones, but to the continuous evolution of zoological types which develop ceaselessly and end by becoming unrecognizable to the common sight, but where an expert eye finds always traces of the prior work of the centuries past” (Poincaré 1958, p. 14). The view criticized by Poincaré corresponds to Frege’s idea that the development of mathematics can be described as an activity of system building, where each system is supposed to provide a complete representation for a certain mathematical field and must be pitilessly torn down whenever it fails to achieve such an aim. All facts concerning any mathematical field must be fully organized in a given system because “in mathematics we must always strive after a system that is complete in itself” (Frege 1979, p. 279). Frege is aware that systems introduce rigidity and are in conflict with the actual development of mathematics because “in history we have development; a system is static”, but he sticks to the view that “science only comes to fruition in a system” because “only through a system can we achieve complete clarity and order” (Frege 1979, p. 242). He even goes so far as saying that “no science can be so enveloped in obscurity as mathematics, if it fails to construct a system” (Frege 1979, p. 242). By ‘system’ Frege means ‘axiomatic system’. In his view, in mathematics we cannot rest content with the fact that “we are convinced of something, but we must strive to obtain a clear insight into the network of inferences that support our conviction”, that is, to find “what the primitive truths are”, because “only in this way can a system be constructed” (Frege 1979, p. 205). The primitive truths are the principles of the axiomatic system. Frege’s stress on the role of systems also determines his views on the growth of mathematical knowledge..
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Michèle Friend (2010). Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician. Studia Logica 96 (2):273-288.
Norma B. Goethe & Michèle Friend (2010). Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician. Studia Logica 96 (2):273-288.
Similar books and articles
Øystein Linnebo (2008). The Nature of Mathematical Objects. In Bonnie Gold & Roger Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America 205--219.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
Stewart Shapiro (1996). Space, Number and Structure: A Tale of Two Debates. Philosophia Mathematica 4 (2):148-173.
J. Brent Crouch (2010). Between Frege and Peirce: Josiah Royce's Structural Logicism. Transactions of the Charles S. Peirce Society 46 (2):155-177.
Otávio Bueno (2011). An Inferential Conception of the Application of Mathematics. Noûs 45 (2):345 - 374.
Michael D. Resnik (1997). Mathematics as a Science of Patterns. New York ;Oxford University Press.
Stojan Obradović & Slobodan Ninković (2009). The Heuristic Function of Mathematics in Physics and Astronomy. Foundations of Science 14 (4):351-360.
Kevin C. Klement, Gottlob Frege. Internet Encyclopedia of Philosophy.
Clevis Headley (1997). Platonism and Metaphor in the Texts of Mathematics: GÃ¶Del and Frege on Mathematical Knowledge. [REVIEW] Man and World 30 (4):453-481.
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky
Added to index2010-05-06
Total downloads142 ( #24,625 of 1,790,397 )
Recent downloads (6 months)77 ( #12,460 of 1,790,397 )
How can I increase my downloads?