Глаз разума

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

Язык — это то, что создает данную проблему (позволяя нам ее сформулировать) и то, что помогает нам ее разрешить (позволяя, будучи универсальным средством мыслеобмена, делиться опытом и таким образом делать его более объективным). Однако язык не может довести нас до конца дороги.

В каком-то смысле теорема Гёделя является математическим аналогом того, что я не могу понять, на что похоже не любить шоколад или быть летучей мышью. Единственное, что мне доступно, это бесконечный ряд все более аккуратных приближений, которые, тем не менее, никогда не достигнут полного отождествления. Я пойман сам в себе и поэтому не способен понять, каковы другие системы. Теорема Гёделя вытекает из этого общего факта: я пойман сам в себе и поэтому не способен понять, каков я для других систем. Таким образом, дилемма субъективного и объективного, так ярко очерченная Нагелем, в какой-то мере родственна эпистемологическим проблемам в математической логике и, как мы видели ранее, в основах физики. Эти идеи рассматриваются более подробно в последней главе книги Хофштадтера “Гёдель, Эшер, Бах”.

Д.Р.Х.

25 РЭЙМОНД М. СМОЛЛЯН Эпистемологический кошмар

Сцена 1. Франк пришел на прием к врачу-офтальмологу. Врач показывает ему книгу и спрашивает: “Какого она цвета?” Франк отвечает: “Красного”. Доктор восклицает: “Ага, так я и думал! Вы совершенно перестали различать цвета. К счастью, ваша болезнь излечима и через пару недель вы будете в полном порядке”.

Сцена 2. (Через несколько недель.) Франк пришел в домашнюю лабораторию эпистемолога-экспериментатора. (Вскоре вы узнаете, что это означает!) Эпистемолог также показывает ему книгу и спрашивает: “Какого она цвета?” К этому времени врач уже сообщил Франку, что он “здоров”. Однако наученный горьким опытом Франк стал осторожнее и решил не утверждать ничего такого, что можно было бы оспорить. Поэтому он отвечает: “Мне кажется, что она красная”.

ЭПИСТЕМОЛОГ: Неверно!

ФРАНК: Вероятно, вы меня не расслышали. Я всего лишь сказал, что она кажется мне красной.

ЭПИСТЕМОЛОГ: Я вас слышал, и вы неправы.

ФРАНК: Что вы хотите этим сказать? Я ошибаюсь в том, что книга — красная, или в том, что мне кажется, что она красная?

ЭПИСТЕМОЛОГ: Разумеется, я не мог сказать, что вы не правы, утверждая, что книга — красная, поскольку вы этого не говорили. Вы сказали, что она кажется вам красной — и именно в этом вы ошиблись.

ФРАНК: Но вы не можете утверждать, что высказывание “Она кажется мне красной” ошибочно!

ЭПИСТЕМОЛОГ: Не могу? Тогда как же я это только что проделал?

ФРАНК: Я хотел сказать, что вы не можете действительно иметь это в виду.

ЭПИСТЕМОЛОГ: Почему бы и нет?

ФРАНК: Потому что я знаю, какого цвета кажется мне эта книга.

ЭПИСТЕМОЛОГ: Вы снова ошибаетесь.

ФРАНК: Но кто же может лучше меня знать, какого цвета кажутся мне окружающие вещи?

ЭПИСТЕМОЛОГ: Прошу прощения, но и здесь вы неправы.

ФРАНК: Но кто же, по-вашему, знает это лучше меня?

ЭПИСТЕМОЛОГ: Я.

ФРАНК: Но откуда у вас доступ к моим личным, собственным ощущениям?

ЭПИСТЕМОЛОГ: Личные, собственные ощущения! Что за метафизическая нелепость! Я, знаете ли, эпистемолог-практик. Метафизические проблемы, противопоставляющие разум материи, возникают как следствие эпистемологической путаницы. Эпистемология — вот настоящий фундамент философии. К сожалению, до сегодняшнего дня эпистемологи пользовались чисто теоретическими методами, и большая часть их дискуссий вырождалась в пустую игру слов. Пока они торжественно спорили, может ли человек ошибаться, утверждая, что ему кажется то или иное, я открыл способ установить истину экспериментальным путем.

ФРАНК: Как же вы можете решать подобные вещи эмпирически?

ЭПИСТЕМОЛОГ: Читая мысли собеседника.

ФРАНК: Вы — телепат?

ЭПИСТЕМОЛОГ: Разумеется, нет. Я всего-навсего сделал то, что давно пора было сделать. Я изобрел мозго-читающую машину. Мой цереброскоп стоит сейчас в этой комнате и работает на полную мощность, сканируя каждую нервную клетку вашего мозга. Таким образом, я могу прочесть все ваши ощущения и мысли, и могу с уверенностью утверждать вполне объективный факт: эта книга не кажется вам красной.

ФРАНК (совершенно подавленный): Боже мой! Я мог бы поклясться, что книга казалась мне красной; мне и сейчас кажется, что она кажется мне красной.

ЭПИСТЕМОЛОГ: Простите, но вы опять ошибаетесь.

ФРАНК: Да? Даже в том, что мне кажется, что она кажется мне красной? Честное слово, мне кажется, что мне кажется, что она кажется мне красной!

ЭПИСТЕМОЛОГ: Снова неверно! Сколько бы раз вы ни повторили фразу “мне кажется” перед фразой “она красная”, вы будете неправы.

ФРАНК: Невероятно! А если бы вместо фразы “мне кажется” я сказал бы “я полагаю”? Давайте начнем с самого начала. Я беру обратно слова “Мне кажется, что книга красная” и говорю: “Я полагаю, что книга красная” Теперь мое утверждение истинно?

ЭПИСТЕМОЛОГ: Минутку, я должен свериться с цереброскопом… нет, оно снова ложно.

ФРАНК: Как насчет “Я полагаю, что я полагаю, что она красная”?

ЭПИСТЕМОЛОГ (сверяясь с прибором): Снова неверно. Неважно, сколько раз вы повторите “я полагаю”, все утверждения, касающиеся ваших убеждений, будут ложными.

ФРАНК: Да, этот опыт открыл мне глаза. Но согласитесь, мне было трудно поверить в то, что у меня оказалось бесконечно много ложных убеждений!

ЭПИСТЕМОЛОГ: Почему вы утверждаете, что ваши убеждения — ложные?

ФРАНК: Вы же мне сами об этом сказали!

ЭПИСТЕМОЛОГ: Ничего подобного я не говорил!

ФРАНК: Ну и ну! Я уже был готов признать все свои ошибки, а теперь вы говорите мне, что мои убеждения вовсе не ошибочны. Вы что, меня с ума свести хотите?

ЭПИСТЕМОЛОГ: Полегче, пожалуйста! Вспомните, когда это я говорил или намекал на то, что ваши убеждения ошибочны?

ФРАНК: Достаточно вспомнить бесконечную цепь утверждений (1) Я полагаю, что эта книга красная; (2) Я полагаю, что я полагаю, что эта книга красная; и так далее. Вы сказали мне, что каждое из этих высказываний ложно.

ЭПИСТЕМОЛОГ: Верно.