Calculemus: the idea of calculating with reasoning
The only way to rectify our reasonings is to make them as tangible as those of the mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: let us calculate!, without further ado, to see who is right.
— Leibniz, The Art of Discovery (1685) Leibniz was a lawyer, diplomat and philosopher. He spent his life watching arguments that never ended, between religions, between countries, between schools of philosophy. A mathematician, on the other hand, does not argue about whether $2+2$ is 4: he does the sum. What if arguments could be calculated like numbers?