Часть 7.

Глава 5. эпистемологическое допущение

Мы видели, сколь трудно определить, что такое "ментальный"- мыслительный - уровень функционирования. Чем бы сознание ни являлось, совсем не обязательно, чтобы оно действовало подобно ЭВМ, Утверждение специалистов в области моделирования процессов познания, согласно которому разум можно понимать как процесс переработки информации по эвристическим правилам, практически оказывается непонятным. Машинная модель совершенно бесполезна при попытке объяснить, что происходит с людьми в процессе мышления и восприятия. А тот факт, что люди обладают способностью мыслить и воспринимать, вовсе не дает оснований для оптимизма тем исследователям, которые пытаются воспроизвести человеческое поведение с помощью цифровой вычислительной машины.

Однако для оптимизма еще сохраняется одно основание: хотя действия человека не могут быть объяснены на основе предположения, что люди на самом деле следуют эвристическим правилам, неосознанно выполняя некоторую последовательность операций, разумное поведение может быть тем не менее формализовано в терминах такого рода правил и благодаря этому воспроизведено на машине*. В этом состоит эпистемологическое допущение.

Рассмотрим, например, движение планет. Обращаясь вокруг Солнца, они не решают дифференциальных уравнений. Они вооб-

* Под "воспроизведением" понимается реализация существенных характеристик рассматриваемого поведения. Имеется в виду не абсолютно полное копирование, а отношение, подобное тому, которое имеется между Эйфелевой башней, которая сделана из стали, и ее фотографией. Поскольку мы не можем рассчитывать на то, что вычислительные машины будут двигаться и проявлять формы человеческого поведения в обычном смысле слова, нас не будет интересовать использование формальной теории некоторой деятельности, являющейся точной копией этой деятельности. Реализацию существенных характеристик некоторых действий, без имитации действий ао всех деталях, можно было бы, вообще говоря, назвать "моделированием". Так, на ЭВМ можно моделировать выборы, не предполагая фактического голосования. Однако термин "моделирование" уже "узурпирован" теми исследователями, которые занимаются построением моделей когнитивных процессов и включают в эти модели не только главные черты поведения, но и те шаги, которые имеют место при его осуществлении.

143ще не следуют каким-либо правилам, однако их поведение подчиняется определенным законам, для понимания которых используется формальный аппарат - в данном случае дифферентциальные уравнения,- выражающий это поведение как движение в соответствии с некоторым правилом. Или другой пример; велосипедист для сохранения равновесия то и дело перемещает центр тяжести своего тела, предотвращая тем самым падение-Рациональное содержание его движений можно выразить правилом: ехать так, чтобы кривизна траектории его пути была все время обратно пропорциональна квадрату скорости*. Велосипедист, разумеется, не следует этому правилу сознательно, и нет оснований предполагать, что он следует ему бессознательно. Тем не менее такая формализация помогает нам выразить или понять его компетенцию, то есть его способность реализовать данное поведение- Это, однако, не является способом объяснения его действий. Формализация говорит лишь о том, что значит хорошо ездить на велосипеде, и ничего о том, что происходит в адоз-

* Пример с велосипедистом заимствован мною из книги М»Пеляного "Познание и личность" (М. Р р I а п у i, Personal Knowledge, London. R- & К. Paul, p. 49). Анализ этого примера, проводимый Поляным, заслуживает того, чтобы привести его полностью: "После моих бесед с физиками, инженерами и изготовителями велосипедов я пришел к выводу, что принцип, в соответствии с которым велосипедист удерживает равновесие, мало кому известен. Правило, которому следует велосипедист, заключается в следующем: когда он начинает падать на правую сторону, он поворачивает руль вправо с тем, чтобы траектория велосипеда также отклонилась вправо. В результате возникает центробежная сила, толкающая велосипедиста влево и уравновешивающая силу тяжести, действующую справа. Этот маневр быстро приводит к тому, что велосипедист начинает падать влево; противодействуя этому, он поворачивает руль влево; подобным образом он и едет, продолжительное время сохраняя равновесие. Не* трудно показать, что для данного угла наклона кривизна траектории обрат* но пропорциональна квадрату скорости, с которой движется велосипедист.

Но можно ли на основании этого утверждать, что мы доподлинно знаем, как ездить на велосипеде? Совершенно очевидно, что невозможно ехать так, чтобы угол поворота руля велосипеда все время находился в соответствии с отношением угла наклона к квадрату скорости, с которой вы движетесь; даже если вы будете выполнять это правило, то все равно свалитесь с велосипеда, поскольку существует еще масса других факторов, которые следует учитывать при практической везде, но на которые не распространяется данное правило'*,

В 3tqm примере содержится важная догадка - догадка о том, что формализм не может быть основой действий. Однако Поляный несколько смазывает ее значение, ссылаясь на "скрытые правила" (р. 53). Эта ссылка показывает, что Поляный, как и Платон, не делает различия между вы полнение некоторого действия и компетенцией, между пониманием чего-то человеком и научным объяснением, между правилом, которому следуют, и правилом, которое используется для описания происходящего. Именно это смешение понятий и поре не дает оптимизм, свойственный исследователям в области моделирования процессов познания,

У самого Поляного есть свои возражения против упомянутого только что направления исследований. Он считает, что "в некотором существенном

144гу или разуме велосипедиста в процессе выполнения им этой задачи-

Таким образом, существует почти неуловимое, но очень важное различие между психологическим и эпистемологическим допущением, И то и другое основано на платоновском представлении о понимании как о формализации. Однако сторонники психологического допущения (исследователи, занимающиеся моделированием процессов познания) считают, что правила, применяемые для формализации поведения, являются теми же самыми, что и правила, реализующие это поведение. Сторонники же эпистемологического допущения (исследователи в области "искусственного интеллекта") утверждают, что всякое непроизвольное поведение может быть формализовано в соответствии с некоторыми правилами, а также что эти правила, какими бы они ни были, могут затем использоваться вычислительной машиной для воспроизведения этого поведения.

Эпистемологическое допущение слабее и потому менее уязвимо, чем психологическое- Но тем не менее оно уязвимо. Сторонники эпистемологического допущения понимают, что их формальный аппарат, рассматриваемый в качестве теории компетенции, не обязан быть теорией человеческой деятельности. Однако их зависимость от платоновских идей не позволяет им осознать, что любая теория компетенции не может служить адекватной теорией также и машинного функционирования. Таким образом, эпистемологическое допущение основано на двух утверждениях: а) всякое непроизвольное поведение может быть формализовано и б) для воспроизведения интересующего нас поведения может быть использован формальный метод. В этой главе мы подвергнем критическому анализу утверждение а) на том основании, что оно неоправданно распространяет методологию естественных наук на область психических явлений, а также утверждение б), поскольку теория компетенции, как мы постараемся показать, не может быть теорией деятельности: в отличие от технологического применения законов физики, служащего для реализации соответствующих физических феноменов,теория компетенции, в которой не учитывается ни время, ни контекст, не может быть использова-

