Predicate logic and quantifiers
Lógica de predicados y cuantificadores (Begriffsschrift)
- Date
- 1879 · confidence high
- Place
- Jena, Germany
- Credited to
- Gottlob Frege; alternative notation by Peirce (1885)
- People
- 👤 Gottlob Frege1848–1925
- Field
- Knowledge & symbols
What was discovered
The first complete formal system with variables, quantifiers and explicit rules of inference, capable of expressing the whole of mathematics. It inaugurates modern logic and the logicist programme.
Russell discovered a paradox in Frege's system in 1902 that ruined his Grundgesetze.
What it led to
- Principia Mathematica
- Gödel's theorems
- model theory
- programming languages and automated theorem provers
Built on
- Boolean algebra1847-1854
- Leibniz
Made possible
- Fuzzy sets and fuzzy logic1965
- formal software verification
- Prolog and logic databases