Gottfried Leibniz



350 BC   Aristotle - How to form valid logical arguments.

   1705   Gottfried Leibniz - Similarity of logic and arithmetic.