Вернемся в XVII век. Г. В. Лейбниц, в законном восторге от «Великого искусства» Луллия и, опираясь на его идеи, пришел к следующему выводу. Если умозрительно использовать универсальную логическую «машину» – собственную голову и опираться на непреложные «первичные истины», можно получить, точнее – логически вывести всю систему мировоззренческих знаний. На протяжении всей своей насыщенной научной жизни ученый развивал и оттачивал принципы «Универсальной науки». Он был убежден, что от этой науки «в наибольшей степени зависит благополучие человечества» [3. С. 336]. Да, не зря детская энциклопедия «Все обо всем» в ответ на вопрос «Кто такие философы?», несколько иронично разъясняет: «Философы – это мудрецы, размышляющие над тем, как сделать человека счастливым» [19. Т. 9. С. 174].

В чем же суть «Универсальной науки» Лейбница? Если почитать многочисленные статьи философа, то в них явственно проявляется процесс поиска первоосновы Бытия. А для решения этой грандиозной, даже амбициозной задачи Лейбниц глубоко изучает историю философии – от античности (Аристотель) до его времени (Р. Декарт и др.). Он выясняет, что мыслители практически одинаково объясняли первоматерию, как «делимую до бесконечности, лишенную формы и движения». Но первоматерия приобретает форму от… движения, а движение получает от духа. И далее, как мы уже писали, Лейбниц переходит к «Монадологии» [17. С. 188]. Но нам важно заострить внимание читателя на теорию познания философа, на его труд «Новые опыты о человеческом разумении». Пусть никого не смущает используемый мыслителем термин «опыт». Лейбниц не стремится создать опытным путем логическую («интеллектуальную») машину, вынесенной за пределы головы. Нет, великая цель ученого не просто получения пусть новых знаний, а «выработка общего формального метода, позволяющего получать таковые, нахождение не просто решения частных задач, а общего метода их решения» (курс. наш – О. П.) [8. С. 31].

Для историков искусственного интеллекта небезынтересна дискуссия Лейбница с английским философом, экономистом, политическим писателем Джоном Локком (1632–1704). Д. Локк тяготел к материализму. Именно он сформулировал классическую (прежде всего для психологов) формулу: «Нет ничего в разуме, чего прежде не было бы в чувствах». Немецкий философ согласился с этой «аксиомой», но с оговоркой – «кроме самого разума» [3. С. 338]. Это уточнение очень в духе Лейбница. Он не согласен с Локком в том, что истинное знание возникает только из ощущений по двум причинам. Первая, как остроумно замечает Лейбниц, заключается в том, что, хотя животные имеют органы чувств совершеннее, чем у человека, но почему-то люди охотятся на зверей, а не наоборот [17. С. 190]. А вторая вытекает из того, что именно в разуме, в голове, через умственные усилия, возникают новые теоретические знания. Ощущения (чувства) важны для познания, но они – «стимул к тому, чтобы ум начал искать истину самостоятельно в себе самом» [Там же с. 190]. Искать не извне, не с помощью, находящейся вне головы технического устройства, а «внутри» головы. Если перевести размышления выдающегося немецкого философа на понятийный аппарат технологии искусственного интеллекта, то голова (= мозг) ученого – это центральный процессор[18], проще говоря – собственный вычислитель без периферийного оборудования.

Смотрит Георг Вильгельм Лейбниц из далекого 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]…

В историю появления искусственного интеллекта незаслуженно умаляется вклад А. А. Богданова.