Пусть некто мистер Смит даёт коробку и говорит: «Откройте её, и вы неожиданно обнаружите внутри яйцо» [2] . Можно ли, рассуждая логически, прийти к какому-нибудь заключению относительно того, находится ли внутри коробки яйцо, или его там нет? Если Смит говорит правду, то внутри должно быть яйцо, но тогда это не будет сюрпризом. Поэтому утверждение Смита ложно. Если это убедит адресата, что из этого следует отсутствие яйца, то открыв коробку и неожиданно обнаружив там яйцо, адресат убедится, что утверждение Смита истинно.
Аналогично можно заключить, что хотя Смит и сдержит слово, но адресату об этом неизвестно. Следовательно, адресат не может сделать логический вывод из слов Смита, и они просто не несут информации.
Аналогично можно заключить, что хотя Смит и сдержит слово, но адресату об этом неизвестно. Следовательно, адресат не может сделать логический вывод из слов Смита, и они просто не несут информации.
Это, все же, формальное логика и тут действует правило тождества, которое определяет любой объект или любую формулу абсолютно точно. Иначе говоря, "яйцо" означает "яйцо", и это не множество объектов на выбор, а конкретный объект, и никакой другой, а именно определённый)
en.wikipedia.org/wiki/Quine_(computing) на ту же тему, забавное упражнение для программистов