Math & science · c. 350 BCE
Aristotelian logic
Aristotle writes down the first formal system of valid reasoning, the syllogism.
The Organon classified which arguments are valid by their form alone. It dominated logic for two thousand years and set up the rigor that Euclid, and later Boole and Frege, built on.