смысле слова мы действительно знаем соответствующие правила; однако при этом он утверждает, что "мы не можем обращаться с ними так, как будто они составляют неосознаваемое знание, поскольку главное э этом знании (более или менее подсознательном) - ориентация на некоторую конечную цель. Именно это качество "потенциально-вспомогательной" осознаваемости, качество функциональной формируемости действий машина не может имитировать, поскольку она всегда работает на одном-эдинственном уровне осознания" (из личной переписки), Это интересная промежуточная позиция; при этом, однако, автор оставляет открытым вопрос о том, насколько необходимо предполагать, что мы в каком бы то ни было смысле вообще следуем правилам при наличии этого второго типа осознания.

145на для воспроизведения протекающего во времени поведения, требующегося в человеческой деятельности; в действительности теория человеческой деятельности вообще не может существовать. Если этот аргумент убедителен, то эпистемологическое допущение - в той форме, в какой его придерживаются сторонники "искусственного интеллекта", - как выясняется, несостоятельно и, если его правильно понимать, свидетельствует скорее против, чем в пользу возможности создания "искусственного интеллекта".

Утверждение а) - о том, что всякое непроизвольное поведение может быть формализовано,- не является аксиомой. Оно, скорее, выражает определенную концепцию "понимания", которая глубоко укоренилась в нашей культуре, но которая, возможно, окажется в конце концов ошибочной. Поэтому нам следует обратиться к эмпирическому материалу, который может быть использован для оправдания этой гипотезы. Мы выяснили, что никакие эмпирические доказательства, основанные на успехах в области "искусственного интеллекта", недостаточны, поскольку представляют собой просто интерпретацию, причем преувеличивающую значение таких скромных результатов, как рассмотренная нами работа Д. Боброва.

Поскольку эпистемологическое допущение находит поддержку в двух сферах успешной формализации - физике и лингвистике,- нам предстоит рассмотреть обе эти области. В физике действительно имеются формальные структуры, описывающие поведение (например, обращение планет вокруг Солнца), однако, как мы вскоре убедимся, такого рода формализм не пригоден для исследователей "искусственного интеллекта". В то же время мы увидим, что в лингвистике существует некоторый формальный аппарат, имеющий прямое отношение к искусственному интеллекту и свидетельствующий в пользу предположения, согласно которому всякое непроизвольное поведение может быть формализовано- Однако, как выяснится, этот аппарат, выражающий компетенцию говорящего, иными словами, то, что он способен осуществить, не позволяет применить ЭВМ для воспроизведения его действий, то есть того, что реализуется в его поведении,

I. Ошибочный аргумент, основанный на успехах физики

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

146полагать, будто "машины подвержены каким-либо ограничениям, не распространяющимся на человека"*. Рассмотрим доводы, приводимые в поддержку этого утверждения. Для начала, однако, выясним, что сторонник формальных методов имеет в виду под машиной.

Цифровая вычислительная машина - это машина, которая работает в соответствии с теми критериями, которые Платон некогда выдвигал для понимания всякого упорядоченного поведения. Эта машина, согласно определению М.Минского, которое в свою очередь основано на определении А.Тьюринга, есть "подчиняющийся правилам механизм". У Тьюринга мы читаем: "Предполагается, что эти машины [придерживаются],,, определенных, раз навсегда заданных правил,.. Обязанность контролирующего устройства - следить за тем, чтобы эти команды выполнялись безошибочно и в правильном порядке. Контролирующее устройство сконструировано так, что это происходит непременно"**. Следовательно, рассматриваемая машина является ограниченным, но весьма фундаментальным типом механизма- Она работает с четко определенными квантами данных - битами информации-в соответствии со строгими правилами, которые применяются к этим данным однозначно- Утверждается, что машина такого типа - машина Тьюринга, выражающая сущность ЦВМ, может, в принципе, делать все то, что может делать человек, то есть разделяет, в принципе, только те ограничения, которым подвластен и последний.

М.Минский рассматривает встречное "антиформалистское" утверждение, согласно которому существуют "процессы, которые, будучи каким-либо способом полностью определены, в то же время не могут быть описаны вообще"***- Вместо того чтобы прямо ответить на это возражение, он ссылается на "блестящую", по его мнению, статью А.Дьюринга, аргументы которой содержат "убедительное опровержение многих из таких возражений"****. На деле же Тьюринг принимает подобные возражении, обосновывая это следующим образом: "Невозможно выработать правила, предписывающие, что именно должен делать человек во всех случаях, при всех возможных обстоятельствах"*****- По-видимому, здесь Тьюринг обобщает довод Л.Витгенштейна о том, что невозможно описать нормативные правила, которые заранее предписывают правильное использование слова во всех ситуациях. "Опровержение" Тьюринга состоит в том, что он проводит различие между "правилами действия" и "законами поведения", а затем утвер-

* М. Минский. Вычисления и автоматы. М., 1971, с. 18.

** А.Тьюринг. Могут ли машины мыслить? с. 23-24.

*** М. М и н с к и й- Вычисления и автоматы, М., 1971, с. 134.

**** М. Минский. Цит. соч., с 137.

***** А. Т ь ю р и и г. Цит- соч., с- 46.

147ждает, что "в отсутствии законов поведения, которые в своей совокупности полностью определяли бы нашу жизнь, нельзя убедиться столь же легко, как в отсутствии законченного списка правил действия"*.

В качестве ответа на утверждение Л.Витгенштейна это можно принять. А.Тьюринг, в сущности, утверждает, что, хотя мы не можем сформулировать нормативные правила для правильного применения отдельного предиката, это еще не доказывает, что мы не можем сформулировать правила, которые описывают, как в действительности отдельный индивидуум применяет такой предикат. Другими словам, хотя Тьюринг готов допустить, что в принципе невозможно представить набор правил, описывающих, что должен делать человек в каждом конкретном случае, он тем не менее считает, что в принципе существует возможность открытия системы правил, описывающих, что человек мог бы делать в каждом таком случае. Но почему это предположение кажется столь самоочевидным, что бремя доказательства ложится на тех, кто подвергает его сомнению? Почему мы должны убеждаться в отсутствии "законченного списка правил действия", а не в его наличии? Здесь мы опять сталкиваемся с эпистемологическим допущением- Попытаемся выделить тот фактор, который придает этому положению предполагаемую априорную правдоподобность.

