171. Из приведенной фразы нельзя заключить, был ли встречный человеком или упырем, но можно заключить, что он лишился рассудка. Человек в здравом уме не мог бы сказать о себе, что он упырь, а упырь, находящийся в здравом уме, знал бы, что он упырь, и, солгав, заявил бы: «Я человек». С другой стороны, человек, лишившийся рассудка, считал бы себя упырем и заявил бы об этом. Упырь, лишившийся рассудка, считал бы себя человеком и, солгав, заявил бы: «Я упырь».
172. Единственное заключение, к которому можно прийти на основании сделанного трансильванцем заявления, состоит в том, что он упырь. Человек в здравом уме не сказал бы о себе, что он лишился рассудка. Человек, лишившийся рассудка, считал бы, что находится в здравом уме, и, будучи человеком, не мог бы заявить о себе: «Я лишился рассудка».
173. Думаю, что таких утверждений X, Y существует немало, во всяком случае не одна пара. Я имел в виду следующие утверждения:
X: Если я в здравом уме, то я человек.
Y: Если я человек, то я в здравом уме.
Предположим, что некий трансильванец высказывает утверждение X. Докажем, что Y должно быть истинно, то есть если наш трансильванец – человек, то он в здравом уме. Предположим, что он человек. Тогда верно, что если он в здравом уме, то он человек (так как он человек). Значит, X истинно. Следовательно, наш трансильванец должен быть в здравом уме, поскольку люди, лишившиеся рассудка, не высказывают истинных утверждений. Отсюда мы заключаем, что если он человек, то находится в здравом уме. Следовательно, Y – истинно.
Наоборот, предположим, что наш трансильванец высказывает утверждение Y. Требуется доказать, что X истинно. Предположим, что трансильванец в здравом уме. Тогда Y должно быть истинно. Следовательно, трансильванец – человек (потому что упыри в здравом уме не высказывают истинных утверждений). Значит, он человек (в предположении, что он находится в здравом уме). Итак, если наш трансильванец в здравом уме, то он человек. Следовательно, X истинно.
174. Ответы на оба вопроса задачи утвердительны. Предположим, что некий трансильванец считает истинным какое-то утверждение X. Отсюда, как нетрудно понять, отнюдь не следует, что X должно быть истинным, так как трансильванец мог утратить рассудок. Но если он считает, что X истинно, то X должно быть истинно! Действительно, предположим, что трансильванец в здравом уме. Так как он считает, что утверждение о том, что он считает утверждение истинным, истинно, то его утверждение «я считаю X истинным» должно быть истинно. Следовательно, он действительно считает утверждение X истинным. А так как он в здравом уме, то X должно быть истинным. Предположим теперь, что трансильванец лишился рассудка. Так как он считает, что утверждение о том, что он считает X истинным, истинно, то его утверждение «я считаю истинным» должно быть ложным. Следовательно, в действительности он не считает X истинным (ему только кажется, что он считает!). Так как трансильванец не считает X истинным и лишился рассудка, то X должно быть истинным.