Skip to main content

On Frege’s Works on Philosophical Problems of Mathematics

  • Chapter
Book cover Two Soviet Studies on Frege

Part of the book series: Sovietica ((SOVA,volume 15))

  • 53 Accesses

Abstract

The struggle of the fundamental philosophical tendencies — materialism and idealism — in contemporary mathematics concentrates mostly on its foundations. And this is not fortuitous. Precisely in the domain of the foundations of mathematics appeared difficulties related to the most general and universal notions such as “infinity”, “set”, “function”, “object” and others. At the end of the nineteenth century it seemed to the mathematicians that the problem of the foundations of their science was completely solved. In 1900, H. Poincaré wrote: “Il n’y a plus aujourd’hui en Analyse que des nombres entiers ou des systèmes finis ou infinis de nombres entiers, reliés entre eux par un réseau de relations d’égalité ou d’inégalité. Les mathématiques, comme on l’a dit, se sont arithmétisées…. On peut dire qu‘aujourd’hui la rigueur absolue est atteinte.”2 But a bit later contradictions were discovered in the theory of sets. It became clear that the problem of the foundations of mathematics could not be considered as solved. Idealist thinkers on mathematics began to speak of the “crisis” of the foundations of their science (Weyl, Brouwer, etc.). But this was in fact not a “crisis” but the discovering of the deep dialectical nature of the most primitive notions of mathematics and logic.

