253. Парадокс лжеца.
Так называемый, "парадокс лжеца", или парадокс Эпименида, в действительности является родоначальником целого семейства парадоксов определенного типа, известных под названием парадоксов лжеца (звучит как тавтология, не так ли?). В своем первоначальном варианте парадокс повествует о некоем критянине по имени Эпименид, высказавшем утверждение "все критяне лжецы".
Никакого парадокса здесь еще нет. Во всяком случае, утверждение Эпименида парадоксально ничуть не больше, чем утверждение о том, что некий обитатель острова рыцарей и лжецов высказывает утверждение "все жители этого острова лжецы". Из такого утверждения следует, что, во-первых, говорящий лжец и что, во-вторых, на острове существует по крайней мере один рыцарь. Аналогично из первоначального варианта парадокса Эпименида мы заключаем лишь, что Эпименид лжец и что по крайней мере один критянин говорит только правду. Никакого парадокса здесь, как вы видите, нет.
Вот если бы Эпименид был единственным критянином, то парадокс действительно возник бы. В этом случае единственный обитатель острова рыцарей и лжецов утверждал бы, что все жители острова лжецы (то есть в конечном счете утверждал бы, что сам он лжец, а это невозможно).
В улучшенном варианте парадокса лжеца говорится о человеке, высказывающем утверждение "я лгу". Лжет он или нет?
Следующий вариант улучшенного варианта мы будем называть в дальнейшем парадоксом лжеца. Рассмотрим утверждение:
Это утверждение ложно.
Истинно оно или ложно? Если оно ложно, то оно истинно.
Если оно истинно, то оно ложно. Решение парадокса лжеца мы обсудим чуть позже.
254. Парадокс Журдэна.
Следующий вариант парадокса лжеца был впервые предложен в 1913 г. английским математиком П.Э.Б. Журдэном. Иногда его называют "парадокс Журдэна с карточкой". Представьте себе карточку, на одной стороне которой написано:
(1) Утверждение на другой стороне этой карточка истинно.
Перевернув карточку на другую сторону, вы увидите надпись:
(2) Утверждение на другой стороне этой карточки ложно.
Парадокс заключается в следующем. Если первое утверждение истинно, то второе утверждение истинно (так как в первом утверждении говорится, что второе утверждение истинно).
Следовательно, первое утверждение ложно (так как во втором утверждении говорится, что первое утверждение ложно). Если же первое утверждение ложно, то второе утверждение ложно.
Следовательно, первое утверждение не ложно, а истинно.
Таким образом, первое утверждение истинно в том и только в том случае, если оно ложно, а это невозможно.
255. Еще один вариант.
В другом варианте парадокса лжецов на карточке написаны следующие три утверждения:
(1) Это утверждение содержит пять слов.
(2) Это утверждение содержит восемь слов.
(3) Ровно одно утверждение на этой карточке истинно.
Утверждение (1) заведомо истинно, а утверждение (2)
заведомо ложно. Проблема возникает в связи с утверждением (3). Если утверждение (3) истинно, то на карточке - два истинных утверждения, а именно утверждение (3) и утверждение (1), вопреки тому, о чем говорится в утверждении (3). Следовательно, утверждение (3) должно быть ложно. С другой стороны, если утверждение (3) ложно, то утверждение (1) единственное истинное утверждение на карточке, а это означает, что утверждение (3) должно быть истинным! Итак, утверждение (3) истинно в том и только в том случае, если оно ложно.
[Примечание. Где ошибка в рассуждениях во всех этих парадоксах? Вопрос этот весьма тонкий и довольно спорный. Некоторые (главным образом философы, а не математики) считают совершенно недопустимым любое утверждение, содержащее ссылку на себя. Подсчитав число входящих в него слов, вы убедитесь, что оно истинно.]
Утверждение "это утверждение содержит шесть слов" ложно, тем не менее смысл его ясен, и значение истинности устанавливается без труда: в нем говорится, что число входящих в него слов равно шести, тогда как их только пять.
Никаких сомнений относительно смысла утверждений в обоих рассмотренных нами примерах не возникает. Рассмотрим теперь следующее утверждение:
Это утверждение истинно.
Оно не приводит ни к каким парадоксам. Никаких противоречий не возникает независимо от того, предположим ли мы, что оно истинно, или будем считать его ложным. Тем не менее это утверждение не имеет смысла по следующим причинам.
Всякий раз, когда возникает необходимость установить, что означает истинность какого-нибудь утверждения, мы начинаем с выяснения того, что означает само утверждение. Например, пусть X - утверждение "дважды два - четыре". Прежде чем я смогу понять, что означает истинность утверждения X, мне необходимо выяснить, что означает каждое из входящих в X слов и в чем заключается смысл самого утверждения X. В данном случае я знаю, что означает каждое слово, входящее в X, и мне ясен смысл утверждения X: в нем говорится, что дважды два равно четырем. Поскольку мне известно, что дважды два действительно равно четырем, то я знаю, что X должно быть истинно. Но я не мог бы знать, что X истинно, если бы не знал, что дважды два - четыре. Более того, я бы не мог знать, что означает истинность утверждения X, если бы не знал, что означает утверждение "дважды два - четыре". Приведенный мною пример отчетливо показывает, что истинность утверждения "X истинно" зависит от того, что означает утверждение X. Если же X устроено так, что его значение зависит от истинности утверждения "X истинно", то мы оказываемся в ловушке, ибо ходим по кругу.
Именно так и устроено внешне безобидное утверждение "это утверждение истинно". Прежде чем я смогу понять, что означает истинность этого утверждения, мне необходимо понять, что означает само утверждение. О чем в нем говорится? B нем сообщается лишь, что оно истинно, а я еще не знаю, что означает для данного утверждения быть истинным. Я не могу узнать, что означает истинность данного утверждения (не говоря уже о том, что мне не известно, истинно оно или ложно), пока не узнаю, что оно означает а узнать, что оно означает, я не могу до тех пор, пока не узнаю, что означает его истинность. Таким образом, наше утверждение не содержит никакой информации. Такие утверждения принято называть не вполне обоснованными.
Парадокс лжеца (и все его варианты) основан на использовании необоснованных утверждений. (Необоснованными я называю для краткости не вполне обоснованные утверждения.) B задаче 253 ("Парадокс лжеца") не обосновано утверждение "это утверждение ложно". В задаче 254 ("Парадокс Журдэна") не обоснованы утверждения на обеих сторонах карточки. В задаче 255 ("Еще один вариант") два утверждения вполне обоснованы, а третье не обосновано.
Заметим, кстати, что теперь мы можем сказать гораздо больше относительно того, в каком месте допустил ошибку в своих рассуждениях претендент на руку Порции N-й (см. гл. 5 о шкатулках Порции). Все ее предки по материнской линии использовали только вполне обоснованные утверждения, а Порция N-я, желая подшутить над своим пылким поклонником, искусно использовала необоснованные утверждения. Та же ошибка встречается и в ряде доказательствах, приведенных в начале предыдущей главы.
256. Что вы скажете?
Вернемся к нашим добрым старым друзьям Беллини и Челлини из истории о шкатулках Порции. Эти два замечательных мастера не только изготовляли шкатулки, но и гравировали на их крышках различные надписи. Челлини на своих шкатулках гравировал ложные утверждения, а Беллини украшал крышки шкатулок своей работы истинными утверждениями. Предположим, что, кроме Беллини и Челлини, в те далекие времена никто не гравировал надписей на крышках шкатулок (их сыновья занимались изготовлением шкатулок, но не умели гравировать).
Вам встретилась шкатулка, на крышке которой выгравировано:
Эту надпись выгравировал Челлини
Чей это автограф? Если бы надпись оставил Челлини, то это означало бы, что он выгравировал истинное утверждение, и мы пришли бы к противоречию. Если бы надпись оставил Беллини, то это означало бы, что он выгравировал ложное утверждение, и мы опять пришли бы к противоречию. Кто же оставил надпись?
Вы не можете ответить на вопрос, сославшись на то, что утверждение "эту надпись выгравировал Челлини" не обосновано. Оно вполне обосновано. Оно сообщает нам некий исторический факт, а именно что эта надпись была выгравирована Челлини. Если надпись действительно была сделана рукой Челлини, то она истинна. Если ее сделал другой мастер, то она ложна. В чем здесь дело?
Трудность возникла из-за того, что я снабдил вас противоречивой информацией. Если бы вам действительно попалась в руки шкатулка с надписью "Эту надпись выгравировал Челлини" на крышке, то это означало бы, что либо Челлини в стародавние времена иногда гравировал не только ложные, но и истинные утверждения (вопреки тому, что я вам о нем говорил), либо по крайней мере, что некогда существовал какой-то другой мастер, гравировавший иногда на крышках шкатулок ложные утверждения (опять-таки вопреки тем сведениям, которые вы получили от меня). Следовательно, перед нами не подлинный парадокс, а своего рода жульническая проделка.