Компьютерная лингвистика для всех - Мифы, Алгоритмы, Язык

(53) Филет из Кос - элегический поэт 1V в. до н. э., автор словаря и компиляций, которому историки логики, такие, как Mates и Bochenski, да и сам Тарский вслед за Mates создали репутацию отчаявшегося и проклятого логика, ссылаясь на Афенея ("Пир софистов", IX, 40IЕ). Но манера, в какой Афеней сообщает об этом, позволяет думать, что он едва ли принимал это всерьез.прим. Ф. Де Роулена.

=====================================================

Итак, все повторяется. От греков до Рассела и Тарского загадка лжеца цитируется вновь и вновь. Знаменитое свидетельство Епименида, жителя Крита: "Все жители Крита лжецы, скверные животные, ленивые утробы", конечно, пошло, но оно вдруг открыло новую форму этого парадокса. Святой Поль, излагая его в экстралогических целях, добавляет: "Это свидетельство истинно. Даже не принимая во внимание "скверных животных" и "ленивые утробы", учтите, что это высказывание должно быть ложным и что вместе с тем, согласно Епимениду, любой житель Крита говорит правду,- вы опять оказываетесь перед парадоксом" (54).

Как видим, антиномия (55) "Лжец" играла значительную роль в философских системах античных софистов. Много внимания этому парадоксу уделял Платон. Например, в раннем сократическом диалоге "Евтидем" он пишет:

"Что ты имеешь в виду, Дионисодор? Не в первый раз, но от многих и часто слышал я это рассуждение и всякий раз удивлялся. Ведь и ученики Протагора (56) всячески пользовались им, и старшее поколение тоже. Мне же оно кажется странным и ниспровергающим как другие рассуждения, так и само себя. Но я полагаю, что лучше всего убедишь меня в его истинности именно ты. Значит, ложь произнести нельзя (ведь именно в этом сила данного рассуждения, не так ли?) и говорящий может либо говорить правду, либо молчать? Дионисодор подтвердил это" (57).

В рамках обыденного универсального естественного языка парадокс лжеца и не может иметь решения. Дело в том, что понятие истинности определяется семантической интерпретацией, которая неявно присутствует в высказывнии "Я лгу". Но что представляет собой такая интерпретация для естественного языка? Здесь надо опираться на знание мира, а это знание непостоянно, зависит от интерпретирующего человека

=====================================================

(54) Роулен де Филипп. Лжец (О теории истины Тарского) // Логико-семантический анализ структур знания: Основания и применения.Новосибирск: Наука, Сиб. отд-ние, 1989.- С. 93-94.

(55) Антиномия - логическое высказывание, обладающее следующим свойством противоречивости. Если А истинно, то из этого выводится, что А ложно, если А ложно, то следует, что А истинно.

(56) Протагор из Абдер (480 - 410 до н. э.), один из основателей софистики. Ему принадлежат слова "О богах я не могу утверждать ни что они существуют, ни что их нет", а также знаменитое изречение "Человек есть мера всех вещей, существующих, что они существуют, и не существующих, что они не существуют". В 40-е годы V в. до н. э. прибыл в Афины, имел успех как учитель риторики и философ, был обвинен властями в вольнодумстве, бежал на Сицилию, погиб в бурю.

(57) Платон. Диалоги.- М.; Мысль, 1986.- С. 131.

=====================================================

и может меняться от ситуации к ситуации. Интерпретация выходит за рамки формализма языка. Вот почему парадокс лжеца не может иметь решения в этом же языке. Аналогичная ситуация возникает и для формальных языков логики, являющихся лишь сложными, но слабыми подобиями естественного языка. Здесь также необходимо решить проблему структурного определения истинности. Решение антиномии "Лжец" для формальных языков предложили английский философ и логик Б. Рассел в 1908 г. и польский логик А. Тарский в 1931 г. Они заметили, что следует различать уровни языка. Так, имя выражения имеет уже другой, более высокий уровень по отношению к самому выражению. Рассел построил теорию иерархических типов. Тарский преддожил различать язык-объект и метаязык, на котором проводятся рассуждения относительно языка-объекта. Здесь понятие истинности для высказываний языка-объекта относится к метаязыку более высокого уровня.