Следовательно, оно не может быть истинным. Итак, ты видишь, что зазеркальный логик никогда не бывает убежден в истинности любого истинного утверждения. Все утверждения, в истинности которых убежден зазеркальный логик, ложны.
Алисе пришлось изрядно поразмыслить над сказанным.
- Весьма сложное доказательство! - наконец сказала она.
- Ничего, со временем привыкнешь! - заверил ее Шалтай-Болтай.
Алиса поразмыслила еще немного.
- Мне хотелось бы спросить, - обратилась она к Шалтаю-Болтаю, обязательно ли зазеркальный логик должен быть убежден в истинности всех ложных утверждений или просто он убежден в истинности только ложных утверждений?
- Хороший вопрос, дитя мое! - одобрил ШалтайБолтай.
- И ответ на него хороший: "Да". Возьмем любое ложное утверждение. По условию 5 зазеркальный логик либо убежден в истинности этого утверждения, либо убежден в истинности противоположного утверждения. Но в истинности противоположного утверждения он не может быть убежден, так как оно истинно. Следовательно, зазеркальный логик убежден в истинности ложного утверждения.
- Как необычно!-воскликнула Алиса. - Подумать только! Зазеркальный логик убежден в истинности всех ложных и не убежден в истинности истинных утверждений!
- Совершенно верно! - сказал Шалтай-Болтай. - И это самое прекрасное в зазеркальной логике! Не могу не отметить еще одну весьма интересную ее особенность, - добавил он. - Всякий, кто убежден в истинности всех ложных и не убежден в истинности истинных утверждений и честно выражает свои убеждения, повторяю, всякий, кто придерживается таких убеждений, удовлетворяет пяти основным условиям, характеризующим зазеркальных логиков.
- Почему? - спросила Алиса.
- О, это очень легко доказать! - ответил ШалтайБолтай. Представим себе абсолютно честного человека, который убежден в истинности тех и только тех утверждений, которые ложны. Так как он честен, то, разумеется, удовлетворяет условию 1. А как обстоит дело с условием 2? Предположим, этот человек заявляет, что некоторое утверждение истинно. Поскольку он честен, этот человек действительно убежден в истинности того утверждения, .о котором идет речь. Следовательно, неверно, что он не убежден в истинности утверждения. Вместе с тем этот человек убежден в истинности всего, что ложно, даже если речь идет о ложных представлениях о его собственных убеждениях! Таким образом, неверно, что он не убежден в истинности утверждения, а, так как он убежден в истинности всего, что ложно, он должен быть убежден в ложном факте, состоящем в том, будто он не убежден в истинности утверждения. Иначе говоря, наш честный человек убежден, что он не убежден в истинности утверждения. А так как он убежден, что не убежден в истинности утверждения, то он заявляет, что не убежден в его истинности (напоминаю, что речь идет о честном человеке).