Frege's contributions to logic, which began with his 1879 work Begriffsschrift, brought the first major advancement in logic since Aristotle. Frege described a new system of first-order predicate logic that introduced quantification functions and variables for the first time in a symbolic logic.
Frege, who began as a mathematician, wanted to show the logical roots of mathematics. His system replaced Aristotelean syllogistic logic with a wider range of capabilities that allowed the expression of mathematical truths, as well as the symbolization of informal linguistic reason.
Name: Friedrich Ludwig Gottlob Frege
Born: November 8, 1848
Died: July 26, 1925