Aristotelian syllogistic logic
Silogística y lógica formal de Aristóteles
- Date
- c. 350 BCE · confidence medium
- Place
- Athens, Greece
- Credited to
- Aristotle
- People
- 👤 Aristóteles384 BCE–322 BCE
- Field
- Knowledge & symbols
What was discovered
First formal system of valid inference: the syllogism, with variables for terms and deduction rules independent of content. It was the dominant theory of reasoning for two millennia.
Aristotle already recognised the need for undemonstrable axioms as the basis of demonstrative science.
What it led to
- scholastic logic
- Boolean algebra
- Frege's predicate logic
Built on
- Deductive mathematical proofc. 580 BCE
- Platonic dialectic
- geometric proof