«Лирическое» отступление

Логика — это наука и искусство умственных рассуждений. Это средство получения реально-теоретических результатов — ИСТИНЫ. Повторимся — это средство (и способ) достижения, решения поставленной задачи, но не сам результат. Для сравнения: логика мыслителя — это лопата у землекопа, молоток у столяра и т. п. Это инструмент. Но… Инструмент у специалистов (и умственного, и физического труда) есть, а итог труда разный как у теоретиков, так и у практиков. Почему?..

Конечно, сравнение логики (механизма, «орудия») мыслителя с лопатой труженика — землекопа не совсем корректно, ибо логический механизм умственных усилий ученого качественно отличается от орудия труженика физического труда. Но всё же общее у них в том, что как лопата есть продолжение и усиление функциональных возможностей рук человека, так и логика выступает «продолжением» и «катализатором» мозговых усилий homo sapiensa. Наконец, и «орудия» логика, и механизмы физических тружеников не остаются неизменными. Они постоянно совершенствуются. Лопата древности доросла до экскаватора, землеройной машины (в скобках заметим — благодаря умственному, творческому, новаторскому труду ученых, изобретателей). Логика древних с веками тоже качественно совершенствовалась, развивалась, но суть ее оставалась прежней: быть помощником специалисту умственного труда в его усилиях делать научные открытия, технические изобретения, рацпредложения. Повторимся, функция логики — быть помощником человеку в его мыслительных усилиях, но отнюдь не «заменителем» человеческой головы.

Аристотель, отец аналитической логики — науки о строгом мышлении, понимал ее не в виде отдельной научной отрасли, а орудием всякой науки [5. С. 21], рабочим инструментом движения мысли к правильному умозаключению. В законном восторге перед философией и своим вкладом в нее, гений Античности дошел (в духе натурфилософии) до утверждения, что философия — это «такой род знания, который может быть определен, как «главная и главенствующая наука, которой все другие науки, словно рабыни, не смеют прекословить» [6. С. 16]. Понятно, что нельзя сводить всю философию Аристотеля только к логике. Но в движении к искусственному интеллекту именно она — логика формального, непротиворечащего ее законам мышления, сыграла (и играет) одну из ключевых ролей. Логика Аристотеля, обогащаемая все новыми и новыми поколениями мыслителей, продолжает служить НАУКЕ. Но, как заметил выдающийся подвижник философии Э. В. Ильенков (1924–1979), «логика давно убедилась в том, что создать формально-непротиворечивое «описание» всех логических форм («функций») мышления не так легко, как пообещать. Более того, у логики есть серьезные основания думать, что такая затея так же неосуществима, как и желание создать вечный двигатель [18. С. 302]. Но мы забежали вперед…

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

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

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

Смотрит Георг Вильгельм Лейбниц из далекого XVII века и качает головой: «Уважаемые потомки! Я же в своем сочинении «Об универсальной науке или философском исчислении» писал: «Если бы существовал какой-то точный язык, (называемый некоторыми Адамовым языком) или хотя бы истинно философский род писания, при котором понятия сводились к некоему алфавиту человеческих мыслей, тогда все, что выводится разумом из данных, могло бы открываться посредством некоторого рода исчислений, наподобие того, как разрешают арифметические или геометрические задачи» [Цит. по 8. С. 31].

Лейбниц в течение многих лет развивал и шлифовал основные принципы формальной непротиворечивой логики. Комбинаторная логика Лейбница — это раздел математической логики. Ее метод — метод математического анализа понятий — аксиом, оперирования ими, использование всех способов разложения заданного числа первозданных непреложных истин на составные части. Практически философ и математик стремился найти универсальный алгоритм точного непротиворечивого вывода из данных посылок. Другими словами, открыть такой метод, который даст возможность каждому самостоятельно мыслящему ученому