In ancient Greece, the philosopher Aristotle did???
Aristotle was a great logic thinker and mathematician.