Первый жрец: «Я лжец и не знаю, почему существует нечто, а не ничто».
Второй жрец: «Я рыцарь и не знаю, почему существует нечто, а не ничто».
Знал ли в действительности кто-нибудь из жрецов, почему существует нечто, а не ничто?
157. Есть ответ!
Сейчас вы наконец узнаете правильный ответ на Вопрос Вопросов.
Одному из двух жрецов был известен правильный ответ на Вопрос Вопросов, и, когда философ спросил у него: «Почему существует нечто, а не ничто?» – он ответил так: «Существует нечто, а не ничто».
Какое поразительное заключение следует из такого ответа?
РЕШЕНИЯ
142. Предположим, что В – рыцарь. Тогда первый остров называется Майя и, кроме того, А – лжец. Следовательно, высказанное А утверждение ложно и поэтому неверно, что В – рыцарь и первый остров называется Майя. Но по предположению В – рыцарь, значит, первая часть утверждения истинна. Отсюда мы заключаем, что вторая часть утверждения ложна. Следовательно, первый остров не Майя. Итак, если В – рыцарь, то первый остров должен и быть, и не быть островом Майя. Полученное противоречие доказывает, что В – лжец.
Так как В лжец, то А также лжец (поскольку А утверждает, что В – рыцарь). Высказанное В утверждение, как всякое утверждение лжеца, ложно, поэтому неверно, что А – лжец и первый остров называется Майя. Но первая часть утверждения истинна (так как А – лжец). Следовательно, вторая часть утверждения должна быть ложной, и первый остров – не остров Майя.
143. Ясно, что А – лжец (высказанное А утверждение не может принадлежать рыцарю). Так как В согласен с А, то В также лжец. Поскольку высказанное А утверждение ложно, то неверно, что: 1) А и В – оба лжецы и что 2) второй остров называется Майя. Но высказывание (1) истинно, поэтому высказывание (2) должно быть ложно. Итак, второй остров – не остров Майя.
144. Так как В согласен с А, то А и В либо оба рыцари, либо оба лжецы. Если бы они оба были рыцарями, то было бы неверно, что по крайней мере один из них лжец. Но тогда высказанное А утверждение было бы ложно, что невозможно, так как А – рыцарь. Следовательно, А и В – оба лжецы. Это означает, что высказанное А утверждение ложно. Но первая часть его должна быть истинной (если А и В – оба лжецы, то по крайней мере один из них лжец). Значит, вторая часть утверждения должна быть ложной. Следовательно, третий остров – не остров Майя.
145. Островитянин А – заведомый лжец, так как высказанное им утверждение не может принадлежать рыцарю. Если В – рыцарь, то из высказанного им утверждения следует, что четвертый остров – не остров Майя. Если же В – лжец, то первая часть высказанного А утверждения истинна. Но все утверждение А ложно (так как А – лжец), поэтому должна быть ложной его вторая часть. Следовательно, и в этом случае четвертый остров – не остров Майя.