Мартин Гарднер - Математические головоломки и развлечения

Или же он займет более беспристрастную позицию и будет лгать не только другим людям, но и самому себе, подставляя при вычислении функции вместо аргументов их отрицания и сообщая отрицание вычисленного значения функции? Здесь необходимо различать просто лжеца, всегда говорящего неправду, и «честного» лжеца, постоянно изрекающего отрицание истины.

Вопрос «Правда ли, что если эта дорога ведет в поселок, то вы лжец?» может считаться решением только в том случае, если лжецы, о которых говорится в условии задачи, — «честные» лжецы. Честный лжец и честный «правдивец» должны оба ответить «да», если указанная дорога не ведет в деревню, и «нет» — в противном случае. Просто лжец ответит «нет» независимо от того, куда в действительности ведет дорога. Взяв в качестве вопроса вместо импликации эквивалентность, мы получим решение, пригодное как для просто лжецов, так и для честных лжецов. Вопрос при такой замене формулируется так: «Правда ли, что эта дорога ведет в деревню тогда и только тогда, когда вы лжец?» И лжец, и правдивый туземец ответят отрицательно, если указанная дорога ведет к деревне, и утвердительно, если она не ведет к ней.

Вряд ли можно надеяться, что какой-нибудь первобытный дикарь в совершенстве владеет алгеброй логики и может строго следовать правилам вычисления значений истинности булевых функций. С другой стороны, ни один хоть сколько-нибудь проницательный лжец не даст себя одурачить столь просто. Поэтому помимо двух уже названных категорий лжецов необходимо ввести в рассмотрение еще один их тип — лжеца, действующего с заранее обдуманным намерением, который всегда старается ввести того, кто с ним разговаривает, в заблуждение. Имея дело с таким противником, логик может в лучшем случае надеяться на то, что ему удастся максимально увеличить вероятность благоприятного исхода (то есть правильного выбора дороги). Ни один логический вопрос не может гарантировать успеха, ибо если лжец намеренно старается ввести своего собеседника в заблуждение, то, следуя своей тактике, он может обманывать его, нарушая при этом правила логики. В такой ситуации для логика важнее всего, чтобы избранная им тактика была психологически обоснованной. Такая линия поведения вполне допустима, поскольку, будучи примененной против «честного» лжеца и просто лжеца, она приносит еще больший эффект, чем в случае не столь легко поддающегося на удочку лжеца, намеренно вводящего собеседника в заблуждение.

Учитывая все сказанное, мы предлагаем в качестве наиболее общего следующий вопрос или его моральный эквивалент: «Известно ли вам, что в этой деревне пивом угощают бесплатно?» Правдивый туземец ответит «нет» и тотчас же отправится в деревню, а логик не спеша последует за ним.

Просто лжец и «честный» лжец ответят «нет» и также отправятся в деревню. Лжец, любящий вводить своих собеседников в заблуждение, будет исходить из предпосылки о том, что путешественник тоже любит морочить головы доверчивым слушателям, и изберет тактику в соответствии с этим предположением. Движимый двумя противоположными мотивами, лжец может попытаться убить двух зайцев, ответив, например, так: «Бр-р! Я терпеть не могу пива!» — и тут же побежать в деревню. Хорошего логика этим не проведешь. Достаточно предусмотрительный лжец, поразмыслив, поймет неубедительность такого ответа и, быть может, из любви к искусству решит пожертвовать своими интересами и пойдет по неправильной дороге. Лжец одержит победу по очкам, но зато логик сможет по праву отпраздновать моральную победу, ибо лжец наказан: его теперь гложет подозрение, что он упустил бесплатное пиво.

5. Узнать содержимое всех коробок можно, вынув всего лишь один шар. Ключ к решению кроется в том, что все таблички на коробках не соответствуют их содержимому и вы об этом знаете.

Предположим, что шар извлекается из коробки с надписью «ЧБ».

Пусть вынут черный шар. Тогда вам ясно, что второй шар также черный, иначе табличка была бы правильной. Но раз вы нашли коробку с двумя черными шарами, вы сразу же можете назвать содержимое коробки с этикеткой «ББ»: в ней не могут находиться два белых шара, иначе табличка соответствовала бы содержимому коробки; в ней не могут находиться и два черных шара, поскольку вы уже нашли коробку с двумя черными шарами; таким образом, в ней должны быть один черный и один белый шар. В третьей коробке, естественно, должны быть два белых шара. Аналогичным образом задача решается и в том случае, если шар, вынутый из коробки с надписью «ЧБ», оказался не черным, а белым.