|
Часть 2.<><СОЗНАНИЕ ><И ><МАШИНЫ ><'>>
<<Разнообразные ><вопросы ><и ><загадки, ><составляющие ><классиче><скую ><психофизическую ><проблему ><(mind-body > <В ><качестве ><иллюстрации ><сошлюсь ><на ><проблему ><приватности ><(privacy), ><которая ><представляет ><собой ><одну ><из ><загадок, ><время ><от ><времени ><обсуждаемых ><в ><связи ><с ><«психофизической ><проблемой». ><Вопрос ><«Откуда ><я ><знаю, ><что ><мне ><больно?» ><является ><девиантным ><' ><(«логически ><странным») ><вопросом. ><Вопрос ><же ><«Откуда ><я ><знаю, ><что ><Смиту ><больно?» ><совершенно ><не ><девиантен. ><Это ><различие ><можно ><проследить ><и ><в ><случае ><безличных ><вопросов: ><вопрос ><«Откуда ><некто ><знает, ><что ><ему ><больно?» ><девиантен, ><а ><вопрос ><«Откуда ><некто ><знает, ><что ><кому-то ><другому ><больно?» ><не ><девиантен. ><Далее ><я ><покажу, ><что ><различие ><между ><двумя ><последними ><вопросами ><воспроизводится ><и ><в ><случае ><машин: ><если ><Т ><- ><машина ><Тьюринга, ><то ><вопрос ><«Как ><ма><шина ><Т ><устанавливает, ><что ><она ><находится ><в ><состоянии ><Л?», ><как ><мы ><увидим ><в ><дальнейшем, ><в ><еще ><большей ><степени ><«логически ><стра><нен»; ><но ><если ><машина ><Т ><способна ><обследовать ><свою ><соседку, ><ма><шину ><7" ><(скажем, ><Т ><обладает ><электронными ><«органами ><чувств», ><«сканирующими» ><машину ><Т), ><то ><вопрос ><«Как ><машина ><7* ><устанав><ливает, ><что ><Т ><находится ><в ><состоянии ><Л?» ><вовсе ><не ><является ><странным.> <Другой ><вопрос, ><связанный ><с ><«психофизической ><проблемой», ><формулируется ><так: ><допустимо ><ли ><вообще ><отождествлять ><менталь><ные ><и ><физические ><события. ><Конечно, ><я ><не ><утверждаю, ><что ><этот ><во->
<><* ><Впервые ><опубликовано ><в ><кн.:>< >
<1>< ><Девиантным ><здесь ><называется ><предложение, ><семантически ><не ><вполне ><корректное ><(в ><соответствующем ><естественном ><языке). ><Этот ><термин ><взят ><у ><Зиффа ><(см. > <24><>> <<><прос ><правомерен ><и ><в ><отношении ><машин ><Тьюринга, ><но ><считаю, ><что ><применительно ><к ><ним ><можно ><сформулировать ><логический ><аналог ><вопроса ><о ><«тождестве ><сознания ><и ><мозга», ><который ><воспроизведет ><все ><аспекты ><этого ><вопроса.> <В ><целях ><построения ><такого ><аналога ><определим ><научную ><теорию ><как ><«частично-интерпретированное ><исчисление» ><в ><смысле ><Карнапа ><2><. ><Теперь ><мы ><вполне ><можем ><представить ><себе ><машину ><Тьюринга, ><ко><торая ><создает ><теории, ><проверяет ><их ><(предположим, ><что ><в ><опреде><ленной ><степени ><можно ><сформулировать ><«машинный» ><вариант ><ин><дуктивной ><логики) ><и ><«принимает» ><теории, ><удовлетворяющие ><опре><деленным ><критериям ><(например, ><критерию ><успешности ><предсказа><ний). ><В ><частности, ><если ><машина ><обладает ><электронными ><«органами ><чувств», ><позволяющими ><ей ><«сканировать» ><себя ><во ><время ><работы, ><она ><может ><формулировать ><теории ><о ><своей ><собственной ><структуре ><и ><подвергать ><их ><проверке. ><Предположим, ><машина ><находится ><в ><каком-><то ><определенном ><состоянии ><(скажем, ><«состоянии ><Л») ><тогда ><и ><толь><ко ><тогда, ><когда ><взведен ><триггер ><36. ><Тогда ><предложение: ><«Я ><нахо><жусь ><в ><состоянии ><А ><тогда ><и ><только ><тогда, ><когда ><взведен ><триггер ><36» ><может ><выражать ><один ><из ><теоретических ><принципов, ><принятых ><машиной ><для ><описаний ><своей ><собственной ><структуры. ><Безусловно, ><с ><точки ><зрения ><машины, ><выражение ><«Я ><нахожусь ><в ><состоянии ><А» ><относится ><к ><«языку ><наблюдения», ><тогда ><как ><«взведен ><триггер ><36» ><представляет ><собой ><«теоретическое ><выражение», ><частично ><интер><претируемое ><в ><терминах ><«наблюдаемых ><сущностей» ><(если ><сообще><ния ><от ><«органов ><чувств» ><машины ><печатаются ><в ><виде ><символов ><на ><ленте ><входных ><данных, ><то ><«наблюдаемые ><сущности», ><в ><терминах ><которых ><машина ><формулировала ><бы ><операциональное ><определение ><для ><выражения ><«взведен ><триггер ><36», ><задающее ><его ><частичную ><ин><терпретацию, ><имели ><бы ><форму ><«символ ><* ><так-то ><и ><так-то ><появляет><ся ><на ><ленте ><входных ><данных»). ><Теперь ><для ><всех ><обычных ><сообра><жений ><«за» ><и ><«против» ><отождествления ><сознания ><и ><мозга ><можно ><сформулировать ><сходные ><соображения ><«за» ><и ><«против» ><отождеств><ления ><состояния ><А >< >< ><и ><взведенного ><состояния ><триггера ><36.> <Параллельно ><аргументам ><в ><духе ><Оккама, ><выдвигаемым ><в ><защи><ту ><«тождества» >< ><сознания ><и ><мозга, >< ><можно >< ><предложить ><сходные, >< ><в>
<><2>< ><См.: > >< ><25>> <<><духе ><Оккама, ><аргументы ><в ><случае ><машин. ><И ><для ><обычного ><аргумен><та ><в ><пользу ><дуализма ><можно ><сформулировать ><следующий ><парал><лельный ><аргумент: ><с ><точки ><зрения ><машины ><«состояние ><Л» ><непос><редственно ><наблюдаемо; ><с ><другой ><стороны, ><знание ><о ><«триггерах» ><она ><получает ><только ><в ><результате ><чрезвычайно ><сложных ><выводов ><- ><Как ><могли ><бы ><две ><столь ><различные ><вещи ><быть ><тождественными? ><Этот ><последний ><аргумент ><будет ><более ><убедительным, ><если ><его ><сформулировать ><иначе. ><Высказывание:> <(1)>< ><Я >< ><нахожусь ><в ><состоянии ><А, >< ><если ><и ><только ><если >< ><взведен ><триггер ><36,> <для ><машины ><определенно ><является ><«синтетическим». ><Например, ><машина ><могла ><бы ><находиться ><в ><состоянии ><А, ><а ><ее ><органы ><чувств ><давали ><бы ><сообщение, ><что ><триггер ><36 ><не ><взведен. ><В ><таком ><случае ><машина ><должна ><была ><бы ><сделать ><методологический ><«выбор»: ><или ><отказаться ><от ><высказывания ><(1),>< ><или ><заключить, ><что ><имела ><место ><«ошибка ><наблюдения» ><(и ><человек-ученый, ><изучая ><свои ><собственные ><психофизические ><корреляции, ><оказался ><бы ><перед ><сходным ><методо><логическим ><выбором). ><Точно ><так ><же ><философы, ><исходя ><из ><синтети><ческой ><природы ><высказывания:> <(2) ><Мне >< >< ><больно, >< >< ><если >< >< ><и >< >< ><только >< >< ><если >< >< ><возбуждены >< >< ><мои >< >< ><С- ><волокна,> <сделали ><бы ><вывод ><о ><том, ><что ><свойства ><(«состояния» ><или ><«события») ><«испытывать ><боль» ><и ><«иметь ><С-волокна ><возбужденны><ми», ><видимо, ><не ><могут ><быть ><тождественными ><(в ><противном ><случае ><высказывание ><(2) ><было ><бы ><аналитическим) ><- ><примерно ><так ><фор><мулируется ><этот ><аргумент. ><Поэтому ><на ><том ><основании, ><что ><выска><зывание ><(1)>< ><является ><синтетическим, ><следовало ><бы ><заключить, ><что ><два ><свойства ><(«состояния» ><или ><«события») ><- ><«находиться ><в ><со><стоянии ><А» ><и ><«иметь ><триггер ><36 ><взведенным», ><- ><не ><могут ><быть ><тождественными!> <Нелишне ><отметить, ><что ><традиционный ><аргумент ><в ><пользу ><дуа><лизма ><- ><это ><вовсе ><не ><вывод ><на ><основе ><«необработанных ><данных ><непосредственного ><опыта» ><(о ><чем ><говорит ><тот ><факт, ><что ><он ><с ><таким ><же ><успехом ><применим ><к ><не ><наделенным ><сознанием ><машинам), ><а ><до><вольно ><сложное >< ><рассуждение, >< ><которое >< ><предполагает: >< ><(а) ><опредме-> <26><>> <<><чивание ><(reification) ><универсалий ><3>< ><(например, ><«свойств», ><«состоя><ний», ><«событий») ><и ><(б) ><проведение ><четкого ><различия ><между ><анали><тическим ><и ><синтетическим.>
<Из-за ><предложенной ><мной ><аналогии ><меня ><могут ><обвинить ><в ><за><щите ><«механистического» ><взгляда ><на ><мир. ><Если ><при ><этом ><мне ><будут ><приписывать ><ту ><точку ><зрения, ><что ><машины ><мыслят ><4><, ><или ><что ><люди ><представляют ><собой ><машины, ><то ><это ><ложное ><обвинение. ><Если ><же ><имеется ><вариант ><механицизма ><достаточно ><изощренный, ><чтобы ><ис><ключить ><подобные ><ошибки, ><то ><скорее ><всего ><соображения, ><выска><занные ><в ><настоящей ><статье, ><подтверждают ><его > <1. ><МАШИНЫ ><ТЬЮРИНГА> <В ><настоящей ><статье ><нам ><потребуется ><понятие ><машины ><Тью><ринга ><6><, ><которое ><я ><и ><хотел ><бы ><сейчас ><разъяснить.> <В ><двух ><словах, ><машина ><Тьюринга ><- ><это ><устройство ><с ><конеч><ным ><числом ><внутренних ><конфигураций, ><каждая ><из ><которых ><харак><теризуется ><тем, ><что ><машина ><находится ><в ><каком-то ><одном ><состоянии>
<><3>< ><Этот ><момент ><был ><отмечен ><Куайном ><в ><работе: > <4>< ><См. ><статью ><Зиффа ><(Ziff >
<5>< ><В ><частности, ><мне ><нравится ><в ><целом ><точка ><зрения, ><выдвинутая ><Смар><том ><в ><его ><работах: >
6 <><><Что ><касается ><деталей ><ср. ><работы: > 27><> <><из ><конечного ><множества ><состоянии ><' ><и ><сканирует ><ленту, ><на ><кото><рой ><появляются ><определенные ><символы.> <Лента ><машины ><разделена ><на ><отдельные ><клетки ><следующим ><об><разом:>
<В ><каждой ><из ><этих ><клеток ><может ><быть ><напечатан ><символ ><(из ><задан><ного ><конечного ><алфавита). ><Кроме ><того, ><машина ><имеет ><«сканер», ><ко><торый ><«сканирует» ><одну ><клетку ><ленты ><за ><раз. ><И, ><наконец, ><машина ><имеет ><печатающий ><механизм, ><который ><может: ><(а) ><удалить ><сим><вол, ><встретившийся ><в ><сканируемой ><клетке, ><и ><(б) ><напечатать ><вместо ><него ><какой-то ><другой ><символ ><(из ><машинного ><алфавита).>
<Любая ><машина ><Тьюринга ><полностью ><описывается ><машинной ><таблицей, ><которая ><строится ><следующим ><образом: ><строки ><таблицы ><обозначены ><буквами ><алфавита ><(включая ><и ><«пустую» ><букву, ><т. ><е. ><пробел), ><а ><столбцы ><соответствуют ><состояниям ><А, ><В, ><С ><и ><т. ><д. ><В ><каждой ><клетке ><появляется ><«команда», ><например ><«s>
<А> <В> <С>
<1>
<+>
<(*)> <пробел> <><7>< ><Эта ><терминология ><взята ><из ><работы ><Клини ><(1952) ><и ><отличается ><от ><терминологии ><Дэвиса ><и ><Тьюринга.> <28>< ><>>
<<><Предполагается, ><что ><машина, ><описываемая ><этой ><таблицей, ><функционирует ><следующим ><образом: ><при ><запуске ><она ><находится ><в ><состоянии ><А. ><На ><ленте ><появляется ><«сумма» ><(в ><унарном ><представ><лении), ><которую ><нужно ><«вычислить», ><например ><«II ><+ >
<Машина ><сначала ><сканирует ><первую ><цифру ><«/» ><и ><начинает ><«вычислять» ><сумму ><(по ><сути, ><заменяя ><знак ><плюс ><на ><цифру >, ><а ><за><тем ><возвращаясь ><и ><стирая ><первую ><цифру >). ><Так, ><если ><бы ><«входные ><данные» ><были >/// ><+ >////, ><то ><машина ><«напечатала» ><бы ><ПИШИ, ><а ><затем ><перешла ><бы ><в ><«неактивное ><состояние» ><(состояние >
<«Машинная ><таблица» ><описывает ><машину, ><если ><та ><обладает ><внутренними ><состояниями, ><соответствующими ><столбцам ><таблицы, ><и ><«выполняет» ><команды ><из ><таблицы ><в ><том ><смысле, ><что ><сканируя ><клетку, ><в ><которой ><встречается ><символ > <Понятие ><машины ><Тьюринга ><можно ><расширить ><в ><разных ><отно><шениях ><8><. ><Например, ><можно ><предположить, ><что ><у ><машины ><есть ><вторая ><лента ><(»входная ><лента»), ><на ><которой ><оператор ><в ><ходе ><вы><числений ><печатает ><дополнительную ><информацию. ><В ><дальнейшем ><мы ><воспользуемся ><этим ><обобщением ><(но ><место ><«оператора» ><у ><нас ><зай><мут ><электронные ><«органы ><чувств»).> <Примечательно, ><что ><машины ><Тьюринга, ><в ><принципе, ><способны ><делать ><все ><то, ><что ><делает ><любая ><вычислительная ><машина ><(любого ><вида) ><9><.>
<Иногда ><утверждают ><(как, ><например, ><Нагель ><и ><Ньюман ><в ><их ><книге ><«Доказательство ><Гёделя» ><(«Gddel's >
<><8>< ><Такое ><расширение ><выполнено ><Дэвисом ><в ><работе: > <9>< ><Это ><утверждение ><представляет ><собой ><разновидность ><тезиса ><Чёрча ><(о ><том, ><что ><рекурсивность ><равнозначна ><эффективной ><вычислимости).> <><29>> <<><Пусть ><Т:><- ><машина ><Тьюринга, ><которая ><«репрезентирует» ><меня ><в ><том ><смысле, ><что ><Т ><может ><доказывать ><те ><же ><самые ><математиче><ские ><положения, ><что ><и ><я. ><Тогда ><(хотя ><Нагель ><и ><Ньюман ><не ><приво><дят ><никакого ><доказательства, ><но, ><думаю, ><именно ><этот ><аргумент ><они, ><должно ><быть, ><имели ><в ><виду) ><методом ><Гёделя ><можно ><найти ><выска><зывание, ><которое ><машина ><Т ><не ><может ><доказать, ><а ><я ><могу ><доказать. ><Это ><опровергает ><то ><допущение, ><что ><Т ><«репрезентирует» ><меня: ><сле><довательно, ><я ><не ><машина ><Тьюринга. ><Ошибка ><заключается ><в ><непра><вильном ><применении ><простой ><и ><ясной ><теоремы ><Гёделя. ><Если ><взять ><произвольную ><машину ><Т, ><то ><я ><могу ><только ><одно ><- ><найти ><такое ><вы><сказывание ><для ><которого ><я ><могу ><доказать:> <(3) ><Если ><Т ><непротиворечива, ><то ><истинно,> <где ><неразрешимо ><для ><Т, ><если ><Т ><на ><самом ><деле ><непротиворечива. ><Однако ><Т ><вполне ><может ><доказать ><утверждение ><(3)! ><А ><утверждение ><которое ><Т ><не ><может ><доказать ><(при ><условии ><ее ><непротиворечиво><сти), ><я ><также ><не ><могу ><доказать ><(если ><только ><я ><не ><смогу ><доказать, ><что ><Т ><непротиворечива, ><а ><это ><маловероятно, ><учитывая ><крайнюю ><сложность ><Т)!> <2. ><ПРИВАТНОСТЬ> <Предположим, ><что ><машина ><Тьюринга ><Т ><сконструирована ><для ><выполнения ><следующих ><действий: ><Какое-то ><число, ><скажем, ><«3000» ><печатается ><на ><ленте ><машины ><Т, ><и ><Т ><оказывается ><в ><своем ><«началь><ном ><состоянии». ><Вслед ><за ><этим ><Т ><вычисляет ><трехтысячную ><(или ><любую ><другую, ><как ><указывает ><заданное ><число) ><цифру ><в ><десятичном ><разложении ><числа ><я; ><печатает ><эту ><цифру ><на ><своей ><ленте ><и ><перехо><дит ><в ><«неактивное ><состояние» ><(т. ><е. ><сама ><себя ><выключает). ><Разуме><ется, ><вопрос: ><«Как ><Т ><"устанавливает" ><["вычисляет" ><или ><"определя><ет"] ><трехтысячную ><цифру ><в ><десятичном ><разложении ><числа ><к > ><- ><вполне ><разумен, ><а ><ответ ><на ><него ><может ><быть ><довольно ><сложным. ><Вполне ><вероятно, ><ответ ><будет ><включать ><три ><различных ><компонента:> <(О ><Описание ><последовательности ><состояний, ><через ><которые ><проходит ><Т ><для ><нахождения ><решения, ><и ><описание ><того, ><что ><появля><ется ><на ><ленте ><на ><каждом ><этапе ><вычислений.> <(ii)>< ><Описание ><правил, ><по ><которым ><действует ><Т ><(они ><задаются ><«машинной ><таблицей» ><для ><Т).> <(iii) ><Объяснение ><рациональной ><основы ><всей ><процедуры.> <30><>> <<><Предположим, ><кто-то ><высказывает ><следующее ><возражение: ><«Для ><выполнения ><только ><что ><описанных ><вычислений, ><машина ><Т ><должна ><последовательно ><находиться ><в ><состояниях ><А, ><В, ><С ><я ><т. ><д. ><Но ><как ><Т ><может ><установить, ><что ><она ><находится ><в ><состояниях ><А, ><В, ><Сит. ><д.?»>
<Ясно, ><что ><это ><возражение ><нелепо. ><Но ><в ><силу ><чего ><оно ><нелепо? ><Во-первых, ><«логическое ><описание» ><машины ><(ее ><машинная ><таблица) ><определяет ><состояния ><только ><в ><терминах ><их ><отношений ><друг ><к ><другу ><и ><к ><тому, ><что ><появляется ><на ><ленте. ><«Физическая ><реализация» ><машины ><нематериальна, ><поскольку ><есть ><отдельные ><состояния ><А, ><В, ><С ><и ><т. ><д., ><и ><они ><следуют ><друг ><за ><другом, ><как ><указано ><в ><машиной ><таб><лице. ><Поэтому, ><ответить ><на ><вопрос: ><«Как ><Т ><устанавливает, ><что > <Однако, ><предположим, ><что ><такая ><последовательность ><имеется, ><- ><предположим, ><что ><Т ><не ><могла ><бы ><быть ><в ><состоянии ><А, ><не ><устано><вив ><прежде, ><что ><она ><находится ><в ><состоянии ><А ><(пройдя ><через ><после><довательность ><других ><состояний). ><Ясно, ><что ><это ><ведет ><к ><регрессу ><в ><бесконечность. ><Мы ><можем ><«прервать» ><этот ><регресс, ><просто ><указав, ><что ><машина, ><устанавливая ><трехтысячную ><цифру ><в ><числе ><я, ><после><довательно ><находится ><в ><определенных ><состояниях; ><но ><ей ><не ><нужно ><ни ><в ><каком ><существенном ><смысле ><«устанавливать», ><что ><она ><последовательно ><находится ><в ><этих ><состояниях.>
<Отметим ><аналогичную ><ошибку ><в ><классической ><эпистемологии, ><где ><предполагается, ><что ><для ><того, ><чтобы ><зндть, ><что ><р ><(где ><р ><- ><лю><бое ><высказывание), ><нужно ><сначала ><знать, ><что >
<Устраняется ><эта ><ошибка ><аналогично ><тому, ><как ><устраняется ><ошибка ><в ><случае ><с ><машинами. ><Предположим, ><что ><на ><основе ><данных ><чувственного ><опыта > <><31>> <<><мо ><иметь ><чувственный ><опыт, ><но ><вовсе ><не ><нужно ><знать ><(или ><даже ><замечать), ><какой ><именно ><чувственный ><опыт ><ты ><имеешь.> <Попробуем, ><однако, ><несколько ><изменить ><наш ><пример. ><Предпо><ложим, ><что, ><находясь ><в ><определенном ><состоянии ><(скажем, ><«состоя><нии ><Л»), ><машина ><печатает ><слова ><«Я ><нахожусь ><в ><состоянии ><Л». ><Тог><да, ><признавая, ><что ><хотя ><машина, ><как ><правило, ><не ><знает, ><в ><каком ><со><стоянии ><она ><находится, ><но ><в ><случае ><состояния ><А ><(после ><того, ><как ><она ><напечатала ><«Я ><нахожусь ><в ><состоянии ><Л») ><можно ><сказать: ><«Машина ><установила, ><что ><она ><находится ><в ><состоянии ><Л».> <Рассмотрим ><данный ><пример ><повнимательнее. ><Прежде ><всего ><нам ><следует ><предположить, ><что, ><находясь ><в ><состоянии ><Л, ><машина ><печа><тает ><«Я ><нахожусь ><в ><состоянии ><Л» ><не ><потому, ><что ><перед ><этим ><она ><прошла ><через ><серию ><каких-либо ><других ><состояний. ><Просто ><во ><всех ><строчках ><столбца ><таблицы, ><озаглавленного ><«состояние ><Л», ><стоит ><команда: ><напечатать ><|0>< ><«Я ><нахожусь ><в ><состоянии ><Л». ><Во-вторых, ><для ><сравнения ><рассмотрим ><какого-нибудь ><человека, ><скажем, ><Джона, ><который ><каждый ><раз, ><когда ><ощущает ><боль, ><говорит: ><«Мне ><больно» ><(или ><«Ох!», ><или ><«Больно!»). ><Ради ><пущего ><сходства, ><предположим, ><что ><в ><лингвистическом ><плане ><слова ><Джона ><объясняются ><тем, ><что ><он ><просто ><«не ><думая» ><говорит ><«Мне ><больно», ><т. ><е. ><он ><не ><проходит ><через ><серию ><каких-либо ><интроспективных ><ментальных ><состояниях, ><помимо ><состояния ><самой ><боли. ><Используя ><терминологию ><Витген><штейна, ><Джон ><просто ><показывает ><свою ><боль, ><когда ><говорит ><«Мне ><больно», ><- ><перед ><этим ><он ><не ><рефлексирует ><о ><своем ><состоянии ><(обращая ><на ><него ><внимание, ><отмечая ><его ><и ><т. ><п.), ><с ><тем, ><чтобы ><за><тем ><сознательно ><его ><описать. ><(Заметьте, ><что ><эта ><простая ><возмож><ность ><произнесения ><«высказывания» ><«Мне ><больно» ><без ><предвари><тельного ><ментального ><«акта ><суждения» ><осталась ><незамеченной ><для ><всех ><классических ><эпистемологов ><от ><Юма ><до ><Рассела!) ><Теперь ><мы ><можем ><рассмотреть ><параллельные ><вопросы: ><«"Устанавливает" ><ли ><машина, ><что ><она ><находится ><в ><состоянии ><Л?» ><и ><«"Знает" ><ли ><Джон, ><что ><он ><ощущает ><боль?» ><и ><их ><следствия.>
<Философы, ><занимающиеся ><семантикой, ><уделяют, ><как ><и ><следо><вало ><ожидать, ><большое ><внимание ><глаголу ><«знать». ><Традиционно ><они ><выделяют ><три ><элемента: ><(1)>< ><«X ><знает, ><что ><р» ><означает, ><что ><р ><ис><тинно ><(мы ><можем ><назвать ><это ><элементом ><истинности); ><(2) ><«X ><знает, ><что ><р» ><означает, ><что > <><10>< ><Здесь ><следует ><принять, ><что ><все ><предложение ><«Я ><нахожусь ><в ><состоя><нии ><А* ><в ><алфавите ><машины ><считается ><одним ><символом.> <32><
<<><рить: ><«X ><уверен, ><что ><р» ><или ><«X ><в ><состоянии ><утверждать, ><что ><р»; ><я ><буду ><называть ><это ><элементом ><уверенности); ><(3) ><«X ><знает, ><что ><р» ><означает, ><что ><у >
<В ><свете ><такого ><анализа ><возникли ><споры ><о ><том, ><правомерно ><ли ><говорить ><(в ><случаях, ><подобных ><рассмотренному ><выше), ><что ><«Джон ><знает, ><что ><ощущает ><боль». ><С ><одной ><стороны, ><философы, ><стоящие ><на ><точке ><зрения ><здравого ><смысла ><(«Когда ><мне ><больно, ><я ><знаю, ><что ><мне ><больно»), ><рассуждают ><примерно ><так: ><несомненно ><ложным ><было ><бы ><утверждение, ><что ><Джон ><не ><знает, ><что ><ему ><больно; ><но, ><Джон ><или ><знает ><это, ><или ><не ><знает; ><следовательно, ><Джон ><знает, ><что ><ему ><боль><но. ><Этим ><философам ><можно ><было ><бы ><возразить ><следующее: ><из ><ут><верждения ><«Джон ><не ><знает > <Я ><не ><намерен ><рассматривать ><здесь ><эту ><проблему ><12><, ><поскольку ><меня ><больше >< ><заботит ><сходство >< ><между ><нашими ><двумя >< ><вопросами.> <><" ><Например, ><я ><знаю, ><что ><Солнце ><находится ><на ><расстоянии ><в ><93 ><мил><лиона ><миль ><от ><Земли, ><но ><у ><меня ><нет ><подтверждения ><того, ><что ><это ><так. ><На ><самом ><деле, ><я ><даже ><не ><помню, ><откуда ><я ><узнал ><об ><этом.> <12>< ><По ><сути, ><невозможно ><решить, ><девиантно ><или ><нет ><предложение ><«Джон ><знает, ><что ><ему ><больно», ><пока ><не ><сформулировано ><иначе ><условие ><подтверждения; ><сформулировано ><так, ><чтобы ><можно ><было ><избежать ><возра><жения, ><приведенного ><в ><сноске ><11 ><(если ><вообще ><его ><можно ><переформули-> <><><><зз>> <<><Например, ><мы ><могли ><бы ><принять ><(как ><«недевиантные», ><«логически ><нормальные», ><«несамопротиворечивые» ><и ><т. ><п.) ><следующие ><два ><ут><верждения:> <Машина ><установила, ><что ><она ><находится ><в ><состоянии ><А,> <Джон ><знал, ><что ><ему ><больно,> <или ><же ><отвергнуть ><их. ><Пусть ><мы ><отвергаем ><утверждения ><(а) ><и ><(Ь), ><но ><в ><этом ><случае ><мы ><можем ><найти ><альтернативные ><им ><формулиров><ки, ><которые ><будут ><приемлемыми ><в ><семантическом ><отношении: ><нап><ример ><(для ><утверждения ><(а)), ><«Машина ><находилась ><в ><состоянии ><А, ><по ><этой ><причине ><она ><напечатала: ><"Я ><нахожусь ><в ><состоянии ><А"»; ><(для ><утверждения ><(Ь)), ><«Джон ><ощущал ><боль, ><по ><этой ><причине ><он ><сказал: ><"Мне ><больно"» ><(или ><«Джону ><было ><больно, ><и ><он ><показал ><это, ><сказав ><"Мне ><больно"»).> <С ><другой ><стороны, ><если ><принять ><утверждения ><(а) ><и ><(Ь), ><то ><возникают ><вопросы: ><(а,) ><«Как ><машина ><установила, ><что ><она ><нахо><дится ><в ><состоянии ><А?» ><и ><(Ь,)>< ><«Как ><Джон ><узнал, ><что ><ему ><больно?».> <Если ><на ><эти ><вопросы ><вообще ><существуют ><ответы, ><то ><они ><будут ><вырожденными, ><например ><- ><«Находясь ><в ><состоянии ><А» ><и ><«Испы><тывая ><боль».> <Теперь, ><я ><полагаю, ><совершенно ><ясно, ><что ><в ><обоих ><случаях ><трудности ><порождены ><одной ><и ><той ><же ><причиной, ><а ><именно: ><они ><вы><званы ><тем ><обстоятельством, ><что ><«сообщение ><в ><словесной ><форме» ><(«Я ><нахожусь ><в ><состоянии ><А» ><или ><«Мне ><больно») ><исходит ><непос><редственно ><из ><состояния, ><о ><котором ><«сообщается»: ><чтобы ><получить ><«ответ», ><не ><требуется ><никакого ><«вычисления», ><никакого ><дополни><тельного ><«подтверждения». ><Все ><разногласия ><философов ><о ><том, ><«как ><следует ><говорить», ><по ><сути, ><связаны ><с ><поиском ><терминологии ><для ><описания ><когнитивных ><процессов ><вообще, ><что ><имеет ><место ><и ><в ><дан><ном ><конкретном ><случае. ><(Заметьте, ><что ><традиционный ><в ><эпистемо><логии ><ответ ><на ><вопрос ><(Ь><х><) ><- ><«путем ><интроспекции» ><- ><не ><согла><суется ><в ><данном ><случае ><с ><фактами, ><поскольку ><он ><определенно ><предполагает ><наличие ><некоторого ><ментального ><события ><(«акта» ><ин><троспекции), ><отличного ><от ><ощущения ><боли.)> <В ><заключение ><предположим, ><что ><машина ><снабжена ><устройст><вом ><для ><«сканирования» ><соседней ><машины ><Т><{><. ><Тогда ><вопрос: ><«Как ><Т> <><ровать ><так, ><чтобы ><хотя ><бы ><отчасти ><сохранилось ><это ><условие). ><Тем ><не ><ме><нее, ><думаю, ><что ><дискуссия, ><приведенная ><выше, ><показывает, ><почему ><жела><тельно ><считать ><это ><предложение ><девиантным.> ><<34><>
<><устанавливает, ><что > <3. ><«МЕНТАЛЬНЫЕ» ><И ><«ЛОГИЧЕСКИЕ» ><СОСТОЯНИЯ> <Рассмотрим ><два ><вопроса:> <Откуда ><Джон ><знает, ><что ><ему ><больно?> <Откуда ><Джон ><знает, ><что ><у ><него ><жар?> <Как ><мы ><видели ><в ><предыдущем ><разделе, ><первый ><вопрос ><несколь><ко ><странен, ><а ><второй ><вопрос ><может ><быть ><вполне ><разумным. ><Дейст><вительно, ><когда ><Джон ><говорит ><«Мне ><больно», ><ему ><никто ><не ><возра><зит: ><«Вы ><ошибаетесь». ><(Ему ><могли ><бы ><возразить: ><«Вы ><оговорились» ><или ><«Вы ><лжете», ><но ><не ><«Вы ><ошибаетесь».) ><С ><другой ><стороны, ><ког><да ><Джон ><говорит: ><«У ><меня ><жар», ><врач, ><только ><что ><измеривший ><ему ><температуру, ><вполне ><может ><возразить: ><«Вы ><ошибаетесь». ><И ><он ><мо><жет ><не ><иметь ><в ><виду, ><что ><Джон ><совершил ><лингвистическую ><ошиб><ку, ><солгал ><или ><что-то ><напутал.> <Можно ><было ><бы ><заключить, ><что ><для ><различия ><между ><утвержде><ниями ><о ><своем ><собственном ><состоянии ><и ><утверждениями ><о ><состоя><нии ><других ><имеется ><аналог ><в ><случае ><машин, ><тогда ><как ><для ><затрону><того ><сейчас ><различия ><между ><утверждениями ><о ><«ментальном» ><состо><янии ><человека ><и ><утверждениями ><о ><его ><«физическом» ><состоянии, ><если ><воспользоваться ><традиционным ><языком, ><никакого ><аналога ><нет. ><Но ><это ><не- ><так. ><Каков ><этот ><аналог, ><мы ><и ><попытаемся ><сейчас ><сфор><мулировать.> <Прежде ><всего, ><вернемся ><к ><понятию ><машины ><Тьюринга. ><При ><описании ><машины ><Тъюринга ><с ><помощью ><«машинной ><таблицы» ><ука><зывается, ><что ><она ><имеет ><ленту, ><печатающее ><устройство ><и ><«сканиру><ющее» ><устройство ><(оно ><может ><представлять ><собой ><простой ><заост-> <><><35>> <<><ренный ><стержень ><машины, ><который ><в ><любой ><данный ><момент ><вре><мени ><нацелен ><только ><на ><одну ><клетку ><ленты) ><и ><конечное ><множество ><состояний» ><(А, ><В, ><Сит.>< ><д.). ><(В ><последующем, ><мы ><будем ><иногда ><называть ><их ><логическими ><состояниями, ><чтобы ><отличать ><от ><неко><торых ><других ><состояний, ><которые ><мы ><введем ><чуть ><позже.) ><Помимо ><)того, ><при ><описании ><машины ><Тьюринга ><задаются ><только ><правила, ><жестко ><определяющие, ><в ><каком ><порядке ><состояния ><следуют ><друг ><за ><Фугом ><и ><что ><когда ><печатается.> <В ><частности, ><«логическое ><описание» ><машины ><Тьюринга ><не ><со><держит ><никаких ><данных ><о ><физической ><природе ><этих ><«состояний» ><- ><и ><даже ><о ><физической ><природе ><машины ><в ><целом. ><(Неизвестно, ><состоит ><ли ><она ><из ><электронных ><реле, ><картона, ><клерков, ><сидящих ><за ><пультами, ><или ><чего-либо ><еще.) ><Иными ><словами, ><любая ><данная ><«машина ><Тьюринга» ><- ><это ><абстрактная ><машина, ><которая ><может ><иметь ><практически ><неограниченное ><число ><различных ><физических ><реализаций.> <Однако, ><как ><только ><машина ><Тьюринга ><получает ><физическую ><реализацию, ><происходит ><нечто ><интересное. ><Хотя ><с ><точки ><зрения ><логика ><машина ><обладает ><только ><состояниями ><А, ><В, ><С ><и ><т. ><д., ><для ><инженера ><она ><имеет ><практически ><неограниченное ><число ><дополни><тельных ><«состояний» ><(разумеется, ><в ><ином ><смысле ><этого ><слова ><- ><эти ><состояния ><мы ><будем ><называть ><структурными ><состояниями). ><К ><примеру, ><если ><машина ><состоит ><из ><вакуумных ><трубок, ><то ><может ><так ><случиться, ><что ><одна ><из ><ее ><трубок ><выйдет ><из ><строя, ><и ><благодаря ><этому ><машина ><перейдет ><в ><иное ><«состояние», ><- ><иное ><с ><точки ><зре><ния ><физика, ><но ><отнюдь ><не ><логика. ><С ><другой ><стороны, ><если ><машина ><сделана ><из ><картона ><и ><управляется ><вручную, ><и ><если ><ее ><картон ><мо><жет ><покоробится, ><то ><это, ><очевидно, ><составляет ><одно ><из ><ее ><возмож><ных ><«нелогических» ><или ><«структурных» ><состояний. ><И ><так ><далее.> <Физически ><реализованная ><машина ><Тьюринга ><может ><не ><иметь ><возможности ><определить ><свое ><собственное ><структурное ><состояние, ><точно ><так ><же, ><как ><человек ><может ><не ><знать ><о ><состоянии ><своего ><ап><пендикса ><в ><данный ><момент ><времени. ><Однако, ><очень ><удобно ><снаб><дить ><машину ><электронными ><«органами ><чувств», ><которые ><позволят ><ей ><сканировать ><саму ><себя ><и ><обнаруживать ><малейшие ><неисправно><сти. ><Мысленно ><можно ><представить ><себе, ><что ><эти ><«органы ><чувств» ><вызывают ><печатание ><определенных ><символов ><на ><«входной ><ленте», ><которую ><машина ><время ><от ><времени ><«обследует». ><(Небольшое ><за><труднение ><возникает ><из-за ><того, ><что ><«сообщение» ><от ><органов ><чувств ><может ><занимать ><несколько ><клеток ><ленты, ><тогда ><как ><машина ><«сканирует» ><только ><одну ><клетку ><за ><раз. ><Однако, ><это ><несуществен-> <> <36>< >< >> <<><но, ><поскольку ><хорошо ><известно, ><что ><можно ><достичь ><эффекта ><«чтения» ><любого ><конечного ><числа ><клеток ><с ><помощью ><программы, ><которая ><предполагает ><сканирование ><только ><одной ><клетки ><за ><раз.)> <(В ><качестве ><отступления ><отмечу, ><что ><первые ><сконструирован><ные ><цифровые ><компьютеры ><не ><имели ><устройств ><описанного ><вида. ><С ><другой ><стороны, ><они ><содержали ><свыше ><3000 ><вакуумных ><трубок, ><и ><некоторые ><из ><этих ><трубок ><в ><какой-то ><момент ><выходили ><из ><строя! ><Поэтому ><очень ><быстро ><была ><осознана ><необходимость ><«программ» ><самоконтроля.) ><13> <Машина, ><способная ><распознавать, ><по ><крайней ><мере, ><часть ><соб><ственных ><структурных ><состояний, ><находится ><приблизительно ><в ><та><ком ><же ><положении, ><что ><и ><человек, ><который ><может ><определять ><с ><различной ><степенью ><достоверности ><только ><некоторые ><дисфункции ><своего ><организма. ><Так, ><предположим, ><что ><машина ><«печатает»: ><«Вы><шла ><из ><строя ><вакуумная ><трубка ><312». ><Вопрос ><«Как ><машина ><устано><вила, ><что ><вышла ><из ><строя ><вакуумная ><трубка ><312?» ><совершенно ><ра><зумен. ><А ><ответ ><может ><содержать ><ссылку ><как ><на ><физическую ><струк><туру ><машины ><(«органы ><чувств» ><и ><т. ><п.), ><так ><и ><на ><ее ><«логическую ><структуру» ><(программу ><«чтения» ><и ><«интерпретации» ><входной ><ленты).> <Если ><машина ><печатает: ><«Вышла ><из ><строя ><вакуумная ><трубка ><312», ><хотя ><та ><на ><самом ><деле ><работает, ><ошибка ><могла ><произойти ><или ><в ><результате ><неправильного ><вычисления ><(в ><процессе ><«чтения» ><и ><«интерпретации» ><входной ><ленты) ><или ><вследствие ><неправильного ><сигнала, ><поступившего ><от ><органов ><чувств. ><С ><другой ><стороны, ><если ><машина ><печатает: ><«Я ><нахожусь ><в ><состоянии ><Л» ><и ><делает ><это ><просто ><потому, ><что ><ее ><машинная ><таблица ><содержит ><команду: ><Напеча><тать: ><«Я ><нахожусь ><в ><состоянии ><Л», ><то ><вопроса ><о ><неправильном ><вычислении ><возникнуть ><не ><может. ><Даже ><если ><из-за ><какого-то ><сбоя ><печатающий ><механизм ><печатает: ><«Я ><нахожусь ><в ><состоянии ><Л», ><хотя ><машина ><не ><находится ><при ><этом ><в ><состоянии ><Л, ><это ><не ><будет ><«неп><равильным ><вычислением» ><(а ><только, ><так ><сказать, ><«обмолвкой»).> <Интересно ><отметить, ><что ><как ><существуют ><два ><возможных ><опи><сания ><поведения ><машины ><Тьюринга ><- ><структурный ><чертеж ><инже><нера ><и ><«машинная ><таблица» ><логика, ><так ><существуют ><и ><два ><возмож><ных ><описания ><человеческой ><психики. ><«Бихевиористский» ><подход ><(к> <><13>< ><В ><действительности ><не ><потребовалось ><добавлять ><никаких ><«органов ><чувств»; ><существующие, ><компьютеры ><проверяют ><себя, ><«проводя ><над ><собой ><решающие ><эксперименты» ><(т. ><е. ><выполняя ><определенные ><проверочные ><вы><числения ><и ><сравнивая ><полученные ><результаты ><с ><заданными ><правильными ><результатами).> <>< ><37>>
<<> <Проведенная ><аналогия ><между ><логическими ><состояниями ><маши><ны ><Тьюринга ><и ><ментальными ><состояниями ><человека, ><с ><одной ><сторо><ны, ><и ><структурными ><состояниями ><машины ><Тьюринга ><и ><физически><ми ><состояниями ><человека, ><с ><другой, ><наводит, ><на ><мой ><взгляд, ><на ><серьезные ><размышления. ><В ><частности, ><дальнейшее ><исследование ><этой ><аналогии ><позволит ><глубже ><прояснить ><обсуждаемое ><нами ><по><нятие ><«ментального ><состояния». ><Это ><«исследование» ><еще ><не ><пред><принималось, ><во ><всяком ><случае ><мною, ><но ><для ><тех, ><кого ><это ><может ><заинтересовать, ><я ><хотел ><бы ><указать ><несколько ><характеристик, ><ко><торые, ><видимо, ><отличают ><логические ><и ><ментальные ><состояния ><от ><структурных ><и ><физических ><состояний, ><соответственно:> <(1)>< ><Функциональную ><организацию ><(решение ><задач, ><мышление) ><человека ><или ><машины ><можно ><описывать, ><используя ><последователь><ность >< ><ментальных >< ><или >< ><логических >< >< ><состояний, >< >< ><соответственно >< >< ><(и> <><14>< ><В ><смысле ><Оппенгейма ><(Oppenheim > <38>< ><СОЗНАНИЕи>> <<><сопутствующие ><им ><вербализации), >< ><не >< ><обращаясь ><к ><природе >< ><«фи><зической ><реализации» ><этих ><состояний.> <Состояния, ><видимо, ><внутренне ><связаны ><с ><вербализацией,> <Если ><мы ><имеем ><дело ><с ><рациональным ><мышлением ><(или ><вы ><числением), ><то ><«программа», ><определяющая ><последовательность ><со ><стояний ><и ><т. ><д., ><открыта ><для ><рациональной ><критики.> <4. ><«ТОЖДЕСТВО* ><СОЗНАНИЯ ><И ><МОЗГА> <В ><заключение ><мы ><хотели ><бы ><сравнить ><людей ><и ><машины ><с ><точки ><зрения ><решения ><вопроса ><о ><тождественности ><ментальных ><состоя><ний ><соответствующим ><физическим ><состояниям ><(или ><о ><тождествен><ности ><логических ><состояний ><соответствующим ><структурным ><состоя><ниям). ><Как ><отмечалось ><в. ><начале ><статьи, ><все ><аргументы ><«за» ><и ><«про><тив» ><подобного ><отождествления ><можно ><прекрасно ><сформулировать ><с ><помощью ><машин ><Тьюринга.> <Витгенштейн, ><например, ><в ><1930-х ><годах ><использовал ><следую><щий ><аргумент: ><если ><я ><имею ><в ><сознании ><некоторый ><остаточный ><об><раз ><и ><одновременно ><наблюдаю ><состояние ><своего ><мозга ><(с ><помощью ><соответствующего ><прибора), ><то ><я ><наблюдаю ><две ><вещи, ><а ><не ><одну. ><(По-видимому, ><это ><аргумент ><против ><отождествления.) ><Но ><мы ><вполне ><можем ><представить ><себе ><«умную» ><машину ><Тьюринга, ><«рас><суждающую» ><следующим ><образом: ><«Когда ><я ><печатаю ><"Я ><нахожусь ><в ><состоянии ><А", ><мне ><не ><нужно ><использовать ><свои ><"органы ><чувств". ><Если ><же ><я ><действительно ><использую ><свои ><"органы ><чувств" ><и ><срав><ниваю ><случаи, ><когда ><я ><нахожусь ><в ><состоянии ><А, ><и ><случаи, ><когда ><взведен ><триггер ><36, ><то ><я ><сравниваю ><две ><вещи, ><а ><не ><одну». ><Не ><ду><маю, ><что ><нам ><покажется ><убедительным ><этот ><сформулированный ><на ><«машинный» ><манер ><аргумент ><Витгенштейна!> <Рассел, ><напротив, ><довел ><до ><абсурда ><утверждения ><о ><«тождест><ве», ><заявив ><однажды, ><что ><все, ><что ><мы ><когда-либо ><видели, ><- ><это ><части ><нашего ><собственного ><мозга. ><Аналогичным ><образом, ><«Рассел-><машина» ><мог ><бы ><«утверждать», ><что ><«все ><когда-либо ><мной ><наблю><даемое ><- ><это ><мои ><собственные ><вакуумные ><трубки». ><И ><тот, ><и ><дру><гой ><«Рассел» ><неправы: ><человек ><наблюдает ><события ><во ><внешнем ><ми><ре, ><но ><процесс ><«наблюдения» ><предполагает ><события ><в ><его ><мозгу. ><Сходным ><образом, ><машина ><Г ><может ><«наблюдать», ><скажем, ><банки ><с ><томатным ><супом ><(если ><в ><ее ><задачу ><входит ><сортировка ><банок ><с ><су><пом), ><но ><процесс ><«наблюдения» ><предполагает ><функционирование ><вакуумных ><трубок. ><Но ><у ><нас ><нет ><никаких ><причин ><говорить, ><что ><«на ><самом ><деле» ><машина ><наблюдает ><свои ><собственные ><вакуумные ><трубки.> <МАШИНЫ>< ><39>> <<><Рассмотрим, ><однако, ><более ><серьезные ><аргументы. ><В ><начале ><ста><тьи ><я ><отмечал, ><что ><синтетический ><характер ><утверждения ><(1) ><«Я ><ис><пытываю ><боль, ><если ><и ><только ><если ><возбуждены ><мои ><С-волокна» ><ис><пользовался ><в ><качестве ><аргумента ><в ><защиту ><той ><точки ><зрения, ><что ><такие ><«свойства» ><(или ><«события», ><или ><«состояния»), ><как ><«иметь ><возбужденными ><С-волокна» ><и ><«испытывать ><боль», ><не ><могут ><быть ><тождественными. ><Этот ><аргумент ><неудовлетворителен ><по ><крайней ><мере ><по ><двум ><причинам: ><(а) ><различие ><между ><«аналитическим ><и ><син><тетическим» ><не ><является ><достаточно ><четким, ><особенно ><если ><речь ><идет ><о ><научных ><законах; ><и ><(б) ><весьма ><спорен ><используемый ><здесь ><критерий ><отождествления ><«свойств» ><(«событий», ><или ><«состояний»).> <Что ><касается ><пункта ><(а), ><то, ><как ><я ><показал ><в ><другой ><своей ><ста><тье ><15><, ><фундаментальные ><научные ><законы ><нельзя ><отнести ><ни ><к ><«ана><литическим», ><ни ><к ><«синтетическим» ><высказываниям. ><Рассмотрим, ><к ><примеру, ><какой ><концептуальный ><сдвиг ><был ><вызван ><переходом ><от ><евклидовой ><геометрии ><к ><неевклидовой, ><или ><был ><бы ><вызван, ><если ><бы ><мы ><отказались ><от ><закона ><сохранения ><энергии. ><Было ><бы ><неверно ><сказать, ><что ><законы ><евклидовой ><геометрии ><(пока ><они ><господствова><ли) ><были ><«аналитическими», ><а ><Эйнштейн ><просто ><«изменил ><значе><ние ><слов». ><В ><действительности ><же, ><именно ><потому, ><что ><Эйнштейн, ><не ><меняя ><значение ><слов, ><продолжал ><говорить ><о ><кратчайших ><траек><ториях ><в ><пространстве, ><в ><котором ><мы ><существуем, ><движемся ><и ><жи><вем, ><общая ><теория ><относительности ><и ><показалась ><столь ><непости><жимой, ><когда ><была ><впервые ><сформулирована. ><Утверждать, ><что ><можно ><вернуться ><в ><то ><же ><самое ><место, ><двигаясь ><по ><прямой ><в ><одном ><и ><том ><же ><направлении! ><Приняв ><общую ><теорию ><относительности, ><мы, ><по ><сути, ><приняли ><новую ><систему ><понятий, ><а ><не ><просто ><«новую ><систему ><слов-ярлыков».> <Но ><если ><неверно ><уподоблять ><пересмотр ><фундаментальных ><на><учных ><законов ><принятию ><новых ><лингвистических ><конвенций, ><то ><в ><равной ><мере ><ошибочно ><и ><уподоблять ><- ><вслед ><за ><традиционными ><философами ><науки ><- ><концептуальное ><изменение, ><ознаменованное ><Эйнштейном, ><такому ><типу ><изменения, ><как ><изменение, ><вызванное ><обнаружением ><черного ><лебедя ><(прежде ><мы ><считали, ><что ><все ><лебеди ><белые)! ><Фундаментальные ><законы ><подобны ><принципам ><чистой ><ма><тематики ><(как ><подчеркивал ><Куайн), ><ибо ><их ><нельзя ><опровергнуть ><с ><помощью >< ><отдельных >< ><экспериментов: >< >< ><мы >< >< ><всегда >< >< ><можем >< ><сохранить->
<><15>< > <40>< >< >>
|
|
|
© FILOSOF.HISTORIC.RU 2001–2023 Все права на тексты книг принадлежат их авторам! При копировании страниц проекта обязательно ставить ссылку: 'Электронная библиотека по философии - http://filosof.historic.ru' |