|Gottlob Frege (1848-1925)|
On November 8, 1848, German mathematician, logician and philosopher Gottlob Frege was born. He is considered as one of the fathers of modern mathematical logic and has developed the Begriffsschrift, an approach to put classical philosophical logic into a formal mathematical language. While he was mainly ignored by the intellectual world when he published his writings, Giuseppe Peano and Bertrand Russell introduced his work to later generations of logicians and philosophers.
And again, unless you are a mathematician, a computer science especially dedicated to logics, or a philosopher, you might have probably never heart of Gottlob Frege. I learned about Gottlob Frege, when I was working as a postdoc at the University of Jena, Germany, because Gottlob Frege was one of the historical (scientific) heroes of the University of Jena. Nevertheless, he had to struggle for many years with the university to get his professorship fully acknowledged, but this is another story. Let’s get back to Frege and his achievements in mathematics and logics.
Gottlob Frege was born on November 8, 1848 in Wismar, in the state of Mecklenburg-Schwerin as son of Carl Alexander Frege, the headmaster of a girls’ high school, and Auguste Wilhelmine Sophie Frege. Already in childhood, Frege encountered philosophies that would guide his future scientific career as his father wrote a textbook on the German language for children aged 9–13, the first section of which dealt with the structure and logic of language. Gottlob Frege visited the gymnasium in Wismar and graduated in 1869. Encouraged by his teacher Leo Sachse, Frege went to the University of Jena. By that time, Europe went through a lot of changes during the two years that he studied there. Prussia led the German states to victory over France in the Franco-Prussian War of 1870-71 and in 1871 the German Reich (German Empire), with William I of Prussia as its emperor, came into existence.
|Notation for Frege’s Begriffsschrift|
At Jena Frege was taught by Ernst Abbe and after two years Frege continued his education entering the University of Göttingen in 1871 where he studied courses in mathematics, physics, chemistry and philosophy. He attained his doctorate in 1873 from Göttingen. Frege’s most important contribution to mathematics was in the field of logics. His “Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens” (Concept-Script: A Formal Language for Pure Thought Modeled on that of Arithmetic) in 1879 marked a turning point in the history of logic. It broke new ground, including a rigorous treatment of the ideas of functions and variables. Frege wanted to show that mathematics grows out of logic, but in so doing, he devised techniques that took him far beyond the Aristotelian syllogistic and Stoic propositional logic that had come down to him in the logical tradition.
“Every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician.” (Gottlob Frege)
Frege invented axiomatic predicate logic, in large part thanks to his invention of quantified variables, which eventually became ubiquitous in mathematics and logic, and which solved the problem of multiple generality. While the existing logic had dealt with the logical constants only and operators like and, or, if… then…, not, especially notions like ‘some’ and ‘all’, including iterations of these operations, were little understood. The analysis of logical concepts and the machinery of formalization developed by Frege was the essential foundation for Bertrand Russel’s Principia Mathematica, as well as for Kurt Gödel’s incompleteness theorems.
“A judgment, for me is not the mere grasping of a thought, but the admission of its truth.” (Gottlob Frege, On Sense and Reference, 1892)
Besides his mathematical achievements, Frege also distinguished himself as a philosopher. He is one of the founders of analytic philosophy, mainly because of his contributions to the philosophy of language. Frege was described by his students as a highly introverted person, seldom entering into dialogue, mostly facing the blackboard while lecturing though being witty and sometimes bitterly sarcastic. Frege retired from his professorship in Jena in 1917. In 1923 Frege came to the conclusion that his original aim throughout most of his career, namely to found arithmetic on logic, was wrong. He decided instead that one had to base the whole of mathematics on geometry, but was not able to finish his work before his death in 1924.
At yovisto, you can learn more about the history of mathematical logics in the lecture of Prof Christos H. Papadimitriou on the Graphic Novel ‘Logicomix: An Epic Search for Truth‘.
References and Further Reading
- Gottlob Frege at McTutor’s history of Mathematics
- A comprehensive guide to Fregean material available on the web by Brian Carver.
- Gottlob Frege in the Stanford Encyclopedia of Philosophy
- Gottlob Frege: On Sense and Reference (original writing of Frege translated in English)
- Algorithm and Blues, a Review of the graphic novel Logicomix: An Epic Search of Truth from the New York Times
- Gottlob Frege and his mathematical writings at zbMATH
- Gottlob Frege at Wikidata
- Timeline for Gottlob Frege, via Wikidata
Related Articles at yovisto blog:
- Augustus de Morgan and Formal Logics
- George Boole – The Founder of Modern Logics
- Giuseppe Peano and the Axiomatization of Mathematics
- The time you enjoy wasting is not wasted time – Bertrand Russell, Logician and Pacifist
- Charles Sanders Peirce and Semiotics
- Ernst Abbe – Brilliant Engineer and Social Reformer
- Kurt Gödel and the Foundations of Mathematics
- It’s computable – Thanks to Alonzo Church
- Churchill’s Best Horse in the Barn – Alan Turing, Codebreaker and AI Pioneer
- all articles at yovisto blog related to logics
- all articles at yovisto blog related to mathematics