12. По поводу Томаса мы не можем сделать никакого вывода, а островитянин, задавший вопрос, должен принадлежать к типу В. В самом деле, если предположить, что он принадлежит к типу А, то тогда правильным ответом на его вопрос будет «да», откуда следует, что Томас действительно считает, будто островитянин мог бы его спросить, лишился ли он рассудка. Но при этом Томас может оказаться как в здравом уме, так и лишенным рассудка. Предположим, что он находится в здравом уме. Тогда его убеждения правильны, а это в свою очередь означает, что островитянин вполне мог спросить его, лишился ли он рассудка. Однако человек, относящийся к типу А, может задавать только такие вопросы, правильным ответом на которые является «да»; это означало бы, что Томас должен оказаться безумным. Итак, предположение о том, что Томас — нормальный человек, позволяет сделать вывод, что Томас сошел с ума, то есть приводит нас к противоречию. С другой стороны, предположим, что Томас лишился рассудка. Тогда убеждение Томаса в том, что островитянин может его спросить, лишился ли Томас рассудка, ошибочно; следовательно, житель острова никак не может спросить его, лишился ли он рассудка. (В этом случае Томас ответил бы «нет», что невозможно, поскольку по условию островитянин принадлежит к типу А.) Однако если принять, что Томас сошел с ума и что островитянин относится к типу А, то житель острова вполне мог бы, следуя законам острова Вопрошаек, спросить Томаса, лишился ли он рассудка (поскольку правильным ответом на этот вопрос было бы «да»). Итак, предположение о том, что Томас сошел с ума, также приводит нас к противоречию.
Поэтому единственный способ избежать противоречия — это предположить, что островитянин должен относиться не к типу А, а к типу В; в этом случае никаких противоречий не возникает, независимо от того, находится ли Томас в здравом уме или он лишился рассудка.
13. Покажем, что эпизод, о котором рассказал Уильям, никак не мог иметь место в действительности. Поэтому Уильям, который уверен, будто это произошло на самом деле, обязательно должен оказаться безумным.
Итак, пусть подобная история и в самом деле имела место — в этом случае мы сразу приходим к противоречию. Действительно, предположим поначалу, что Томас— нормальный человек. Тогда его утверждения верны, откуда следует, что Хал вполне мог спросить Томаса, считает ли тот, будто Хал принадлежит к типу В. Но в соответствии с решением задачи 11 из этого следует, что Томас лишился рассудка! А это противоречит предположению, что Томас — нормальный человек. С другой стороны, допустим, что Томас сошел с ума. Тогда его утверждения ошибочны, и, следовательно, Хал никак не мог бы спросить Томаса, считает ли он, будто Хал относится к типу В. Но, как мы видели в задаче 11, житель острова вполне может спросить человека, лишившегося рассудка, считает ли он, что сам островитянин принадлежит к типу В. Итак, в этом случае мы вновь приходим к противоречию.
Единственный способ избежать противоречия — это принять, что Томас никогда не задавал такой вопрос ни одному островитянину, а Уильям просто вообразил себе, будто Томас это сделал.
14. Здесь могут сработать самые разные вопросы; мне больше всего нравится такой: «Отношусь ли я к людям, которые могут спросить, имеется ли на этом острове волшебник?»
Предположим, что тот, кто спрашивает, принадлежит к типу А. Тогда правильным ответом на его вопрос является «да». Человек, задающий вопрос, вполне может спросить, имеется ли на острове волшебник. Поскольку этот человек принадлежит к типу А, то он может спросить, имеется ли на острове волшебник только в том случае, если на острове в самом деле есть волшебник (с тем, чтобы правильным ответом оказалось бы «да»). Таким образом, если спрашивающий принадлежит к типу А, то на острове непременно должен быть волшебник.
Предположим теперь, что тот, кто спрашивает, относится к типу В. Тогда правильным ответом на его вопрос будет «нет», а это означает, что он не может спросить, имеется ли на острове волшебник. Далее, если бы на острове волшебника не было, то человек, задавший подобный вопрос (так как он принадлежит к типу В), вполне мог бы спросить, имеется ли на острове волшебник (поскольку правильным ответом в таком случае являлось бы «нет»). Однако поскольку островитянин не может (как мы убедились) задать этот вопрос, то отсюда следует, что на острове действительно должен быть волшебник. Тем самым доказано, что если человек, задающий вопрос, принадлежит к типу В, то на острове имеется волшебник. Итак, независимо от того, принадлежит спрашивающий к типу А или к типу В, на острове обязательно должен оказаться волшебник.
15. Конечно же, нет!
16. Единственный вывод, который можно сделать, — это то, что Бернард Грин не является волшебником (на основании тех же рассуждений, что и при решении задачи 14).
17. Единственный вывод, который можно сделать, — это то, что волшебник принадлежит к людям, которые могли бы спросить, волшебник ли Чарлз Мэнсфилд.
(Напомним, что, как мы выяснили при решении задачи 11, в случае, если островитянин спрашивает: «Принадлежу ли я к людям, которые могли бы спросить, имеет ли место какое-либо утверждение?», то это утверждение обязательно должно оказаться истиной.)
18. Все, что мы можем сказать, — это то, что Дэниел Мотт не является волшебником (потому что волшебник не может спросить, относится ли он сам к типу В; ведь на самом деле никто не может спросить, относится ли он к типу В).
19. Из того, что Эдвин Друд спрашивает сам по себе, невозможно заключить, кто же является волшебником. Но если использовать не только его вопрос, но и ранее заданные вопросы, то задача становится вполне разрешимой!
Прежде всего из вопроса Эдвина Друда следует, что волшебник должен принадлежать к типу А. В самом деле, предположим, например, что Эдвин относится к типу А; тогда правильным ответом на его вопрос будет «да». Поэтому и он, и волшебник фактически должны принадлежать к одному и тому же типу, а значит, волшебник тоже должен относиться к типу А. С другой стороны, предположим, что Эдвин относится к типу В. Тогда правильным ответом на его вопрос окажется «нет», откуда следует, что волшебник не может принадлежать к тому же типу, что и Эдвин. Но поскольку Эдвин относится к типу В, а волшебник к этому типу не принадлежит, то волшебник опять-таки должен относиться к типу А. Итак, мы доказали, что волшебник принадлежит к типу А. Далее, как мы установили при решении задачи 17, волшебник вполне мог бы спросить, не является ли волшебником Чарльз Мэнсфилд. Но поскольку волшебник принадлежит к типу А, то правильным ответом на этот вопрос является «да». Следовательно, волшебником должен быть Чарльз Мэнсфилд!
Призовая задача. Я уже рассказывал вам, что Арнольд, Томас и Уильям в конце концов единодушно согласились с тем, что жизнь вне стен лечебницы для душевнобольных оказалась еще более безумной, чем в чем в ней самой. Поэтому так как Томас согласен с Арнольдом и Уильямом, которые лишены рассудка, то и сам Томас также должен оказаться безумным.
Остров Сновидений
Решения
Поэтому единственный способ избежать противоречия — это предположить, что островитянин должен относиться не к типу А, а к типу В; в этом случае никаких противоречий не возникает, независимо от того, находится ли Томас в здравом уме или он лишился рассудка.
13. Покажем, что эпизод, о котором рассказал Уильям, никак не мог иметь место в действительности. Поэтому Уильям, который уверен, будто это произошло на самом деле, обязательно должен оказаться безумным.
Итак, пусть подобная история и в самом деле имела место — в этом случае мы сразу приходим к противоречию. Действительно, предположим поначалу, что Томас— нормальный человек. Тогда его утверждения верны, откуда следует, что Хал вполне мог спросить Томаса, считает ли тот, будто Хал принадлежит к типу В. Но в соответствии с решением задачи 11 из этого следует, что Томас лишился рассудка! А это противоречит предположению, что Томас — нормальный человек. С другой стороны, допустим, что Томас сошел с ума. Тогда его утверждения ошибочны, и, следовательно, Хал никак не мог бы спросить Томаса, считает ли он, будто Хал относится к типу В. Но, как мы видели в задаче 11, житель острова вполне может спросить человека, лишившегося рассудка, считает ли он, что сам островитянин принадлежит к типу В. Итак, в этом случае мы вновь приходим к противоречию.
Единственный способ избежать противоречия — это принять, что Томас никогда не задавал такой вопрос ни одному островитянину, а Уильям просто вообразил себе, будто Томас это сделал.
14. Здесь могут сработать самые разные вопросы; мне больше всего нравится такой: «Отношусь ли я к людям, которые могут спросить, имеется ли на этом острове волшебник?»
Предположим, что тот, кто спрашивает, принадлежит к типу А. Тогда правильным ответом на его вопрос является «да». Человек, задающий вопрос, вполне может спросить, имеется ли на острове волшебник. Поскольку этот человек принадлежит к типу А, то он может спросить, имеется ли на острове волшебник только в том случае, если на острове в самом деле есть волшебник (с тем, чтобы правильным ответом оказалось бы «да»). Таким образом, если спрашивающий принадлежит к типу А, то на острове непременно должен быть волшебник.
Предположим теперь, что тот, кто спрашивает, относится к типу В. Тогда правильным ответом на его вопрос будет «нет», а это означает, что он не может спросить, имеется ли на острове волшебник. Далее, если бы на острове волшебника не было, то человек, задавший подобный вопрос (так как он принадлежит к типу В), вполне мог бы спросить, имеется ли на острове волшебник (поскольку правильным ответом в таком случае являлось бы «нет»). Однако поскольку островитянин не может (как мы убедились) задать этот вопрос, то отсюда следует, что на острове действительно должен быть волшебник. Тем самым доказано, что если человек, задающий вопрос, принадлежит к типу В, то на острове имеется волшебник. Итак, независимо от того, принадлежит спрашивающий к типу А или к типу В, на острове обязательно должен оказаться волшебник.
15. Конечно же, нет!
16. Единственный вывод, который можно сделать, — это то, что Бернард Грин не является волшебником (на основании тех же рассуждений, что и при решении задачи 14).
17. Единственный вывод, который можно сделать, — это то, что волшебник принадлежит к людям, которые могли бы спросить, волшебник ли Чарлз Мэнсфилд.
(Напомним, что, как мы выяснили при решении задачи 11, в случае, если островитянин спрашивает: «Принадлежу ли я к людям, которые могли бы спросить, имеет ли место какое-либо утверждение?», то это утверждение обязательно должно оказаться истиной.)
18. Все, что мы можем сказать, — это то, что Дэниел Мотт не является волшебником (потому что волшебник не может спросить, относится ли он сам к типу В; ведь на самом деле никто не может спросить, относится ли он к типу В).
19. Из того, что Эдвин Друд спрашивает сам по себе, невозможно заключить, кто же является волшебником. Но если использовать не только его вопрос, но и ранее заданные вопросы, то задача становится вполне разрешимой!
Прежде всего из вопроса Эдвина Друда следует, что волшебник должен принадлежать к типу А. В самом деле, предположим, например, что Эдвин относится к типу А; тогда правильным ответом на его вопрос будет «да». Поэтому и он, и волшебник фактически должны принадлежать к одному и тому же типу, а значит, волшебник тоже должен относиться к типу А. С другой стороны, предположим, что Эдвин относится к типу В. Тогда правильным ответом на его вопрос окажется «нет», откуда следует, что волшебник не может принадлежать к тому же типу, что и Эдвин. Но поскольку Эдвин относится к типу В, а волшебник к этому типу не принадлежит, то волшебник опять-таки должен относиться к типу А. Итак, мы доказали, что волшебник принадлежит к типу А. Далее, как мы установили при решении задачи 17, волшебник вполне мог бы спросить, не является ли волшебником Чарльз Мэнсфилд. Но поскольку волшебник принадлежит к типу А, то правильным ответом на этот вопрос является «да». Следовательно, волшебником должен быть Чарльз Мэнсфилд!
Призовая задача. Я уже рассказывал вам, что Арнольд, Томас и Уильям в конце концов единодушно согласились с тем, что жизнь вне стен лечебницы для душевнобольных оказалась еще более безумной, чем в чем в ней самой. Поэтому так как Томас согласен с Арнольдом и Уильямом, которые лишены рассудка, то и сам Томас также должен оказаться безумным.
Остров Сновидений
Однажды мне приснился необычный остров под названием остров Сновидений. Жители этого острова видят очень яркие сны; при этом во время сна их мысли столь же отчетливы, как и наяву. Более того, их жизнь во сне в дневное время течет точно так же, как жизнь наяву в течение ночи. В результате некоторые островитяне подчас никак не могут сообразить, спят они в данный момент или бодрствуют.
К тому же оказывается, что все жители острова делятся на две категории: они бывают дневного и ночного типа. Отличительная особенность островитянина дневного типа состоит в следующем: все то, во что он верит во время своего бодрствования, является истинным, а все то, о чем он думает, пока спит, оказывается ложным. Обитатель же острова, относящийся к ночному типу, представляет собой полную его противоположность: все то, в чем убежден такой островитянин, пока он спит, является истинным, а все то, во что он верит во время своего бодрствования, оказывается ложным.
1. Как-то один из островитян решил, что он относится к дневному типу. Можно ли как-нибудь проверить, было ли его убеждение правильным? Возможно ли определить, бодрствовал он в этот период или спал?
2. В другом случае один островитянин посчитал, будто он в данный момент спит. Можно ли проверить правильность его суждения? Можно ли определить, к какому он типу принадлежит?
3. а) Верно ли, что мнение островитянина по поводу того, относится ли он к дневному, или ночному типу, никогда не меняется?
б) Верно ли, что представление островитянина о том, бодрствует ли он в данный момент или спит, никогда не меняется?
4. Как-то одна из жительниц острова решила, что она либо спит, либо относится к ночному типу, либо имеет место и то и другое сразу. («Либо» в данном случае означает по крайней мере одну или, быть может, обе возможности.)
Можем ли мы определить, спала она или бодрствовала в данный момент? Можем ли мы также выяснить, к какому типу принадлежит эта обитательница острова?
5. Как-то один островитянин посчитал, будто он спит и относится к дневному типу. Что можно сказать о нем на самом деле?
6. На острове живет супружеская пара по фамилии Калп. В какой-то момент мистер Калп счел, что он вместе со своей женой принадлежит к ночному типу. В то же самое время миссис Калп сочла, что оба они не принадлежат к ночному типу. При этом оказалось, что один из них в этот момент бодрствовал, а другой спал.
Кто же из них бодрствовал?
7. На острове живет еще одна супружеская пара по фамилии Байрон. Один из супругов принадлежит к ночному типу, а другой — к дневному. В какой-то момент жена Байрона сочла, что они оба либо бодрствуют, либо спят одновременно. В тот же момент ее муж счел, что это не так.
Кто из них был прав?
8. А вот особенно интересный случай: как-то раз один островитянин по имени Эдвард подумал с удивлением, что он и его сестра Элейн принадлежат к ночному типу, и в то же время — будто он сам к ночному типу не относится.
Как это могло случиться? Принадлежит Эдвард к ночному или дневному типу? А к какому типу относится его сестра? Спал Эдвард в этот момент или бодрствовал?
9. Королевская семья.
На острове Сновидений есть король, королева и принцесса. Однажды принцесса подумала, что ее родители принадлежат к разным типам. Спустя 12 часов состояние ее изменилось (то ли она проснулась, то ли заснула), и тогда она решила, что ее отец относится к дневному типу, а мать—к ночному.
К какому типу принадлежит король, и к какому типу — королева?
10. А что думаете вы по поводу колдуна? Ясно, что на таком острове никак нельзя обойтись без чародея, волшебника, колдуна или еще кого-нибудь в том же духе. Оказывается, на острове действительно имеется колдун и притом только один. А теперь позвольте предложить вам крайне любопытную задачку, связанную с этим колдуном.
Как-то раз один островитянин по имени Орк размышлял о том, не является ли он сам колдуном. В конце концов Орк пришел к выводу, что если он принадлежит к дневному типу и в этот момент бодрствует, то именно он должен быть колдуном. В то же самое время другой островитянин по имени Борк заключил, что если он либо принадлежит к дневному типу и бодрствует, либо принадлежит к ночному типу и спит, то он (Борк) и есть колдун. Далее выяснилось, что Орк и Борк в это время либо оба одновременно спали, либо бодрствовали.
К какому типу принадлежит колдун — к дневному или ночному?
11. Метаголоволомка.
Однажды я предложил своему приятелю следующую задачу об этом острове:
— Один островитянин в свое время полагал, будто он принадлежит к дневному типу и бодрствует. Кто он на самом деле?
Приятель подумал немного и затем ответил:
— По-моему, этих сведений явно недостаточно, чтобы сказать что-либо определенное.
Разумеется, мой друг был абсолютно прав! Но потом он спросил меня:
— А сам-то ты знаешь, к какому типу он относился и спал он в тот момент или бодрствовал?
— Ну, конечно, — ответил я. — Как раз я хорошо знаком с этим островитянином и прекрасно знаю, к какому типу он принадлежит и в каком состоянии он в то время находился.
Тогда мой приятель задал мне весьма хитроумный вопрос:
— А скажи, если бы ты мне сообщил, к какому типу он принадлежит, было бы у меня достаточно информации, чтобы узнать, спал он или бодрствовал в тот момент?
Я сказал ему правду (то есть ответил «да» или «нет»), и он тут же сумел решить задачу.
К какому типу относился островитянин и спал он в то время или бодрствовал?
12. Более сложная метаголоволомка.
В другой раз я предложил приятелю следующую задачу, связанную с этим островом:
— Одна жительница острова в какой-то момент сочла, будто она принадлежит к ночному типу и спит. Что было с ней на самом деле?
Мой друг тотчас же сообразил, что этих сведений опять недостаточно.
— Предположим, ты сообщил бы мне, к какому типу относилась эта женщина, — сказал мне приятель, — Сумел бы я тогда ответить, спала она в тот момент или бодрствовала?
Я сказал ему правду, но он все равно не смог решить задачу (и этой информации оказалось недостаточно).
Спустя несколько дней я задал эту задачу другому приятелю (не упоминая о своем первом опыте). Этот приятель также понял, что я сообщил ему слишком мало. Тогда он задал мне следующий вопрос:
— Допустим, ты сказал бы мне, спала островитянка в тот момент или бодрствовала. Хватило бы мне информации, чтобы выяснить, к какому типу она принадлежит?
Я снова ответил правду, однако приятель и тут оказался не в состоянии решить задачу (у него тоже не было достаточно информации).
Но зато теперь у вас, читатель, имеется вполне достаточно сведений, чтобы получить ответ! Итак, к какому типу относилась обитательница острова и спала она в то время или бодрствовала?
К тому же оказывается, что все жители острова делятся на две категории: они бывают дневного и ночного типа. Отличительная особенность островитянина дневного типа состоит в следующем: все то, во что он верит во время своего бодрствования, является истинным, а все то, о чем он думает, пока спит, оказывается ложным. Обитатель же острова, относящийся к ночному типу, представляет собой полную его противоположность: все то, в чем убежден такой островитянин, пока он спит, является истинным, а все то, во что он верит во время своего бодрствования, оказывается ложным.
1. Как-то один из островитян решил, что он относится к дневному типу. Можно ли как-нибудь проверить, было ли его убеждение правильным? Возможно ли определить, бодрствовал он в этот период или спал?
2. В другом случае один островитянин посчитал, будто он в данный момент спит. Можно ли проверить правильность его суждения? Можно ли определить, к какому он типу принадлежит?
3. а) Верно ли, что мнение островитянина по поводу того, относится ли он к дневному, или ночному типу, никогда не меняется?
б) Верно ли, что представление островитянина о том, бодрствует ли он в данный момент или спит, никогда не меняется?
4. Как-то одна из жительниц острова решила, что она либо спит, либо относится к ночному типу, либо имеет место и то и другое сразу. («Либо» в данном случае означает по крайней мере одну или, быть может, обе возможности.)
Можем ли мы определить, спала она или бодрствовала в данный момент? Можем ли мы также выяснить, к какому типу принадлежит эта обитательница острова?
5. Как-то один островитянин посчитал, будто он спит и относится к дневному типу. Что можно сказать о нем на самом деле?
6. На острове живет супружеская пара по фамилии Калп. В какой-то момент мистер Калп счел, что он вместе со своей женой принадлежит к ночному типу. В то же самое время миссис Калп сочла, что оба они не принадлежат к ночному типу. При этом оказалось, что один из них в этот момент бодрствовал, а другой спал.
Кто же из них бодрствовал?
7. На острове живет еще одна супружеская пара по фамилии Байрон. Один из супругов принадлежит к ночному типу, а другой — к дневному. В какой-то момент жена Байрона сочла, что они оба либо бодрствуют, либо спят одновременно. В тот же момент ее муж счел, что это не так.
Кто из них был прав?
8. А вот особенно интересный случай: как-то раз один островитянин по имени Эдвард подумал с удивлением, что он и его сестра Элейн принадлежат к ночному типу, и в то же время — будто он сам к ночному типу не относится.
Как это могло случиться? Принадлежит Эдвард к ночному или дневному типу? А к какому типу относится его сестра? Спал Эдвард в этот момент или бодрствовал?
9. Королевская семья.
На острове Сновидений есть король, королева и принцесса. Однажды принцесса подумала, что ее родители принадлежат к разным типам. Спустя 12 часов состояние ее изменилось (то ли она проснулась, то ли заснула), и тогда она решила, что ее отец относится к дневному типу, а мать—к ночному.
К какому типу принадлежит король, и к какому типу — королева?
10. А что думаете вы по поводу колдуна? Ясно, что на таком острове никак нельзя обойтись без чародея, волшебника, колдуна или еще кого-нибудь в том же духе. Оказывается, на острове действительно имеется колдун и притом только один. А теперь позвольте предложить вам крайне любопытную задачку, связанную с этим колдуном.
Как-то раз один островитянин по имени Орк размышлял о том, не является ли он сам колдуном. В конце концов Орк пришел к выводу, что если он принадлежит к дневному типу и в этот момент бодрствует, то именно он должен быть колдуном. В то же самое время другой островитянин по имени Борк заключил, что если он либо принадлежит к дневному типу и бодрствует, либо принадлежит к ночному типу и спит, то он (Борк) и есть колдун. Далее выяснилось, что Орк и Борк в это время либо оба одновременно спали, либо бодрствовали.
К какому типу принадлежит колдун — к дневному или ночному?
11. Метаголоволомка.
Однажды я предложил своему приятелю следующую задачу об этом острове:
— Один островитянин в свое время полагал, будто он принадлежит к дневному типу и бодрствует. Кто он на самом деле?
Приятель подумал немного и затем ответил:
— По-моему, этих сведений явно недостаточно, чтобы сказать что-либо определенное.
Разумеется, мой друг был абсолютно прав! Но потом он спросил меня:
— А сам-то ты знаешь, к какому типу он относился и спал он в тот момент или бодрствовал?
— Ну, конечно, — ответил я. — Как раз я хорошо знаком с этим островитянином и прекрасно знаю, к какому типу он принадлежит и в каком состоянии он в то время находился.
Тогда мой приятель задал мне весьма хитроумный вопрос:
— А скажи, если бы ты мне сообщил, к какому типу он принадлежит, было бы у меня достаточно информации, чтобы узнать, спал он или бодрствовал в тот момент?
Я сказал ему правду (то есть ответил «да» или «нет»), и он тут же сумел решить задачу.
К какому типу относился островитянин и спал он в то время или бодрствовал?
12. Более сложная метаголоволомка.
В другой раз я предложил приятелю следующую задачу, связанную с этим островом:
— Одна жительница острова в какой-то момент сочла, будто она принадлежит к ночному типу и спит. Что было с ней на самом деле?
Мой друг тотчас же сообразил, что этих сведений опять недостаточно.
— Предположим, ты сообщил бы мне, к какому типу относилась эта женщина, — сказал мне приятель, — Сумел бы я тогда ответить, спала она в тот момент или бодрствовала?
Я сказал ему правду, но он все равно не смог решить задачу (и этой информации оказалось недостаточно).
Спустя несколько дней я задал эту задачу другому приятелю (не упоминая о своем первом опыте). Этот приятель также понял, что я сообщил ему слишком мало. Тогда он задал мне следующий вопрос:
— Допустим, ты сказал бы мне, спала островитянка в тот момент или бодрствовала. Хватило бы мне информации, чтобы выяснить, к какому типу она принадлежит?
Я снова ответил правду, однако приятель и тут оказался не в состоянии решить задачу (у него тоже не было достаточно информации).
Но зато теперь у вас, читатель, имеется вполне достаточно сведений, чтобы получить ответ! Итак, к какому типу относилась обитательница острова и спала она в то время или бодрствовала?
Эпилог
Предположим, что остров, описанный в этой главе, существовал бы в действительности, а я был бы одним из его обитателей. К какому типу относился бы тогда я — к дневному или ночному? На этот вопрос заведомо можно ответить, основываясь на сказанном мною в данной главе!
Решения
1, 2, 3. Прежде всего заметим, что на острове должны выполняться следующие правила:
Правило 1. Во время бодрствования любой житель острова считает, что он принадлежит к дневному типу.
Правило 2. Во время сна любой островитянин полагает, что он принадлежит к ночному типу.
Правило 3. Жители дневного типа всегда уверены, что они бодрствуют.
Правило 4. Жители ночного типа всегда уверены, что они спят.
Для доказательства правила 1 предположим, что X — житель острова, который в данный момент не спит. Если X принадлежит к дневному типу, тогда он одновременно принадлежит к дневному типу и бодрствует; значит, его суждения в этот момент правильны, и он знает, что относится к дневному типу. С другой стороны, предположим, что X принадлежит к ночному типу. Тогда, поскольку он относится к ночному типу и в данный момент бодрствует, его суждения неверны; поэтому он ошибочно полагает, будто он относится к дневному типу. Итак, суммируя, имеем: когда X бодрствует, то если он принадлежит к дневному типу, он (правильно) считает, что относится к дневному типу; если же он относится к ночному типу, то он (ошибочно) полагает, будто также принадлежит к дневному типу.
Правило 2 доказывается аналогично: когда X спит, то если этот островитянин принадлежит к ночному типу, он (правильно) считает, что он относится к ночному типу, а если он принадлежит к дневному типу, то он (ошибочно) полагает, будто также относится к ночному типу.
Для доказательства правила 3 предположим, что обитатель острова X принадлежит к дневному типу. Пока он не спит, его суждения правильны и, следовательно, он твердо убежден, что бодрствует. Но во время сна его суждения неверны, и, следовательно, тогда он ошибочно полагает, будто он бодрствует. Итак, во время бодрствования он (правильно) считает, что бодрствует, а во время сна он (ошибочно) полагает, будто также бодрствует.
Правило 4 доказывается аналогично правилу 3, и мы предоставляем это сделать самому читателю.
Обращаясь теперь к решению задачи 1, заметим, что в данном случае невозможно определить, правильно ли суждение островитянина. Однако ясно, что в указанный момент он должен был бодрствовать, поскольку если бы островитянин спал, то он был бы убежден, что принадлежит не к дневному, а к ночному типу (согласно правилу 2).
Что касается задачи 2, то здесь также нельзя определить, было ли суждение островитянина верным, однако ясно, что он должен принадлежать к ночному типу, поскольку если бы это было не так, то данный житель острова был бы уверен, что он бодрствует, а не спит (согласно правилу 3).
В отношении же задачи 3 ответом па вопрос «а» является «нет» (потому что в соответствии с правилами 1 и 2 мнение островитянина но поводу того, принадлежит он к дневному или ночному типу, изменяется в зависимости от его состояния (то есть, от того, бодрствует он или же спит), а ответом на вопрос «б» является «да» (в соответствии с правилами 3 и 4).
4. Вы можете решать эту задачу последовательно, рассматривая по очереди каждый из следующих четырех вариантов: 1) островитянка относится к ночному типу и спит, 2) она принадлежит к ночному типу и бодрствует, 3) она относится к дневному типу и спит, 4) она принадлежит к дневному типу и бодрствует.
Можно выяснить, какой же из вариантов не противоречит условиям задачи. Тем не менее я предпочел бы следующее доказательство.
Прежде всего, могут ли убеждения обитательницы острова оказаться ошибочными? Если это так, то она не может ни находиться во сне, ни принадлежать к ночному типу, откуда следует, что она бодрствует и относится к дневному типу. Но такое утверждение приводит нас к противоречию, поскольку человек, который бодрствует и относится к дневному типу, никак не может обладать неверными убеждениями. Таким образом, ее убеждения не могут оказаться ошибочными, а значит, они должны быть верными. Следовательно, данная жительница острова принадлежит к ночному типу и спит.
5. Эту задачу тоже можно решить, последовательно перебрав четыре возможных ответа, но я вновь предпочитаю более творческое решение.
Итак, могло ли мнение этого островитянина оказаться правильным? Если да, то, значит, он действительно находился во сне и принадлежал к дневному типу. Но будучи таковым (то есть спящим и дневного типа), он никак не мог обладать правильным мнением. Таким образом, его суждение было бы ошибочным. Но единственные случаи, когда житель острова может иметь ошибочное суждение — это, когда он либо находится во сне и принадлежит к дневному типу, либо бодрствует и относится к ночному типу. Вместе с тем, если бы островитянин находился во сне и принадлежал к дневному типу, то его суждение оказалось бы правильным (ибо это и есть то, во что он верит). Следовательно, он должен был бодрствовать и относиться к ночному типу.
6. Если вы начнете решать эту задачу перебором, то вам придется рассмотреть 16 случаев! (Четыре возможности для мужа, и для каждого из этих 4 вариантов еще 4 — для жены.) К счастью, есть более простой подход. Прежде всего, поскольку один из супругов спит, а другой бодрствует, и, кроме того, поскольку их суждения прямо противоположны, то они непременно должны принадлежать к одному и тому же типу (то есть оба они одновременно должны относиться либо к дневному, либо к ночному типу). В самом деле, если бы они принадлежали к разным типам, то их суждения оказались бы прямо противоположными в случае, если бы они оба спали или оба бодрствовали, и совпали бы в случае, если бы один из них спал, а другой бодрствовал. Но поскольку мнения супругов, когда один из них спит, а другой бодрствует, не совпадают, то, значит, они должны принадлежать к одному типу.
Предположим поначалу, что оба они относятся к ночному типу. Тогда мнение мужа в тот момент было правильным, и, поскольку он относится к ночному типу, то, понятно, он должен был находиться во сне. Допустим теперь, что оба супруга принадлежат к дневному типу. Тогда очевидно, что муж ошибался, полагая, будто и он, и жена относятся к ночному типу, но поскольку он, согласно условию, принадлежит к дневному типу и к тому же мнение его ошибочно, то он в это время должен был находиться во сне. Итак, независимо от того, к какому типу относятся оба супруга, муж в тот момент должен был спать, а жена — бодрствовать.
7. Эта задача еще проще. Действительно, поскольку супруги принадлежат к разным типам, то их суждения должны быть прямо противоположными, если они находятся в одном и том же состоянии(то есть оба бодрствуют или оба спят), и одинаковыми, если они находятся в различных состояниях (то есть один из них спит, а другой бодрствует). Но поскольку в описываемом случае их мнения оказались противоположными, то, значит, оба они были в одном и том же состоянии, то есть оба спали или бодрствовали. Стало быть, жена Байрона была права.
8. Очевидно, в тот момент Эдвард находился несколько не в себе, одновременно придя к двум логически сключающим друг друга суждениям! Итак, оба утверждения Эдварда должны быть ошибочными. Но поскольку он считал, будто и он, и Элейн относятся к ночному типу, то, значит, оба они к ночному типу не принадлежат. А поскольку он к тому же полагал, что сам он к ночному типу не относится, то, следовательно, как раз он-то и принадлежит к ночному типу. Таким образом, Эдвард относится к ночному типу, но оба они к ночному типу не принадлежат, и, стало быть, Элейн относится к дневному типу. Наконец, поскольку Эдвард относится к ночному типу и в то же время высказал ошибочное суждение, то он должен был бодрствовать. Поэтому ответ таков: сам Эдвард принадлежит к ночному типу и в тот момент бодрствовал, а его сестра относится к дневному типу.
9. Поскольку принцесса перешла в другое состояние, то, стало быть, одно из двух ее суждений было правильным, а другое ошибочным. Это означает, что из следующих двух высказываний одно истинно, а другое ложно:
(1) Король и королева принадлежат к разным типам.
(2) Король относится к дневному типу, а королева принадлежит к ночному типу.
Если высказывание (2) истинно, тогда высказывание (1) также должно быть истинным, однако мы знаем, что высказывания (2) и (1) не могут быть истинны одновременно. Таким образом, высказывание (2) должно быть ложным, а высказывание (1) — истинным. Поэтому король и королева действительно принадлежат к разным типам, но утверждение, что король относится к дневному типу, а королева — к ночному, не соответствует истине. Следовательно, король должен относиться к ночному типу, а королева—к дневному.
10. Предположим, что Орк принадлежит к дневному типу и в тот момент бодрствовал. Следует ли из этого предположения, что Орк должен быть колдуном? Да, следует, и вот почему. Допустим, что Орк действительно относится к дневному типу и в то время бодрствовал. Тогда его суждения правильны, откуда следует, что в случае, если он относится к дневному типу и бодрствует, то он и есть колдун. Но он принадлежит к дневному типу и бодрствует (лишь по предположению), следовательно, он должен быть колдуном (опять-таки, конечно, при условии, что он относится к дневному типу и бодрствует). Таким образом, предположение о том, что Орк относится к дневному типу и бодрствует, приводит нас к выводу, что он — колдун. Это, разумеется, вовсе не указывает ни того, что исходное предположение правильно, ни того, что он колдун, — мы доказали только то, что если бы он относился к дневному типу и бодрствовал, то в этом случае он должен был быть колдуном. Итак, мы установили гипотетическое утверждение, что если бы Орк принадлежал к дневному типу и бодрствовал, то в таком случае он — колдун. Но именно в это гипотетическое утверждение Орк в тот момент и верил; следовательно, мнение Орка было верным! Это означает, что Орк в то время либо относился к дневному типу и бодрствовал, либо принадлежал к ночному типу и спал, однако (пока) мы не можем точно сказать, какой из этих двух вариантов имел место на самом деле. Поэтому наше допущение о том, что Орк является колдуном, совсем не обязательно должно быть истиной, поскольку вполне может оказаться, что он принадлежит к ночному типу и в тот момент спал.
Далее, рассуждая подобным же образом, мы полагаем, что суждение Борка тоже верно. В самом деле, если Борк принадлежит к дневному типу и бодрствует или относится к ночному типу и спит — то в любом из этих случаев его суждение является правильным, откуда следует, что он непременно должен быть колдуном. Но это то, во что верит Борк, и, следовательно, его суждение верно. Теперь, поскольку суждение Борка верно, он либо относится к дневному типу и в тот момент бодрствовал, либо принадлежит к ночному типу и в тот момент спал. Однако же и в том, и в другом случае он должен быть колдуном.
Поскольку Борк — колдун, то, значит, Орк в свою очередь колдуном не является. Стало быть, Орк не мог в тот момент бодрствовать и не мог принадлежать к дневному типу, поскольку мы установили, что если бы это оказалось именно так, то колдуном обязательно должен был быть он. Таким образом, Орк в тот момент находился во сне и, кроме того, он принадлежит к ночному типу. Следовательно, Борк в тот момент тоже находился во сне, а поскольку суждение Борка оказалось правильным, то, значит, Борк должен относиться к ночному типу. Итак, колдун относится к ночному типу.
Правило 1. Во время бодрствования любой житель острова считает, что он принадлежит к дневному типу.
Правило 2. Во время сна любой островитянин полагает, что он принадлежит к ночному типу.
Правило 3. Жители дневного типа всегда уверены, что они бодрствуют.
Правило 4. Жители ночного типа всегда уверены, что они спят.
Для доказательства правила 1 предположим, что X — житель острова, который в данный момент не спит. Если X принадлежит к дневному типу, тогда он одновременно принадлежит к дневному типу и бодрствует; значит, его суждения в этот момент правильны, и он знает, что относится к дневному типу. С другой стороны, предположим, что X принадлежит к ночному типу. Тогда, поскольку он относится к ночному типу и в данный момент бодрствует, его суждения неверны; поэтому он ошибочно полагает, будто он относится к дневному типу. Итак, суммируя, имеем: когда X бодрствует, то если он принадлежит к дневному типу, он (правильно) считает, что относится к дневному типу; если же он относится к ночному типу, то он (ошибочно) полагает, будто также принадлежит к дневному типу.
Правило 2 доказывается аналогично: когда X спит, то если этот островитянин принадлежит к ночному типу, он (правильно) считает, что он относится к ночному типу, а если он принадлежит к дневному типу, то он (ошибочно) полагает, будто также относится к ночному типу.
Для доказательства правила 3 предположим, что обитатель острова X принадлежит к дневному типу. Пока он не спит, его суждения правильны и, следовательно, он твердо убежден, что бодрствует. Но во время сна его суждения неверны, и, следовательно, тогда он ошибочно полагает, будто он бодрствует. Итак, во время бодрствования он (правильно) считает, что бодрствует, а во время сна он (ошибочно) полагает, будто также бодрствует.
Правило 4 доказывается аналогично правилу 3, и мы предоставляем это сделать самому читателю.
Обращаясь теперь к решению задачи 1, заметим, что в данном случае невозможно определить, правильно ли суждение островитянина. Однако ясно, что в указанный момент он должен был бодрствовать, поскольку если бы островитянин спал, то он был бы убежден, что принадлежит не к дневному, а к ночному типу (согласно правилу 2).
Что касается задачи 2, то здесь также нельзя определить, было ли суждение островитянина верным, однако ясно, что он должен принадлежать к ночному типу, поскольку если бы это было не так, то данный житель острова был бы уверен, что он бодрствует, а не спит (согласно правилу 3).
В отношении же задачи 3 ответом па вопрос «а» является «нет» (потому что в соответствии с правилами 1 и 2 мнение островитянина но поводу того, принадлежит он к дневному или ночному типу, изменяется в зависимости от его состояния (то есть, от того, бодрствует он или же спит), а ответом на вопрос «б» является «да» (в соответствии с правилами 3 и 4).
4. Вы можете решать эту задачу последовательно, рассматривая по очереди каждый из следующих четырех вариантов: 1) островитянка относится к ночному типу и спит, 2) она принадлежит к ночному типу и бодрствует, 3) она относится к дневному типу и спит, 4) она принадлежит к дневному типу и бодрствует.
Можно выяснить, какой же из вариантов не противоречит условиям задачи. Тем не менее я предпочел бы следующее доказательство.
Прежде всего, могут ли убеждения обитательницы острова оказаться ошибочными? Если это так, то она не может ни находиться во сне, ни принадлежать к ночному типу, откуда следует, что она бодрствует и относится к дневному типу. Но такое утверждение приводит нас к противоречию, поскольку человек, который бодрствует и относится к дневному типу, никак не может обладать неверными убеждениями. Таким образом, ее убеждения не могут оказаться ошибочными, а значит, они должны быть верными. Следовательно, данная жительница острова принадлежит к ночному типу и спит.
5. Эту задачу тоже можно решить, последовательно перебрав четыре возможных ответа, но я вновь предпочитаю более творческое решение.
Итак, могло ли мнение этого островитянина оказаться правильным? Если да, то, значит, он действительно находился во сне и принадлежал к дневному типу. Но будучи таковым (то есть спящим и дневного типа), он никак не мог обладать правильным мнением. Таким образом, его суждение было бы ошибочным. Но единственные случаи, когда житель острова может иметь ошибочное суждение — это, когда он либо находится во сне и принадлежит к дневному типу, либо бодрствует и относится к ночному типу. Вместе с тем, если бы островитянин находился во сне и принадлежал к дневному типу, то его суждение оказалось бы правильным (ибо это и есть то, во что он верит). Следовательно, он должен был бодрствовать и относиться к ночному типу.
6. Если вы начнете решать эту задачу перебором, то вам придется рассмотреть 16 случаев! (Четыре возможности для мужа, и для каждого из этих 4 вариантов еще 4 — для жены.) К счастью, есть более простой подход. Прежде всего, поскольку один из супругов спит, а другой бодрствует, и, кроме того, поскольку их суждения прямо противоположны, то они непременно должны принадлежать к одному и тому же типу (то есть оба они одновременно должны относиться либо к дневному, либо к ночному типу). В самом деле, если бы они принадлежали к разным типам, то их суждения оказались бы прямо противоположными в случае, если бы они оба спали или оба бодрствовали, и совпали бы в случае, если бы один из них спал, а другой бодрствовал. Но поскольку мнения супругов, когда один из них спит, а другой бодрствует, не совпадают, то, значит, они должны принадлежать к одному типу.
Предположим поначалу, что оба они относятся к ночному типу. Тогда мнение мужа в тот момент было правильным, и, поскольку он относится к ночному типу, то, понятно, он должен был находиться во сне. Допустим теперь, что оба супруга принадлежат к дневному типу. Тогда очевидно, что муж ошибался, полагая, будто и он, и жена относятся к ночному типу, но поскольку он, согласно условию, принадлежит к дневному типу и к тому же мнение его ошибочно, то он в это время должен был находиться во сне. Итак, независимо от того, к какому типу относятся оба супруга, муж в тот момент должен был спать, а жена — бодрствовать.
7. Эта задача еще проще. Действительно, поскольку супруги принадлежат к разным типам, то их суждения должны быть прямо противоположными, если они находятся в одном и том же состоянии(то есть оба бодрствуют или оба спят), и одинаковыми, если они находятся в различных состояниях (то есть один из них спит, а другой бодрствует). Но поскольку в описываемом случае их мнения оказались противоположными, то, значит, оба они были в одном и том же состоянии, то есть оба спали или бодрствовали. Стало быть, жена Байрона была права.
8. Очевидно, в тот момент Эдвард находился несколько не в себе, одновременно придя к двум логически сключающим друг друга суждениям! Итак, оба утверждения Эдварда должны быть ошибочными. Но поскольку он считал, будто и он, и Элейн относятся к ночному типу, то, значит, оба они к ночному типу не принадлежат. А поскольку он к тому же полагал, что сам он к ночному типу не относится, то, следовательно, как раз он-то и принадлежит к ночному типу. Таким образом, Эдвард относится к ночному типу, но оба они к ночному типу не принадлежат, и, стало быть, Элейн относится к дневному типу. Наконец, поскольку Эдвард относится к ночному типу и в то же время высказал ошибочное суждение, то он должен был бодрствовать. Поэтому ответ таков: сам Эдвард принадлежит к ночному типу и в тот момент бодрствовал, а его сестра относится к дневному типу.
9. Поскольку принцесса перешла в другое состояние, то, стало быть, одно из двух ее суждений было правильным, а другое ошибочным. Это означает, что из следующих двух высказываний одно истинно, а другое ложно:
(1) Король и королева принадлежат к разным типам.
(2) Король относится к дневному типу, а королева принадлежит к ночному типу.
Если высказывание (2) истинно, тогда высказывание (1) также должно быть истинным, однако мы знаем, что высказывания (2) и (1) не могут быть истинны одновременно. Таким образом, высказывание (2) должно быть ложным, а высказывание (1) — истинным. Поэтому король и королева действительно принадлежат к разным типам, но утверждение, что король относится к дневному типу, а королева — к ночному, не соответствует истине. Следовательно, король должен относиться к ночному типу, а королева—к дневному.
10. Предположим, что Орк принадлежит к дневному типу и в тот момент бодрствовал. Следует ли из этого предположения, что Орк должен быть колдуном? Да, следует, и вот почему. Допустим, что Орк действительно относится к дневному типу и в то время бодрствовал. Тогда его суждения правильны, откуда следует, что в случае, если он относится к дневному типу и бодрствует, то он и есть колдун. Но он принадлежит к дневному типу и бодрствует (лишь по предположению), следовательно, он должен быть колдуном (опять-таки, конечно, при условии, что он относится к дневному типу и бодрствует). Таким образом, предположение о том, что Орк относится к дневному типу и бодрствует, приводит нас к выводу, что он — колдун. Это, разумеется, вовсе не указывает ни того, что исходное предположение правильно, ни того, что он колдун, — мы доказали только то, что если бы он относился к дневному типу и бодрствовал, то в этом случае он должен был быть колдуном. Итак, мы установили гипотетическое утверждение, что если бы Орк принадлежал к дневному типу и бодрствовал, то в таком случае он — колдун. Но именно в это гипотетическое утверждение Орк в тот момент и верил; следовательно, мнение Орка было верным! Это означает, что Орк в то время либо относился к дневному типу и бодрствовал, либо принадлежал к ночному типу и спал, однако (пока) мы не можем точно сказать, какой из этих двух вариантов имел место на самом деле. Поэтому наше допущение о том, что Орк является колдуном, совсем не обязательно должно быть истиной, поскольку вполне может оказаться, что он принадлежит к ночному типу и в тот момент спал.
Далее, рассуждая подобным же образом, мы полагаем, что суждение Борка тоже верно. В самом деле, если Борк принадлежит к дневному типу и бодрствует или относится к ночному типу и спит — то в любом из этих случаев его суждение является правильным, откуда следует, что он непременно должен быть колдуном. Но это то, во что верит Борк, и, следовательно, его суждение верно. Теперь, поскольку суждение Борка верно, он либо относится к дневному типу и в тот момент бодрствовал, либо принадлежит к ночному типу и в тот момент спал. Однако же и в том, и в другом случае он должен быть колдуном.
Поскольку Борк — колдун, то, значит, Орк в свою очередь колдуном не является. Стало быть, Орк не мог в тот момент бодрствовать и не мог принадлежать к дневному типу, поскольку мы установили, что если бы это оказалось именно так, то колдуном обязательно должен был быть он. Таким образом, Орк в тот момент находился во сне и, кроме того, он принадлежит к ночному типу. Следовательно, Борк в тот момент тоже находился во сне, а поскольку суждение Борка оказалось правильным, то, значит, Борк должен относиться к ночному типу. Итак, колдун относится к ночному типу.