Глаз разума - Даглас Хофштадтер

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ФРАНК: Тогда как же вы можете непротиворечиво утверждать, что моя вера во все эти ложные утверждения не ошибочна?

ЭПИСТЕМОЛОГ: Очень просто: потому что, как я вам сказал, вы в них не верите.

ФРАНК: Мне кажется, я начинаю что-то понимать, хотя я не совсем уверен.

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

ФРАНК: Теперь я понимаю! Ложными были не мои убеждения, а мои высказывания!

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

ФРАНК: Удивительно! Кстати, какого все-таки цвета эта книга?

ЭПИСТЕМОЛОГ: Красного.

ФРАНК: Что!?

ЭПИСТЕМОЛОГ: Разумеется, она красная. У вас что, нет глаз?

ФРАНК: Но я же вам именно это и твердил с самого начала!

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

Сцена 3. Несколько месяцев спустя Франк снова заходит в гости к эпистемологу.

ЭПИСТЕМОЛОГ: Рад вас видеть. Присаживайтесь, пожалуйста!

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

ЭПИСТЕМОЛОГ: Прекрасно! У меня слабость к противоречиям. Сделайте милость, поделитесь вашими находками!

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

ЭПИСТЕМОЛОГ: Почему же?

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

ЭПИСТЕМОЛОГ: Не понимаю, почему.

ФРАНК: Это же очевидно! Поскольку высказывание “Думаю, что она красная” ложно, значит, на самом деле я думаю, что она не красная — а раз она красная, то мое убеждение ложно! Видите?

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

ФРАНК: Но ведь я знаю, что она либо красная, либо нет, а значит, если я не думаю, что она красная, то я должен думать, что она не красная!

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

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

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

ФРАНК: Хорошо — но я не верю и в то, что мои высказывания были ошибочны! Это показала машина — но с какой стати я должен доверять машине?

ЭПИСТЕМОЛОГ: Кто вам сказал, что вы должны доверять машине?

ФРАНК: А что, не должен?

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

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

ЭПИСТЕМОЛОГ: Ну и как, они у вас имеются?

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

ЭПИСТЕМОЛОГ: Должен ли я ему доверять? Понятия не имею, и меня совершенно не заботит то, должен ли я что-либо делать.

ФРАНК: Вы снова за свое! Я спрашиваю, есть ли у вас свидетельства надежности этой машины?

ЭПИСТЕМОЛОГ: Разумеется!

ФРАНК: С этого и надо было начинать! И что это за свидетельства?

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

ФРАНК: Может быть, я убедился бы в его надежности, если все измерения были бы точными, но тогда я стал бы сомневаться в том, что машина измеряет действительно важные вещи. По-моему, она замеряет лишь физиологическое состояние и действия человека.

ЭПИСТЕМОЛОГ: Ну конечно — а что бы вы от нее еще хотели?

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

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

ФРАНК: Я начинаю убеждаться в том, что весь наш спор возник лишь из-за семантических расхождений. Я согласен с тем, что машина верно измеряет мои убеждения в вашем смысле этого слова, но не верю в то, что она измеряет убеждения так, как я их понимаю. Иными словами, мы зашли в тупик из-за того, что по-разному понимаем слово “убеждения”.