Итак, кухарка в здравом рассудке, а Чеширский Кот не в своем уме.
16. Лакей-Лещ и Лягушонок. Приведенные в условиях задачи сведения не позволяют определить, в здравом ли рассудке или не в своем уме Лакей-Лещ, но мы докажем, что Лягушонок должен быть в здравом рассудке. Будем рассуждать следующим образом.
Имеются две возможности: либо Лакей-Лещ в здравом рассудке, либо он не в своем уме. Покажем, что и в том и в другом случае Лягушонок должен быть в здравом рассудке.
Предположим, что Лакей-Лещ в здравом рассудке. Тогда он судит обо всем правильно. Значит, Лягушонок действительно во всем схож с Лакеем-Лещом. Следовательно, Лягушонок в здравом рассудке.
С другой стороны, предположим, что Лакей-Лещ не в своем уме. Тогда он обо всем судит превратно, поэтому Лягушонок совершенно несхож с Лакеем-Лещом. Так как Лакей-Лещ не в своем уме, то Лягушонок в противоположность ему должен быть в здравом рассудке.
Итак, в любом случае (в здравом ли рассудке Лакей-Лещ или не своем уме) Лягушонок должен быть в здравом уме.
А что если бы Лакей-Лещ считал Лягушонка не во всем схожим, а во всем несхожим с собой? Каким был бы тогда Лакей-Лещ - в здравом рассудке или не в своем уме?
Ответ: Лягушонок в таком случае должен был быть не в своем уме. Доказательство этого утверждения я предоставляю читателю в качестве самостоятельного упражнения.
17. Король и Королева Бубен. Никто из этой августейшей четы не может думать о себе, что он не в своем уме.
Действительно, человек в здравом рассудке знает в соответствии с истиной, что он в своем уме, а безумец ошибочно полагает, что он в своем уме. Следовательно, Королева в действительности не думает, что она не в своем уме. Значит, не в своем уме Король, который считает, что Королева так думает.
Данные задачи не позволяют утверждать что-либо относительно того, в своем ли уме Королева Бубен.
18. Мартовский Заяц, Болванщик и Соня. Предположим, что Болванщик в своем уме. Тогда он обо всем судит здраво.
Значит, Мартовский Заяц не думает, что все три участника безумного чаепития в своем уме. Следовательно, Мартовский Заяц должен быть в своем уме потому, что если бы он был не в своем уме, то разделял бы ложное мнение о том, что все три участника безумного чаепития в своем уме. Но тогда, Соня, считающая, что Мартовский Заяц в здравом рассудке, сама должна быть в своем уме. Значит, все три участника безумного чаепития должны быть в своем уме. Как же в таком случае мог Мартовский Заяц не признавать истинным утверждение о том, что все три участника безумного чаепития в своем уме? Полученное противоречие доказывает, что предположение о том, будто Болванщик в своем уме, ложно: в действительности Болванщик должен быть не в своем уме.
Так как Болванщик должен быть не в своем уме, он судит обо всем превратно, и поэтому Мартовский Заяц думает, что все три участника безумного чаепития в здравом рассудке.
Разумеется, Мартовский Заяц заблуждается (так как Болванщик не в своем уме), поэтому Мартовский Заяц также не в своем уме. Но тогда и Соня, считающая, что Мартовский Заяц в здравом рассудке, также не в своем уме.
Итак, все трое участников безумного чаепития не в своем уме (что, впрочем, не слишком удивительно!).
19. Грифон, Черепаха Квази и Омар. Прежде всего Грифон и Черепаха Квази должны быть "одинаковыми", то есть либо оба не в своем уме. либо оба в здравом рассудке, так как Черепаха Квази считает, что Грифон в своем уме. Если Черепаха Квази в здравом рассудке, то это означает, что Грифон в своем уме. Если же Черепаха Квази не в своем уме, то он судит обо всем превратно. Значит, Грифон в действительности не в здравом рассудке, а безумен. Таким образом, Грифон и Черепаха Квази оба не в своем уме.
Докажем теперь, что Омар не в своем уме. Будем рассуждать от противного: предположим, что он в своем уме. Тогда Омар обо всем судит здраво и, следовательно. Грифон действительно считает, что ровно один из троих (Грифон, Черепаха Квази и Омар) в своем уме. Но это невозможно, так как если Грифон в своем уме, то Черепаха Квази (равно как и Омар) в своем уме, поэтому утверждение о том, что ровно один из них в своем уме, ложно (так как в своем уме все трое). Следовательно, Грифон, будучи в здравом рассудке, так думать не мог. С другой стороны, если Грифон в своем уме, то утверждение о том, что ровно один из троих (а именно Омар, так как Черепаха Квази не в своем уме) в здравом рассудке, истинно. Но существо, которое не в своем уме, не может мыслить истинными суждениями. Следовательно, предположение о том, что Омар в своем уме, приводит к противоречию. Значит, Омар не может быть в здравом рассудке: он должен быть не в своем уме.
Итак, мы знаем, что Омар не в здравом рассудке. Значит, в действительности неверно, будто Грифон считает, что разумен ровно один из троих (Грифон, Черепаха Квази и Омар). Если Грифон не в своем уме, то Черепаха Квази также не в своем уме, и, таким образом, все трое не в своем уме.
Следовательно, утверждение о том, что не в своем уме ровно один из троих, ложно. Это означает, что Грифон, будучи не в своем уме, должен принимать за истинные все ложные утверждения, в частности утверждение о том, что ровно один из троих в здравом рассудке, хотя, как мы уже доказали, он так не думает. Полученное противоречие показывает, что Грифон не может быть не в своем уме. Следовательно, Грифон в здравом рассудке и Черепаха Квази (будучи таким же безумным или здравомыслящим), как Грифон, должен быть в своем уме.
Ответ: Омар не в своем уме. Грифон и Черепаха Квази оба в здравом рассудке.
20. Король и Королева Червей. Королева Пик думает, что Король Пик думает, что она не в своем уме.
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