8.11. Парадокс «Крокодил и мать»

В Древней Греции пользовался большой популярностью рассказ о крокодиле и матери, совпадающий по своему логическому содержанию с парадоксом «Протагор и Еватл».

Крокодил выхватил у египтянки, стоявшей на берегу реки, ее ребенка. На ее мольбу вернуть ребенка крокодил, пролив, как всегда, крокодилову слезу, ответил:

— Твое несчастье растрогало меня, и я дам тебе шанс получить назад ребенка. Угадай, отдам я его тебе или нет. Если ответишь правильно, я верну ребенка. Если не угадаешь, я его не отдам.

Подумав, мать ответила:

— Ты не отдашь мне ребенка.

— Ты его не получишь, — заключил крокодил. — Ты сказала либо правду, либо неправду. Если то, что я не отдам ребенка, — правда, я не отдам его, так как иначе сказанное не будет правдой. Если сказанное — неправда, значит, ты не угадала, и я не отдам ребенка по уговору.

Однако матери это рассуждение не показалось убедительным.

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

Кто прав: мать или крокодил? К чему обязывает крокодила данное им обещание? К тому, чтобы отдать ребенка или, напротив, чтобы не отдать его? И к тому и к другому одновременно. Это обещание внутренне противоречиво, и, таким образом, оно не выполнимо в силу законов логики.

Миссионер очутился у людоедов и попал как раз к обеду. Они разрешают ему выбрать, в каком виде его съедят. Для этого он должен произнести какое-нибудь высказывание с условием, что, если это высказывание окажется истинным, они его сварят, а если оно окажется ложным, его зажарят.

Что следует сказать миссионеру?

Разумеется, он должен сказать: «Вы зажарите меня».

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

Этот эпизод с хитрым миссионером является, конечно, еще одной из перефразировок спора Протагора и Еватла.

© 2011-2024 Контрольные работы по математике и другим предметам!