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

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

Итак, Гусеница не в своем уме, а Ящерка Билль в здравом рассудке.

15. Кухарка и Кот. Если бы кухарка была не в своем уме, то ее мнение о том, что по крайней мере один из двух — либо она, либо Чеширский Кот — не в своем уме, было бы истинным. Но тогда мы имели бы человека, который, будучи не в своем уме, придерживается здравых суждений, что противоречит условиям задачи. Следовательно, кухарка должна быть в здравом рассудке. А поскольку она в здравом уме, то ее суждения истинны, и поэтому один из двух — либо она, либо Чеширский Кот — не в своем уме. Поскольку этот «один» не кухарка, им должен быть Чеширский Кот.

Итак, кухарка в здравом рассудке, а Чеширский Кот не в своем уме.

16. Лакей-Лещ и Лягушонок. Приведенные в условиях задачи сведения не позволяют определить, в здравом ли рассудке или не в своем уме Лакей-Лещ, но мы докажем, что Лягушонок должен быть в здравом рассудке. Будем рассуждать следующим образом.

Имеются две возможности: либо Лакей-Лещ в здравом рассудке, либо он не в своем уме. Покажем, что и в том и в другом случае Лягушонок должен быть в здравом рассудке.

Предположим, что Лакей-Лещ в здравом рассудке. Тогда он судит обо всем правильно. Значит, Лягушонок действительно во всем схож с Лакеем-Лещом. Следовательно, Лягушонок в здравом рассудке.

С другой стороны, предположим, что Лакей-Лещ не в своем уме. Тогда он обо всем судит превратно, поэтому Лягушонок совершенно несхож с Лакеем-Лещом. Так как Лакей-Лещ не в своем уме, то Лягушонок в противоположность ему должен быть в здравом рассудке.

Итак, в любом случае (в здравом ли рассудке Лакей-Лещ или не своем уме) Лягушонок должен быть в здравом уме.

А что если бы Лакей-Лещ считал Лягушонка не во всем схожим, а во всем несхожим с собой? Каким был бы тогда Лакей-Лещ — в здравом рассудке или не в своем уме?

Ответ: Лягушонок в таком случае должен был быть не в своем уме. Доказательство этого утверждения я предоставляю читателю в качестве самостоятельного упражнения.

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

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

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

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

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

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