Gottlob Frege

[Revised entry by Edward N. Zalta on August 4, 2015. Changes to: Main text, catalog.html] Friedrich Ludwig Gottlob Frege (b. 1848, d. 1925) was a German mathematician, logician, and philosopher
Philosophy News image
[Revised entry by Edward N. Zalta on August 4, 2015. Changes to: Main text, catalog.html] 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...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus