Приступая к описанию великого замысла Лейбница и к его оценке, авторы должны признаться, что отчетливо видят всю трудность, а может быть, и невыполнимость этой, задачи. Поскольку идея Лейбница на двести лет опередила эпоху и осталась в свое время не только не реализованной, но в значительной мере и не опубликованной[5], сейчас уже нельзя установить ее аутентичное содержание и реконструировать оригинальный проект — ведь в полном виде он существовал лишь в голове Лейбница. Непонимание и непринятие современниками далеко идущей идеи, родившейся до срока, существенным образом повлияло на ее разъяснения, делавшиеся в конце XVII—начале XVIII века его комментаторами, а также на публичные высказывания самого Лейбница по этому вопросу, так как он был вынужден. считаться с реакцией неподготовленной аудитории[6]. Короче, из-за нерелевантности идеи при первоначальном обнародовании (частичном и фрагментарном) она подвергалась неизбежным искажениям. Это — одна сторона трудностей. Вторая состоит в том, что сегодня, когда многообещающие перспективы, заложенные в проекте «искусственного интеллекта», стали очевидными, мы незаметно для себя можем приписать Лейбницу такую силу предвидения, которой он при всей своей гениальности, возможно, и не обладал. Поэтому мы изложим лишь фактическую часть, а в оценке вклада Лейбница в становление кибернетики призовем на помощь авторитеты.
Лейбниц потерял отца, когда был еще шестилетним мальчиком, но отец, профессор нравственной философии Лейпцигского университета, успел привить ему любовь к знанию. Пользуясь богатой библиотекой отца, молодой Готфрид изучил классические языки, историю, гуманитарные науки, философию. Но он штудировал также математику и аристотелеву логику. Эти последние занятия Лейбница и сыграли, видимо, главную роль в том, что уже в пятнадцатилетнем возрасте он начал вынашивать проект «универсальной характеристики» — средства, с помощью которого все человеческое познание должно было подвергнуться коренному преобразованию[7].
Это средство, по мысли Лейбница, должно состоять из двух инструментов: искусственного языка науки (его-то собственно, он и называет characteristica universalis) и исчисления умозаключений (calculus rationator). Искусственный язык науки должен быть универсальным и совершенным в следующем смысле: он должен служить средством выражения любых мыслей, должен устранять барьеры разноязычной речи, способствуя тем самым распространению научных идей, а также должен стать орудием логического анализа любых проблем. Выражения естественного языка в универсальном языке науки должны быть заменены компактными, наглядными, хорошо обозримыми и однозначно понимаемыми знаками. Конечно, эта грандиозная замена не была фактически проведена Лейбницем, но у него был совершенно ясный план проведения ее в жизнь: нужно было свести все понятия к некоторым элементарным понятиям, образующим как бы алфавит, азбуку человеческих мыслей. Когда это удастся сделать, считал Лейбниц, станет возможным заменить обычные рассуждения оперированием со знаками. Правила такого оперирования должны быть даны во второй части «сверхнауки» — в исчислении умозаключений. Они должны однозначным образом определять последовательности выполнения действий над данными знаками и сами эти действия, так что при правильном их применении ни для каких разногласий не остается места. Эта сокровенная цель всего замысла Лейбница провозглашена им в широко известном тезисе: «Единственное средство улучшить наши умозаключения состоит в том, чтобы сделать их столь же наглядными, как и у математиков, такими, что их ошибочность можно было бы увидеть глазами, и, если между людьми возникают разногласия, достаточно было бы только сказать «Вычислим!», чтобы без дальнейших околичностей стало ясно, кто прав»[8].
Здесь необходимо сделать небольшое отступление, поскольку такое отважное заявление может в разных людях вызвать далеко не одинаковые чувства. Некоторые, мы полагаем, отнесутся к основному рационалистическому тезису Лейбница даже с негодованием, как относились многие еще недавно к утверждениям специалистов по кибернетике, что в будущем ЭВМ смогут взять на себя многие интеллектуальные функции, выполняемые пока только людьми. Откладывая серьезный разбор этого вопроса до того пункта в нашем изложении, когда он будет более подготовлен, заметим лишь, что и в математике, как это выяснилось в тридцатых годах, имеются проблемы, которые принципиально невозможно разрешить с помощью вычисления, и что, с другой стороны, «автоматизированную» процедуру логического или математического вывода нельзя считать тавтологичной, не приносящей новой информации, так что разница между «творчеством» и «вычислением» с позиций современного научного знания становится все менее определенной.
Но вернемся к предложению Лейбница. Существенно отметить, что он придавал важное значение представлению логических действий в виде действий над числами, то есть арифметизации логики. Ему принадлежат следующие слова: «Я заметил, что причина того, почему мы за пределами математики так легко ошибаемся, а геометры столь счастливы в своих умозаключениях, состоит лишь в том, что в геометрии и других частях абстрактной математики можно производить проверку или последовательные доказательства, сводя все к числам, причем делать это можно не только для заключительного предложения, но и в любой момент и на любом шаге, начиная с посылок»[9].
Реализацией описанных идей Лейбница должны были стать разрабатывавшиеся им логические исчисления. В одних из исчислений понятиям, входившим в состав суждений, ставились в соответствие числа и задавались правила оперирования с этими числами, в других употреблялись буквенные обозначения. Возможно, Лейбниц интуитивно принимал «почти доказанную» сейчас гипотезу, что всякую строго и однозначно заданную процедуру (алгоритмическую процедуру), имеющую дело с любыми четко различимыми символами, можно свести к процедуре арифметической — имеющей дело с натуральными числами. Но уверенно «вкладывать» в него понимание эквивалентности вычисления в широком смысле и вычисления в узком смысле было бы рискованным.
Какое же место следует отвести Лейбницу в ряду создателей формализованной логики и кибернетики? Размах и глубина идеи могли бы оправдать претензии даже на первое место, но, как мы знаем, начинание осталось лишь начинанием, и это прискорбное обстоятельство снижает шансы Лейбница стать выше всех в мировой иерархии великих логиков, тем более что в неосуществленности плана повинна не только эпоха, но и разбросанность Лейбница, постоянная размена своего гения на мелочи. Вот как оценивает Лейбница человек, который больше других сделал для второго рождения его идей, Норберт Винер.
«Философия Лейбница, писал Н. Винер в своей «Кибернетике», концентрируется вокруг двух основных идеи, тесно связанных между собой: идеи универсальной символики и идеи логического исчисления.
Из этих двух идей возникли современный математический анализ и современная символическая логика. И как в арифметическом исчислении была заложена возможность развития его механизации от абака и арифмометра до современных сверхбыстрых вычислительных машин, так и в calculus rationator Лейбймца содержится в зародыше amchina rationatuix — думающая машина. Сам Лейбниц, подобно своему предшественнику Паскалю, интересовался созданием вычислительных машин в металле. Поэтому совсем не удивительно, что тот же самый умственный толчок, который привел к развитию математической логики, одновременно привел к гипотетической или действительной механизации процессов мышления»[10].
В другой своей книге Н. Винер пишет о Лейбнице:
«Он интересовался... вычислением при помощи машин и автоматами. Мои взгляды очень далеки от философских взглядов Лейбница. Однако проблемы, которыми я занимаюсь, вполне определенно являются лейбницианскими. Счетные машины Лейбница были только одним из проявлений его интереса к языку вычислений, к логическому исчислению, в свою очередь представлявшему собой, на его взгляд, лишь конкретизацию его идеи о совершенном искусственном языке. Таким образом, даже в своей счетной машине Лейбниц отдавал предпочтение главным образом лингвистике и сообщению»[11].
22
5. Большинство лейбницевых текстов логического содержания было впервые издано в 1901 и 1903 гг. Луи Кутюра. Впрочем, научное наследство Лейбница еще полностью не опубликовано; как отмечает И. С. Нарский в книге «Западноевропейская философия XVII века» (М., 1974, с. 281), в ганноверском архиве Лейбница хранится около 75 тысяч отдельных его работ.
23
6. По словам Б. Рассела, «есть две системы философии, каждую из которых можно рассматривать как представляющую взгляды Лейбница: одна, которую он открыто провозглашал, была оптимистической, ортодоксальной, фантастической и мелкой; другая, которую постепенно извлекали из его рукописей относительно недавние издатели, была глубокой, ясной, ... удивительно логичной» (Б. Рассел. История западной философии. М., 1959, с. 600).
24
7. О жизни и научном творчестве Лейбница в интересующей нас области см. книгу Н. И. Стяжкина, указанную в примечании 4. Философские взгляды Лейбница подробно освещены в книге И. С. Нарского, упомянутой в примечании 5. Облик Лейбница как ученого и человека обрисован в книге: И. Б. Погребысский. Готфрид Вильгельм Лейбниц. 1646—1716. М., 1971.
27
10. Н. Винер. Кибернетика, или Управление и связь в животном и машине. Второе издание. М., 1968, с. 57.