Gottlob Frege

From New World Encyclopedia

Friedrich Ludwig Gottlob Frege

Friedrich Ludwig Gottlob Frege (November 8, 1848, Wismar – July 26,925, Bad Kleinen) was a German mathematician who became a logician and philosopher. He helped found both modern mathematical logic and analytic philosophy. Although he remained obscure during his lifetime, especially to English-speaking logicians, mathematicians, and philosophers, he has now come to be regarded as one of the four or so most important logicians in all of human history.

Life

Frege's father was a schoolteacher whose specialty was mathematics. Frege began his studies at the University of Jena in 1869, moving to Göttingen after two years, where he received his Ph.D. in mathematics, in 1873. According to Sluga (1980), the nature of Frege's university education in logic and philosophy is still unclear. In 1875, he returned to Jena as a lecturer. In 1879, he was made associate professor, and in 1896, professor. His children all having died before reaching maturity, he adopted a son in 1905. Frege retired in 1918 and wrote until his death.

Frege's work was not widely appreciated during his lifetime, although he did debate in print, and correspond with, Ernst Schroder, Peano, Husserl, and Cantor. Bertrand Russell discovered Frege's writings around 1900 and became an admirer, as did Ludwig Wittgenstein somewhat later. These admirers assured Frege's influence and reputation in certain restricted circles. Frege had but one student of note, albeit a consequential one: Rudolf Carnap. Frege's work became widely known in the English-speaking world only after World War II; English translations of Frege's writings, which first appeared in 1950, came to have an enormous influence on analytic philosophy. Frege also became better known thanks to the emigration to the United States of central European philosophers and logicians who knew and respected Frege's work, including Carnap, Alfred Tarski, and Kurt Gödel.

Logician

Frege is widely regarded today as a logician on a par with Aristotle, Kurt Gödel, and Alfred Tarski. His 1879 Begriffsschrift (Concept Script) marked a turning point in the history of logic. The Begriffsschrift broke much new ground, including a clean treatment of functions and variables. Frege wanted to show that mathematics grew out of Aristotelian logic, but in so doing devised techniques that took him far beyond that logic. In effect, he invented axiomatic predicate logic, in large part thanks to his invention of quantified variables, which eventually became ubiquitous in mathematics and logic, and solved the medieval problem of multiple generality in which traditional logic could not prove certain intuitively obvious inferences. Hence the logical machinery essential to Bertrand Russell's theory of descriptions and Principia Mathematica (with Alfred North Whitehead), and to Gödel's incompleteness theorems, is ultimately due to Frege.

Frege was a major advocate of the view that arithmetic is reducible to logic, a view known as logicism. In his Grundgesetze der Arithmetik (1893, 1903), published at its author's expense, he attempted to derive the laws of arithmetic from axioms he asserted as logical. Most of these axioms were carried over from his Begriffsschrift, though not without some significant changes. The one truly new principle was one he called the Basic Law V: the "value-range" of the function f(x) is the same as the "value-range" of the function g(x) if and only if ∀x[f(x) = g(x)]. In modern notation and terminology, let {x|Fx} denote the extension of the predicate Fx, and similarly for Gx. Then Basic Law V says that the predicates Fx and Gx have the same extension iff ∀x[FxGx].

