[Revised entry by Edward N. Zalta on August 5, 2023.
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,…
Originally appeared on Stanford Encyclopedia of Philosophy Read More