Пусть некто мистер Смит даёт коробку и говорит: «Откройте её, и вы неожиданно обнаружите внутри яйцо» [2] . Можно ли, рассуждая логически, прийти к какому-нибудь заключению относительно того, находится ли внутри коробки яйцо, или его там нет? Если Смит говорит правду, то внутри должно быть яйцо, но тогда это не будет сюрпризом. Поэтому утверждение Смита ложно. Если это убедит адресата, что из этого следует отсутствие яйца, то открыв коробку и неожиданно обнаружив там яйцо, адресат убедится, что утверждение Смита истинно.

Аналогично можно заключить, что хотя Смит и сдержит слово, но адресату об этом неизвестно. Следовательно, адресат не может сделать логический вывод из слов Смита, и они просто не несут информации.

Комментарии
23.01.2013 в 01:30

Механик сплошных суббот
А там будет не то яйцо, о котором подумал испытуемый. Смит предупредил его иносказательно. Только испытуемый поверил, что там куриное яйцо, как там оказывается икринка инопланетянина весом 500 г
23.01.2013 в 01:34

Механик сплошных суббот
Не то чтобы в логике ошибка, просто захотелось возразить :)
23.01.2013 в 01:43

Механик сплошных суббот
А там будет не то яйцо, о котором подумал испытуемый. Смит предупредил его иносказательно. Только испытуемый поверил, что там куриное яйцо, как там оказывается икринка инопланетянина весом 500 г
23.01.2013 в 02:05

McCrab, ну, тогда можно просто сказать "Смит соврал", или "Смит выдумал язык, на котором данная фраза означает "небо синее" и потому он сказал правду".....))

Это, все же, формальное логика и тут действует правило тождества, которое определяет любой объект или любую формулу абсолютно точно. Иначе говоря, "яйцо" означает "яйцо", и это не множество объектов на выбор, а конкретный объект, и никакой другой, а именно определённый)
24.01.2013 в 00:00

en.wikipedia.org/wiki/Quine%27s_paradox Еще более усложненная вариация парадокса брадобрея (нет явной ссылки на себя, только косвенная)

en.wikipedia.org/wiki/Quine_(computing) на ту же тему, забавное упражнение для программистов :)