Алиса в Стране Смекалки

Страница: 1 ... 8586878889909192939495 ... 116

17. Король и Королева Бубен. Никто из этой августейшей четы не может думать о себе, что он не в своем уме. Действительно, человек в здравом рассудке знает в соответствии с истиной, что он в своем уме, а безумец ошибочно полагает, что он в своем уме. Следовательно, Королева в действительности не думает, что она не в своем уме. Значит, не в своем уме Король, который считает, что Королева так думает.

Данные задачи не позволяют утверждать что-либо относительно того, в своем ли уме Королева Бубен.

18. Мартовский Заяц, Болванщик и Соня. Предположим, что Болванщик в своем уме. Тогда он обо всем судит здраво. Значит, Мартовский Заяц не думает, что все три участника безумного чаепития в своем уме. Следовательно, Мартовский Заяц должен быть в своем уме потому, что если бы он был не в своем уме, то разделял бы ложное мнение о том, что все три участника безумного чаепития в своем уме. Но тогда, Соня, считающая, что Мартовский Заяц в здравом рассудке, сама должна быть в своем уме. Значит, все три участника безумного чаепития должны быть в своем уме. Как же в таком случае мог Мартовский Заяц не признавать истинным утверждение о том, что все три участника безумного чаепития в своем уме? Полученное противоречие доказывает, что предположение о том, будто Болванщик в своем уме, ложно: в действительности Болванщик должен быть не в своем уме.

Так как Болванщик должен быть не в своем уме, он судит обо всем превратно, и поэтому Мартовский Заяц думает, что все три участника безумного чаепития в здравом рассудке. Разумеется, Мартовский Заяц заблуждается (так как Болванщик не в своем уме), поэтому Мартовский Заяц также не в своем уме. Но тогда и Соня, считающая, что Мартовский Заяц в здравом рассудке, также не в своем уме.

Итак, все трое участников безумного чаепития не в своем уме (что, впрочем, не слишком удивительно!).

19. Грифон, Черепаха Квази и Омар. Прежде всего Грифон и Черепаха Квази должны быть «одинаковыми», то есть либо оба не в своем уме, либо оба в здравом рассудке, так как Черепаха Квази считает, что Грифон в своем уме. Если Черепаха Квази в здравом рассудке, то это означает, что Грифон в своем уме. Если же Черепаха Квази не в своем уме, то он судит обо всем превратно. Значит, Грифон в действительности не в здравом рассудке, а безумен. Таким образом, Грифок и Черепаха Квази оба не в своем уме.

Докажем теперь, что Омар не в своем уме. Будем рассуждать от противного: предположим, что он в своем уме. Тогда Омар обо всем судит здраво и, следовательно, Грифон действительно считает, что ровно один из троих (Грифон, Черепаха Квази и Омар) в своем уме. Но это невозможно, так как если Грифон в своем уме, то Черепаха Квази (равно как и Омар) в своем уме, поэтому утверждение о том, что ровно один из них в своем уме, ложно (так как в своем уме все трое). Следовательно, Грифон, будучи в здравом рассудке, так думать не мог. С другой стороны, если Грифон в своем уме, то утверждение о том, что ровно один из троих (а именно Омар, так как Черепаха Квази не в своем уме) в здравом рассудке, истинно. Но существо, которое не в своем уме, не может мыслить истинными суждениями. Следовательно, предположение о том, что Омар в своем уме, приводит к противоречию. Значит, Омар не может быть в здравом рассудке: он должен быть не в своем уме.

— 90 —
Страница: 1 ... 8586878889909192939495 ... 116