Другие решения парадокса

Итак, существуют высказывания, говорящие о своей собственной истинности или ложности. Идея, что такого рода высказывания не являются осмысленными, очень стара. Ее отстаивал еще древнегреческий логик Хрисипп.

В Средние века английский философ и логик У. Оккам заявлял, что утверждение «Всякое высказывание ложно» бессмысленно, поскольку оно говорит в числе прочего и о собственной ложности. Из этого утверждения прямо следует противоречие. Если всякое высказывание .южно, то это относится и к самому данному утверждению; но то, что оно ложно, означает, что не всякое высказывание ложно. Аналогично обстоит дело и с утверждением «Всякое высказывание истинно». Оно также должно быть отнесено к бессмысленным и также ведет к противоречию: если каждое высказывание истинно, то истинно и отрицание самого этого высказывания, т.е. высказывание, что не всякое высказывание истинно.

Почему, однако, высказывание не может осмысленно говорить о своей собственной истинности или ложности?

Уже современник Оккама, французский философ XIV в. Ж. Буридан, не был согласен с его решением. С точки зрения обычных представлений о бессмысленности, выражения типа «Я лгу», «Всякое высказывание истинно (ложно)» и т.п. вполне осмысленны. О чем можно подумать, о том можно высказаться, — таков общий принцип Буридана. Человек может думать об истинности утверждения, которое он произносит, значит, он может и высказаться об этом. Не все утверждения, говорящие о самих себе, относятся к бессмысленным. Например, утверждение «Это предложение написано по-русски» является истинным, а утверждение «В этом предложении десять слов» ложно. И оба они совершенно осмысленны. Если допускается, что утверждение может говорить и о самом себе, то почему оно не способно со смыслом говорить и о таком своем свойстве, как истинность?

Сам Буридан считал высказывание «Я лгу» не бессмысленным, а ложным. Он обосновывал это так. Когда человек утверждает какое-то предложение, он утверждает тем самым, что оно истинно. Если же предложение говорит о себе, что оно само является ложным, то оно представляет собой только сокращенную формулировку более сложного выражения, утверждающего одновременно и свою истинность, и свою ложность. Это выражение противоречиво и, следовательно, ложно. По оно никак не бессмысленно.

Аргументация Буридана и сейчас иногда считается убедительной.

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

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

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

В последнее время все больше внимания привлекают эгоцентрические выражения. В них встречаются слова, подобные «я», «это», «здесь», «теперь», и их истинность зависит от того, когда, кем, где они употребляются.

В утверждении «Это высказывание является ложным» встречается слово «это». К какому именно объекту оно относится? «Лжец» может говорить о том, что слово «это» не относится к смыслу данного утверждения. Но тогда к чему оно относится, что означает? И почему данный смысл не может быть все-таки обозначен словом «это»?

Не вдаваясь здесь в детали, стоит отметить только, что в контексте анализа эгоцентрических выражений «Лжец» наполняется совершенно иным ОГЛАВЛЕНИЕм, чем ранее. Оказывается, он уже не предостерегает от смешения языка и метаязыка, а указывает на опасности, связанные с неправильным употреблением слова «это» и подобных ему эгоцентрических слов.

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

Известный современный финский логик и философ Г. фон Вригт писал в своей работе, посвященной «Лжецу», что данный парадокс пи в коем случае не должен пониматься как локальное, изолированное препятствие, устранимое одним изобретательным движением мысли. «Лжец» затрагивает многие наиболее важные темы логики и семантики. Это и определение истины, и истолкование противоречия и доказательства, и целая серия важных различий: между предложением и выражаемой им мыслью, между употреблением выражения и его упоминанием, между смыслом имени и обозначаемым им объектом.

Аналогично обстоит дело и с другими логическими парадоксами. «Антиномии логики, — пишет фон Вригт, — озадачили с момента своего открытия и, вероятно, будут озадачивать нас всегда. Мы должны, я думаю, рассматривать их не столько как проблемы, ожидающие решения, сколько как неисчерпаемый сырой материал для размышления. Они важны, поскольку размышление о них затрагивает наиболее фундаментальные вопросы всей логики, а значит, и всего мышления».

В заключение этого разговора о «Лжеце» можно вспомнить курьезный эпизод из того времени, когда формальная логика еще преподавалась в школе. В учебнике логики, изданном в конце 40-х гг. XX в., школьникам восьмого класса предлагалось в качестве домашнего задания — в порядке, так сказать, разминки — найти ошибку, допущенную в этом простеньком на вид утверждении: «Я лгу». И, пусть это не покажется странным, считалось, что школьники в большинстве своем успешно справлялись с таким заданием.