The author expresses his great gratitude to Sofija Aleksandrov Janovskaja for the scientific guidance and help given in the preparation of this article.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Poincaré: ‘Du rôle de l’intuition et de la logique en mathématique’. Comptes Rendus du Ilème Congrès Internationale des Mathématiciens, 1900, Paris, 1902, pp. 120–122.

    Google Scholar 

  2. In addition to this, Frege wrote the following articles: ‘Über Anwendungen der Begriffsschrift’ (1879), ‘Über die wissenschaftliche Berechtigung einer Begriffsschrift’ (1882), ‘Über den Zweck der Begriffsschrift’ (1882), ‘Über formalen Theorien der Arithmetik’ (1886), ‘Über die Begriffsschrift des Herrn Peano und meine eigene’ (1897), ‘Der Gedanke’ (1919), ‘Die Verneinung’ (1919), and others. Of great interest are the letters of Frege to the German mathematician Liebmann, on the foundations of geometry, the answer of Hilbert and another letter of Frege (1900).

    Google Scholar 

  3. Concerning Dedekind, Frege was wrong. See The Journal of Symbolic Logic 22 (1957) 145–158.

    Article  Google Scholar 

  4. G. Frege: Grundgesetze der Arithmetik. Erster Band. Jena, 1893, S. XI (in following notes this will be designated Grundgesetze I with indication of pages).

    Google Scholar 

  5. See the collective work The Philosophy of Bertrand Russell, Chicago-London, 1944.

    Google Scholar 

  6. Having begun his philosophical evolution with objective idealism, Russell passed over to subjective idealism.

    Google Scholar 

  7. Grundgesetze I, pp. XIX-XX.

    Google Scholar 

  8. Ibid., p. XXII.

    Google Scholar 

  9. V. I. Lenin: Works, Vol. 14, p. 44 [. Materialism and Empirio-Criticism, Foreign Languages Publishing House, Moscow, 1952, p. 49, chapter 1, section 2].

    Google Scholar 

  10. Grundgesetze I, p. XXIII.

    Google Scholar 

  11. Grundgesetze I, p. XXIV (my italics, - B. B.).

    Google Scholar 

  12. G. Frege: The Foundations of Arithmetic. A logico-mathematical enquiry into the concept of number. Oxford, 1950, p. X (In the following notes this is designated:Frege 1950, plus page indication).

    Google Scholar 

  13. Ibid., p. VII.

    Google Scholar 

  14. Grundgesetze I, p. XIX.

    Google Scholar 

  15. Grundgesetze I, p. XXI.

    Google Scholar 

  16. G. Frege: ‘Über Sinn und Bedeutung’, Zeitschrift für Philosophie und philosophische Kritik 100 (1892) 31 (In the following notes this is designated: Frege 1892, plus page indication).

    Google Scholar 

  17. Grundgesetze I, p. XVII.

    Google Scholar 

  18. Frege 1892, p. 32, note.

    Google Scholar 

  19. Grundgesetze I, p. XIII.

    Google Scholar 

  20. Frege 1950, pp. 107–108.

    Google Scholar 

  21. Grundgesetze I, pp. XIII-XIV.

    Google Scholar 

  22. G. Frege: ‘Kritische Beleuchtung einiger Punkte in E. Schroder’s Vorlesungen über die Algebra der Logik’, Archiv für Systematische Philosophie I (1895) 456 (In following notes this is designated: Frege 1895, with page indication).

    Google Scholar 

  23. Frege 1895, p. 449.

    Google Scholar 

  24. Unbekannte Briefe Freges über die Grundlagen der Geometrie und Antwortbrief Hilbert’s an Frege. Aus dem Nachlaß von Heinrich Liebmann herausgegeben von Max Steck. Sitzungsberichte der Heidelberger Akademie der Wissenschaften. Mathematisch-naturwissenschaftliche Klasse. Jahrgang 1941, 2. Abhandlung. Heidelberg, 1941, p. 12 (In following notes this is designated: Briefe, plus page indication).

    Google Scholar 

  25. G. Frege: Grundgesetze der Arithmetik. Zweiter Band. Jena, 1903, p. 154. (In following notes this is designated: Grundgesetze II).

    Google Scholar 

  26. Ibidem.

    Google Scholar 

  27. Grundgesetze I, p. XIII.

    Google Scholar 

  28. Grundgesetze II, p. 101.

    Google Scholar 

  29. Ibidem.

    Google Scholar 

  30. Grundgesetze I, p. 2 (italics mine - B. B.)

    Google Scholar 

  31. Frege 1895, p. 452 (italics mine - B. B.)

    Google Scholar 

  32. An object, for Frege, “falls under a concept”, if, having asserted this concept about the object, we obtain truth. See below.

    Google Scholar 

  33. Frege 1895, p. 452.

    Google Scholar 

  34. Grundgesetze I, p. IX (italics mine - B. B.)

    Google Scholar 

  35. G. Frege: ‘Über Begriff und Gegenstand’, Vierteljahrschrift für wissenschaftliche Philosophie 16 (1892) 201–202. (In the following notes this is designated: Frege 1892, plus indication of page)

    Google Scholar 

  36. Briefe, p. 9.

    Google Scholar 

  37. Frege 1892, p. 193.

    Google Scholar 

  38. G. Frege: Funktion und Begriff, Jena, 1891, p. 2 (In following notes this is designated: Frege 1891, with page indication).

    Google Scholar 

  39. It is interesting to note that Russell regressed from Frege and identified again the function with its analytical expression.

    Google Scholar 

  40. Frege 1891, p. 1. [This reference is wrong; not having found the corresponding original text, we directly translate what the author gives as quotation].

    Google Scholar 

  41. G. Frege: ‘Was ist eine Funktion?’ In: Festschrift Ludwig Boltzman gewidmet zum 60. Geburtstage, 20. Februar 1904, Leipzig, 1904, p. 658 (In following notes this is designated:Frege 1904 plus page indication).

    Google Scholar 

  42. Frege 1904, p. 665.

    Google Scholar 

  43. Grundgesetze I, p. 7.

    Google Scholar 

  44. For the explanation of this see below.

    Google Scholar 

  45. G. Frege: Funktion und Begriff, Jena, 1891.

    Google Scholar 

  46. In another place [iGrundgesetze I, § 9, p. 10] Frege observes that the Leibnizian-Boolean calculus was, as a whole, based on this law.

    Google Scholar 

  47. Grundgesetze I, p. 7.

    Google Scholar 

  48. Grundgesetze I, p. 8. Frege is speaking about a function with one argument.

    Google Scholar 

  49. Frege 1891, p. 16.

    Google Scholar 

  50. The assumption of the universality of the objective domain is only a sufficient (not necessary) condition of such an interpretation. See below.

    Google Scholar 

  51. This does not mean that Frege was aware of the true philosophical solution of the question about the universal and particular. About this, we shall speak later.

    Google Scholar 

  52. For the sake of simplicity, we limit ourselves to the consideration of whole numbers.

    Google Scholar 

  53. If classes are considered in different objective domains, then the Fregean “extension of the concept” does not coincide with the informal or contentful (soderzateVnoe) notion of class. Thus if we take the concept ξ > 2 in the domain of natural numbers and in the domain of integers, then the extension of this concept, considered in one domain, is not the same, according to Frege’s definition, as the extension of the same concept considered in the other domain; but, if the extension of a conceptis understood as a class of objects, then the extension of the given concept happens to be the same in both domains.

    Google Scholar 

  54. Briefe, p. 9.

    Google Scholar 

  55. Frege 1892, p. 204.

    Google Scholar 

  56. Before Dirichlet, Lobacevskij had such a conception of the function.

    Google Scholar 

  57. Grundgesetze 7, p. 16.

    Google Scholar 

  58. This program must not necessarily be strictly constructivistic. Given the function, it is possible to suppose some problems solved, i.e. to use not absolute algorithms but the so-called algorithm of reducibility.

    Google Scholar 

  59. A. Church: Introduction to Mathematical Logic, Princeton, 1956. § 04, note 66.

    Google Scholar 

  60. E. Kol’man:Predmet i metod sovremennoj matematiki [Object and Method of Contemporary Mathematics], Moscow, 1936, p. 40.

    Google Scholar 

  61. Frege 1895, p. 455.

    Google Scholar 

  62. Ibidem, p. 441.

    Google Scholar 

  63. Frege 1895, p. 455.

    Google Scholar 

  64. That, for Frege, properties were precisely properties of objects, is clear, for example, from his views on the ways of proving the consistency of mathematical statements. In the letter to Hilbert Frege says: “what means do we have to prove that certain properties or conditions (or whatever one calls it) are not in contradiction with one another? The only one I know is this: to indicate an object which possesses all these properties; to give a case where these conditions are completely fulfilled. Non-contradictoriness does not seem to be provable in another way/”

    Google Scholar 

  65. G. Frege: Kritische Beleuchtung einiger Punkte in E. Schroder’s Vorlesungen über die Algebra der Logik. In: Archiv für systematische Philosophie 1 (1895), p. 451. From Frege’s point of view we assert in a sentence some property (designated by the grammatical predicate: the concept-word) about an object (designated by the grammatical subject).

    Google Scholar 

  66. V. I. Lenin: FilosofsMe Tetradi [Philosophical Notebooks], 1947, p. 329.

    Google Scholar 

  67. Frege, Grundgesetze II, p. 86.

    Google Scholar 

  68. Frege 1892, p. 35.

    Google Scholar 

  69. Grundgesetze I, p. XV.

    Google Scholar 

  70. Frege 1950, p. VII.

    Google Scholar 

  71. Grundgesetze I, p. XVII.

    Google Scholar 

  72. Ibidem.

    Google Scholar 

  73. About the antinomy of Russell, see below.

    Google Scholar 

  74. Frege 1891, p. 20.

    Google Scholar 

  75. Ibidem.

    Google Scholar 

  76. We are not considering here the other assumptions required for obtaining the Russellian antinomy. To them belong, e.g. the authorization to write definitions (the principle of reduction). We leave this aside, because in our problem does not enter either the consideration of all the conditions of obtaining this antinomy or a resumé of the different solutions of it.

    Google Scholar 

  77. Grundgesetze II, p. 253.

    Google Scholar 

  78. Ibidem.

    Google Scholar 

  79. D. Hilbert: Die Grundlagen der Geometrie [References are given to the Moscow-Leningrad edition of 1948, pp. 323–324].

    Google Scholar 

  80. Grundgesetze I, p. 1.

    Google Scholar 

  81. Frege 1950, p. V.

    Google Scholar 

  82. Frege 1950, p. X.

    Google Scholar 

  83. Even if Frege’s attempt had been successful, this would not have meant that he would have succeeded in providing, by means of his system, for the whole of contentful arithmetic. In the year 1931, K. Gödel showed the impossibility of formalizing all contentful arithmetic of whole positive numbers in such systems as Frege’s and Russell’s. Frege, surely, did not know this. He thought that he had succeeded in formalizing all of contentful arithmetic.

    Google Scholar 

  84. R. Carnap: ‘Mathematik als Zweig der Logik’ Blätter für deutsche Philosophie 4 (1930) 299.

    Google Scholar 

  85. On the question of the relations of mathematics and logic, see the article of A. D. Getmanova in the collective work Logiceskie Issledovanija [Logical Investigations], USSR Academy of Sciences, 1959.

    Google Scholar 

  86. Grundgesetze I, p. 1.

    Google Scholar 

  87. Th. Ziehen: Lehrbuch der Logik auf positivistischer Grundlage mit Berücksichtigung der Geschichte der Logik, Bonn, 1920, pp. 182, 232.

    Google Scholar 

  88. H. Scholz: Geschichte der Logik, Berlin 1931, p. 57. On page 4 of this work, Scholz says that Bolzano and Frege were the two greatest logicians of the nineteenth century.

    Google Scholar 

  89. Translations from the Philosophical Writings of G. Frege. Edited by P. Geach and M. Black, Oxford, 1952.

    Google Scholar 

Download references

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1964 D. Reidel Publishing Company, Dordrecht, Holland

About this chapter

Cite this chapter

Birjukov, B.V. (1964). On Frege’s Works on Philosophical Problems of Mathematics. In: Two Soviet Studies on Frege. Sovietica, vol 15. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-3611-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-94-010-3611-5_1

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-3613-9

  • Online ISBN: 978-94-010-3611-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics