Invented syllogistic logic, the earliest formal system. His work dominated logic for over 2,000 years.