Or the guy who just wanted to extend the works of Aristotle, and created binary...

Leibniz did that from memory, although the stoics deserve the credit for propositional logic (which can be reduced to a collection of truth tables). and contrary to popular belief Boole actually extended Aristotle’s syllogisms (reduced the conventional syllogisms to computation using matrices of 1s and 0s) rather than create a today’s binary logic.