Для доказательства правила 3 предположим, что обитатель острова X принадлежит к дневному типу. Пока он не спит, его суждения правильны и, следовательно, он твердо убежден, что бодрствует. Но во время сна его суждения неверны, и, следовательно, тогда он ошибочно полагает, будто он бодрствует. Итак, во время бодрствования он (правильно) считает, что бодрствует, а во время сна он (ошибочно) полагает, будто также бодрствует.
Правило 4 доказывается аналогично правилу 3, и мы предоставляем это сделать самому читателю.
Обращаясь теперь к решению задачи 1, заметим, что в данном случае невозможно определить, правильно ли суждение островитянина. Однако ясно, что в указанный момент он должен был бодрствовать, поскольку если бы островитянин спал, то он был бы убежден, что принадлежит не к дневному, а к ночному типу (согласно правилу 2).
Что касается задачи 2, то здесь также нельзя определить, было ли суждение островитянина верным, однако ясно, что он должен принадлежать к ночному типу, поскольку если бы это было не так, то данный житель острова был бы уверен, что он бодрствует, а не спит (согласно правилу 3).
В отношении же задачи 3 ответом па вопрос «а» является «нет» (потому что в соответствии с правилами 1 и 2 мнение островитянина но поводу того, принадлежит он к дневному или ночному типу, изменяется в зависимости от его состояния (то есть, от того, бодрствует он или же спит), а ответом на вопрос «б» является «да» (в соответствии с правилами 3 и 4).
4. Вы можете решать эту задачу последовательно, рассматривая по очереди каждый из следующих четырех вариантов: 1) островитянка относится к ночному типу и спит, 2) она принадлежит к ночному типу и бодрствует, 3) она относится к дневному типу и спит, 4) она принадлежит к дневному типу и бодрствует.
Можно выяснить, какой же из вариантов не противоречит условиям задачи. Тем не менее я предпочел бы следующее доказательство.
Прежде всего, могут ли убеждения обитательницы острова оказаться ошибочными? Если это так, то она не может ни находиться во сне, ни принадлежать к ночному типу, откуда следует, что она бодрствует и относится к дневному типу. Но такое утверждение приводит нас к противоречию, поскольку человек, который бодрствует и относится к дневному типу, никак не может обладать неверными убеждениями. Таким образом, ее убеждения не могут оказаться ошибочными, а значит, они должны быть верными. Следовательно, данная жительница острова принадлежит к ночному типу и спит.
5. Эту задачу тоже можно решить, последовательно перебрав четыре возможных ответа, но я вновь предпочитаю более творческое решение.