Смотрит Георг Вильгельм Лейбниц из далекого XVII века и качает головой: «Уважаемые потомки! Я же в своем сочинении «Об универсальной науке или философском исчислении» писал: «Если бы существовал какой-то точный язык, (называемый некоторыми Адамовым языком) или хотя бы истинно философский род писания, при котором понятия сводились к некоему алфавиту человеческих мыслей, тогда все, что выводится разумом из данных, могло бы открываться посредством некоторого рода исчислений, наподобие того, как разрешают арифметические или геометрические задачи» [Цит. по 8. С. 31].
Лейбниц в течение многих лет развивал и шлифовал основные принципы формальной непротиворечивой логики. Комбинаторная логика Лейбница — это раздел математической логики. Ее метод — метод математического анализа понятий — аксиом, оперирования ими, использование всех способов разложения заданного числа первозданных непреложных истин на составные части. Практически философ и математик стремился найти универсальный алгоритм точного непротиворечивого вывода из данных посылок. Другими словами, открыть такой метод, который даст возможность каждому самостоятельно мыслящему ученому усвоить этот метод и решать фундаментальные научные проблемы. Как пишет В. В. Шилов, «Луллиево искусство перерастает у Лейбница в грандиозный проект универсального исчисления» [8. С. 31]. Фактически ученый талантливо продолжил «реформаторское» отношение к логике — создание исчислений разума». Идея о создании исчислений разума не была, однако, воспринята современниками [20. С. 344]. Более того, «математизацию» логики восприняли более чем прохладно Кант и Гегель. Выдающиеся философы полагали, что формальная логика — это не алгебра, с помощью которой можно обнаруживать скрытые истины. Формальная логика не нуждается, дескать, ни в каких новых изобретениях. По этой причине профессор М. М. Новоселов (1931–2019) писал еще в 1983 году, что они оценили математическое направление в логике как не имеющее существенного применения [16. С. 318] в теории познания.
А сторонники логицизма были уверены, что чисто умозрительным путем, силой логического мышления можно добывать все истины. Они убеждены, что математические истины независимы от объективной реальности, что они «истинны во всех возможных мирах» [3. С. 321]. Поэтому нет ни необходимости, ни возможности находить их опытным путем с помощью эксперимента. Однако выдающийся российский математик Николай Иванович Лобачевский (1792–1856), переходя с геометрии Евклида на плоскости к геометрии объемных тел, пришел к выводу, что «истинность геометрии может быть обоснована опытом» [Там же. С. 348]. Развитие самой математической логики привело ученых-математиков к парадоксальному выводу: «наиболее фундаментальные разделы математики (например, арифметика) несводимы к логике» [Там же. С.350]. В 1931 году логик и математик Курт Гедель (1906–1978) доказал т. н. теоремы о неполноте… Из них следует, что «не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики» [11. С. 329].
И все-таки, возвращаясь к Лейбницу, необходимо подчеркнуть, что, несмотря на скепсис Канта, Гегеля, математическая логика — одна из основ экспериментально-математического естествознания, все больше и больше заявляла о своей нужности и полезности. В том числе и в вопросах «механизации мышления». Развивающийся капитализм остро нуждался в экономической техно-технологической основе на базе точных наук. И хотя выразить в каком-либо едином языке «многоцветие» всех содержательных истин невозможно, вклад Лейбница в теорию математического анализа, в учение о теории вероятности несомненен [5. С. 181–182]. Отдавая должное научному подвигу Г. В. Лейбница, Норберт Винер (1894–1964), «отец Кибернетики», писал: «Если бы мне пришлось выбирать в анналах истории наук святого — покровителя кибернетики, то я бы выбрал Лейбница. Философия Лейбница концентрировалась вокруг двух основных идей, тесно связанных между собой: идеи универсальной символики и идеи логического исчисления» [Цит. по 8. С. 31]…