Утверждение 1.
Для любого островитянина X, относящегося к типу А, справедливо следующее: никто из жителей острова не может спросить, принадлежат ли он (она) и этот X к разным типам.
Утверждение 2.
Для любого островитянина X, относящегося к типу В, справедливо следующее: любой обитатель острова всегда может спросить, принадлежат ли он (она) и этот X к разным типам.
Утверждение 1 фактически доказано при решении задачи 5, когда мы убедились, что если бы миссис Гордон относилась к типу А, то мистер Гордон никак не мог бы спросить, принадлежат ли он и его супруга к одному типу.
Что же касается утверждения 2, то в случае, если X относится к типу В, вопрос, относятся ли некто и житель острова X к разным типам, эквивалентен вопросу, принадлежит ли этот некто к типу А, а такой вопрос, как мы уже выяснили при решении задачи 2, может задать любой островитянин. Таким образом, если X принадлежит к типу В, то любой житель острова может спросить X, относится ли он (она) вместе с X к разным типам.
Обратимся теперь к решению самой задачи. Докажем сначала, что правильным ответом на вопрос Алисы является «нет» и поэтому Алиса должна принадлежать к типу В. Другими словами, докажем, что Бетти никак не может спросить Веронику, относится ли Вероника к такому типу людей, которые могли бы спросить Бетти, принадлежат ли Вероника и Бетти к разным типам.
Предположим, что Бетти задает Веронике вопрос, может ли Вероника спросить, относятся ли Вероника и Бетти к разным типам. Тогда мы приходим к следующему противоречию. Действительно, Бетти может относиться как к типу А, так и к типу В. Допустим, что она относится к типу В. Тогда, согласно утверждению 1, Вероника не может спросить, относятся ли они с Бетти к разным типам. Следовательно, ответом на вопрос Бетти является «нет», а такой ответ невозможен, так как Бетти принадлежит к типу А. С другой стороны, предположим, что Бетти относится к типу В. Тогда, согласно утверждению 2, Вероника вполне могла бы спросить, относятся ли они с Бетти к разным типам; это означает, что правильным ответом на вопрос Бетти должно быть «да», что невозможно, поскольку Бетти принадлежит к типу В.
Тем самым доказано, что Бетти никак не может задать Веронике вопрос, о котором Алиса спрашивает
Бетти, могла ли бы она его задать… Поэтому правильным ответом на вопрос Алисы является «нет», и, значит, сама Алиса относится к типу В. Что же касается того, к какому типу относятся Бетти и Вероника, то этого выяснить нельзя.
11. По-моему, это самая занятная задача этой главы. Мы ничего не можем сказать об островитянине, задавшем вопрос Арнольду, но в то же время Арнольд, который и рта не раскрывал (насколько мы это знаем), должен оказаться сумасшедшим. В самом деле, ни один островитянин не мог бы спросить находящегося в здравом уме человека, полагает ли он, что сам островитянин принадлежит к типу В, поскольку вопрос, обращенный к нормальному человеку, считает ли он, что тот или иной факт имеет место, равносилен вопросу, имеет ли этот факт место в действительности. В то же время ни один островитянин не может спросить, принадлежит ли он к типу В. Итак, ни один островитянин, назовем его X, не мог бы спросить находящегося в здравом уме человека, полагает ли он, что сам X относится к типу В.
С другой стороны (а этот факт потребуется нам при решении последующих задач), любой островитянин X мог бы спросить человека, лишившегося рассудка, считает ли тот, что сам X принадлежит к типу В, поскольку спросить об этом безумного равносильно тому, чтобы X спросил, принадлежит ли сам X к типу А, что, как мы уже видели, вполне позволительно для любого островитянина X.
12. По поводу Томаса мы не можем сделать никакого вывода, а островитянин, задавший вопрос, должен принадлежать к типу В. В самом деле, если предположить, что он принадлежит к типу А, то тогда правильным ответом на его вопрос будет «да», откуда следует, что Томас действительно считает, будто островитянин мог бы его спросить, лишился ли он рассудка. Но при этом Томас может оказаться как в здравом уме, так и лишенным рассудка. Предположим, что он находится в здравом уме. Тогда его убеждения правильны, а это в свою очередь означает, что островитянин вполне мог спросить его, лишился ли он рассудка. Однако человек, относящийся к типу А, может задавать только такие вопросы, правильным ответом на которые является «да»; это означало бы, что Томас должен оказаться безумным. Итак, предположение о том, что Томас — нормальный человек, позволяет сделать вывод, что Томас сошел с ума, то есть приводит нас к противоречию. С другой стороны, предположим, что Томас лишился рассудка. Тогда убеждение Томаса в том, что островитянин может его спросить, лишился ли Томас рассудка, ошибочно; следовательно, житель острова никак не может спросить его, лишился ли он рассудка. (В этом случае Томас ответил бы «нет», что невозможно, поскольку по условию островитянин принадлежит к типу А.) Однако если принять, что Томас сошел с ума и что островитянин относится к типу А, то житель острова вполне мог бы, следуя законам острова Вопрошаек, спросить Томаса, лишился ли он рассудка (поскольку правильным ответом на этот вопрос было бы «да»). Итак, предположение о том, что Томас сошел с ума, также приводит нас к противоречию.
Поэтому единственный способ избежать противоречия — это предположить, что островитянин должен относиться не к типу А, а к типу В; в этом случае никаких противоречий не возникает, независимо от того, находится ли Томас в здравом уме или он лишился рассудка.
13. Покажем, что эпизод, о котором рассказал Уильям, никак не мог иметь место в действительности.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69