С т у д е н т. Как же нельзя, когда я только что опроверг?
Л о г и к. Не вы ли говорили мне, что вы не пьете?
С т у д е н т. Гм… Знаете, давайте лучше поговорим о чем-нибудь другом.
251. Правильно ли рассуждение?
Мне много раз приходилось встречать рассуждения, которые кажутся вполне разумными, но все же содержат какую-нибудь ошибку. Недавно я узнал об одном рассуждении, которое на первый взгляд кажется неправильным (своего рода шуткой), но в действительности оказывается правильным.
Замечу, кстати, что правильным принято называть такое рассуждение, в котором заключение с необходимостью следует из посылок (посылки же не обязательно должны быть истинными). Вот это рассуждение.
[9]
1) Все боятся Дракулы.
2) Дракула боится только меня. Следовательно, я – Дракула.
Не правда ли, звучит как глупая шутка? Но в действительности за шутливой маской скрывается серьезное лицо: рассуждение вполне правильно. В самом деле, так как все боятся Дракулы, то Дракула боится Дракулы, но в то же время Дракула не боится никого, кроме меня. Следовательно, я должен быть Дракулой!
Перед вами рассуждение, которое выглядит как шутка, но оказывается не шуточным, а серьезным. В этом и заключается соль этой шутки!
XV. От парадокса к истине
А. ПАРАДОКСЫ
252. Парадокс Протагора
Один из самых древних парадоксов рассказывает об учителе греческого права Протагоре, взявшем в ученики бедного, но весьма способного юношу и согласившемся учить его бесплатно при условии, что когда тот закончит курс обучения и выиграет свой первый судебный процесс, то уплатит Прота-гору определенную сумму. Ученик принял условия Протагора, но, завершив свое образование, не стал выступать в суде. По прошествии некоторого времени Протагор подал на своего ученика в суд, требуя уплаты обещанной ему суммы. Вот какие показания дали Протагор и его ученик на суде.
У ч е н и к. Если я выиграю этот процесс, то по определению я не должен буду платить Протагору ничего. Если же я проиграю этот процесс, то тем самым я не выиграю свой первый судебный процесс, а по уговору я должен платить Протагору лишь после того, как выиграю свой первый судебный процесс. Следовательно, выиграю я этот судебный процесс или проиграю, платить мне все равно не придется.
П р о т а г о р. Если мой бывший ученик проиграет этот судебный процесс, то по определению он должен будет уплатить мне соответствующую сумму (ведь именно ради уплаты причитающейся мне суммы я и возбудил процесс). Если же мой бывший ученик выиграет этот судебный процесс, то тем самым он выиграет свой первый судебный процесс и по уговору должен будет уплатить мне долг. Следовательно, выиграет он этот судебный процесс или проиграет, но платить ему придется все равно.
Кто прав: Протагор или его ученик?
Примечание. Не уверен, что знаю правильный ответ на вопрос задачи. Как и самая первая головоломка (о том, был ли я одурачен или не был), парадокс Протагора служит прототипом целой серии парадоксов. Лучшее из известных мне решений этого парадокса предложил один юрист, которому я изложил суть возникающей здесь проблемы. Он заявил следующее: «Суд должен вынести решение в пользу ученика, то есть ученик не должен будет платить Протагору, так как к моменту начала процесса ученик еще не выиграл свой первый судебный процесс. Когда же суд окончится, то ученик по уговору будет должен Протагору какую-то сумму денег. Поэтому Протагор должен вернуться в суд и возбудить против ученика второе дело. На этот раз суду придется вынести решение в пользу Протагора, так как к началу второго процесса ученик уже выиграет свой первый судебный процесс».
255. Парадокс лжеца
Так называемый парадокс лжеца, или парадокс Эпименида, в действительности является родоначальником целого семейства парадоксов определенного типа, известных под названием парадоксов лжеца (звучит как тавтология, не так ли?). В своем первоначальном варианте парадокс повествует о некоем критянине по имени Эпименид, высказавшем утверждение «все критяне лжецы».
Никакого парадокса здесь еще нет. Во всяком случае, утверждение Эпименида парадоксально ничуть не больше, чем утверждение о том, что некий обитатель острова рыцарей и лжецов высказывает утверждение «все жители этого острова лжецы». Из такого утверждения следует, что, во‐первых, говорящий лжец и что, во‐вторых, на острове существует по крайней мере один рыцарь. Аналогично из первоначального варианта парадокса Эпименида мы заключаем лишь, что Эпименид лжец и что по крайней мере один критянин говорит только правду. Никакого парадокса здесь, как вы видите, нет.
Вот если бы Эпименид был единственным критянином, то парадокс действительно возник бы. В этом случае единственный обитатель острова рыцарей и лжецов утверждал бы, что все жители острова лжецы (то есть в конечном счете утверждал бы, что сам он лжец, а это невозможно).
В улучшенном варианте парадокса лжеца говорится о человеке, высказывающем утверждение «я лгу». Лжет он или нет?
Следующий вариант улучшенного варианта мы будем называть в дальнейшем парадоксом лжеца. Рассмотрим утверждение:
Это утверждение ложно.
Истинно оно или ложно? Если оно ложно, то оно истинно. Если оно истинно, то оно ложно. Решение парадокса лжеца мы обсудим чуть позже.
254. Парадокс Журдэна
Следующий вариант парадокса лжеца был впервые предложен в 1913 г. английским математиком П. Э. Б. Журдэном. Иногда его называют «парадокс Журдэна с карточкой». Представьте себе карточку, на одной стороне которой написано:
1) Утверждение на другой стороне этой карточки истинно.
Перевернув карточку на другую сторону, вы увидите надпись:
2) Утверждение на другой стороне этой карточки ложно.
Парадокс заключается в следующем. Если первое утверждение истинно, то второе утверждение истинно (так как в первом утверждении говорится, что второе утверждение истинно). Следовательно, первое утверждение ложно (так как во втором утверждении говорится, что первое утверждение ложно). Если же первое утверждение ложно, то второе утверждение ложно. Следовательно, первое утверждение не ложно, а истинно. Таким образом, первое утверждение истинно в том и только в том случае, если оно ложно, а это невозможно.
255. Еще один вариант
В другом варианте парадокса лжецов на карточке написаны следующие три утверждения:
1) Это утверждение содержит пять слов.
2) Это утверждение содержит восемь слов.
3) Ровно одно утверждение на этой карточке истинно.
Утверждение (1) заведомо истинно, а утверждение (2) заведомо ложно. Проблема возникает в связи с утверждением (3). Если утверждение (3) истинно, то на карточке – два истинных утверждения, а именно утверждение (3) и утверждение (1), вопреки тому, о чем говорится в утверждении (3). Следовательно, утверждение (3) должно быть ложно. С другой стороны, если утверждение (3) ложно, то утверждение (1) – единственное истинное утверждение на карточке, а это означает, что утверждение (3) должно быть истинным! Итак, утверждение (3) истинно в том и только в том случае, если оно ложно.
