Предположения и опровержения. Рост научного знания

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

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

С. Не нужно меня предупреждать: я весь внимание.

Т. Что я сказал между твоими двумя последними репликами, Сократ?

С. Ты сказал: «Следующий вопрос, который я собираюсь задать, является необычным, хотя выражен в обычном языке».

Т. И ты понял то, что я сказал?

С. Конечно. Твое предупреждение относилось к вопросу, который ты собирался задать мне.

Т. А что это был за вопрос, к которому относилось мое предупреждение? Можешь ты его повторить?

С. Твой вопрос? Дай подумать... О, вопрос был такой: «Что я сказал между твоими двумя последними репликами, Сократ?»

Впервые опубликовано в «Mind», N.S., 1954. (505:)

Т. Вижу, ты выполняешь свое обещание, Сократ, и внимательно слушаешь то, что я говорю. Но понимаешь ли ты тот вопрос, который только что процитировал?

С. Думаю, я могу доказать, что сразу же понял этот вопрос. Разве я ответил неправильно, когда ты задал его впервые?

Т. Правильно, правильно. Но согласись, ведь это необычный вопрос?

С. Нет. По-видимому, он был не очень вежлив, Теэтет, но, боюсь, в этом нет ничего необычного. Нет, я не вижу в нем чего-то необычного.

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

С. Почему твой вопрос не имеет смысла?

Т. Потому, что он косвенно ссылается на себя.

С. Я не вижу этого. Насколько я могу понять, твой вопрос относится лишь к предостережению, которое ты высказал, прежде чем задал вопрос.

Г. А к чему относилось мое предостережение?

С. Теперь я понимаю, что ты имеешь в виду. Твое предостережение относилось к вопросу, а вопрос — к предостережению.

Т. Но ты сказал, что понимаешь и предостережение, и вопрос?

С Мне не трудно было понять все, что ты сказал.

Т. По-видимому, это доказывает, что два предложения могут быть вполне осмысленными, несмотря на то что они косвенно говорят о самих себе — первое говорит о втором, а второе — о первом.

С. По-видимому, доказывает.

Т. И тебе не кажется это необычным?

* «Meaning». — Здесь речь идет о «смысловом» значении. — Примеч. пер.

506

С. Мне не кажется это необычным. Я думаю, это очевидно. И я не понимаю, зачем ты стараешься привлечь мое внимание к таким тривиальностям.

Т. Потому, что многие философы, по крайней мере неявно, не соглашались с этим.

С. Да что ты? Ты меня удивляешь.

Т. Я имею в виду тех философов, которые считают, что парадокс типа «Лжец» (вариант «Эпименида» мегариков) не возникает, если осмысленное и правильно построенное высказывание не может говорить о самом себе.

С. Я знаю «Эпименида» и «Лжеца», который говорит: «То, что я сейчас говорю, не истинно» (и ничего больше), и упомянутое тобой решение мне представляется привлекательным.

Т. Но оно не решает парадокса, если ты согласен, что косвенная ссылка на себя допустима. Как показали Лэнгфорд и Джордан (а до них Буридан), парадокс «Лжец» или «Эпиме-нид» можно сформулировать, используя косвенную саморе-ферентность вместо прямой.

С. Приведи мне эту формулировку.

Т. Следующее высказывание, которое я собираюсь произнести, истинно.

С. Ты не всегда высказываешь истину?

Г. Последнее мое высказывание было не истинно.

С. Поэтому ты хочешь взять его назад? Хорошо, начни сначала.

Т. Ты не понял, к чему приводят мои два высказывания, взятые вместе.

С. О, теперь я понимаю, что ты хотел сказать. Ты совершенно прав. Это опять все тот же старый «Эпименид».

Т. Я воспользовался косвенной самоотнесенностью вместо прямой, в этом все различие. И я думаю, этот пример доказывает, что парадоксы типа «Эпименида» нельзя решить только за счет утверждения невозможности самореферентных высказываний. Даже если прямая самореферентность невозможна или бессмысленна, косвенная самореферентность вполне обыч-

507

на. Я могу, например, сказать следующее: я уверен, что твое следующее замечание, Сократ, будет умным и уместным.

С. Это выражение твоей уверенности, Теэтет, для меня в высшей степени приятно.

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