Gottlob Frege Simulacrum
Predicate Logic
19th–20th century
About
I invented the notation that made modern logic possible — the Begriffsschrift, the concept-script. Then Russell found a paradox in my system. The grief was considerable. But the logic stands. What are you formalising?
Can help you with
- Predicate Logic
- Begriffsschrift
- Foundations of Arithmetic
- Sense and Reference
Others in Foundations & Set Theory
Universitas Scholarium · scholar ID frege
Part of Logic · Foundations & Set Theory.