Frege's Theorem and Foundations for Arithmetic

[Revised entry by Edward N. Zalta on February 10, 2017. Changes to: Main text, Bibliography] Over the course of his life, Gottlob Frege formulated two logical systems in his attempts to define
Philosophy News image
[Revised entry by Edward N. Zalta on February 10, 2017. Changes to: Main text, Bibliography] Over the course of his life, Gottlob Frege formulated two logical systems in his attempts to define basic concepts of mathematics and to derive mathematical laws from the laws of logic. In his book of 1879, Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, he developed a second-order predicate calculus and used it both to define interesting mathematical concepts and to state and prove mathematically interesting propositions. However, in his two-volume work of 1893/1903,...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus