Dowodzenie
Arystoteles rozgraniczył oparte na wnioskowaniu logicznym z przyjętych założeń rozumowaniu dedukcyjnym i na wnioskowaniu z obserwowanych danych rozumowaniu indukcyjnym. Arystoteles sformułował kwartet
podstawowe zasady poprawnego formułowania oraz dowodzenia twierdzeń.