×

“The true” in Gottlob Frege’s “Über die Grundlagen der Geometrie”. (English) Zbl 0568.01013

In this essay the author examines the metaphysical and metalogical ramifications of Gottlob Frege’s controversy with David Hilbert and Alwin Korselt, over Hilbert’s ”Grundlagen der Geometrie”. In this respect Frege’s position was rather the conviction of a ”monistic notion of truth”, according to which theoretical sense and reference (mathematical and other) ”must” be ”uniquely solvable”. ”No one can serve two masters. One cannot serve truth and untruth. If Euclidean geometry is true non-Euclidean geometry is false, and if non-Euclidean [geometry] is true, Euclidean geometry if false.”
In contrast with this position stands Hilbert’s belief, ”puzzling” according to the author, that whatever is consistent in some sense ”exists”. In opposition to Frege, Hilbert’s, as well as Korselt’s attitude was rather the position of a ”logical relativism”. This is not the place where a detailed discussion (according to the author’s views) of the entire metatheoretical ”Neuland” (”unexplored territory”) opened at that past time could be performed. Recent opinions of Michael Resnick, Michael Dummet and Friedrich Kambartel are also discussed, which emphasize some constructive aspects of Frege’s argument, but according to the author ”pass over in silence the ways in which the monism undermines them”. The author concludes against the ”pervasively dogmatic presumption” contained in Frege’s conception and finishes with observations we give summarized here: ”The exploration of the Neuland in the two stages or levels, as it were: FREGE opened up the object- theoretical level: the still-unexplored structure of quantification over numbers. it remained for his successors to codify the structures of genuine metatheoretic quantification over theories about quantification over numbers”, etc.
Reviewer: W.G.Engel

MSC:

01A60 History of mathematics in the 20th century
00A30 Philosophy of mathematics
03-03 History of mathematical logic and foundations

Biographic References:

Frege, Gottlob
Full Text: DOI

References:

[1] Bartlett, James. ?Funktion und Gegenstand. Eine Untersuchung in der Logik von Gottlob Frege.? Ph. D. dissertation, University of Munich, 1961.
[2] Boos, William, ?Limits of Inquiry?, Erkenntnis 20 (1983), 150-194. · doi:10.1007/BF00153958
[3] Cantor, Georg. Gesammelte Abhandlungen. Berlin: Springer-Verlag, 1933; reprint Hildesheim: Olms Verlag, 1966.
[4] Dedekind, Richard. Was sind und was sollen die Zahlen. 10th ed. Braunschweig: Friedrich Vieweg und Sohn, 1969. · JFM 25.0115.05
[5] Dummett, Michael. ?Frege on the Consistency of Mathematical Theories,? in [Schirn 1975], Studies on Frege, edited by Matthias Schirn, pp. 229-42.
[6] Frege, Gottlob. ?Kritische Beleuchtung einiger Punkte in E. Schröders Vorlesungen über die Algebra der Logik,? Archiv für Systematische Philosophie 1, pp. 433-56. Reprinted in [Frege 1960].
[7] Frege, Gottlob. ?Über die Grundlagen der Geometrie,? I und II. Jahresberichte der Deutschen Mathematikvereinigung, XII (1903): 319-329, 368-75. · JFM 34.0525.02
[8] Frege, Gottlob. ?Über die Grundlagen der Geometrie, I, II, and III, Jahresberichte der Deutschen Mathematikvereinigung, XV (1906): 293-309, 377-403, and 423-430. · JFM 37.0485.01
[9] Frege, Gottlob. Funktion, Begriff, Bedeutung, Fünf Logische Studien, ed. Günther Patzig. Göttingen: Vandenhoeck und Ruprecht, 1962.
[10] Frege, Gottlob. Grundgesetze der Arithmetik. Band I. Jena: Phole Verlag, 1893; Band II. Jena: Pohle Verlag, 1903; Olms Verlag, 1962.
[11] Frege, Gottlob. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: L. Nebert, 1879: reprint Begriffsschrift und andere Aufsätze, edited by Ignacio Angelelli. Hildesheim: Olms Verlag, 1964.
[12] Frege, Gottlob. Logische Untersuchungen, ed. Günther Patzig. Göttingen: Vandenoeck und Ruprecht, 1966.
[13] Frege, Gottlob. Kleine Schriften, ed. Ignacio Angelelli. Hildesheim: Olms Verlag, 1967.
[14] Frege, Gottlob. Nachgelassene Schriften, ed. Hans Hermes, Friedrich Kambartel und Friedrich Kaulbach. Hamburg: Felix Meiner Verlag, 1969.
[15] Frege, Gottlob. Die Grundlagen der Arithmetik. Breslau: Verlag von Wilhelm Koebner, 1884; reprint translated J. L. Austin, Oxford: Basil Blackwell, 1974.
[16] Frege, Gottlob. Wissenschaftlicher Briefwechsel, ed. Gottfried Gabriel et al. Hamburg: Felix Meiner Verlag, 1976.
[17] Frege, Gottlob. Die Grundlagen der Arithmetik. Breslau: Verlag von Wilhelm Koebner, 1884; reprint Hildesheim: Olms Verlag, 1977.
[18] Freudenthal, Hans. ?The Main Trends in the Foundations of Geometry in the 19th Century?, in [Nagel, Suppes, Tarski], Logic, Methodology and Philosophy of Science, ed. Ernest Nagel, Patrick Suppes & Alfred Tarski. Stanford: Stanford University Press, 1962, pp. 613-21.
[19] Goldfarb, Warren. ?Logic in the Twenties: the Nature of the Quantifier.? Journal of Symbolic Logic, 44, 3 (1979): 351-368. · Zbl 0438.03001 · doi:10.2307/2273128
[20] Henkin, Leon. ?Completeness in the Theory of Types.? Journal of Symbolic Logic, 15 (1950): 81-91. · Zbl 0039.00801 · doi:10.2307/2266967
[21] Henkin, Leon, Suppes, Patrick & Tarski, Alfred. The Axiomatic Method. Amsterdam: North Holland Publishing Company, 1958. · Zbl 0088.24414
[22] Kambartel, Friedrich. ?Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie,? in [Schirn 1975], Studies in Frege, edited by Matthias Schirn, pp. 215-28.
[23] Hilbert, David. ?Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongress zu Paris 1900,? Archiv der Mathematik und Physik, 3rd series, 1 (1901), pp. 44-63, 213-37; reprinted in [Hilbert 1935], Hilbert, David, Gesammelte Abhandlungen, Berlin: Springer Verlag, 1935, pp. 290-329.
[24] Hilbert, David. Grundlagen der Geometrie, 2nd ed. Leipzig: Teubner Verlag, 1903.
[25] Hilbert, David. ?Über die Grundlagen der Logik und der Arithmetik.? Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904. Leipzig: Teubner Verlag, 1905.
[26] König, Julius. ?Zum Kontinuum-Problem.? Mathematische Annalen, 60 (1905): 177-80, in [van Heijenoort 1967], From Frege to Gödel, edited by Jan van Heigenoort, pp. 145-49. · JFM 36.0097.01 · doi:10.1007/BF01677263
[27] Korselt, Alwin. ?Über die Grundlagen der Geometrie.? Jahresberichte der Deutschen Mathematikervereinigung, 12 (1903): 402-407. · JFM 34.0525.03
[28] Korselt, Alwin. ?Über die Grundlagen der Mathematik.? Jahresberichte der Deutschen Mathematikervereinigung, 14 (1905): 365-389. · JFM 36.0082.02
[29] Korselt, Alwin. ?Paradoxien in der Mengenlehre.? Jahresberichte der Deutschen Mathematikervereinigung, 15 (1906): 215-19. · JFM 37.0068.03
[30] Korselt, Alwin. ?Über die Logik der Geometrie.? Jahresberichte der Deutschen Mathematikervereinigung, 17 (1908): 98-124. · JFM 39.0540.04
[31] Largeault, Jean. Logique et philosophie chez Frege. Publications de la Faculté des Lettres et Sciences de Paris-Sorbonne, Série ?Recherches?, tome 50. Louvain: Editions Nauwelaerts, 1970.
[32] Nagel, Ernest, Patrick Suppes & Alfred Tarski, eds. Logic, Methodology and Philosophy of Sciences. Stanford: Standford University Press, 1962.
[33] Pascal, Blaise. ?De l’espirit géométrique,? in Oeuvres Complètes edited Louis Lafuma. Paris: Editions du Seuil, 1963, pp. 348-55 (written before 1658, first published in full in 1844).
[34] Reinhardt, William. ?Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings,? in Thomas Jech, ed.. Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, vol. 13, 2. Providence: American Mathematical Society, pp. 189-205.
[35] Resnick, Michael. ?The Frege-Hilbert Controversy.? Philosophy and Phenomenological Research, 34 (1973-74): 386-403. · doi:10.2307/2107085
[36] Schirn, Matthias, ed. Studies in Frege. Stuttgart/Bad Constalt: Fromann-Holzboog-Verlag, 1975. · Zbl 0953.03005
[37] Schröder, Ernst, Vorlesungen über die Algebra der Logik (Exakte Logik), Leipzig: B. G. Teubner Verlag, 1890.
[38] Skolem, Thoralf, ?Über die Nichtcharakterisierbarkeit mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen, Fundamenta Mathematicae 23 (1934), pp. 150-61. · JFM 60.0025.02
[39] Sluga, Hans. Gottlob Frege. London: Routledge and Kegan Paul, 1980.
[40] Thiel, Christian. Sinn und Bedeutung in der Logik Gottlob Freges. Meisenheim am Glan: Verlag Anton Hain, 1965.
[41] Von Kutschera, Franz. Die Antinomien der Logik. Freiburg im Breisgau: Karl Alber Verlag, 1965.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.