Начнем с того, что понятие "законы поведения" допускает двоякое толкование. В том смысле, в каком закономерность означает упорядоченность, человеческое поведение, безусловно, закономерно. Но предполагать, что интересующие нас законы поведения могут быть воплощены в программах для ЭВМ или в каком-либо эквивалентном формализме,- совсем иное и гораздо более серьезное утверждение, которое нуждается в дальнейшем обосновании.

Сторонники "искусственного интеллекта" игнорируют этот вопрос, исходя из установки, согласно которой любое описание поведения может быть формализовано и затем представлено в виде программы для ЭВМ- Они предполагают, что-по крайней мере в принципе - поведение человека можно представить с помощью набора независимых утверждений, описывающих "входы" организма и соотнесенных с утверждениями, описывающими его "выходы". Наиболее характерный пример такого рода утверждения можно заимствовать у Дж.Калбертсона, начинающего с заявления о том, что по крайней мере в теории можно построить робот, используя лишь триггеры, и заканчивающего заявлением, что из этого следует возможность воспроизведения всего человеческого поведения в целом:

* Там же, с. 47,

148"Используя подходящие рецепторы и эффекторы, мы можем связать их вместе посредством центральных клеток. Если бы мы могли располагать достаточным количеством центральных клеток, если бы они были достаточно малы и каждая из них имела бы достаточное число концевых пластинок, если бы каждый синапс можно было снабдить пластинками в достаточном числе, если бы, наконец, мы располагали временем, достаточным, чтобы собрать все это вместе, то мы могли бы построить роботы, действующие по любой заданной программе, то есть роботы, ведущие себя при любом состоянии внешней среды так, как желательно нам... Было бы нетрудно построить робот, ведущий себя в точности, как Джон Джонс или Генри Смит, или же робот, имеющий любое желаемое усовершенствование свойств поведения Джонса или Смита"*.

Далее автор выражается еще более определенно:

"В силу того что принципиально они могут выполнять любую заданную программу, полные роботы могут совершать предписанные им действия е любых предписанных условиях: искусно разрешать проблемы, сочинять симфонии, создавать произведения искусства, литературы и инженерного дела, преследовать любые цели"**.

Но, как мы видели в гл, 4, неизвестно, какими предположительно должны быть эти "входы" и "выходы" в применении к человеку***. Согласно Дж. Калбертсону, мозг функционирует на основе установления связей между изолированными квантами данных; это утверждение в свою очередь основано на предположении, что нейроны работают как переключатели. Поскольку в гл- 3 мы видели, что это, по-видимому, не так и что, более того, нет ни одного аргумента в пользу данного предположения, в то время как имеется несколько аргументов против, мы вправе усомниться в том, что "входы" и "выходы" у человека существуют изолированно, а их соотношения могут быть формализованы. Предположение Калбертсона остается предположением и более ничем; поэтому оно никоим образом не может подтвердить его заключений.

Убежденный сторонник формальных методов имеет все же еще один ход. Используя неоднозначность понятия "законы поведения", он может трактовать поведение не как осмысленное человеческое действие, а просто как физическое движение человеческого организма, В таком случае, поскольку тело человека является частью физического мира, а, как мы видели, объекты физического мира подчиняются законам, которые могут быть выражены с помощью поддающихся программированию формализованных построений, то сторонник формального подхода может

* Дж. К а л б е р т с о н. Некоторые неэкономичные роботы. - В кн.; Автоматы, под ред. К.Шеннона и Дж.Маккарти, М, 1956, с. 142.

** Там же, с. 160.

*** Ответ на вопрос о том, почему нельзя найти таких допускающих выделения входов и выходов, можно будет дать только после того, как мы опишем отношения между человеком и окружающим его миром. См. гл. 8, особенно с. 235-236.

149настаивать на том, что законы человеческого поведения также подчиняются предложенному им формальному описанию. Для большей конкретности возьмем нервную систему: она подчиняется законам физики и химии, с чем мы уже имели случай согласиться. Тогда мы так или иначе могли бы воспроизвести поведение нервной системы с помощью некоторого физического устройства- Последнее не обязательно должно быть цифровой машиной или реализацией функции "входа-выхода", прямо описывающей поведение человека; оно может, к примеру, иметь форму "аналоговой вычислительной машины", использующей ионные растворы, электрические свойства которых меняются в зависимости от степени локальной насыщенности. В этом случае, как мы указывали в гл, 4, зная сочетание растворов в этом устройстве, мы могли, хотя бы в принципе, написать физико-химические уравнения, описывающие его "влажные" компоненты, и решить эти уравнения на совершенно "сухой" цифровой вычислительной машине- Следовательно, при наличии достаточного количества времени и памяти на ЦВМ можно промоделировать любую вычислительную машину, даже такого специального вида, как аналоговая. Вообще говоря, приняв такие фундаментальные допущения, как положение о том, что нервная система есть часть физического мира и что любой физический процесс может быть описан с помощью некоторого математического формализма (который в свою очередь можно запрограммировать на ЦВМ), можно прийти к весьма сильному утверждению, согласно которому поведение, являющееся результатом "переработки информации" у человека независимо от того, можно или нет его непосредственно формализовать, опосредованно всегда может быть воспроизведено на некоторой цифровой вычислительной машине.

Это утверждение может вполне объяснить уверенность сторонников формальных методов, но что фактически объясняет или доказывает та фундаментальная истина, что любая форма "переработки информации" (даже та, которую на практике можно осуществить только на "аналоговой вычислительной машине") может быть е принципе моделируема на ЦВМ? Как мы видели, она не оправдывает претензий "менталистов", согласно которым, хотя человек в процессе переработки информации не осознает используемые им операции дискретного характера, он тем не менее бессознательно следует некоторому набору правил. Оправдывает ли это заключение эпистемологическое допущение о том, что всякое непроизвольное поведение может быть формализовано?

Необходимо четко определить, что следует считать процессом переработки информации на вычислительной машине. Цифровая машина, решая уравнения, которые описывают аналоговое

150устройство по переработке информации, и моделируя таким образом реализуемую ими функцию, тем самым еще не моделирует соответствующий "информационный процесс". Последний касается информации, перерабатываемой моделируемым аналогом, а она совершенно отлична от информации, касающейся физических или химических свойств аналога. Следовательно, приведенное выше сильное утверждение, гласящее, что любой вид информации может быть передан цифровой машине для переработки, вводит в заблуждение. Не вызывает сомнений только тот факт, что для любого заданного вида информации можно в принципе составить программу для ЦВМ, имитирующую устройство, которое может обрабатывать указанную информацию.

