Read More
Date: 26-1-2017
146
Date: 24-1-2017
169
Date: 31-1-2017
154
|
Died: 26 July 1925 in Bad Kleinen, Germany
Gottlob Frege's parents were Alexander Frege and Auguste Bialloblotzky. Alexander Frege was the head of a girls' high school in Wismar and it was in that town that Gottlob was born. Wismar, in northern Germany, is situated on an inlet of the Baltic Sea. It had been administered by the Mecklenburg-Schwerin state since 1803 but at the time when Gottlob was born there, the town was still claimed by Sweden, the country which had controlled it from the Peace of Westphalia in 1648 until 1803. It is thought that Gottlob's mother was from a family which did not originate in that area but was probably of Polish origin.
Gottlob grew up in Wismar, attending the local Gymnasium where he was taught by Leo Sachse. It was almost certainly through following Sachse's advice that Frege chose to go to the University of Jena to continue his studies and in general Sachse had a large influence on his young student (see for example [48] and [54]). Frege was proud to live in the state of Mecklenburg, he loved the ducal house of Mecklenburg, and certainly believed in this form of government rather than a democratically elected one. A period of great political change in this part of Europe was approaching and events began to move quickly in 1866. Before looking at these events, however, we should note that 1866 was the year in which Alexander Frege, Gottlob's father, died.
In fact the political change which set events in motion was Otto von Bismarck becoming prime minister of Prussia in 1862. Bismarck saw that Prussia's leading role would be best served by the unification of the German states such as Mecklenburg, but Austria opposed this course. The resulting Seven Weeks' War in 1866 saw Mecklenburg side with Prussia against Austria and the Prussian victory led to the setting up of the North German Confederation, with Mecklenburg as a member, in 1867. When Frege went to the University of Jena in 1869 it was a politically changed Europe, and during the two years that he studied there more changes were to take place. 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.
At Jena Frege was taught by Ernst Abbe and K Fischer. After his two years of study at the University of Jena, Frege continued his education in 1871 entering the University of Göttingen where he studied courses in mathematics, physics, chemistry and philosophy. He received his doctorate in 1873 from Göttingen for a dissertation Über eine geometrische Darstellung der imaginären Gebilde in der Ebene, in which he tried to lay down foundations for a portion of geometry. The thesis was published at Jena in the same year that he was awarded his doctorate. Supported by Abbe, he presented his habilitationRechnungsmethoden, die sich auf eine Erweitung des Grössenbegriffes gründen, essentially a work on abelian groups and invariant theory, to the University of Jena in 1874 and was appointed as a Privatdozent in mathematics in Jena in May of that year. He taught there for the rest of his career, carrying out his job quietly with minimal contacts with his students and colleagues. However Rudolf Eucken was a colleague of Frege's for more than 40 years in the faculty of philosophy with whom he had close scientific contacts. Eucken - like Russell and Sartre - was one of the few philosophers who were awarded the Nobel Prize in Literature (1908). Before Frege had published any of his major pieces of work, his mother died in 1878.
Frege was one of the founders of modern symbolic logic putting forward the view that mathematics is reducible to logic. He lectured on all branches of mathematics, in particular analytic geometry, calculus, differential equations, and mechanics, although his mathematical publications outside the field of logic are few. His writings on the philosophy of logic, philosophy of mathematics, and philosophy of language are of major importance. He once said:-
Every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician.
In 1879 Frege published his first major work Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Conceptual notation, a formal language modelled on that of arithmetic, for pure thought). A George and R Heck write in [45]:-
In 1879, with extreme clarity, rigour and technical brilliance, he first presented his conception of rational justification. In effect, it constitutes perhaps the greatest single contribution to logic ever made and it was, in any event, the most important advance since Aristotle. For the first time, a deep analysis was possible of deductive inferences involving sentences containing multiply embedded expressions of generality. Furthermore, he presented a logical system within which such arguments could be perspicuously represented: this was the most significant development in our understanding of axiomatic systems since Euclid.
In this work Frege presented for the first time what we would recognise today as a logical system with negation, implication, universal quantification, essentially the idea of truth tables etc., but what would not be recognisable today is the notation which Frege used. For the implication A → B, Frege used a notation which was placed across two lines with A being written on the line below B. It is not hard to see why his notation has not survived, but we should not allow this in any way to diminish the magnitude of his achievement. The publication of the Begriffsschrift was followed in the same year by Frege's promotion, again supported by Abbe, to Extraordinary Professor at Jena but on the whole his remarkable work led to surprisingly little recognition for him. Very few people seemed to be able to appreciate the importance of this landmark publication. However, in contrast to his later treatises, the Begriffsschrift received six reviews: from Reinhold Hoppe, John Venn, Paul Tannery, Kurd Lasswitz, Karl Michaëlis and Ernst Schröder. The first three of these reviews, however, show that their authors are uninterested in Frege's treatise, while the latter three, despite some criticisms, are more sympathetic (see [81] for more details).
It is reasonable to ask what prompted Frege to produce the revolutionary Begriffsschrift. He wanted to have a precise way of stating results and of proving them, for he realised the difficulties of using ordinary language which was necessarily imprecise and ambiguous. He stated in the Preface to the work that he wanted to prove the basic truths of arithmetic "by means of pure logic". This aim makes Frege the first to fully develop the main thesis of logicism, that mathematics is reducible to logic. However, we should note that he only applied the thesis to number theory and real analysis. His next major work Die Grundlagen der Arithmetik (The Foundations of Arithmetic), published in 1884, was written to achieve the aim that he had clearly set out in the Preface to the earlier work and present an axiomatic theory of arithmetic.
After setting his agenda at the start of the Grundlagen, Frege looked at the contributions made by previous mathematicians to two fundamental questions:-
What are numbers? What is the nature of arithmetical truth?
In fact he demolishes all earlier attempts to answer these questions with brilliant clarity. Perhaps it will come as a surprise to readers of this article to learn that all attempts to define "number" before Frege contained logical errors. Indeed this is precisely what he showed, for these earlier definitions had confused the idea of "number" with that of "plurality". The plurality "two" refers to a collection of two objects, for example two chairs, two pencils, two houses, etc. The number "two" is, however, the class of all instances of the "plurality two" and so is a "plurality of pluralities" and the logical error which had been made in not recognising this meant that before Frege's Grundlagen nobody had managed to give a logically correct definition of "number". Frege then went on to give his own definitions of the basic concepts of arithmetic based purely on logic, and from these he deduced, again using pure logic, the basic laws of arithmetic. Dummett writes [39]:-
The work is fascinating even for those quite uninterested in the philosophy of mathematics, since in the course of it many ideas are presented which are of significance for the whole of philosophy.
What was the reaction to the Grundlagen from mathematicians and philosophers? One might have expected an enormous amount of interest, but this did not materialise. The Grundlagen only received a single review and that was by Cantor. What did Cantor think of this brilliant book? Dummett writes that the review [2]:-
... was a devastatingly hostile one by Georg Cantor, the mathematician whose ideas were the closest to Frege's, who had not bothered to understand Frege's book before subjecting it to totally unmerited scorn.
The Grundlagen was a non-technical work, written without symbolism and with only sketches of proofs, which Frege saw as a first step towards the realisation of his goal of defining a precise logical framework in which to set up the basic concepts of arithmetic and to deduce the rules of arithmetic. Although he was extremely disappointed at the reaction to the Grundlagen nevertheless in the following years he wrote a number of articles which polished and extended the ideas which he would need to carry out his project. Dummett calls these:-
... a series of brilliant philosophical articles in which he elaborated his philosophy of logic.
Let us look briefly at one of these, namely Über Sinn und Bedeutung (On sense and reference) published in 1892. In this he gives his famous argument to show that sense and reference are distinct. His example concerns the planet Venus which was known as "the evening star" and as "the morning star" before it was realised that both were Venus. Frege argues: "the evening star" = "the morning star" does not have the same sense as "the evening star" = "the evening star" so "the evening star" does not have the same sense as "the morning star". However "the evening star" and "the morning star" refer to the same object so the reference of "the evening star" is distinct from its sense.
In 1893 Die Grundgesetze der Arithmetik, Volume1 (The Basic Laws of Arithmetic) appeared in which Frege set up a formal logical system with more rules of inference than that of his earlier work the Begriffsschrift. Frege axiomatized arithmetic with an intuitive collection of axioms, and proofs of number theory results which he had only sketched earlier he now gave formally. The main thrust of this volume was to develop the rules of number theory and in the later volumes Frege intended to extend the work to the real numbers. His bitter disappointment at the lack of reaction to his earlier work shows explicitly in the Preface to Volume 1 where he complains about other authors being unfamiliar with his ideas. He must have hoped that this first volume of what he viewed would be his greatest achievement would be well received, but except for one review by Peano, it was ignored by his contemporaries.
Frege, who had not allowed the previous lack of reaction to divert him from the tasks that he had set himself, decided to delay publication of the second of his three proposed volumes. During this period Frege was appointed ordinary honorary professor at Jena, a post funded by the Carl Zeiss Foundation with which Abbe was closely associated. In fact it would be ten years after the publication of Volume 1 of Die Grundgesetze der Arithmetik before Volume 2 appeared. This second volume gives Frege's development of the real numbers which he constructed straight from the integers without taking the route of first defining the rational numbers. The bitterness which he now felt shows clearly in this volume with his attacks on the work of earlier mathematicians being abusive (which it had never been before) and there were clear signs that he was hitting back at those he felt had ignored his contributions. In particular he strongly criticised Cantor's and Dedekind's theories of irrational numbers. After the work was written, but before it was published, Frege discovered that this volume, and Volume 1, were based on inconsistent axioms.
While Volume 2 of The Basic Laws of Arithmetic was at the printers Frege received a letter (on 16 June 1902) from Bertrand Russell. Russell pointed out, with great modesty, that the Russell paradox gave a contradiction in Frege's system of axioms. After many letters between the two, Frege modified one of his axioms and explains in an appendix to the book that this was done to restore the consistency of the system. However with this modified axiom, many of the theorems of Volume 1 do not go through and Frege must have known this. He probably never realised that even with the modified axiom the system is inconsistent since this was only shown by Lesniewski after Frege's death.
One often sees it stated that Frege's work was worthless because of the inconsistency pointed out by Russell. In fact this is far from the truth and one must view Frege as the person who made one of the most important contributions to the foundations of mathematics that has ever been made. In fact in many ways Russell is correct when he wrote in his History of Western Philosophy:-
In spite of the epoch-making nature of [Frege's] discoveries, he remained wholly without recognition until I drew attention to him in 1903.
Frege's influence in the short term came through the work of Peano, Wittgenstein, Husserl, Carnap and Russell. In the longer term, however, Frege has become a major influence on the development of philosophical logic and the man who seems to have been largely ignored by his contemporaries has been avidly read by many in the second half of the twentieth century, particularly after his works were translated into English.
Another statement that one often reads is that Frege was so depressed after Russell's letters that he gave up research. This is not entirely without foundation and it is certainly true that he never published the intended third volume of The Basic Laws of Arithmetic, but although he did indeed become very depressed the reasons are far more complex than this. Another factor in his depression was the death of his wife Margarete. Frege had married Margarete Lieseberg but they never had any children. Frege and his wife did adopt a son, Alfred, who went on to become an engineer, but after Frege's wife died in 1904 he seemed to sink more deeply into himself.
The political situation in Germany distressed him. Frege, as we have mentioned, was a firm believer of the old style monarchy which operated in the German States before the unification. In the German Empire there was a democratically elected parliament, in addition to the mostly undemocratic state parliaments. Frege disliked the move to democracy, and detested it even more as the socialists gained power. He attacked most of his fellow mathematicians going far beyond professional criticism. For example Thomae, who also taught at Jena, came in for severe personal attacks from Frege. He seemed to lash out at a wide variety of people and his diary shows a deep hatred of the French, of Catholics, and of Jews.
Frege retired from his professorship in Jena in 1917. He had published nothing between 1904 and the time he retired (if one discounts bitter argumentative attacks published against fellow mathematicians such as Thomae). Russell had invited him to address a mathematical congress in Cambridge in 1912 but Frege's reply, declining the invitation, shows his depressed state of mind. This was not the reply one would have expected from the man who had earlier been vividly aware of his own genius and had a total belief that his brilliant ideas would be recognized. However, Frege began to publish important articles again in 1918 with contributions to the nature of thoughts. These publications have the freshness of his earlier work and show that the depression which had gripped him for many years had, at least partially, lifted. In 1923 Frege came to the conclusion that the aim he had set himself 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. He began to work on these ideas but had not progressed far by the time of his death. He published nothing on these ideas.
We have quoted many tributes to Frege's genius, but let us end with one more. Weiner writes in [20]:-
Gottlob Frege's writings have had a profound influence on contemporary thought. His revolutionary new logic was the origin of modern mathematical logic - a field of import not only to abstract mathematics, but also to computer science and philosophy.
Books:
Articles:
|
|
دراسة يابانية لتقليل مخاطر أمراض المواليد منخفضي الوزن
|
|
|
|
|
اكتشاف أكبر مرجان في العالم قبالة سواحل جزر سليمان
|
|
|
|
|
اتحاد كليات الطب الملكية البريطانية يشيد بالمستوى العلمي لطلبة جامعة العميد وبيئتها التعليمية
|
|
|