" Leibniz thought that if we had a sufficiently logical notation, dispute and confusion would cease, and men would sit together and resolve their disputes by calculation. "

― Simon Blackburn , Think: A Compelling Introduction to Philosophy