Frege's Critiques of Cantor - Mathematical Practices and Applications of Mathematics

프레게의 칸토르 비판 - 수학적 실천과 수학의 적용

  • 박준용 (한국과학기술원 문화과학대학)
  • Published : 2009.08.31

Abstract

Frege's logicism has been frequently regarded as a development in number theory which succeeded to the so called arithmetization of analysis in the late 19th century. But it is not easy for us to accept this opinion if we carefully examine his actual works on real analysis. So it has been often argued that his logicism was just a philosophical program which had not contact with any contemporary mathematical practices. In this paper I will show that these two opinions are all ill-founded ones which are due to the misunderstanding of the theoretical place of Frege's logicism in the context of contemporary mathematical practices. Firstly, I will carefully examine Cantorian definition of real numbers and Frege's critiques of it. On the basis of this, I will show that Frege's aim was to produce the purely logical definition of ratios of quantities. Secondly, I will consider the mathematical background of Frege's logicism. On the basis of this, I will show that his standpoint in real analysis was much subtler than what we used to expect. On the one hand, unlike Weierstrass and Cantor, Frege wanted to get such real analysis that could be universally applicable. On the other hand, unlike most mathematicians who insisted on the traditional conceptions, he would not depend upon any geometrical considerations in establishing real analysis. Thirdly, I will argue that Frege regarded these two aspects - the independence from geometry and the universal applicability - as those which characterized logic itself and, by logicism, arithmetic itself. And I will show that his conception of real numbers as ratios of quantities stemmed from his methodological maxim according to which the nature of numbers should be explained by the common roles they played in various contexts to which they applied, and that he thought that the universal applicability of numbers could not be adequately explicated without such an explanation.

