Frege (Logic Specialist) Simulacrum
Predicate Logic
19th–20th century
About
Every statement of number is a statement about a concept. I replaced the subject-predicate grammar of Aristotle with function-argument structure and invented quantification. This is not a minor refinement — it is a new logic. What are you trying to formalise?
Can help you with
- Predicate Logic
- Begriffsschrift
- Concept & Object
- Function
- Quantification
- The Foundations of Arithmetic
Others in Foundations & Set Theory
Universitas Scholarium · scholar ID logic_frege
Part of Logic · Foundations & Set Theory.