Следовательно, он должен был бодрствовать и относиться к ночному типу.
6. Если вы начнете решать эту задачу перебором, то вам придется рассмотреть 16 случаев! (Четыре возможности для мужа, и для каждого из этих 4 вариантов еще 4 — для жены.) К счастью, есть более простой подход. Прежде всего, поскольку один из супругов спит, а другой бодрствует, и, кроме того, поскольку их суждения прямо противоположны, то они непременно должны принадлежать к одному и тому же типу (то есть оба они одновременно должны относиться либо к дневному, либо к ночному типу). В самом деле, если бы они принадлежали к разным типам, то их суждения оказались бы прямо противоположными в случае, если бы они оба спали или оба бодрствовали, и совпали бы в случае, если бы один из них спал, а другой бодрствовал. Но поскольку мнения супругов, когда один из них спит, а другой бодрствует, не совпадают, то, значит, они должны принадлежать к одному типу.
Предположим поначалу, что оба они относятся к ночному типу. Тогда мнение мужа в тот момент было правильным, и, поскольку он относится к ночному типу, то, понятно, он должен был находиться во сне. Допустим теперь, что оба супруга принадлежат к дневному типу. Тогда очевидно, что муж ошибался, полагая, будто и он, и жена относятся к ночному типу, но поскольку он, согласно условию, принадлежит к дневному типу и к тому же мнение его ошибочно, то он в это время должен был находиться во сне. Итак, независимо от того, к какому типу относятся оба супруга, муж в тот момент должен был спать, а жена — бодрствовать.
7. Эта задача еще проще. Действительно, поскольку супруги принадлежат к разным типам, то их суждения должны быть прямо противоположными, если они находятся в одном и том же состоянии(то есть оба бодрствуют или оба спят), и одинаковыми, если они находятся в различных состояниях (то есть один из них спит, а другой бодрствует). Но поскольку в описываемом случае их мнения оказались противоположными, то, значит, оба они были в одном и том же состоянии, то есть оба спали или бодрствовали. Стало быть, жена Байрона была права.
8. Очевидно, в тот момент Эдвард находился несколько не в себе, одновременно придя к двум логически сключающим друг друга суждениям! Итак, оба утверждения Эдварда должны быть ошибочными. Но поскольку он считал, будто и он, и Элейн относятся к ночному типу, то, значит, оба они к ночному типу не принадлежат. А поскольку он к тому же полагал, что сам он к ночному типу не относится, то, следовательно, как раз он-то и принадлежит к ночному типу. Таким образом, Эдвард относится к ночному типу, но оба они к ночному типу не принадлежат, и, стало быть, Элейн относится к дневному типу. Наконец, поскольку Эдвард относится к ночному типу и в то же время высказал ошибочное суждение, то он должен был бодрствовать. Поэтому ответ таков: сам Эдвард принадлежит к ночному типу и в тот момент бодрствовал, а его сестра относится к дневному типу.
9. Поскольку принцесса перешла в другое состояние, то, стало быть, одно из двух ее суждений было правильным, а другое ошибочным. Это означает, что из следующих двух высказываний одно истинно, а другое ложно:
(1) Король и королева принадлежат к разным типам.
(2) Король относится к дневному типу, а королева принадлежит к ночному типу.
Если высказывание (2) истинно, тогда высказывание (1) также должно быть истинным, однако мы знаем, что высказывания (2) и (1) не могут быть истинны одновременно. Таким образом, высказывание (2) должно быть ложным, а высказывание (1) — истинным. Поэтому король и королева действительно принадлежат к разным типам, но утверждение, что король относится к дневному типу, а королева — к ночному, не соответствует истине. Следовательно, король должен относиться к ночному типу, а королева—к дневному.
10. Предположим, что Орк принадлежит к дневному типу и в тот момент бодрствовал. Следует ли из этого предположения, что Орк должен быть колдуном? Да, следует, и вот почему. Допустим, что Орк действительно относится к дневному типу и в то время бодрствовал. Тогда его суждения правильны, откуда следует, что в случае, если он относится к дневному типу и бодрствует, то он и есть колдун. Но он принадлежит к дневному типу и бодрствует (лишь по предположению), следовательно, он должен быть колдуном (опять-таки, конечно, при условии, что он относится к дневному типу и бодрствует). Таким образом, предположение о том, что Орк относится к дневному типу и бодрствует, приводит нас к выводу, что он — колдун. Это, разумеется, вовсе не указывает ни того, что исходное предположение правильно, ни того, что он колдун, — мы доказали только то, что если бы он относился к дневному типу и бодрствовал, то в этом случае он должен был быть колдуном. Итак, мы установили гипотетическое утверждение, что если бы Орк принадлежал к дневному типу и бодрствовал, то в таком случае он — колдун. Но именно в это гипотетическое утверждение Орк в тот момент и верил; следовательно, мнение Орка было верным! Это означает, что Орк в то время либо относился к дневному типу и бодрствовал, либо принадлежал к ночному типу и спал, однако (пока) мы не можем точно сказать, какой из этих двух вариантов имел место на самом деле. Поэтому наше допущение о том, что Орк является колдуном, совсем не обязательно должно быть истиной, поскольку вполне может оказаться, что он принадлежит к ночному типу и в тот момент спал.
Далее, рассуждая подобным же образом, мы полагаем, что суждение Борка тоже верно. В самом деле, если Борк принадлежит к дневному типу и бодрствует или относится к ночному типу и спит — то в любом из этих случаев его суждение является правильным, откуда следует, что он непременно должен быть колдуном.
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