References

  1. 박준용, "프레게 논리주의에서 논리적 진리와 분석적 진리," 철학(2007년 여름), 159-193., 2007a.
  2. 박준용, "프레게 제한," 논리연구 10-2: 51-113, 2007b.
  3. B. Bolzano, The Mathematical Works of Bernard Bolzano. (Oxford, New York), 2004.
  4. Boniface, J.. “The Concept of Number from Gauss to Kronecker”, The Shaping of Arithmetic after C.F. Gauss's Disquisitiones Arithmeticae, (eds.) Goldstein, C.; Schappacher, N.; Schwermer, J. (Springer)., 315-342, 2006.
  5. Cantor, G., “Uber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen,” Mathematische Annalen, vol. V(1872), pp. 123-32.
  6. Cantor, G., Grundlagen einer allgemeinen Mannichfaltigkeitslehre, Leipzig, 1883. (translated as Foundations of General Theory of Manifolds by W. Ewald) in Ewald, 878-920, 1996.
  7. Cantor, G., “Bemerkung mit Bezug auf den Aufsatz: Zur Weierstrass'- Cantor'sehen Theorie der Irrationalzahlen,” Mathematische Annalen, Bd. xxxvi, p. 154, 1889.
  8. Dedekind, R. Continuity and Irrational Numbers, 1872. (translated by W. Ewald) in Ewald, 765-779, 1996.
  9. Dedekind, R., “Aus Briefen an R. Lipschitz,” Gesammelte mathematische Werke, Dritter Band, 464-482, 1876.
  10. Du Bois-Reymond, P., Allgemeine Funtionenlehre. (Tuebingen), 1882.
  11. Ewald, W., From Kant to Hilbert: A Source Book in the Foundations of Mathematics. (Oxford, Clarendon Press), 1996.
  12. Dummett, M., Frege: Philosophy of Mathematics, Havard University Press, 1991.
  13. Ehrlich, P.(ed.), Real Numbers: Generalization of Reals, and Theories of Continua.(Kluwer), 1994.
  14. Enderton, H.B., Set Theory. (Academic Press), 1977.
  15. Epple, M., “The End of the Science of Quantities: Foundations of Analysis, 1860-1910,” A History of Analysis, (ed.) H.N. Jahnke. (American Mathematical Society), 2003.
  16. Frege, G., “Rechnungsmethoden, die sich auf eine Erweiterung des Groessenbegriffes Gruenden,” Frege[1967], 50-84, 1874.
  17. Frege, G., Die Grundlagen der Arithmetik.(Breslau). 산수의 기초, 1884.
  18. Frege, G., Grundgesetze der Arithmetik I.(Jena). 산수의 근본 법칙 제1권, 1893.
  19. Frege, G., Grundgesetze der Arithmetik II.(Jena). 산수의 근본 법칙 제2권, 1903.
  20. Frege, G., Kleine Schriften.(Hildesheim), 1967.
  21. Frege, G., Wissenschaftlicher Briefswechsel.(Hamburg), 1976.
  22. Gandon, S., “Which Arithmetization for Which Logicism? - Russell on Relations and Quantities in The Principles of Mathematics,” History and Philosophy of Logic 29: 1-30, 2008. https://doi.org/10.1080/01445340701398530
  23. Hale, B., “Reals by abstraction,” Philosophia Mathematica 8: 100-123, 2000. https://doi.org/10.1093/philmat/8.2.100
  24. Hankel, H., Theorie der Complexen Zahlensystem. (Leopold Voss, Leibzig), 1867.
  25. Heath, T. L., The Thirteen Books of Euclid's Elements, Vol II, Book III-IX, Translated from the text of Heiberg with Introduction and Commentary. (Dover Publications, Inc. New York), 1956.
  26. Holder, O., “The Axioms of Quantity and the Theory of Measurement,” (translated by J. Michell) Journal of Mathematical Psychology 40(1996): 235-252 and Journal of Mathematical Psychology 41(1997): 345-356, 1901.
  27. Huntington, E., “A Complete Set of Postulates for the Theory of Absolute Continuous Magnitudes,” Transactions of the American Mathematical Society 3, 264-279, 1902. https://doi.org/10.1090/S0002-9947-1902-1500598-9
  28. Illigens, E., "Zur Weierstrass'-Cantor'schen Theorie der Irrationalzahlen," Mathematische Annalen, Vol. xxxiii, 1889, pp. 155-60, 1889.
  29. Kitcher, P., "Frege, Dedekind, and the Philosophy of Mathematics," Frege Synthesized, (eds.) L. Haaparanta and J. Hintikka, 299-343, 1986.
  30. Klein, K., "The Arithmetizing of Mathematics", 1895, (translated by W. Ewald) in Ewald, 965-971, 1996.
  31. Lutzen, J., "The Foundation of Analysis in 19C Century," A History of Analysis, (ed.) H.N. Jahnke. (American Mathematical Society), 2003.
  32. Michell, J., Measurement in Psychology. (Cambridge), 1999.
  33. Petrie, B. and Schappacher, N., "On Arithmetization," The Shaping of Arithmetic after C.F. Gauss's Disquisitiones Arithmeticae, (eds.) Goldstein, C. Schappacher, N. Schwermer, J. (Springer)., 343-374, 2007.
  34. Russell, B., Principles of Mathematics. Routledge, 1903.
  35. Simons, P., "Frege's Theory of Real Numbers," History and Philosophy of Logic 8: 25-44, 1987. https://doi.org/10.1080/01445348708837106
  36. Stein, H., "Eudoxos and Dedekind: On the Ancient Greek Theory of Ratios and Its Relation to Modern Mathematics," Synthese 84: 163-211, 1990. https://doi.org/10.1007/BF00485011
  37. Stolz, O., Vorlesung uber allgemeine Arithmetik (Leibzig, Teubner), 1885.
  38. Tappenden, J., "The Riemannian Background to Frege's Philosophy," The Architecture of Modern Mathematics (eds.) J. Ferreoros and J.J. Gray. (Oxford)., 97-132, 2006.
  39. Whitehead, A.N. and Russell, B., Principia Mathematica, Volume III. (Cambridge), 1913.
  40. Wilson, M., "Frege's Mathematical Setting," http://philsci-archive.pitt.edu/archive/00003374/, 2007.