Leibniz on the payoff of having a precise formal system:

If controversies were to arise, there would be no more need of disputation between two philosophers than between two accountants. For it would suffice to take their pencils in their hands, and say to each other, ‘Let us calculate.’

(heard in the Blackburn & Bos course on Computational Semantics–more on that course and the others when I have a chance to stop and breathe)