Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки





назад содержание далее

Часть 2.

<><СОЗНАНИЕ ><И ><МАШИНЫ ><'>>

<<Разнообразные ><вопросы ><и ><загадки, ><составляющие ><классиче><скую ><психофизическую ><проблему ><(mind-body ><носят ><ис><ключительно ><лингвистический ><и ><логический ><характер: ><если ><и ><есть ><в ><этой ><области ><немногочисленные ><эмпирические ><«факты», ><то ><они ><в ><равной ><мере ><подтверждают ><самые ><разные ><точки ><зрения. ><Я ><не ><став><лю ><себе ><цели ><доказать ><это ><утверждение ><в ><настоящей ><статье, ><но ><на><деюсь ><сделать ><его ><более ><правдоподобным. ><В ><частности, ><я ><попыта><юсь ><показать, ><что ><все ><эти ><проблемы ><возникают ><в ><связи ><с ><любой ><компьютерной ><системой, ><способной ><отвечать ><на ><вопросы ><относи><тельно ><своей ><собственной ><структуры, ><и ><никак ><не ><связаны ><с ><уни><кальной ><природой ><человеческого ><субъективного ><опыта ><(если ><она ><действительно ><уникальна).>

<В ><качестве ><иллюстрации ><сошлюсь ><на ><проблему ><приватности ><(privacy), ><которая ><представляет ><собой ><одну ><из ><загадок, ><время ><от ><времени ><обсуждаемых ><в ><связи ><с ><«психофизической ><проблемой». ><Вопрос ><«Откуда ><я ><знаю, ><что ><мне ><больно?» ><является ><девиантным ><' ><(«логически ><странным») ><вопросом. ><Вопрос ><же ><«Откуда ><я ><знаю, ><что ><Смиту ><больно?» ><совершенно ><не ><девиантен. ><Это ><различие ><можно ><проследить ><и ><в ><случае ><безличных ><вопросов: ><вопрос ><«Откуда ><некто ><знает, ><что ><ему ><больно?» ><девиантен, ><а ><вопрос ><«Откуда ><некто ><знает, ><что ><кому-то ><другому ><больно?» ><не ><девиантен. ><Далее ><я ><покажу, ><что ><различие ><между ><двумя ><последними ><вопросами ><воспроизводится ><и ><в ><случае ><машин: ><если ><Т ><- ><машина ><Тьюринга, ><то ><вопрос ><«Как ><ма><шина ><Т ><устанавливает, ><что ><она ><находится ><в ><состоянии ><Л?», ><как ><мы ><увидим ><в ><дальнейшем, ><в ><еще ><большей ><степени ><«логически ><стра><нен»; ><но ><если ><машина ><Т ><способна ><обследовать ><свою ><соседку, ><ма><шину ><7" ><(скажем, ><Т ><обладает ><электронными ><«органами ><чувств», ><«сканирующими» ><машину ><Т), ><то ><вопрос ><«Как ><машина ><7* ><устанав><ливает, ><что ><Т ><находится ><в ><состоянии ><Л?» ><вовсе ><не ><является ><странным.>

<Другой ><вопрос, ><связанный ><с ><«психофизической ><проблемой», ><формулируется ><так: ><допустимо ><ли ><вообще ><отождествлять ><менталь><ные ><и ><физические ><события. ><Конечно, ><я ><не ><утверждаю, ><что ><этот ><во->

<><* ><Впервые ><опубликовано ><в ><кн.:>< ><(ed.)>< ><1960.>

<1>< ><Девиантным ><здесь ><называется ><предложение, ><семантически ><не ><вполне ><корректное ><(в ><соответствующем ><естественном ><языке). ><Этот ><термин ><взят ><у ><Зиффа ><(см. ><1960).>

<24><>>

<<><прос ><правомерен ><и ><в ><отношении ><машин ><Тьюринга, ><но ><считаю, ><что ><применительно ><к ><ним ><можно ><сформулировать ><логический ><аналог ><вопроса ><о ><«тождестве ><сознания ><и ><мозга», ><который ><воспроизведет ><все ><аспекты ><этого ><вопроса.>

<В ><целях ><построения ><такого ><аналога ><определим ><научную ><теорию ><как ><«частично-интерпретированное ><исчисление» ><в ><смысле ><Карнапа ><2><. ><Теперь ><мы ><вполне ><можем ><представить ><себе ><машину ><Тьюринга, ><ко><торая ><создает ><теории, ><проверяет ><их ><(предположим, ><что ><в ><опреде><ленной ><степени ><можно ><сформулировать ><«машинный» ><вариант ><ин><дуктивной ><логики) ><и ><«принимает» ><теории, ><удовлетворяющие ><опре><деленным ><критериям ><(например, ><критерию ><успешности ><предсказа><ний). ><В ><частности, ><если ><машина ><обладает ><электронными ><«органами ><чувств», ><позволяющими ><ей ><«сканировать» ><себя ><во ><время ><работы, ><она ><может ><формулировать ><теории ><о ><своей ><собственной ><структуре ><и ><подвергать ><их ><проверке. ><Предположим, ><машина ><находится ><в ><каком-><то ><определенном ><состоянии ><(скажем, ><«состоянии ><Л») ><тогда ><и ><толь><ко ><тогда, ><когда ><взведен ><триггер ><36. ><Тогда ><предложение: ><«Я ><нахо><жусь ><в ><состоянии ><А ><тогда ><и ><только ><тогда, ><когда ><взведен ><триггер ><36» ><может ><выражать ><один ><из ><теоретических ><принципов, ><принятых ><машиной ><для ><описаний ><своей ><собственной ><структуры. ><Безусловно, ><с ><точки ><зрения ><машины, ><выражение ><«Я ><нахожусь ><в ><состоянии ><А» ><относится ><к ><«языку ><наблюдения», ><тогда ><как ><«взведен ><триггер ><36» ><представляет ><собой ><«теоретическое ><выражение», ><частично ><интер><претируемое ><в ><терминах ><«наблюдаемых ><сущностей» ><(если ><сообще><ния ><от ><«органов ><чувств» ><машины ><печатаются ><в ><виде ><символов ><на ><ленте ><входных ><данных, ><то ><«наблюдаемые ><сущности», ><в ><терминах ><которых ><машина ><формулировала ><бы ><операциональное ><определение ><для ><выражения ><«взведен ><триггер ><36», ><задающее ><его ><частичную ><ин><терпретацию, ><имели ><бы ><форму ><«символ ><* ><так-то ><и ><так-то ><появляет><ся ><на ><ленте ><входных ><данных»). ><Теперь ><для ><всех ><обычных ><сообра><жений ><«за» ><и ><«против» ><отождествления ><сознания ><и ><мозга ><можно ><сформулировать ><сходные ><соображения ><«за» ><и ><«против» ><отождеств><ления ><состояния ><А >< >< ><и ><взведенного ><состояния ><триггера ><36.>

<Параллельно ><аргументам ><в ><духе ><Оккама, ><выдвигаемым ><в ><защи><ту ><«тождества» >< ><сознания ><и ><мозга, >< ><можно >< ><предложить ><сходные, >< ><в>

<><2>< ><См.: ><1953; ><1956, ><38-76. ><На ><мой ><взгляд, ><эта ><модель ><научной ><теории ><слишком ><проста, ><чтобы ><иметь ><широкое ><применение: ><одна><ко ><эта ><упрощенность ><не ><влияет ><на ><наше ><обоснование.>

>< ><25>>

<<><духе ><Оккама, ><аргументы ><в ><случае ><машин. ><И ><для ><обычного ><аргумен><та ><в ><пользу ><дуализма ><можно ><сформулировать ><следующий ><парал><лельный ><аргумент: ><с ><точки ><зрения ><машины ><«состояние ><Л» ><непос><редственно ><наблюдаемо; ><с ><другой ><стороны, ><знание ><о ><«триггерах» ><она ><получает ><только ><в ><результате ><чрезвычайно ><сложных ><выводов ><- ><Как ><могли ><бы ><две ><столь ><различные ><вещи ><быть ><тождественными? ><Этот ><последний ><аргумент ><будет ><более ><убедительным, ><если ><его ><сформулировать ><иначе. ><Высказывание:>

<(1)>< ><Я >< ><нахожусь ><в ><состоянии ><А, >< ><если ><и ><только ><если >< ><взведен

><триггер ><36,>

<для ><машины ><определенно ><является ><«синтетическим». ><Например, ><машина ><могла ><бы ><находиться ><в ><состоянии ><А, ><а ><ее ><органы ><чувств ><давали ><бы ><сообщение, ><что ><триггер ><36 ><не ><взведен. ><В ><таком ><случае ><машина ><должна ><была ><бы ><сделать ><методологический ><«выбор»: ><или ><отказаться ><от ><высказывания ><(1),>< ><или ><заключить, ><что ><имела ><место ><«ошибка ><наблюдения» ><(и ><человек-ученый, ><изучая ><свои ><собственные ><психофизические ><корреляции, ><оказался ><бы ><перед ><сходным ><методо><логическим ><выбором). ><Точно ><так ><же ><философы, ><исходя ><из ><синтети><ческой ><природы ><высказывания:>

<(2) ><Мне >< >< ><больно, >< >< ><если >< >< ><и >< >< ><только >< >< ><если >< >< ><возбуждены >< >< ><мои >< >< ><С-

><волокна,>

<сделали ><бы ><вывод ><о ><том, ><что ><свойства ><(«состояния» ><или ><«события») ><«испытывать ><боль» ><и ><«иметь ><С-волокна ><возбужденны><ми», ><видимо, ><не ><могут ><быть ><тождественными ><(в ><противном ><случае ><высказывание ><(2) ><было ><бы ><аналитическим) ><- ><примерно ><так ><фор><мулируется ><этот ><аргумент. ><Поэтому ><на ><том ><основании, ><что ><выска><зывание ><(1)>< ><является ><синтетическим, ><следовало ><бы ><заключить, ><что ><два ><свойства ><(«состояния» ><или ><«события») ><- ><«находиться ><в ><со><стоянии ><А» ><и ><«иметь ><триггер ><36 ><взведенным», ><- ><не ><могут ><быть ><тождественными!>

<Нелишне ><отметить, ><что ><традиционный ><аргумент ><в ><пользу ><дуа><лизма ><- ><это ><вовсе ><не ><вывод ><на ><основе ><«необработанных ><данных ><непосредственного ><опыта» ><(о ><чем ><говорит ><тот ><факт, ><что ><он ><с ><таким ><же ><успехом ><применим ><к ><не ><наделенным ><сознанием ><машинам), ><а ><до><вольно ><сложное >< ><рассуждение, >< ><которое >< ><предполагает: >< ><(а) ><опредме->

<26><>>

<<><чивание ><(reification) ><универсалий ><3>< ><(например, ><«свойств», ><«состоя><ний», ><«событий») ><и ><(б) ><проведение ><четкого ><различия ><между ><анали><тическим ><и ><синтетическим.>

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

<1. ><МАШИНЫ ><ТЬЮРИНГА>

<В ><настоящей ><статье ><нам ><потребуется ><понятие ><машины ><Тью><ринга ><6><, ><которое ><я ><и ><хотел ><бы ><сейчас ><разъяснить.>

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

<><3>< ><Этот ><момент ><был ><отмечен ><Куайном ><в ><работе: >< ><О. ><1957, ><1 ><- ><17.>

<4>< ><См. ><статью ><Зиффа ><(Ziff ><1959, ><64-68) ><и ><ответ ><на ><нее ><Смарта ><(Smart ><1959, ><117-118). ><Зифф ><говорил ><мне, ><что ><под ><«роботом» ><он ><не ><имел ><в ><виду ><«обучаемую ><машину» ><описанного ><Смартом ><вида, ><и ><он ><согласен, ><что ><выдвинутые ><в ><его ><статье ><соображения ><необяза><тельно ><применимы ><к ><подобной ><машине ><(если ><она ><вообще ><может ><быть ><оп><ределена ><как ><«машина»). ><Что ><касается ><девиантности ><вопроса ><«может ><ли ><эта ><машина ><мыслить ><(чувствовать ><и ><т. ><п.)?»,>< ><то ><здесь ><необходимо ><учиты><вать ><соображение, ><высказанное ><Зиффом ><(важно ><не ><то, ><девиантно ><ли ><пред><ложение ><или ><нет, ><а ><то, ><девиантно ><ли ><оно ><по ><нетривиальным ><причинам), ><равно ><как ><и ><различие ><между ><«диахроническим ><и ><синхроническим», ><обсуж><даемое ><в ><разделе ><5 ><настоящей ><статьи.>

<5>< ><В ><частности, ><мне ><нравится ><в ><целом ><точка ><зрения, ><выдвинутая ><Смар><том ><в ><его ><работах: ><1959, ><39-42; >< ><1959, >< ><141 ><- ><156. ><Тем ><не ><менее, ><см. ><лин><гвистические ><соображения ><в ><разделе ><5 ><настоящей ><статьи.>

6 <><><Что ><касается ><деталей ><ср. ><работы: ><1958; ><1952.>

27><>

<><из ><конечного ><множества ><состоянии ><' ><и ><сканирует ><ленту, ><на ><кото><рой ><появляются ><определенные ><символы.>

<Лента ><машины ><разделена ><на ><отдельные ><клетки ><следующим ><об><разом:>

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

<Любая ><машина ><Тьюринга ><полностью ><описывается ><машинной ><таблицей, ><которая ><строится ><следующим ><образом: ><строки ><таблицы ><обозначены ><буквами ><алфавита ><(включая ><и ><«пустую» ><букву, ><т. ><е. ><пробел), ><а ><столбцы ><соответствуют ><состояниям ><А, ><В, ><С ><и ><т. ><д. ><В ><каждой ><клетке ><появляется ><«команда», ><например ><«s><«s><7><В», ><«s><3><С». ><Эти ><команды ><читаются ><следующим ><образом: ><«s><5><- ><«напечатать ><символ ><5>< ><в ><клетке, ><которая ><сейчас ><сканируется ><(после ><удаления ><уже ><содержащегося ><в ><нем ><символа), ><затем ><просканиро><вать ><ближайшую ><клетку ><слева ><от ><только ><что ><просканированной; ><после ><этого ><перейти ><в ><состояние ><А». ><Другие ><команды ><интерпрети><руются ><сходным ><образом ><(»R» ><означает ><«сканировать ><ближайшую ><клетку ><справа», ><тогда ><как ><«С» ><означает ><«центрировать», ><т. ><е. ><про><должать ><сканировать ><ту ><же ><самую ><клетку). ><Примером ><машинной ><таблицы ><может ><быть ><следующий:>

<А> <В> <С>

<1> <3>

<+> <2> <2> <2>

<(*)> <пробел> <3> <3> <3> <3>

<><7>< ><Эта ><терминология ><взята ><из ><работы ><Клини ><(1952) ><и ><отличается ><от ><терминологии ><Дэвиса ><и ><Тьюринга.>

<28>< ><>>

<<><Предполагается, ><что ><машина, ><описываемая ><этой ><таблицей, ><функционирует ><следующим ><образом: ><при ><запуске ><она ><находится ><в ><состоянии ><А. ><На ><ленте ><появляется ><«сумма» ><(в ><унарном ><представ><лении), ><которую ><нужно ><«вычислить», ><например ><«II ><+ >

<Машина ><сначала ><сканирует ><первую ><цифру ><«/» ><и ><начинает ><«вычислять» ><сумму ><(по ><сути, ><заменяя ><знак ><плюс ><на ><цифру ><а ><за><тем ><возвращаясь ><и ><стирая ><первую ><цифру ><Так, ><если ><бы ><«входные ><данные» ><были ><+ ><то ><машина ><«напечатала» ><бы ><ПИШИ, ><а ><затем ><перешла ><бы ><в ><«неактивное ><состояние» ><(состояние >

<«Машинная ><таблица» ><описывает ><машину, ><если ><та ><обладает ><внутренними ><состояниями, ><соответствующими ><столбцам ><таблицы, ><и ><«выполняет» ><команды ><из ><таблицы ><в ><том ><смысле, ><что ><сканируя ><клетку, ><в ><которой ><встречается ><символ >< ><и ><находясь, ><скажем, ><в ><со><стоянии ><В, ><она ><выполняет ><«команду», ><указанную ><в ><соответствую><щей ><строчке ><и ><столбце ><таблицы ><(в ><данном ><случае, ><в ><столбце ><В ><и ><строчке ><Любая ><машина, ><описываемая ><машинной ><таблицей ><ука><занного ><типа, ><является ><машиной ><Тьюринга.>

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

<Примечательно, ><что ><машины ><Тьюринга, ><в ><принципе, ><способны ><делать ><все ><то, ><что ><делает ><любая ><вычислительная ><машина ><(любого ><вида) ><9><.>

<Иногда ><утверждают ><(как, ><например, ><Нагель ><и ><Ньюман ><в ><их ><книге ><«Доказательство ><Гёделя» ><(«Gddel's ><что ><«эта ><тео><рема ><[т. ><е. ><теорема ><Гёделя] ><свидетельствует ><о ><том, ><что ><человече><ское ><мышление ><обладает ><гораздо ><более ><сложной ><и ><совершенной ><структурой ><и ><гораздо ><большей ><мощью, ><чем ><любая ><неживая ><машина, ><какую ><мы ><могли ><бы ><себе ><представить», ><и, ><следовательно, ><машина ><Тьюринга ><не ><может ><служить ><моделью ><человеческого ><мышления, ><но ><это ><совершенно ><ошибочное ><мнение.>

<><8>< ><Такое ><расширение ><выполнено ><Дэвисом ><в ><работе: ><1958, ><где ><оно ><используется ><для ><определения ><относительной ><рекурсивности.>

<9>< ><Это ><утверждение ><представляет ><собой ><разновидность ><тезиса ><Чёрча ><(о ><том, ><что ><рекурсивность ><равнозначна ><эффективной ><вычислимости).>

<><29>>

<<><Пусть ><Т:><- ><машина ><Тьюринга, ><которая ><«репрезентирует» ><меня ><в ><том ><смысле, ><что ><Т ><может ><доказывать ><те ><же ><самые ><математиче><ские ><положения, ><что ><и ><я. ><Тогда ><(хотя ><Нагель ><и ><Ньюман ><не ><приво><дят ><никакого ><доказательства, ><но, ><думаю, ><именно ><этот ><аргумент ><они, ><должно ><быть, ><имели ><в ><виду) ><методом ><Гёделя ><можно ><найти ><выска><зывание, ><которое ><машина ><Т ><не ><может ><доказать, ><а ><я ><могу ><доказать. ><Это ><опровергает ><то ><допущение, ><что ><Т ><«репрезентирует» ><меня: ><сле><довательно, ><я ><не ><машина ><Тьюринга. ><Ошибка ><заключается ><в ><непра><вильном ><применении ><простой ><и ><ясной ><теоремы ><Гёделя. ><Если ><взять ><произвольную ><машину ><Т, ><то ><я ><могу ><только ><одно ><- ><найти ><такое ><вы><сказывание ><для ><которого ><я ><могу ><доказать:>

<(3) ><Если ><Т ><непротиворечива, ><то ><истинно,>

<где ><неразрешимо ><для ><Т, ><если ><Т ><на ><самом ><деле ><непротиворечива. ><Однако ><Т ><вполне ><может ><доказать ><утверждение ><(3)! ><А ><утверждение ><которое ><Т ><не ><может ><доказать ><(при ><условии ><ее ><непротиворечиво><сти), ><я ><также ><не ><могу ><доказать ><(если ><только ><я ><не ><смогу ><доказать, ><что ><Т ><непротиворечива, ><а ><это ><маловероятно, ><учитывая ><крайнюю ><сложность ><Т)!>

<2. ><ПРИВАТНОСТЬ>

<Предположим, ><что ><машина ><Тьюринга ><Т ><сконструирована ><для ><выполнения ><следующих ><действий: ><Какое-то ><число, ><скажем, ><«3000» ><печатается ><на ><ленте ><машины ><Т, ><и ><Т ><оказывается ><в ><своем ><«началь><ном ><состоянии». ><Вслед ><за ><этим ><Т ><вычисляет ><трехтысячную ><(или ><любую ><другую, ><как ><указывает ><заданное ><число) ><цифру ><в ><десятичном ><разложении ><числа ><я; ><печатает ><эту ><цифру ><на ><своей ><ленте ><и ><перехо><дит ><в ><«неактивное ><состояние» ><(т. ><е. ><сама ><себя ><выключает). ><Разуме><ется, ><вопрос: ><«Как ><Т ><"устанавливает" ><["вычисляет" ><или ><"определя><ет"] ><трехтысячную ><цифру ><в ><десятичном ><разложении ><числа ><к ><- ><вполне ><разумен, ><а ><ответ ><на ><него ><может ><быть ><довольно ><сложным. ><Вполне ><вероятно, ><ответ ><будет ><включать ><три ><различных ><компонента:>

<(О ><Описание ><последовательности ><состояний, ><через ><которые ><проходит ><Т ><для ><нахождения ><решения, ><и ><описание ><того, ><что ><появля><ется ><на ><ленте ><на ><каждом ><этапе ><вычислений.>

<(ii)>< ><Описание ><правил, ><по ><которым ><действует ><Т ><(они ><задаются ><«машинной ><таблицей» ><для ><Т).>

<(iii) ><Объяснение ><рациональной ><основы ><всей ><процедуры.>

<30><>>

<<><Предположим, ><кто-то ><высказывает ><следующее ><возражение: ><«Для ><выполнения ><только ><что ><описанных ><вычислений, ><машина ><Т ><должна ><последовательно ><находиться ><в ><состояниях ><А, ><В, ><С ><я ><т. ><д. ><Но ><как ><Т ><может ><установить, ><что ><она ><находится ><в ><состояниях ><А, ><В, ><Сит. ><д.?»>

<Ясно, ><что ><это ><возражение ><нелепо. ><Но ><в ><силу ><чего ><оно ><нелепо? ><Во-первых, ><«логическое ><описание» ><машины ><(ее ><машинная ><таблица) ><определяет ><состояния ><только ><в ><терминах ><их ><отношений ><друг ><к ><другу ><и ><к ><тому, ><что ><появляется ><на ><ленте. ><«Физическая ><реализация» ><машины ><нематериальна, ><поскольку ><есть ><отдельные ><состояния ><А, ><В, ><С ><и ><т. ><д., ><и ><они ><следуют ><друг ><за ><другом, ><как ><указано ><в ><машиной ><таб><лице. ><Поэтому, ><ответить ><на ><вопрос: ><«Как ><Т ><устанавливает, ><что ><(или ><«вычисляет ><и ><т. ><п.)» ><- ><можно, ><лишь ><описав ><последова><тельность ><состояний, ><через ><которую ><должна ><пройти ><Т, ><чтобы ><ус><тановить, ><что ><(вычислить ><и ><т. ><п.), ><и ><описав ><правила, ><которым ><она ><подчиняется, ><и ><т. ><д. ><Но ><нет ><«последовательности ><состояний», ><через ><которую ><должна ><пройти ><Т, ><чтобы ><оказаться ><в ><каком-то ><от><дельном ><состоянии!>

<Однако, ><предположим, ><что ><такая ><последовательность ><имеется, ><- ><предположим, ><что ><Т ><не ><могла ><бы ><быть ><в ><состоянии ><А, ><не ><устано><вив ><прежде, ><что ><она ><находится ><в ><состоянии ><А ><(пройдя ><через ><после><довательность ><других ><состояний). ><Ясно, ><что ><это ><ведет ><к ><регрессу ><в ><бесконечность. ><Мы ><можем ><«прервать» ><этот ><регресс, ><просто ><указав, ><что ><машина, ><устанавливая ><трехтысячную ><цифру ><в ><числе ><я, ><после><довательно ><находится ><в ><определенных ><состояниях; ><но ><ей ><не ><нужно ><ни ><в ><каком ><существенном ><смысле ><«устанавливать», ><что ><она ><последовательно ><находится ><в ><этих ><состояниях.>

<Отметим ><аналогичную ><ошибку ><в ><классической ><эпистемологии, ><где ><предполагается, ><что ><для ><того, ><чтобы ><зндть, ><что ><р ><(где ><р ><- ><лю><бое ><высказывание), ><нужно ><сначала ><знать, ><что >< ><2>< ><и ><т. ><д. ><(где >< ><2>< ><и ><т. ><д. ><- ><соответствующие ><случаю ><другие ><высказывания). ><Все ><это ><ведет ><к ><«регрессу ><в ><бесконечность» ><или ><к ><изобретению ><сомнитель><ного ><особого ><класса ><«протокольных» ><предложений.>

<Устраняется ><эта ><ошибка ><аналогично ><тому, ><как ><устраняется ><ошибка ><в ><случае ><с ><машинами. ><Предположим, ><что ><на ><основе ><данных ><чувственного ><опыта >< ><Е><2><я ><т. ><д., ><я ><знаю, ><что ><в ><комнате ><есть ><стул. ><Отсюда ><не ><следует ><ни ><того, ><что ><я ><вербализую ><(или ><даже ><мог ><бы ><вербализовать) ><Е><и>< ><Е><2>< ><и ><т. ><д., ><ни ><того, ><что ><я ><помню ><Е><2>< ><и ><т. ><д., ><ни ><того, ><что ><я ><«мысленно ><классифицировал» ><(«обратил ><внимание ><на» ><и ><т. ><п.) ><данные ><чувственного ><опыта ><Е><и>< ><Е><2>< ><и ><т. ><д., ><когда ><их ><ощущал. ><Короче ><говоря, ><для ><определенного ><рода ><знания ><необходи->

<><31>>

<<><мо ><иметь ><чувственный ><опыт, ><но ><вовсе ><не ><нужно ><знать ><(или ><даже ><замечать), ><какой ><именно ><чувственный ><опыт ><ты ><имеешь.>

<Попробуем, ><однако, ><несколько ><изменить ><наш ><пример. ><Предпо><ложим, ><что, ><находясь ><в ><определенном ><состоянии ><(скажем, ><«состоя><нии ><Л»), ><машина ><печатает ><слова ><«Я ><нахожусь ><в ><состоянии ><Л». ><Тог><да, ><признавая, ><что ><хотя ><машина, ><как ><правило, ><не ><знает, ><в ><каком ><со><стоянии ><она ><находится, ><но ><в ><случае ><состояния ><А ><(после ><того, ><как ><она ><напечатала ><«Я ><нахожусь ><в ><состоянии ><Л») ><можно ><сказать: ><«Машина ><установила, ><что ><она ><находится ><в ><состоянии ><Л».>

<Рассмотрим ><данный ><пример ><повнимательнее. ><Прежде ><всего ><нам ><следует ><предположить, ><что, ><находясь ><в ><состоянии ><Л, ><машина ><печа><тает ><«Я ><нахожусь ><в ><состоянии ><Л» ><не ><потому, ><что ><перед ><этим ><она ><прошла ><через ><серию ><каких-либо ><других ><состояний. ><Просто ><во ><всех ><строчках ><столбца ><таблицы, ><озаглавленного ><«состояние ><Л», ><стоит ><команда: ><напечатать ><|0>< ><«Я ><нахожусь ><в ><состоянии ><Л». ><Во-вторых, ><для ><сравнения ><рассмотрим ><какого-нибудь ><человека, ><скажем, ><Джона, ><который ><каждый ><раз, ><когда ><ощущает ><боль, ><говорит: ><«Мне ><больно» ><(или ><«Ох!», ><или ><«Больно!»). ><Ради ><пущего ><сходства, ><предположим, ><что ><в ><лингвистическом ><плане ><слова ><Джона ><объясняются ><тем, ><что ><он ><просто ><«не ><думая» ><говорит ><«Мне ><больно», ><т. ><е. ><он ><не ><проходит ><через ><серию ><каких-либо ><интроспективных ><ментальных ><состояниях, ><помимо ><состояния ><самой ><боли. ><Используя ><терминологию ><Витген><штейна, ><Джон ><просто ><показывает ><свою ><боль, ><когда ><говорит ><«Мне ><больно», ><- ><перед ><этим ><он ><не ><рефлексирует ><о ><своем ><состоянии ><(обращая ><на ><него ><внимание, ><отмечая ><его ><и ><т. ><п.), ><с ><тем, ><чтобы ><за><тем ><сознательно ><его ><описать. ><(Заметьте, ><что ><эта ><простая ><возмож><ность ><произнесения ><«высказывания» ><«Мне ><больно» ><без ><предвари><тельного ><ментального ><«акта ><суждения» ><осталась ><незамеченной ><для ><всех ><классических ><эпистемологов ><от ><Юма ><до ><Рассела!) ><Теперь ><мы ><можем ><рассмотреть ><параллельные ><вопросы: ><«"Устанавливает" ><ли ><машина, ><что ><она ><находится ><в ><состоянии ><Л?» ><и ><«"Знает" ><ли ><Джон, ><что ><он ><ощущает ><боль?» ><и ><их ><следствия.>

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

<><10>< ><Здесь ><следует ><принять, ><что ><все ><предложение ><«Я ><нахожусь ><в ><состоя><нии ><А* ><в ><алфавите ><машины ><считается ><одним ><символом.>

<32><

<<><рить: ><«X ><уверен, ><что ><р» ><или ><«X ><в ><состоянии ><утверждать, ><что ><р»; ><я ><буду ><называть ><это ><элементом ><уверенности); ><(3) ><«X ><знает, ><что ><р» ><означает, ><что ><у ><есть ><подтверждение ><(evidence) ><того, ><что ><р ><(думаю, ><что ><здесь ><слово ><«подтверждение» ><безусловно ><ошибочно ><в><, ><но ><для ><наших ><целей ><это ><не ><существенно; ><я ><буду ><называть ><это ><эле><ментом ><подтверждения). ><Более ><того, ><значение ><слова ><«подтвержде><ние» ><предполагает ><то, ><что ><нельзя ><быть ><в ><буквальном ><смысле ><под><тверждением ><для ><самого ><себя: ><если ><- ><подтверждение ><для ><У, ><то ><и ><должны ><быть ><разными ><вещами.>

<В ><свете ><такого ><анализа ><возникли ><споры ><о ><том, ><правомерно ><ли ><говорить ><(в ><случаях, ><подобных ><рассмотренному ><выше), ><что ><«Джон ><знает, ><что ><ощущает ><боль». ><С ><одной ><стороны, ><философы, ><стоящие ><на ><точке ><зрения ><здравого ><смысла ><(«Когда ><мне ><больно, ><я ><знаю, ><что ><мне ><больно»), ><рассуждают ><примерно ><так: ><несомненно ><ложным ><было ><бы ><утверждение, ><что ><Джон ><не ><знает, ><что ><ему ><больно; ><но, ><Джон ><или ><знает ><это, ><или ><не ><знает; ><следовательно, ><Джон ><знает, ><что ><ему ><боль><но. ><Этим ><философам ><можно ><было ><бы ><возразить ><следующее: ><из ><ут><верждения ><«Джон ><не ><знает ><следует, ><что ><Джон ><не ><в ><состоянии ><утверждать, ><что ><поэтому ><совершенно ><неверно ><утверждать, ><что ><«Джон ><не ><знает, ><что ><ему ><больно». ><Однако ><применение ><закона ><ис><ключенного ><третьего ><было ><бы ><в ><данном ><случае ><ошибочным: ><слова ><в ><английском ><языке ><имеют ><диапазоны ><значения ><(significance ><и ><выдвигаемое ><возражение ><состоит ><в ><том, ><что ><с ><семантиче><ской ><точки ><зрения ><неправильно ><говорить ><как ><то, ><что ><«Джон ><знает, ><что ><ему ><больно», ><так ><и ><то, ><что ><«Джон ><не ><знает, ><что ><ему ><больно», ><хотя ><первое ><предложение ><определенно ><менее ><ошибочно, ><чем ><вто><рое, ><поскольку ><оно ><удовлетворяет ><по ><крайней ><мере ><одному ><из ><ус><ловий, ><предполагаемых ><знанием, ><- ><Джон ><в ><состоянии ><утверждать, ><что ><ему ><больно. ><(На ><самом ><деле, ><здесь ><присутствуют ><и ><элемент ><истинности ><и ><элемент ><уверенности; ><трудности ><связаны ><с ><эле><ментом ><подтверждения.)>

<Я ><не ><намерен ><рассматривать ><здесь ><эту ><проблему ><12><, ><поскольку ><меня ><больше >< ><заботит ><сходство >< ><между ><нашими ><двумя >< ><вопросами.>

<><" ><Например, ><я ><знаю, ><что ><Солнце ><находится ><на ><расстоянии ><в ><93 ><мил><лиона ><миль ><от ><Земли, ><но ><у ><меня ><нет ><подтверждения ><того, ><что ><это ><так. ><На ><самом ><деле, ><я ><даже ><не ><помню, ><откуда ><я ><узнал ><об ><этом.>

<12>< ><По ><сути, ><невозможно ><решить, ><девиантно ><или ><нет ><предложение ><«Джон ><знает, ><что ><ему ><больно», ><пока ><не ><сформулировано ><иначе ><условие ><подтверждения; ><сформулировано ><так, ><чтобы ><можно ><было ><избежать ><возра><жения, ><приведенного ><в ><сноске ><11 ><(если ><вообще ><его ><можно ><переформули->

<><><><зз>>

<<><Например, ><мы ><могли ><бы ><принять ><(как ><«недевиантные», ><«логически ><нормальные», ><«несамопротиворечивые» ><и ><т. ><п.) ><следующие ><два ><ут><верждения:>

<Машина ><установила, ><что ><она ><находится ><в ><состоянии ><А,>

<Джон ><знал, ><что ><ему ><больно,>

<или ><же ><отвергнуть ><их. ><Пусть ><мы ><отвергаем ><утверждения ><(а) ><и ><(Ь), ><но ><в ><этом ><случае ><мы ><можем ><найти ><альтернативные ><им ><формулиров><ки, ><которые ><будут ><приемлемыми ><в ><семантическом ><отношении: ><нап><ример ><(для ><утверждения ><(а)), ><«Машина ><находилась ><в ><состоянии ><А, ><по ><этой ><причине ><она ><напечатала: ><"Я ><нахожусь ><в ><состоянии ><А"»; ><(для ><утверждения ><(Ь)), ><«Джон ><ощущал ><боль, ><по ><этой ><причине ><он ><сказал: ><"Мне ><больно"» ><(или ><«Джону ><было ><больно, ><и ><он ><показал ><это, ><сказав ><"Мне ><больно"»).>

<С ><другой ><стороны, ><если ><принять ><утверждения ><(а) ><и ><(Ь), ><то ><возникают ><вопросы: ><(а,) ><«Как ><машина ><установила, ><что ><она ><нахо><дится ><в ><состоянии ><А?» ><и ><(Ь,)>< ><«Как ><Джон ><узнал, ><что ><ему ><больно?».>

<Если ><на ><эти ><вопросы ><вообще ><существуют ><ответы, ><то ><они ><будут ><вырожденными, ><например ><- ><«Находясь ><в ><состоянии ><А» ><и ><«Испы><тывая ><боль».>

<Теперь, ><я ><полагаю, ><совершенно ><ясно, ><что ><в ><обоих ><случаях ><трудности ><порождены ><одной ><и ><той ><же ><причиной, ><а ><именно: ><они ><вы><званы ><тем ><обстоятельством, ><что ><«сообщение ><в ><словесной ><форме» ><(«Я ><нахожусь ><в ><состоянии ><А» ><или ><«Мне ><больно») ><исходит ><непос><редственно ><из ><состояния, ><о ><котором ><«сообщается»: ><чтобы ><получить ><«ответ», ><не ><требуется ><никакого ><«вычисления», ><никакого ><дополни><тельного ><«подтверждения». ><Все ><разногласия ><философов ><о ><том, ><«как ><следует ><говорить», ><по ><сути, ><связаны ><с ><поиском ><терминологии ><для ><описания ><когнитивных ><процессов ><вообще, ><что ><имеет ><место ><и ><в ><дан><ном ><конкретном ><случае. ><(Заметьте, ><что ><традиционный ><в ><эпистемо><логии ><ответ ><на ><вопрос ><(Ь><х><) ><- ><«путем ><интроспекции» ><- ><не ><согла><суется ><в ><данном ><случае ><с ><фактами, ><поскольку ><он ><определенно ><предполагает ><наличие ><некоторого ><ментального ><события ><(«акта» ><ин><троспекции), ><отличного ><от ><ощущения ><боли.)>

<В ><заключение ><предположим, ><что ><машина ><снабжена ><устройст><вом ><для ><«сканирования» ><соседней ><машины ><Т><{><. ><Тогда ><вопрос: ><«Как ><Т>

<><ровать ><так, ><чтобы ><хотя ><бы ><отчасти ><сохранилось ><это ><условие). ><Тем ><не ><ме><нее, ><думаю, ><что ><дискуссия, ><приведенная ><выше, ><показывает, ><почему ><жела><тельно ><считать ><это ><предложение ><девиантным.>

><<34><>

<><устанавливает, ><что ><находится ><в ><состоянии ><А?» ><может ><быть ><со><вершенно ><разумным, ><столь ><же ><разумным, ><как ><и ><вопрос: ><«Как ><Т ><ус><танавливает, ><что ><трехтысячный ><разряд ><л ><- ><такой-то?» ><В ><обоих ><случаях ><ответ ><будет ><включать ><описание ><всей ><«программы» ><(а ><при ><необходимости ><и ><разъяснение ><рациональных ><соображений, ><лежа><щих ><в ><основе ><программы). ><Более ><того, ><потребуется ><не ><просто ><опи><сать ><внутренние ><состояния ><Т, ><но ><и ><охарактеризовать ><еще, ><как ><фи><зически ><реализовали ><связи ><между ><Т ><и ><Г, ><(устройство ><органов ><чувств ><и ><т. ><д.), ><поскольку ><в ><данном ><случае ><Т ><отвечает ><не ><на ><мате><матический, ><а ><на ><эмпирический ><вопрос. ><Точно ><также ><вопрос: ><«Как ><Шерлок ><Холмс ><узнал, ><что ><Джону ><больно?» ><может ><быть ><совершенно ><разумным, ><а ><ответ ><на ><него ><может ><быть ><довольно ><сложным.>

<3. ><«МЕНТАЛЬНЫЕ» ><И ><«ЛОГИЧЕСКИЕ» ><СОСТОЯНИЯ>

<Рассмотрим ><два ><вопроса:>

<Откуда ><Джон ><знает, ><что ><ему ><больно?>

<Откуда ><Джон ><знает, ><что ><у ><него ><жар?>

<Как ><мы ><видели ><в ><предыдущем ><разделе, ><первый ><вопрос ><несколь><ко ><странен, ><а ><второй ><вопрос ><может ><быть ><вполне ><разумным. ><Дейст><вительно, ><когда ><Джон ><говорит ><«Мне ><больно», ><ему ><никто ><не ><возра><зит: ><«Вы ><ошибаетесь». ><(Ему ><могли ><бы ><возразить: ><«Вы ><оговорились» ><или ><«Вы ><лжете», ><но ><не ><«Вы ><ошибаетесь».) ><С ><другой ><стороны, ><ког><да ><Джон ><говорит: ><«У ><меня ><жар», ><врач, ><только ><что ><измеривший ><ему ><температуру, ><вполне ><может ><возразить: ><«Вы ><ошибаетесь». ><И ><он ><мо><жет ><не ><иметь ><в ><виду, ><что ><Джон ><совершил ><лингвистическую ><ошиб><ку, ><солгал ><или ><что-то ><напутал.>

<Можно ><было ><бы ><заключить, ><что ><для ><различия ><между ><утвержде><ниями ><о ><своем ><собственном ><состоянии ><и ><утверждениями ><о ><состоя><нии ><других ><имеется ><аналог ><в ><случае ><машин, ><тогда ><как ><для ><затрону><того ><сейчас ><различия ><между ><утверждениями ><о ><«ментальном» ><состо><янии ><человека ><и ><утверждениями ><о ><его ><«физическом» ><состоянии, ><если ><воспользоваться ><традиционным ><языком, ><никакого ><аналога ><нет. ><Но ><это ><не- ><так. ><Каков ><этот ><аналог, ><мы ><и ><попытаемся ><сейчас ><сфор><мулировать.>

<Прежде ><всего, ><вернемся ><к ><понятию ><машины ><Тьюринга. ><При ><описании ><машины ><Тъюринга ><с ><помощью ><«машинной ><таблицы» ><ука><зывается, ><что ><она ><имеет ><ленту, ><печатающее ><устройство ><и ><«сканиру><ющее» ><устройство ><(оно ><может ><представлять ><собой ><простой ><заост->

<><><35>>

<<><ренный ><стержень ><машины, ><который ><в ><любой ><данный ><момент ><вре><мени ><нацелен ><только ><на ><одну ><клетку ><ленты) ><и ><конечное ><множество ><состояний» ><(А, ><В, ><Сит.>< ><д.). ><(В ><последующем, ><мы ><будем ><иногда ><называть ><их ><логическими ><состояниями, ><чтобы ><отличать ><от ><неко><торых ><других ><состояний, ><которые ><мы ><введем ><чуть ><позже.) ><Помимо ><)того, ><при ><описании ><машины ><Тьюринга ><задаются ><только ><правила, ><жестко ><определяющие, ><в ><каком ><порядке ><состояния ><следуют ><друг ><за ><Фугом ><и ><что ><когда ><печатается.>

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

<Однако, ><как ><только ><машина ><Тьюринга ><получает ><физическую ><реализацию, ><происходит ><нечто ><интересное. ><Хотя ><с ><точки ><зрения ><логика ><машина ><обладает ><только ><состояниями ><А, ><В, ><С ><и ><т. ><д., ><для ><инженера ><она ><имеет ><практически ><неограниченное ><число ><дополни><тельных ><«состояний» ><(разумеется, ><в ><ином ><смысле ><этого ><слова ><- ><эти ><состояния ><мы ><будем ><называть ><структурными ><состояниями). ><К ><примеру, ><если ><машина ><состоит ><из ><вакуумных ><трубок, ><то ><может ><так ><случиться, ><что ><одна ><из ><ее ><трубок ><выйдет ><из ><строя, ><и ><благодаря ><этому ><машина ><перейдет ><в ><иное ><«состояние», ><- ><иное ><с ><точки ><зре><ния ><физика, ><но ><отнюдь ><не ><логика. ><С ><другой ><стороны, ><если ><машина ><сделана ><из ><картона ><и ><управляется ><вручную, ><и ><если ><ее ><картон ><мо><жет ><покоробится, ><то ><это, ><очевидно, ><составляет ><одно ><из ><ее ><возмож><ных ><«нелогических» ><или ><«структурных» ><состояний. ><И ><так ><далее.>

<Физически ><реализованная ><машина ><Тьюринга ><может ><не ><иметь ><возможности ><определить ><свое ><собственное ><структурное ><состояние, ><точно ><так ><же, ><как ><человек ><может ><не ><знать ><о ><состоянии ><своего ><ап><пендикса ><в ><данный ><момент ><времени. ><Однако, ><очень ><удобно ><снаб><дить ><машину ><электронными ><«органами ><чувств», ><которые ><позволят ><ей ><сканировать ><саму ><себя ><и ><обнаруживать ><малейшие ><неисправно><сти. ><Мысленно ><можно ><представить ><себе, ><что ><эти ><«органы ><чувств» ><вызывают ><печатание ><определенных ><символов ><на ><«входной ><ленте», ><которую ><машина ><время ><от ><времени ><«обследует». ><(Небольшое ><за><труднение ><возникает ><из-за ><того, ><что ><«сообщение» ><от ><органов ><чувств ><может ><занимать ><несколько ><клеток ><ленты, ><тогда ><как ><машина ><«сканирует» ><только ><одну ><клетку ><за ><раз. ><Однако, ><это ><несуществен->

<>

<36>< >< >>

<<><но, ><поскольку ><хорошо ><известно, ><что ><можно ><достичь ><эффекта ><«чтения» ><любого ><конечного ><числа ><клеток ><с ><помощью ><программы, ><которая ><предполагает ><сканирование ><только ><одной ><клетки ><за ><раз.)>

<(В ><качестве ><отступления ><отмечу, ><что ><первые ><сконструирован><ные ><цифровые ><компьютеры ><не ><имели ><устройств ><описанного ><вида. ><С ><другой ><стороны, ><они ><содержали ><свыше ><3000 ><вакуумных ><трубок, ><и ><некоторые ><из ><этих ><трубок ><в ><какой-то ><момент ><выходили ><из ><строя! ><Поэтому ><очень ><быстро ><была ><осознана ><необходимость ><«программ» ><самоконтроля.) ><13>

<Машина, ><способная ><распознавать, ><по ><крайней ><мере, ><часть ><соб><ственных ><структурных ><состояний, ><находится ><приблизительно ><в ><та><ком ><же ><положении, ><что ><и ><человек, ><который ><может ><определять ><с ><различной ><степенью ><достоверности ><только ><некоторые ><дисфункции ><своего ><организма. ><Так, ><предположим, ><что ><машина ><«печатает»: ><«Вы><шла ><из ><строя ><вакуумная ><трубка ><312». ><Вопрос ><«Как ><машина ><устано><вила, ><что ><вышла ><из ><строя ><вакуумная ><трубка ><312?» ><совершенно ><ра><зумен. ><А ><ответ ><может ><содержать ><ссылку ><как ><на ><физическую ><струк><туру ><машины ><(«органы ><чувств» ><и ><т. ><п.), ><так ><и ><на ><ее ><«логическую ><структуру» ><(программу ><«чтения» ><и ><«интерпретации» ><входной ><ленты).>

<Если ><машина ><печатает: ><«Вышла ><из ><строя ><вакуумная ><трубка ><312», ><хотя ><та ><на ><самом ><деле ><работает, ><ошибка ><могла ><произойти ><или ><в ><результате ><неправильного ><вычисления ><(в ><процессе ><«чтения» ><и ><«интерпретации» ><входной ><ленты) ><или ><вследствие ><неправильного ><сигнала, ><поступившего ><от ><органов ><чувств. ><С ><другой ><стороны, ><если ><машина ><печатает: ><«Я ><нахожусь ><в ><состоянии ><Л» ><и ><делает ><это ><просто ><потому, ><что ><ее ><машинная ><таблица ><содержит ><команду: ><Напеча><тать: ><«Я ><нахожусь ><в ><состоянии ><Л», ><то ><вопроса ><о ><неправильном ><вычислении ><возникнуть ><не ><может. ><Даже ><если ><из-за ><какого-то ><сбоя ><печатающий ><механизм ><печатает: ><«Я ><нахожусь ><в ><состоянии ><Л», ><хотя ><машина ><не ><находится ><при ><этом ><в ><состоянии ><Л, ><это ><не ><будет ><«неп><равильным ><вычислением» ><(а ><только, ><так ><сказать, ><«обмолвкой»).>

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

<><13>< ><В ><действительности ><не ><потребовалось ><добавлять ><никаких ><«органов ><чувств»; ><существующие, ><компьютеры ><проверяют ><себя, ><«проводя ><над ><собой ><решающие ><эксперименты» ><(т. ><е. ><выполняя ><определенные ><проверочные ><вы><числения ><и ><сравнивая ><полученные ><результаты ><с ><заданными ><правильными ><результатами).>

<>< ><37>>

<<><категории ><относятся ><и ><теории, ><использующие ><«гипотетичес><кие ><построения», ><в ><частности ><«построения» ><на ><основе ><физиологии) ><имеет ><своей ><целью, ><в ><конечном ><счете, ><полное ><физикалистское ><14 ><описание ><всего ><человеческого ><поведения ><в ><терминах ><химии ><и ><фи><зики. ><Это ><соответствует ><описанию ><физически ><реализованной ><ма><шины ><Тьюринга, ><сделанному ><инженером ><или ><физиком. ><Но ><можно ><было ><бы ><попытаться ><дать ><и ><более ><абстрактное ><описание ><человече><ских ><ментальных ><процессов ><в ><терминах ><«ментальных ><состояний» ><(когда ><физическая ><реализация ><не ><уточняется) ><и ><«восприятий» ><(imp><(последние ><выполняют ><роль ><символов ><на ><машинных ><лен><тах). ><Это ><описание ><определяло ><бы ><законы, ><устанавливающие ><поря><док ><следования ><состояний ><друг ><за ><другом ><и ><их ><отношение ><к ><верба><лизации ><(или, ><во ><всяком ><случае, ><к ><вербальному ><мышлению). ><Это ><описание, ><которое ><было ><бы ><аналогом ><«машинной ><таблицы», ><и ><есть, ><по ><существу, ><программа, ><выдвинутая ><классической ><психологией! ><Зачастую ><считают, ><что ><классическая ><психология ><потерпела ><неудачу ><по ><методологическим ><причинам. ><В ><свете ><предложенной ><аналогии ><я ><бы ><счел, ><что, ><скорее, ><она ><потерпела ><неудачу ><по ><эмпирическим ><причинам ><- ><ментальные ><состояния ><и ><«восприятия» ><людей ><не ><об><разуют ><такую ><же ><причинно ><замкнутую ><систему, ><какая ><имеет ><место ><в ><случае ><«конфигураций» ><машины ><Тьюринга.>

<Проведенная ><аналогия ><между ><логическими ><состояниями ><маши><ны ><Тьюринга ><и ><ментальными ><состояниями ><человека, ><с ><одной ><сторо><ны, ><и ><структурными ><состояниями ><машины ><Тьюринга ><и ><физически><ми ><состояниями ><человека, ><с ><другой, ><наводит, ><на ><мой ><взгляд, ><на ><серьезные ><размышления. ><В ><частности, ><дальнейшее ><исследование ><этой ><аналогии ><позволит ><глубже ><прояснить ><обсуждаемое ><нами ><по><нятие ><«ментального ><состояния». ><Это ><«исследование» ><еще ><не ><пред><принималось, ><во ><всяком ><случае ><мною, ><но ><для ><тех, ><кого ><это ><может ><заинтересовать, ><я ><хотел ><бы ><указать ><несколько ><характеристик, ><ко><торые, ><видимо, ><отличают ><логические ><и ><ментальные ><состояния ><от ><структурных ><и ><физических ><состояний, ><соответственно:>

<(1)>< ><Функциональную ><организацию ><(решение ><задач, ><мышление) ><человека ><или ><машины ><можно ><описывать, ><используя ><последователь><ность >< ><ментальных >< ><или >< ><логических >< >< ><состояний, >< >< ><соответственно >< >< ><(и>

<><14>< ><В ><смысле ><Оппенгейма ><(Oppenheim ><И. ><(eds.) ><1958, ><3-36); ><а ><не ><в ><том ><«эпистемологическом» ><смысле, ><который ><ассоциируется ><с ><тем, ><что ><писал ><о ><«физикализме» ><Карнап.>

<38>< ><СОЗНАНИЕи>>

<<><сопутствующие ><им ><вербализации), >< ><не >< ><обращаясь ><к ><природе >< ><«фи><зической ><реализации» ><этих ><состояний.>

<Состояния, ><видимо, ><внутренне ><связаны ><с ><вербализацией,>

<Если ><мы ><имеем ><дело ><с ><рациональным ><мышлением ><(или ><вы

><числением), ><то ><«программа», ><определяющая ><последовательность ><со

><стояний ><и ><т. ><д., ><открыта ><для ><рациональной ><критики.>

<4. ><«ТОЖДЕСТВО* ><СОЗНАНИЯ ><И ><МОЗГА>

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

<Витгенштейн, ><например, ><в ><1930-х ><годах ><использовал ><следую><щий ><аргумент: ><если ><я ><имею ><в ><сознании ><некоторый ><остаточный ><об><раз ><и ><одновременно ><наблюдаю ><состояние ><своего ><мозга ><(с ><помощью ><соответствующего ><прибора), ><то ><я ><наблюдаю ><две ><вещи, ><а ><не ><одну. ><(По-видимому, ><это ><аргумент ><против ><отождествления.) ><Но ><мы ><вполне ><можем ><представить ><себе ><«умную» ><машину ><Тьюринга, ><«рас><суждающую» ><следующим ><образом: ><«Когда ><я ><печатаю ><"Я ><нахожусь ><в ><состоянии ><А", ><мне ><не ><нужно ><использовать ><свои ><"органы ><чувств". ><Если ><же ><я ><действительно ><использую ><свои ><"органы ><чувств" ><и ><срав><ниваю ><случаи, ><когда ><я ><нахожусь ><в ><состоянии ><А, ><и ><случаи, ><когда ><взведен ><триггер ><36, ><то ><я ><сравниваю ><две ><вещи, ><а ><не ><одну». ><Не ><ду><маю, ><что ><нам ><покажется ><убедительным ><этот ><сформулированный ><на ><«машинный» ><манер ><аргумент ><Витгенштейна!>

<Рассел, ><напротив, ><довел ><до ><абсурда ><утверждения ><о ><«тождест><ве», ><заявив ><однажды, ><что ><все, ><что ><мы ><когда-либо ><видели, ><- ><это ><части ><нашего ><собственного ><мозга. ><Аналогичным ><образом, ><«Рассел-><машина» ><мог ><бы ><«утверждать», ><что ><«все ><когда-либо ><мной ><наблю><даемое ><- ><это ><мои ><собственные ><вакуумные ><трубки». ><И ><тот, ><и ><дру><гой ><«Рассел» ><неправы: ><человек ><наблюдает ><события ><во ><внешнем ><ми><ре, ><но ><процесс ><«наблюдения» ><предполагает ><события ><в ><его ><мозгу. ><Сходным ><образом, ><машина ><Г ><может ><«наблюдать», ><скажем, ><банки ><с ><томатным ><супом ><(если ><в ><ее ><задачу ><входит ><сортировка ><банок ><с ><су><пом), ><но ><процесс ><«наблюдения» ><предполагает ><функционирование ><вакуумных ><трубок. ><Но ><у ><нас ><нет ><никаких ><причин ><говорить, ><что ><«на ><самом ><деле» ><машина ><наблюдает ><свои ><собственные ><вакуумные ><трубки.>

<МАШИНЫ>< ><39>>

<<><Рассмотрим, ><однако, ><более ><серьезные ><аргументы. ><В ><начале ><ста><тьи ><я ><отмечал, ><что ><синтетический ><характер ><утверждения ><(1) ><«Я ><ис><пытываю ><боль, ><если ><и ><только ><если ><возбуждены ><мои ><С-волокна» ><ис><пользовался ><в ><качестве ><аргумента ><в ><защиту ><той ><точки ><зрения, ><что ><такие ><«свойства» ><(или ><«события», ><или ><«состояния»), ><как ><«иметь ><возбужденными ><С-волокна» ><и ><«испытывать ><боль», ><не ><могут ><быть ><тождественными. ><Этот ><аргумент ><неудовлетворителен ><по ><крайней ><мере ><по ><двум ><причинам: ><(а) ><различие ><между ><«аналитическим ><и ><син><тетическим» ><не ><является ><достаточно ><четким, ><особенно ><если ><речь ><идет ><о ><научных ><законах; ><и ><(б) ><весьма ><спорен ><используемый ><здесь ><критерий ><отождествления ><«свойств» ><(«событий», ><или ><«состояний»).>

<Что ><касается ><пункта ><(а), ><то, ><как ><я ><показал ><в ><другой ><своей ><ста><тье ><15><, ><фундаментальные ><научные ><законы ><нельзя ><отнести ><ни ><к ><«ана><литическим», ><ни ><к ><«синтетическим» ><высказываниям. ><Рассмотрим, ><к ><примеру, ><какой ><концептуальный ><сдвиг ><был ><вызван ><переходом ><от ><евклидовой ><геометрии ><к ><неевклидовой, ><или ><был ><бы ><вызван, ><если ><бы ><мы ><отказались ><от ><закона ><сохранения ><энергии. ><Было ><бы ><неверно ><сказать, ><что ><законы ><евклидовой ><геометрии ><(пока ><они ><господствова><ли) ><были ><«аналитическими», ><а ><Эйнштейн ><просто ><«изменил ><значе><ние ><слов». ><В ><действительности ><же, ><именно ><потому, ><что ><Эйнштейн, ><не ><меняя ><значение ><слов, ><продолжал ><говорить ><о ><кратчайших ><траек><ториях ><в ><пространстве, ><в ><котором ><мы ><существуем, ><движемся ><и ><жи><вем, ><общая ><теория ><относительности ><и ><показалась ><столь ><непости><жимой, ><когда ><была ><впервые ><сформулирована. ><Утверждать, ><что ><можно ><вернуться ><в ><то ><же ><самое ><место, ><двигаясь ><по ><прямой ><в ><одном ><и ><том ><же ><направлении! ><Приняв ><общую ><теорию ><относительности, ><мы, ><по ><сути, ><приняли ><новую ><систему ><понятий, ><а ><не ><просто ><«новую ><систему ><слов-ярлыков».>

<Но ><если ><неверно ><уподоблять ><пересмотр ><фундаментальных ><на><учных ><законов ><принятию ><новых ><лингвистических ><конвенций, ><то ><в ><равной ><мере ><ошибочно ><и ><уподоблять ><- ><вслед ><за ><традиционными ><философами ><науки ><- ><концептуальное ><изменение, ><ознаменованное ><Эйнштейном, ><такому ><типу ><изменения, ><как ><изменение, ><вызванное ><обнаружением ><черного ><лебедя ><(прежде ><мы ><считали, ><что ><все ><лебеди ><белые)! ><Фундаментальные ><законы ><подобны ><принципам ><чистой ><ма><тематики ><(как ><подчеркивал ><Куайн), ><ибо ><их ><нельзя ><опровергнуть ><с ><помощью >< ><отдельных >< ><экспериментов: >< >< ><мы >< >< ><всегда >< >< ><можем >< ><сохранить->

<><15>< ><2. ><1975, ><33-69.>

<40>< >< >>

назад содержание далее



ПОИСК:




© FILOSOF.HISTORIC.RU 2001–2023
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'