Читать «Машина и человек, кибернетика и философия» онлайн - страница 5

Стараясь дать научное обоснование «мыслящей машине», некоторые философы апеллируют к новейшим достижениям математики и математической логики. Но стоит присмотреться к таким аргументам внимательно, как сразу обнаруживается, что они предполагают – в качестве условия своей доказательности – именно то, что с их помощью хотят доказать. А именно – крайне упрощенные и приблизительные представления о человеческом мышлении. Вот пример.

Л.Б. Баженов в статье «О некоторых философских аспектах проблемы моделирования мышления кибернетическими устройствами» всерьез полагает, что все аргументы против возможности создать искусственное мышление легко отметаются простой ссылкой на авторитет теоремы Маккаллока–Питтса: «Теорема Маккаллока–Питтса утверждает, что любая функция естественной нервной системы, которая может быть логически описана с помощью конечного числа слов, может быть реализована формальной нервной сетью. Это означает, что нет таких функций мышления, которые, будучи познаны и описаны, не могли бы быть реализованы с помощью конечной формальной нервной сети, а значит, и в принципе воспроизведены машиной».

Чтобы принять этот аргумент в качестве доказательного, требуется принять на веру следующие предпосылки: 1) что «мышление» – это «функция естественной нервной сети» без указаний, в чем именно заключается специальная характеристика этой частной функции «нервной сети», в отличие, скажем, от зубной боли; 2) что эта расплывчатая «функция» должна быть «логически описана с помощью конечного числа слов», т.е. представлена в виде формально-непротиворечивой системы терминов и высказываний; 3) что такое «описание» и есть исчерпывающее познание «мышления», т.е. современная ступень развития логики как науки.

Если все это принять на веру, то аргумент «от Маккаллока–Питтса» действительно доказывает то, что с его помощью хотят доказать. Если же о «мышлении» иметь более конкретные и содержательные представления, то теорема Маккаллока–Питтса доказывает [271] возможность его замоделировать в машине ничуть не больше, чем теорема Пифагора.

Теорема Маккаллока–Питтса действительно устанавливает, что в виде «формальной нервной сети» можно реализовать любую из тех «функций естественной нервной сети», которая принципиально поддается «логическому (тут – формально-непротиворечивому) описанию с помощью конечного числа слов». Не рискнем оспаривать самое эту теорему.

Но ведь за всем этим остается еще маленький, но весьма коварный вопросец, – а представляет ли собою «мышление» такую функцию, т.е. поддается ли оно такому «описанию»?

Только не надо забывать, что тут имеется в виду именно мышление, а не какая-либо частная «конечная» форма или случай его применения. Логика как наука давно убедилась, что создать формально-непротиворечивое «описание» всех логических форм не так легко, как пообещать. Более того, у логики имеются серьезные основания для утверждения, что эта затея так же неосуществима, как и вечный двигатель. И неосуществима по той причине, что формально-логическая непротиворечивость описания каждой частной формы работы интеллекта неизбежно компенсируется противоречивостью внутри полного «синтеза» всех этих частных логических форм, внутри логики в целом.