| HN Mirror

On the other hand, Leibniz was one of the very first philosophers who recognized the value of the unique combination of formal thinking and computation. There’s no doubt that he was one of the originators of the idea that calculation could be applied to general reasoning and not just arithmetic (although he also built a mechanical calculator, the “stepped reckoner”). Anyway, the following is one of my favorite Leibniz quotes.

"I thought again about my early plan of a new language or writing-system of reason, which could serve as a communication tool for all different nations... If we had such an universal tool, we could discuss the problems of the metaphysical or the questions of ethics in the same way as the problems and questions of mathematics or geometry. That was my aim: Every misunderstanding should be nothing more than a miscalculation (...), easily corrected by the grammatical laws of that new language. Thus, in the case of a controversial discussion, two philosophers could sit down at a table and just calculating, like two mathematicians, they could say, 'Let us check it up ...’”