As Vol. 2 of the Grundgesetze was about to go to press in 1903, Bertrand Russell wrote to Frege, showing how to derive [[Russell's paradox] from Basic Law V. (This letter and Frege's reply thereto are translated in Jean van Heijenoort 1967.) Russell had shown that the system of the Grundgesetze was inconsistent. Frege wrote a hasty last-minute appendix to vol. 2, deriving the contradiction and proposing to eliminate it by modifying Basic Law V. Frege's proposed remedy was subsequently shown to imply that there is but one object in the universe of discourse, and hence is worthless.

Recent work has shown, however, that much of the Grundgesetze can be salvaged in any of several ways:

  • Basic Law V can be weakened in ways that restore the consistency of Frege's system. The best-known way is due to George Boolos. A "concept" F is classed as "small" if the objects falling under F cannot be put in 1-to-1 correspondence with the universe of discourse, that is, if: ¬∃R[R is 1-to-1 & ∀xy(xRy & Fy)]. Now weaken V to V*: a "concept" F and a "concept" G have the same "extension" if and only if neither F nor G is small or ∀x(FxGx). V* is consistent if second-order arithmetic is, and suffices to prove the axioms of second-order arithmetic.
  • Replace Basic Law V with Hume's Principle, which says that the number of Fs is the same as the number of Gs if and only if the Fs can be put into a one-to-one correspondence with the Gs. This principle too is consistent for second-order arithmetic, and suffices to prove the axioms of second-order arithmetic. This result is anachronistically termed Frege's Theorem. On Hume's Principle and Frege's Theorem, see [1].
  • Frege's logic, now known as second-order logic, can be weakened to so-called predicative second-order logic. However, this logic, although provably consistent by finitistic or constructive methods, can interpret only very weak fragments of arithmetic.

Frege's work in logic was little recognized in his day, in considerable part because his peculiar diagrammatic notation had no antecedents; it has since had no imitators. Moreover, until Principia Mathematica appeared, 1910-1913, the dominant approach to mathematical logic was that of George Boole and his descendants, especially Ernst Schroder. Frege's logical ideas nevertheless spread through the writings of his student Rudolf Carnap and of other admirers, particularly Bertrand Russell.

Philosopher

Frege is one of the founders of analytic philosophy, mainly because of his contributions to the philosophy of language, including the:

  • Function-argument analysis of the proposition;
  • Distinction between the sense and reference (Sinn und Bedeutung) of a proper name (Eigenname);
  • Mediated reference theory;
  • Distinction between concept and object (Begriff und Gegenstand);
  • Context principle;
  • Principle of compositionality.

As a philosopher of mathematics, Frege loathed appeals to psychologistic or "mental" explanations for meanings (such as idea theories of meaning). His original purpose was very far from answering questions about meaning; instead, he devised his logic to explore the foundations of arithmetic, undertaking to answer questions such as "What is a number?" or "What objects do number-words ("one," "two," etc.) refer to?" But in pursuing these matters, he eventually found himself analysing and explaining what meaning is, and thus came to several conclusions that proved highly consequential for the subsequent course of analytic philosophy and the philosophy of language.

It should be kept in mind that Frege was employed as a mathematician, not a philosopher, and published his philosophical papers in scholarly journals that often were hard to access outside of the German speaking world. He never published a philosophical monograph and the first collections of his writings appeared only after WWII. Hence despite Bertrand Russell's generous praise, Frege was little known as a philosopher during his lifetime. His ideas spread chiefly through those he influenced, such as Russell, Wittgenstein, and Rudolf Carnap, and through Polish work on logic and semantics.

"Der Gedanke: Eine logische Untersuchung" ("Thought: A Logical Investigation")

A great deal of Frege's writings were not translated into English until the 1950s. Thought, is one of those such writings. It was published in 1918 as the first part of a series of three papers entitled "Logical Investigations." Along with "On Sense and Reference," it is one of Frege's most influential and widely discussed papers" (Beaney, 1997). Thought is filled with great quotes and is a treasure chest for anyone interested in Frege. Here is one of those quotes:

"Just as 'beautiful' points the way for aesthetics and 'good' for ethics, so do words like 'true' for logic."

"Über Sinn und Bedeutung" ("On Sense and Reference")

The distinction between Sinn and Bedeutung (usually but not always translated as Sense and Reference) was an innovation of Frege in his 1892 paper Über Sinn und Bedeutung (On Sense and Reference), which is still widely read today. According to Frege, sense and reference are two different aspects of the meaning of at least some kinds of terms (Frege applied "Bedeutung" mainly to proper names and, to a lesser extent, sentences). Roughly, a term's reference is the object it refers to and its sense is the way in which it refers to that object.

References
ISBN links support NWE through referral fees

Primary sources

  • 1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle a. S.: Louis Nebert. Translation: Concept Script, a formal language of pure thought modelled upon that of arithmetic. by S. Bauer-Mengelberg in Jean Van Heijenoort. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, 2002. ISBN 9780674324497
  • 1884. Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff der Zahl. Breslau: W. Koebner. Translation: J. L. Austin. The Foundations of Arithmetic: A logico-mathematical enquiry into the concept of number. Northwestern University Press, 1980. ISBN 9780810106055
  • 1891. "Funktion und Begriff." Translation: "Function and Concept" in Geach and Black (1980).
  • 1892a. "Über Sinn und Bedeutung" in Zeitschrift für Philosophie und philosophische Kritik 100: 25-50. Translation: "On Sense and Reference" in Geach and Black (1980).
  • 1892b. "Über Begriff und Gegenstand" in Vierteljahresschrift für wissenschaftliche Philosophie 16: 192-205. Translation: "Concept and Object" in Geach and Black (1980).
  • 1893. Grundgesetze der Arithmetik, Band I. Jena: Verlag Hermann Pohle. Band II. 1903. Translation: The Basic Laws of Arithmetic. University of California Press, 1982. ISBN 9780520047617
  • 1904. "Was ist eine Funktion?" in Meyer, S., ed., 1904. Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, 20. Februar 1904. Leipzig: Barth: 656-666. Translation: "What is a Function?" in Geach and Black (1980).
  • Peter Geach and Max Black, eds., and trans. Translations from the Philosophical Writings of Gottlob Frege. Rowman & Littlefield Pub Inc, 1980. ISBN 9780847662876

Frege intended that the following three papers be published together in a book titled Logical Investigations. Yale University Press, 1977. ISBN 9780300021271

  • 1918-1919. "Der Gedanke: Eine logische Untersuchung (Thought: A Logical Investigation)" in Beiträge zur Philosophie des Deutschen Idealismus I: 58-77.
  • 1918-19. "Die Verneinung" (Negation)" in Beiträge zur Philosophie des deutschen Idealismus I: 143-157.
  • 1923. "Gedankengefüge (Compound Thought)" in Beiträge zur Philosophie des Deutschen Idealismus III: 36-51.

Secondary sources

  • Anderson, D. J., and Edward Zalta, 2004, "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1-26.
  • Boolos, George. Logic, Logic, and Logic. Contains several papers on Frege's philosophy of arithmetic and logic. Harvard University Press, 1999. ISBN 9780674537675
  • Diamond, Cora. The Realistic Spirit. Ostensibly about Wittgenstein, but contains several valuable articles on Frege. The MIT Press, 1995. ISBN 9780262540742
  • Dummett, Michael. Frege: Philosophy of Language. Harvard University Press, 1993. ISBN 9780674319318
  • Dummett, Michael. The Interpretation of Frege's Philosophy. Harvard University Press, 1987. ISBN 9780674459762
  • Dummett, Michael. Frege: Philosophy of Mathematics. Harvard University Press, 1995. ISBN 9780674319363
  • Demopoulos, William. Frege's Philosophy of Mathematics. Harvard University Press, 1997. ISBN 9780674319431 (Explores the significance of Frege's theorem, and his mathematical and intellectural background.)
  • Ferreira, F. and Wehmeier, K., 2002, "On the consistency of the Delta-1-1-CA fragment of Frege's '"Grundgesetze," Journal of Philosophic Logic 31: 301-311.
  • Grattan-Guinness, Ivor. The Search for Mathematical Roots 1870-1940. Princeton University Press, 2001. ISBN 9780691058580 (Fair to the mathematician, less so to the philosopher.)
  • Gillies, Douglas A; Gillies, Dee Ann. Frege, Dedekind, and Peano on the foundations of arithmetic. Longwood Pr Ltd, 1982. ISBN 9789023218883
  • Hatcher, William. The Logical Foundations of Mathematics. Pergamon, 1981. ISBN 9780080258003 (Devotes an entire chapter to the system of the Grundgesetze, recast in modern notation, and derives Peano axioms in this system using natural deduction.)
  • Hill, C. O. Word and Object in Husserl, Frege and Russell: The Roots of Twentieth-Century Philosophy. Ohio University Press, 1991. ISBN 9780821410028
  • __________, and Rosado Haddock, G. E. Husserl or Frege?: Meaning, Objectivity, and Mathematics. Open Court Publishing Company, 2003. ISBN 9780812695380 (On the Frege-Husserl-Cantor triangle.)
  • Sluga, Hans. Gottlob Frege. Routledge Kegan & Paul, 1980. ISBN 9780710004741
  • Weiner, Joan. Frege in Perspective. Cornell University Press, 1990. ISBN 9780801421150
  • Wright, Crispin and C. Wright. Frege's Conception of Numbers as Objects. Aberdeen University Press, 1983. ISBN 9780080257266 (Written from the viewpoint of a modern philosopher of language and logic, contains a systematic exposition and limited (i.e. scope-restricted) defense of Frege's Grundlagen conception of numbers.)

External links

All links retrieved June 27, 2017.

General Philosophy Sources

Credits

New World Encyclopedia writers and editors rewrote and completed the Wikipedia article in accordance with New World Encyclopedia standards. This article abides by terms of the Creative Commons CC-by-sa 3.0 License (CC-by-sa), which may be used and disseminated with proper attribution. Credit is due under the terms of this license that can reference both the New World Encyclopedia contributors and the selfless volunteer contributors of the Wikimedia Foundation. To cite this article click here for a list of acceptable citing formats.The history of earlier contributions by wikipedians is accessible to researchers here:

The history of this article since it was imported to New World Encyclopedia:

Note: Some restrictions may apply to use of individual images which are separately licensed.