Таким образом, поведение человека, понимаемое как движение-как поступление "входных" и выдача "выходных" физических сигналов,- является, по-видимому, вполне закономерным в том смысле, какой предполагают сторонники формальных методов. Однако это никоим образом не обосновывает их допущения в том виде, в каком оно представлено у М.Минского и А.Тьюринга. Ибо когда Минский и Тьюринг заявляют, что человек есть машина Тьюринга, они не имеют права подразумевать под этим, что человек есть физическая система. В противном случае можно было бы сказать, что и самолеты, и корабли - все это тоже машины Тьюринга. Их поведение также можно описать с помощью законов, представляемых в математической форме,- законов, устанавливающих соответствие между энергетическими "входами" и "выходами",- и воспроизвести, по крайней мере в принципе, на ЦВМ с любой степенью точности. Несомненно, когда М.Минский и А.Тьюринг заявляют, что человека можно рассматривать как машину Тьюринга, они, скорее всего, имеют в виду, что ЦВМ может воспроизводить человеческое поведение не путем решения физических уравнений, а путем процесса переработки данных, полученных из окружающей среды, посредством логических операций, которые можно свести к операциям сравнения, классификации и булевым операциям. Как заметил Минский:

"Умственные процессы похожи на... тот вид процессов, который мы встречаем в программах вычислительных машин: произвольные ассоциации символов, древообразные схемы распределения памяти, условные переходы и т. п."*.

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

* М.М i n s k у. Matter, Mind, and Models,- In: M.M i n s к y.(ed). Semantic Information Processing, p, 429.

151ными непосредственно из окружающего мира, но не для решения уравнений физики, описывающих физические объекты- Аргументы из области физики привлекаются лишь для того, чтобы показать, что энергетическое состояние "входов" и нейрофизиологические процессы, направленные на их преобразование, могут в принципе быть описаны в цифровой форме.

Никто не пробовал - и не пытается пробовать - использовать законы физики для детального вычисления движения человеческого тела. Это и физически вряд ли возможно, поскольку, как показал Х.Дж. Бремерман:

"Ни одна система переработки данных, будь то искусственная или естественная , не может переработать более (20x10*') бит/сек на грамм

своей массы"*.

Далее Бремерман продолжает:

"В году ?х 107 секунд. Возраст Земли равен почти 109 лет, ее масса меньше чем 6 х 1027 граммов. Следовательно, даже вычислительная машина размером с Землю не могла бы переработать более 103 бит в течение времени, равного возрасту Земли. [Даже без учета того, между прочим, факта, что, чем больше вычислительная машина, тем в большей степени скорость света становится фактором, замедляющим ее работу. - Х.Д. Доказательство теорем и решение задач... ведет к экспоненциальному росту дерева задач. Если наше предположение верно, то получается, что трудности, которые в настоящее время стоят на пути исследований в области распознавания образов и доказательства теорем, не будут разрешены и тогда, когда на грядущих сверхмощных вычислительных машинах будет достигнута предельная скорость обработки данных"**.

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

По-видимому, это смешение законов физики с правилами переработки информации служит для исследователей проблем "искусственного интеллекта", начиная с А,Тьюринга и кончая М,Минским, своего рода прибежищем; оно позволяет им верить в возможность формализации человеческого поведения; что же касается бремени доказательства, то оно, по их мнению, ложится на тех, кто утверждает, что существуют "процессы, которые, будучи каким-либо способом полностью определены, в то же время не могут быть описаны вообще"***.

Но если сомнительность аргументации, основанной на опериро1 вании понятиями "законы физики" и "правила переработки информации", установлена, как еще может обосновываться тезис

* H.J.B г е m е г m a n п. Optimization Through Evolution and Recombination. In: Self-Organizing Systems, Washington. 1962, p. 1. ** Ibid., p. 2. *** M. M и н с к и й. Вычисление и автоматы, с. 134.

152о том, что человеческое поведение на уровне переработки информации", как выражаются специалисты в области "искусственного интеллекта", можно описать с помощью строгих правил?II. Ошибочный аргумент, основанный на успехах современной лингвистики

Если ни один аргумент, базирующийся на материале из области физических наук, не может быть привлечен для выяснения вопроса о перспективах работ в области "искусственного интеллекта" (поскольку направление "искусственного интеллекта" имеет задачей формализацию человеческого поведении, а не физического движения), то остается единственная надежда-вернуться в сферу самих наук о поведении- Галилей смог заложить фундамент современной физики потому, что, абстрагировавшись от ряда представлений аристотелевой физики о свойствах и отношениях тел, обнаружил, что для описания движения материальных объектов достаточно оставшихся математических соотношений. Чтобы оптимизм сторонников "искусственного интеллекта" получил обоснование, необходим Галилей исследования разума, который, применив надлежащие абстракции, открыл бы формальный аппарат, достаточный для описания человеческого поведения.

Дж. Маккарти следующим образом формулирует это стремление связать физику с науками о поведении:

"Хотя для выражения наиболее важных областей математики были созданы формальные теории, а в формализации отдельных эмпирических наук был достигнут некоторый прогресс, в настоящее время не существует формальной теории, позволяющей выразить тот тип анализа в терминах "средств и целей", который используется в повседневной жизни... Наш подход к проблеме "искусственного интеллекта" требует формальной теории'

Недавно такой крупный прорыв - в направлении формализации лингвистики - был осуществлен Н. Хомским и другими представителями трансформационной лингвистики. Они нашли, что если отвлечься от использования языка человеком - от употребления тех или иных предложений в различных конкретных ситуациях,- то можно формализовать все остальное в языке, то есть человеческую способность к узнаванию грамматически правильных и отбрасыванию грамматически неправильных предложений. Иными словами, они считают, что создаваемая ими формальная теория в состоянии охватить многое из того, что относится к

* J. McCarthy. Programs with Common Sense.-ln: M,Minsky (ed.). Semantic Information Processing, p. 410,

153лингвистической компетенции))*. Этот успех воодушевил тех. исследователей в области 'искусственного интеллекта", которые утверждают, что человеческое поведение может быть формализо-

