Принцесса или тигр? (Смаллиан) - страница 26

С другой стороны, сам Фрэд полагает, что Дэн входит в комитет V. Но при этом Дэн состоит в V только в том случае, если его друг Эдвард входит в комитет 2 (по определению V). Иными словами, два этих утверждения либо оба истинны, либо оба ложны. Тогда, поскольку Фрэд полагает, что Дэн входит в V, он (Фрэд) должен считать, что Эдвард состоит в комитете 2.

Таким образом, мы имеем двух обитателей, Эдварда и Фрэда, каждый из которых убежден в следующей Эдвард — что Фрэд входит в комитет 1, а Фрэд — что Эдвард состоит в комитете 2. Это и есть решение задачи 12.

Для решения задачи 10 выберем в качестве комитета 1 множество всех пациентов, а в качестве комитете множество всех врачей — эти комитеты существуют согласно условиям 1 и 2. В соответствии с решений задачи 12 существуют два обитателя лечебницы — Эдвард и Фрэд, которые уверены в следующем: Эдвард — в том, что Фрэд входит в составленный из пациентов комитет 1, а Фрэд — в том, что Эдвард входит в составленный из врачей комитет 2. Другими словами, Эдвард считает, что Фрэд является пациентом, а Фрэд уверен, что Эдвард — врач. Тогда, следуя решению задачи 1 (заменив лишь имена Джонс и Смит на Эдвард и Фрэд), мы находим, что один из названых обитателей, то есть Эдвард или Фрэд (кто именно, не известно), должен оказаться либо лишившимся рассудка врачом, либо находящимся в здравом уме пациентом. Ясно, что в любом из этих случаев ситуация в лечебнице будет явно ненормальной.

Обращаясь теперь к задаче 11, предположим, все находящиеся в здравом уме обитатели лечебницы все ее обитатели, лишившиеся рассудка, также составляют собой комитеты, а именно комитеты 1 и 2 соответственно. Тогда, согласно полученному только что решению задачи 12, обитатели Эдвард и Фрэд будут уверены в следующем:

а) Эдвард — в том, что Фрэнк находится в здравом уме, или, иными словами, что состоит членом комитета 1;

б) Фрэд — в том, что Эдвард лишился рассудка, а значит, состоит членом комитета 2.

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