...Можно придумать некий алфавит человеческих мыслей и с помощью комбинации букв этого алфавита и анализа слов, из них составленных, все может быть и открыто, и разрешено.
Эта письменность...должна стать чем-то вроде всеобщей алгебры и дать возможность рассуждать посредством вычислений; таким образом, вместо того, чтобы спорить, можно будет сказать: подсчитаем! И тогда станет ясно, что ошибки в рассуждениях суть не что иное, как ошибки, связанные с вычислениями, и их можно будет обнаружить путем проверки, как в арифметике.
Г.В.Лейбниц