* Н.Хомский имеет обыкновение опредять "лингвистическую компетенцию" и "использование языка"таким образом, чтобы обеспечить это разделение, а связь между теорией компетенции и теорией употребления языка превратить в чисто эмпирический вопрос. Например он говорит: "...чтобы избежать одного постоянного недоразумения, вероятно, стоит повторить, что порождающая грамматика не является моделью для говорящего или для слушающего. Она стремится охарактеризовать в наиболее нейтральных терминах знание языка, которое дает основу для действительного использования языка говорящим-слушающим. Когда мы говорим о грамматике, что она порождает предложение с определенным структурным описанием, мы просто имеем в виду, что грамматика приписывает предложению это структурное описание" (Н.Хомс кий. Аспекты теории синтаксиса67- М., 1972, с. 13-14) (курсив мой. - Х.Д) .

Однако это прямолинейное определение не отвечает полностью на вопрос, в чем, по мнению Н.Хомского, заключается различие между понятиями языковых компетенции и употребления, которые он вводит. Если компетенцией считать знание какого-то языка, то вопрос о роли правил, описывающих компетенцию, и об их участии в употреблении языка оказывается вопросом эмпирическим. Но в ряде случаев Хомский считает компетенцию необходимой для употребления языка; эта мысль имеется уже в самом определении "компетенции", "употребления" языка и их отношений: "Под "порождающей грамматикой" я имею в виду описание той невыраженной компетенции говорящего-слушающего, которая лежит в основе фактического употребления им языка, как в процессе речи, так и при ее восприятии (понимании). Порождающая грамматика по своему замыслу должна служить установлению соответствий между фонетическими и семантическими представлениями - их "спариванию" в некоторой бесконечной области. Таким образом, порождающая грамматика представляет собой определенную гипотезу, объясняющую, каким образом говорящий-слушающий интерпретирует те или иные речевые акты-высказывания, отвлекаясь от многих факторов, которые, взаимодействуя с не находящей выражения компетенцией, определяют фактическое использование, употребление языка" (N. С h о m s k у. Cartesian Linguistics. New York, Harper and Row, 1966, p. 75) (курсив мой.- Х.Д-) -Или возьмем следующее замечание: "Мы должны абстрагировать для отдельного и независимого изучения определенную систему интеллектуальных способностей, систему знаний и убеждений, которая развивается в раннем детстве и во взаимодействии с многими другими факторами определяет те виды поведения, которые мы наблюдаем; если ввести формальный термин, то можно сказать, что мы должны изолировать и изучать систему языковой компетенции, которая лежит в основе поведения, но которая не реализуется в поведении каким-либо прямым или простым образом" (КХомский. Язык и мышление, с. 15 (курсив мой. - Х.ДЛ -Когда Хомский говорит о "не выраженой компетенции", которая "лежит в основе фактического употребления" языка и которая "определяет,., виды поведения", мы сталкиваемся с той же самой тенденцией, что и у М.Поляного, который полагает, что правило, описывающее, как он считает, "компетенцию велосипедной езды", используется в самом процессе езды на велосипеде. При таком прочтении роль формальных методов, выражающих "компетенцию", перестает быть нейтральной. Сколь бы строгим ни был формализм, он обязательно должен использоваться в языковом поведении.154

рано без сведения его к физическому уровню, ибо он говорит в пользу по крайней мере первой части эпистемологической гипотезы. В самом деле, определенная область упорядоченного поведения, на первый взгляд не подчиняющаяся никаким правилам, была описана с помощью сложных правил такого типа, что они могут быть непосредственно запрограммированы для передачи их цифровой вычислительной машине ("непосредственно", то есть минуя описание колебаний голосовых связок говорящего или физико-химических процессов, протекающих в его мозгу).

Но такая формализация подтверждает лишь половину эпистемологического допущения. Лингвистическая компетенция отно-

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

Иногда кажется, что Хомский придерживается именно такой точки зрения: "Мы интерпретируем то, что говорится в нашем присутствии, не только с помощью лингвистических принципов, определяющих фонетические и семантические свойства высказывания. Фундаментальную роль в определении того, как произносятся, идентифицируются и понимаются высказывания, играют экстралингвистические представления о данном говорящем и о той ситуации, в которой он находится. Использование языка, кроме того, подчиняется принципам концептуальной структуры (например, ограничениям, которым подчинена память), -принципам, которые, строго говоря, не могут быть отнесены к языку как таковому.

Следовательно, для того, чтобы изучить язык, мы должны попытаться выделить ту разнородную группу факторов, которая взаимодействует с лежащей в ее основе компетенцией, в результате чего окажется возможным определить и то, что относится к фактическому использованию языка; в строгом смысле слова термин "компетенция" означает способность идеализированного говорящего-слушающего ассоциировать звуки и значения в точном соответствии с правилами своего языка". (N.Chomsky. The Formal Nature of Language.-In: E.H. Lenneberg. (edj. Biological Foundations of Language, New York-London-Sydney, 1967, p. 398; (курсив мой.- Х.Д.) .

Какова же в таком случае связь между лингвистической компетенцией и употреблением языка? Что, если вдруг психолингвисты обнаружат, что произнесение высказывания происходит вообще без участия тех правил, которые предписывает лингвистический формализм Хомского? По-видимому, именно в пользу этой точки зрения свидетельствуют последние результаты, полученные в психолингвистике [ср. следующие слова Т.Биве-ра: "В поведенческих процессах используются лингвистически определенные внутренние и внешние структуры, но грамматические процессы,

155сится к другой области исследования,, нежели та, которую сторонники "искусственного интеллекта" стремятся формализовать. Если машины должны общаться с человеком на естественном языке, то их программы должны содержать не только правила грамматики, но и правила, относящиеся к "лингвистическому использованию языка". Другими словами, те факторы, которые были опущены при формулировке лингвистической теории - тот, например, факт, что люди умеют применять язык,- и должны быть формализованы.

Вопрос об оправдании эпистемологического допущения сводится к следующей принципиальной проблеме: есть ли основание

связывающие эти структуры внутри некоторой грамматики, не находят зеркального отражения в поведении, не моделируются им непосредственно. Такой вывод служит опровержением любой из тех моделей распознавания речи, в которых делается попытка представить грамматические правила как такую составляющую процессов распознавания, которая поддается обособлению" (Т, В е v e r. The Cognitive Basis for Linguistic Structures, Preprint, p. 101, глава, из которой взята эта цитата, озаглавлена "Неразличение взрослыми лингвистической компетенции и использования языка") - Откажется ли теперь Хомский от своего формального подхода к описанию языка? По всей видимости, ему хотелось бы сохранить обе возможности: с одной стороны, сделать свое формальное описание компетенции независимым от психологии (в результате чего оно сохранило бы свою силу, какими бы ни оказались экспериментальные результаты) , а с другой стороны, признать роль формализма в употреблении языка вопросом определения. Так, Хомский пишет: "Когда мы говорим, что предложение имеет определенный вывод по отношению к конкретной порождающей грамматике, мы ничего не говорим о том, как практически и эффективным образом действовать говорящему или слушающему, чтобы построить этот вывод. Эти вопросы относятся к теории использования языка - к теории употреблений". (Н.Х омский. Аспекты теории синтаксиса, с, 14; курсив мой- - Х.Д,). ^Однако на с. 30 своей работы "Язык и мышление" он говорит: "Проблема определения характера таких грамматик и принципов, которые управляют ими, является типичной проблемой науки, возможно, очень трудной проблемой, но в принципе допускающей определенные ответы, которые истинны или ложны в зависимости от того, соответствуют они умственной реальности или нет" .

Мы сталкиваемся здесь с явной неопределенностью в вопросе о статусе формальных грамматических структур, характеризующих интуитивное узнавание говорящим грамматической правильности, В основе этой неопределенности лежит весьма сильная конъюнкция - объединение двух допущений:платоновского, гласящего,что формализм, который дает возможность понять поведение, используется и при построении этого поведения; и кантовского, согласно которому всякое упорядоченное поведение подчиняется некоторым правилам (оба допущения нашли подкрепление в идее создания соответствующих программ для вычислительных машин) . Н.Хомский не подвергает сомнению ни допущение, согласно которому "человек, который усвоил знание языка, хранит в себе систему правил" (Н.Хомский. Язык и мышление, с. 37), ни утверждение о том, что эти правила функционируют как "механизм" для "порождения" предложений. Если допустить, что оба эти утверждения справедливы, то мы придем к картезианской теории врожденных идей Хомского - теории, которая даже ему самому кажется не очень приемлемой: "Нелегко согласиться с точкой

156полагать, что может существовать некоторая формальная теория "употребления" языка? Имеется два рода причин считать, что подобное распространение лингвистической теории невозможно. Во-первых, несостоятельна попытка опереться на принцип (к рассмотрению которого мы обратимся в следующей главе), гласящий; коль скоро существует теория употребления языка, то должна существовать и теория человеческого познания в целом; ибо такая теория неосуществима. Во-вторых, не всякое языковое поведение подчиняется правилам; мы признаем некоторые языковые обороты необычными - нарушающими правила,- но это не

зрения, а соответствии с которой уже ребенок в состоянии построить чрезвычайно сложный механизм, порождающий множество предложений, лишь некоторые из которых ребенок слышал раньше, а взрослый человек умеет мгновенно определять, может ли (а если может, то как) этот механизм породить данное конкретное языковое выражение; при этом следует принимать во внимание, что механизм, о котором идет речь, обладает многими свойствами, характерными для абстрактной дедуктивной теории. Тем не менее, по-видимому, такое описание употребления языка говорящими -тем, к кому обращена речь, и тем, кто воспринимает ее со стороны,- довольно близко к истине" (N. Chomsky. A Review of B.F, Skinner's "Verbal Behavior'\-!n.: The Structure of Language, Englewood Cliffs, N J. Prentice-Hall, 1964, p. 577).

Эта точка зрения при всем своем неправдоподобии, кажется приемлемой благодаря существованию вычислительных машин: "В принципе не составит трудности заложить в программу вычислительной машины схему, которая жестко ограничивает вид порождающей грамматики или процедуру оценки для грамматик данного вида, или методику определения того, совместимы ли фиксированные данные с грамматикой данного вида, или определенную подструктуру элементов (типа различных признаков), правил и принципов и так далее - коротко говоря, универсальную грамматику того типа, что была предложена в последние годы" (Н.Хомский, Язык и мышление, с. 101) ,

Далее Хомский переходит к установлению связей между этой машинной моделью и классической традицией: "По причинам, уже упоминавшимся мною, я считаю, что эти предложения вполне могут рассматриваться как дальнейшее развитие классической рационалистической доктрины, как разработка некоторых из ее главных идей относительно языка и мышления" (там же) .

В заключение Н.Хомский пишет: "Проведя те виды исследования, которые представляются сейчас осуществимыми, и концентрируя внимание на определенных проблемах, которые сейчас доступны для изучения, мы, вероятно, можем расшифровать с некоторой степенью подробности те сложные и абстрактные вычисления, которые определяют, отчасти, сущность результатов перцепции и характер знания, которое мы можем усвоить, - весьма специфические способы интерпретации явлений, которые, в большой степени, находятся за пределами нашего сознания и контроля и которые, вероятно, являются уникальными свойствами человека" ("Язык и мышление", с. 116). В такого рода неокартезианстве находит свое полное выражение традиционное философское допущение: отличительный атрибут человека можно видеть в том, что он представляет собой чрезвычайно сложно организованную вычислительную машину. Пожалуй, со времен Т.Го(5бса, который (несколько преждевременно) вывел это заключение из ньютоновской физики, эта идея впервые вновь появилась на сцене.

157мешает нам понимать их смысл. К рассмотрению этого дескриптивного" возражения мы сейчас и перейдем.

Во многих случаях носитель языка признает то или иное словоупотребление необычным, но тем не менее он в состоянии его понять. Например, фраза "Мысль еще не дошла до бумаги"68 пена нам в ситуации, когда речь идет об обещании, данном каким-то автором; но машина, достигнув этого момента, не сможет работать дальше, поскольку ее правила "допускают до бумаги" только такие объекты, как знаки, нанесенные чернилами, оттиски типографских букв, и т. п. Кроме того, поскольку мысль не является физическим объектом, машина сможет только отвергнуть то, что она может "дойти до бумаги" или в лучшем случае дать упомянутому обороту произвольную интерпретацию. Понимание этой же фразы слушателем-человеком далеко не произвольно. Зная из опыта, сколь далеки подчас бывают намерения людей от их осуществления, зная также, сколь многое требуется для написания книги, выслушавший эту фразу человек уловит ее основной смысл, а тот, кто ее произнес, по реакции слушающего поймет, что его поняли. Значит ли это, что в актах понимания или использования необычных оборотов речи человек исходит из определенного правила- в данном случае из правила, позволяющего соответствующим образом модифицировать значение выражения "дойти до"?,Скорее всего, не значит, поскольку данный оборот признается "необычным", по-видимому, даже теми, кто его произносит.

Этот пример подводит нас к основной трудности, стоящей на пути моделирования поведения. Акты поведения, если оно запрограммировано, либо выполняются в строгом соответствии с правилами, либо носят случайный характер. Поэтому, столкнувшись с новым оборотом, машина должна либо поступить с ним как с понятным случаем, подпадающим под правила, либо сделать шаг наугад. Человек как носитель языка чувствует, что у него есть третья возможность. Он может оценить оборот как необычный, как случай, не подпадающий под правила, и тем не менее осмыслить оборот - придать ему то или иное значение в контексте человеческой жизни, не следуя каким-либо жестким правилам, но и не приписывая ему произвольного значения.

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

Человек, сталкиваясь с необычными выражениями и явными ошибками, постепенно адаптируется к ним, осмысляя те измене-

158ния в понимании языка, которые они вносят. Для машины же есть только две возможности. Она может начать с ошибки, а затем, когда ее научат, пересмотреть правила с тем, чтобы в них был предусмотрен новый оборот. Другой путь состоит в том, чтобы заранее вложить в машину все нужные правила - даже правила о том, как нарушать правила и все-таки сохранять способность осмысления языковых выражений. Принять первый вариант - первоначальная ошибка, а затем ее исправление - значит допустить в принципе, а не только на практике, что машина обречена следовать за человеком, т. е. что она не способна к достижению человеческого уровня. Второй же вариант - вариант, при котором правила, охватывающие все возможные случаи, должны быть либо прямо заложены в машину, либо вырабатываться в ней в ходе обучения (поскольку это единственный способ, позволяющий цифровой вычислительной машине моделировать способность человека оперировать необычным словоупотреблением) ,- противоречит как логике, так и опыту.

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

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

И здесь, как и в случае с шахматами, эта насмешка со стороны феноменологических свидетельств приводит к телеологической загадке: почему, если каждый понимаемый нами случай применения языка подчиняется правилам, некоторые из этих случаев кажутся нам необычными,- настолько необычными, что мы не можем применить к ним какое-либо правило для объяснения своей интерпретации? Почему, располагая правилами такой силы

159и молниеносной способностью использовать их на подсознательном уровне, мы уже на уровне сознания в иных случаях приходим в замешательство и считаем эти случаи необычными, причем даже после того, как поняли их?

Эти соображения подсказывают нам, в каком месте возникают противоречия. Они возникают, когда мы требуем создания формализма для применения языка, сравнимого с формализмом общей теории синтаксической и семантической компетенции. Последняя может содержать точное знание, поскольку имеет дело с вневременными явлениями и не претендует на формализацию феномена понимания языка в различных конкретных ситуациях.

Описанные трудности, однако, не волнуют лингвистов, которые, подобно истинным ученым, с большой осторожностью ограничивают свою область исследования "лингвистической компетенцией", т. е. общими принципами, которые применяются во всех случаях. Что же касается нашей способности применять язык в конкретных ситуациях, то ее исключают из рассмотрения как экстралингвистическую. Как указывает С. Кьеркегор, законы науки69 универсальны и вневременны, они трактуют всякий опыт так, как если бы он мог иметь место или был в прошлом*, Исследователи же в области "искусственного интеллекта" хотят, чтобы их машины взаимодействовали с людьми в реальных жизненных ситуациях, при которых объекты имеют специфическое ситуативное значение. Но вычислительные машины не участвуют в ситуациях. Каждый бит информации всегда имеет одно и то же значение. Вычислительные машины, правда, не являются "трасцендентально тупыми", как сказал бы Кант, Они могут применить правило к конкретному случаю, если этот случай предварительно однозначно описан в терминах общих признаков, фигурирующих в этом правиле. Они могут, таким образом, моделировать одну из разновидностей теоретического понимания. Но у машин отсутствует практический интеллект. Они "экзистенциально тупы" в том смысле, что не в состоянии справляться с конкретными ситуациями. Иными словами, они не допускают неоднозначности и нарушения правил до тех пор, пока в них не будут введены правила оперирования с отклонениями от правил, причем такие, которые полностью исключают возможность неоднозначности. Для того чтобы преодолеть эту неспособность, исследователи в области "искусственного интеллекта" должны разработать вневременную, внеситуативную теорию текущей человеческой деятельности.

Своеобразие, важность - и вместе с тем проклятие - работ по созданию систем общения человека с машиной на естественном

* S,K i е г k e g a a r d Concluding Unscientific Postscript, Princeton, N.J.; Princeton University Press, 1944, p. 108, 311.

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

Подобная прикладная теория, однако, не может быть аналогичной приложениям теоретической физики к технике, какие бы параллели здесь ни проводились. Когда мы используем законы физики для управления ракетами, реальное движение последних в пространстве есть конкретная реализация вневременных, универсальных законов, соотносимых с ситуацией не иначе, как в собственных терминах. Но в случае языка, как мы видели, говорящий принимает обычные ситуативные представления и цели как сами собой разумеющиеся. Таким образом, общие законы "лингвистической компетенции" не могут прямо применяться к моделированию языкового поведения. Чтобы от лингвистического формализма перейти к конкретному употреблению языка, следует учитывать тот факт, что говорящий понимает ситуацию, в которой находится. Если теория использования языка возможна как самостоятельная теория, то это должна быть теория совсем иного рода - теория ситуативного контекста, полностью описывающая его в универсально значимых, но не в физических терминах. Однако ни физика, ни лингвистика не предложили ни одного подхода к созданию подобной теории и, более того, не подали никакой надежды на то, что такая теория когда-либо появится.

Заключение

Чтобы опровергнуть эпистемологическое допущение о возможности теории, охватывающей практическую деятельность, а в случае языка - о возможности полной формализации правил, управляющих использованием языковых выражений в реальных условиях,-недостаточно указать на то, что до сих пор не су-

161ществует системы автоматического перевода, или на тог что способы использования языка чрезвычайно гибки и явно не подчиняются правилам. "Формалист" может, следуя Платону, парировать это возражение, заявив, что если мы не в состоянии формализовать нашу способность пользоваться разговорным языком, то это доказывает лишь недостаточное понимание данного типа поведения, а также то, что правила полного описания употребления языка еще не найдены*.

Эта оборонительная позиция на первый взгляд как будто бы напоминает позицию представителей эвристического программирования, уверенных в том, что рано или поздно они найдут эвристики, обеспечивающие машине возможность играть в шахматы,- пусть до сих пор эти эвристики и не найдены. Но это только на первый взгляд: если уверенность в своей правоте, присущая составителю эвристических программ, базируется на необоснованном психологическом допущении относительно характера информационных процессов, протекающих в мозгу человека, то утверждение "формалиста" основывается на истинном понимании природы научного объяснения. До тех пор, пока наше поведение не определено в терминах единственно возможных и точно определенных реакций на точно определенные объекты в среде универсально определенных ситуаций, мы не "поймем" наше поведение в единственно возможном для науки смысле.

Чтобы противостоять этому априорному императиву теоретического понимания, недостаточно апелляции к феноменологическому описанию» Надо показать невыполнимость этого теоретического императива в его собственных терминах- показать, что правила, которые дают возможность носителю языка говорить, не могут быть полностью формализованы, а также что эпистемологическое допущение не только неправдоподобно, но и ведет к противоречиям.

Л- Витгенштейн был, по-видимому, первым философом со времен Б. Паскаля, который заметил: "Вообще говоря, мы

* Эта точка зрения отчетливо и наивно выражена во введении К.Сайра к сборнику "Моделирование разума":

"Любая умственная функция, отличающаяся тем, что 1) ее вход и выход могут быть выражены в точном виде и 2) выполняемое ею преобразование может быть приближено некоторыми уравнениями, описывающими определенные соотношения между входом и выходом, - любая такая функция уже только на зтом основании может быть промоделирована с той или иной степенью точности. В то же время если у нас нет четкого представления ни о входе, ни о выходе, ни о соответствующем преобразовании, то мы не сможем получить адекватную модель этой функции. Однако наше бессилие в этом случае можно будет считать свидетельством недостаточного уровня развития нашего мышления, а не признаком какой-то "трансцендентальное™" умственных функций" (K.Sayre and J. С г о s s о n (eds.). The Modeling of Mind, South Bend, Ind., Notre Dame University Press, 1962, p. 14).

162используем язык, не руководствуясь строгими правилами, и учат нас языку тоже не по строгим правилам"*- Однако аргументация Л. Витгенштейна, направленная против утверждения, что язык есть исчисление, базируется не только на феноменологическом описании такого использования языка, которое не подчиняется каким-либо правилам. Его сильнейший аргумент носит диалектический характер и основан на представлении о сведении одних правил к другим. В соответствии со взглядами критикуемых им философов-рационалистов, он сначала предполагает, что всякое непроизвольное поведение должно подчиняться правилам, а затем сводит это предположение к абсурду, требуя для применяемых правил в свою очередь правил их применения, и так далее.

Бесспорно, что мы всегда имеем возможность нарушить правила и вместе с тем быть понятыми- В конце концов, то, что нарушениям правил не поставлено границ,- это мы просто чувствуем. Но мы можем и ошибаться. Остается неясным вопрос о том, возможно ли полное понимание поведения в терминах правил. Л.Витгенштейн утверждает, как некогда утверждал Аристотель в споре с Платоном, что всегда должно оставаться место для интерпретации- И вопрос не в том (как, по-видимому, считает Тьюринг), имеются ли правила, диктующие нам то, что надлежит делать, -его мы вправе игнорировать. Главное состоит в том, могут ли существовать правила, описывающие то, что говорящий делает в действительности. Чтобы иметь полную теорию того, что может делать носитель языка, нужно располагать не только грамматическими и семантическими правилами, но и правилами, которые дали бы возможность человеку или машине распознавать контекст, в котором правила должны применяться. Так, должны существовать правила для распознавания ситуации, намерений говорящего и т. д. Но если теория требует дальнейших правил для объяснения того, каким образом осуществляется применение этих правил, то, рассуждая чисто логически, мы впадаем в бесконечное сведение одних правил к другим. И то что мы, несмотря на это, ухитряемся применять язык, означает, что такая редукция не представляет проблемы для человека. Если "искус­ственный интеллект" возможен, то сведение, редукция правил не должна быть проблемой и для машин.

Л, Витгенштейн, как и специалисты в области вычислительной математики и ЭВМ, вынуждены согласиться с тем, что существует некоторый уровень, на котором правила просто применяются непосредственно, и для своего применения не требуют новых правил. Однако относительно того, как описывать этот камень преткновения, мнение Л.Витгенштейна коренным образом отли-

* LWi ttge n s te i n. The Blue and Brown Books, Oxford, EngL, B. Brackwell, I960, p. 25.

163чается от взглядов специалистов в области "искусственного интеллекта". Витгенштейн вообще не видит здесь проблемы: мы "вытаскиваем" такое количество правил, которого требует данная ситуация. На каком-то уровне, в зависимости от того, что именно мы пытаемся делать, интерпретация правила совершенно очевидна и редукция прекращается*.

Для тех, кто имеет дело с вычислительными машинами, редукция также прекращается вместе с интерпретацией, которая самоочевидна, однако эта интерпретация не имеет ничего общего с требованиями ситуации. И не может иметь, поскольку вычислительная машина не человек, и не находится "в ситуации". Она не порождает какого-либо ситуативного контекста. Для специалиста в области вычислительной математики и техники решение проблемы состоит в том, чтобы создать машину, способную реагировать в конечном счете на кванты свободных от контекста, полностью детерминированных данных, понимание которых не требует дальнейшей интерпретации. Как только данные введены в машину, дальнейшая их обработка должна производиться по правилам. Но считывание данных есть непосредственное отражение детерминированности признаков машинной среды, таких, как, например, дырочки на перфокартах или мозаика телевизионной камеры; поэтому на этом самом низком уровне машине не нужны правила для применения ее правил. Точно так же, как красное пятно управляет поведением птенца серебристой чайки в процессе питания, а глаз лягушки автоматически сигнализирует о наличии движущегося черного пятна, так и человеческое поведение, если бы его удалось понять до конца и "компьютеризовать", представлялось бы как управляемое специфическими условиями внешней

среды.

В качестве психологической теории поведения человека эта гипотеза, разумеется, неприемлема. Чувство необычности, возникающее при отклонении от правильного словоупотребления, наряду с ощущением того, что ничто в окружающем мире не обязано вызывать в нас неизбежную и неизменную реакцию,

*См., например: L. Wittgenstein. Philosophical Investigations. Oxford, Eng., B.BIackwell, 1953, p. 39, 40, 41, 42. Витгенштейн пишет также:

"Правило есть своего рода дорожный указатель. - Разрешает ли дорожный указатель все мои сомнения по поводу того, куда направиться? Говорит ли он, куда двигаться, миновав его: вдоль дороги по тропинке или по пересеченной местности? Он не определяет, какой путь мне нужно избрать, -тот, который указывает его стрелка, или, скажем, противоположный. - А если бы был не один, а целая серия указателей и проезжая часть дороги была бы размечена,- разве интерпретация всего этого была бы единственной!- Можно сказать, что дорожный указатель действительно разрешает все сомнения. Но можно сказать и так: иногда разрешает, а иногда нет. Но в таком виде утверждение уже перестает быть философским и переходит в область эмпирических соображений" (р. 39, 40)

164