Gottlob Frege (Stanford Encyclopedia of Philosophy)
Friedrich Ludwig Gottlob Frege (b. 1848, d. 1925) was a German mathematician, logician, and philosopher who worked at the University of Jena. Frege essentially reconceived the discipline of logic by constructing a formal system which, in effect, constituted the first ‘predicate calculus’. In this formal system, Frege developed an analysis of quantified statements and formalized the notion of a ‘proof’ in terms that are still accepted today. Frege then demonstrated that one could use his system to resolve theoretical mathematical statements in terms of simpler logical and mathematical notions. One of the axioms that Frege later added to his system, in the attempt to derive significant parts of mathematics from logic, proved to be inconsistent. Nevertheless, his definitions (e.g., of the predecessor relation and of the concept of natural number) and methods (e.g., for deriving the axioms of number theory) constituted a significant advance. To ground his views about the relationship of lo
--> Gottlob Frege (Stanford Encyclopedia of Philosophy) Stanford Encyclopedia of Philosophy Menu Browse Table of Contents What's New Random Entry Chronological Archives About Editorial Information About the SEP Editorial Board How to Cite the SEP Special Characters Advanced Tools Contact Support SEP Support the SEP PDFs for SEP Friends Make a Donation SEPIA for Libraries Entry Navigation Entry Contents Bibliography Academic Tools Friends PDF Preview Author and Citation Info Back to Top Gottlob Frege First published Thu Sep 14, 1995; substantive revision Sat Jul 9, 2022 Friedrich Ludwig Gottlob
Explore this link on the map →related reading
- Frege’s Theorem and Foundations for Arithmetic (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Gottlob Frege - Wikipediaen.wikipedia.org
- First-order logic - Wikipediaen.wikipedia.org
- Begriffsschrift - Wikipediaen.wikipedia.org
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Philosophy of language - Frege's Revolution, Semantics, Pragmatics | Britannicabritannica.com
- The Foundations of Arithmetic - Wikipediaen.wikipedia.org
- Logicism and Neologicism (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Frege’s Logic > The Period Between Begriffsschrift and Grundgesetze (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Intuitionistic logic - Wikipediaen.wikipedia.org