Friedrich Ludwig Gottlob Frege (November 8, 1848 – July 26, 1925) was a German mathematician, logician, and philosopher who is regarded as a founder of two modern mathematical logic and analytic philosophy.

Frege's life

Frege was innate around Wismar. He began researching at a University of Jena in 1869 and moved to Göttingen after two years, in which he received his Ph.D. in 1873. When giving to Jena two years later, he became lecturer of math. Within 1879, he was made associate prof & around 1896 became professor of math. He died within Bad Kleinen in 1925.

Frege's contributions

Frege is widely look on (one of) a greatest logician(s) since Aristotle. His radical Begriffsschrift, or Conception Script from either 1879 marked a beginning of the recently epoch in the history of logic by displacing the old Term Logic that had held sway virtually unchanged since Aristotle. A Begriffsschrift was ground-innovational, & mass produced contributions that come present omnipresent around mathematics, such as a apply of quantification, which solved the mediaeval problem of multiple generality, and the uncontaminating coarse of action of functions and variables.

Frege was a number 1 to devise an axiomatization of propositional logic and of predicate logic, the latter of which was his have invention. A quantification and so essential to Bertrand Russell's theory of descriptions, & to Russell and Alfred North Whitehead's Principia Mathematica, was also due to Frege. His function was largely unrecognized within his have day, & his ideas spread mainly across people he influenced, particularly Giuseppe Peano and Russell. Ludwig Wittgenstein and Edmund Husserl were among the more philosophic luminary strongly influenced by Frege.

Frege is take to be one of a institution fathers of analytic philosophy, due to his deeply orderly contributions to the philosophy of language, most au fond his function-argument analysis of the proposition, his distinction between the sense and reference (Sinn und Bedeutung) of a proper noun (Eigenname), the protagonism of a mediated reference theory, his distinction between concept and object (Begriff und Gegenstand), and his advancement of the context principle. He corresponded by using numerous leading logistician & philosophers of his period like Russell, Peano & Husserl.

Frege was the major advocate of logicism about arithmetic (the look at that arithmetic is reducible to logic). His Grundgesetze five hundred Arithmetik was an attempt to explicitly derive a laws of arithmetic from either logic. When a number one volume was published (at andy skinner's expense), Russell found a paradox which bears his name, & that a axioms of the Grundgesetze led to this contradiction; he wrote to Frege, world health organization acknowledged a contradiction around an appendix to volume deuce of the Grundgesetze, noting what he perceived to exist as a faulty axiom. Frege never did handle to amend his axioms to his satisfaction, although late act by Russell & by John Von Neumann suggested ways to resolve the condition.

He was as well the philosopher of math, world health organization loathed appealing to psychologistic or "mental" explanations for meanings (such as idea theories of meaning). His original purpose was super far from either answering questions astir meaning -- he wanted to utilize modern logic to farther prepare a foundations of arithmetic. He 1st undertook to guide a wonder, "what is a number?" or even "what objects do number-words ("a single", "deuce", etc.) refer to?". However inside pursuing these matters, he was in time confronted by having a project of analysing & explaining what meaning is, & come to many memorable conclusions in this regard.

Despite this, & despite a generosity of Bertrand Russell's praise for Frege, he remained an obscure figure across his lifespan; got it nin been for his influence on Wittgenstein-- of whom two major works, a Tractatus and the Philosophical Investigations, revolved around the coming to terms using Frege's ideas just about logic & language-- Frege's worth as a philosopher will never use at times been recognised.

Leading authorities in Frege include Michael Dummett and Hans Sluga.

Principal works

Begriffsschrift (Conception Script), eine five hundred arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle the. S., 1879 Die Grundlagen five hundred Arithmetik (A Foundations of Arithmetic): eine logisch-mathematische Untersuchung über den Begriff 500 Zahl, Breslau, 1884 "Funktion und Begriff" ("Function and Concept"): Talk given around the Meeting in January 9, 1891 of the Jenaischen Gesellschaft für Medizin und Naturwissenschaft, Jena, 1891 "Über Sinn und Bedeutung" ("On Sense and Denotation"), within Zeitschrift für Philosophie und philosophische Kritik, 100 (1892): 25-50 "Über Begriff und Gegenstand" ("On Concept and Object"), within Vierteljahresschrift für wissenschaftliche Philosophie, 16 (1892): 192-205 Grundgesetze 500 Arithmetik ("Basic Laws of Arithmetic"), Jena: Verlag Hermann Pohle, Band I personally (1893), Band 2 (1903) Was ist eine Funktion? ("What is a Function?"), inside Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, February 20, 1904, S. Meyer (ed.), Leipzig, 1904, pp. 656-666 "Der Gedanke" ("The Thought") Eine logische Untersuchung, inside Beiträge zur Philosophie des Deutschen Idealismus I (1918-1919): 58-77 "Die Verneinung" ("Negation"), within Beiträge zur Philosophie des deutschen Idealismus I (1918-1919): 143-157 "Gedankengefüge" ("Compound Thought"), within Beiträge zur Philosophie des Deutschen Idealismus III (1923): 36-51

Frege meant these previous ternary papers to become published around the book to become known as Logical Investigations; withinside 1975 it were posthumously published (in English translation, at least) under this title.

The complete chronological [http://www.ocf.berkeley.edu/~brianwc/frege/fenglish.html bibliography of Frege's works] & their English translations is provided by [http://www.ocf.berkeley.edu/~brianwc/frege/ Gottlob Frege (1848-1925)], which tries to exist as the comprehensive resource of Fregean poop available in the internet.