프레게의 칸토르 비판 - 수학적 실천과 수학의 적용 = Frege's Critiques of Cantor - Mathematical Practices and Applications of Mathematics

다국어 초록 (Multilingual 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.

참고문헌 (Reference)

1 박준용, "프레게 제한― 수의 정의와 적용 가능성" 한국논리학회 10 (10): 47-107, 2007

2 박준용, "프레게 논리주의에서 논리적 진리와 분석적 진리" 한국철학회 (91) : 159-193, 2007

3 Cantor, G, "Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen" 5 : 123-132, 1872

4 Illigens, E, "Zur Weierstrass'-Cantor'schen Theorie der Irrationalzahlen" 33 : 155-160, 1889

5 Frege, G, "Wissenschaftlicher Briefswechsel" Hamburg 1976

6 Gandon, S, "Which Arithmetization for Which Logicism? ― Russell on Relations and Quantities in The Principles of Mathematics" 29 : 1-30, 2008

7 Stolz, O, "Vorlesung über allgemeine Arithmetik" Leibzig, Teubner 1885

8 Hankel, H, "Theorie der Complexen Zahlensystem" Leopold Voss, Leibzig 1867

9 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 1956

10 Tappenden, J, "The Riemannian Background to Frege's Philosophy. In The Architecture of Modern Mathematics" Oxford 97-132, 2006

11 B. Bolzano, "The Mathematical Works of Bernard Bolzano"

12 Lützen, J, "The Foundation of Analysis in 19C Century. In A History of Analysis" American Mathematical Society 2003

13 Epple, M, "The End of the Science of Quantities: Foundations of Analysis, 1860-1910. In A History of Analysis" American Mathematical Society 2003

14 Boniface, J, "The Concept of Number from Gauss to Kronecker. In The Shaping of Arithmetic after C.F. Gauss's Disquisitiones Arithmeticae" Springer 315-342, 2006

15 Hölder, O, "The Axioms of Quantity and the Theory of Measurement" 40 : 235-252, 1996

16 Klein, K, "The Arithmetizing of Mathematics"

17 Enderton, H.B, "Set Theory" Academic Press 1977

18 Frege,G, "Rechnungsmethoden, die sich auf eine Erweiterung des Groessenbegriffes Gruenden"

19 Hale, B, "Reals by abstraction" 8 : 100-123, 2000

20 Ehrlich, P, "Real Numbers: Generalization of Reals, and Theories of Continua" Kluwer 1994

21 Russell, B, "Principles of Mathematics" Routledge 1903

22 Whitehead, A.N, "Principia Mathematica, Volume III" Cambridge 1913

23 Petrie, B, "On Arithmetization. In he Shaping of Arithmetic after C.F. Gauss's Disquisitiones Arithmeticae" Springer 343-374, 2007

24 Michell, J, "Measurement in Psychology" Cambridge 1999

25 Frege, G, "Kleine Schriften" Hildesheim 1967

26 Cantor, G, "Grundlagen einer allgemeinen Mannichfaltigkeitslehre, Leipzig, 1883"

27 Frege, G, "Grundgesetze der Arithmetik II" Jena 1903

28 Frege, G, "Grundgesetze der Arithmetik I" Jena 1893

29 Ewald, W, "From Kant to Hilbert: A Source Book in the Foundations of Mathematics" Oxford, Clarendon Press 1996

30 Dummett, M, "Frege: Philosophy of Mathematics" Havard University Press 1991

31 Kitcher, P, "Frege, Dedekind, and the Philosophy of Mathematics. In Frege Synthesized" Frege Synthesized,(eds.)L.Haaparanta and J.Hintikka,299-343 299-343, 1986

32 Simons, P, "Frege's Theory of Real Numbers" 8 : 25-44, 1987

33 Wilson, M, "Frege's Mathematical Setting"

34 Stein, H, "Eudoxos and Dedekind: On the Ancient Greek Theory of Ratios and Its Relation to Modern Mathematics" 84 : 163-211, 1990

35 Frege, G, "Die Grundlagen der Arithmetik" Breslau 1884

36 Dedekind, R, "Continuity and Irrational Numbers, 1872" 765-779, 1996

37 Huntington, E, "Complete Set of Postulates for the Theory of Absolute Continuous Magnitudes" 3 : 264-279, 1902

38 Cantor, G, "Bemerkung mit Bezug auf den Aufsatz: Zur Weierstrass'- Cantor'sehen Theorie der Irrationalzahlen" 36 : 154-, 1889

39 Dedekind, R, "Aus Briefen an R. Lipschitz"

40 Du Bois-Reymond, P, "Allgemeine Funtionenlehre" Tuebingen 1882