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

— О, это очень легко доказать! — ответил Шалтай-Болтай. — Представим себе абсолютно честного человека, который убежден в истинности тех и только тех утверждений, которые ложны. Так как он честен, то, разумеется, удовлетворяет условию 1. А как обстоит дело с условием 2? Предположим, этот человек заявляет, что некоторое утверждение истинно. Поскольку он честен, этот человек действительно убежден в истинности того утверждения, о котором идет речь. Следовательно, неверно, что он не убежден в истинности утверждения. Вместе с тем этот человек убежден в истинности всего, что ложно, даже если речь идет о ложных представлениях о его собственных убеждениях! Таким образом, неверно, что он не убежден в истинности утверждения, а, так как он убежден в истинности всего, что ложно, он должен быть убежден в ложном факте, состоящем в том, будто он не убежден в истинности утверждения. Иначе говоря, наш честный человек убежден, что он не убежден в истинности утверждения. А так как он убежден, что не убежден в истинности утверждения, то он

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

Перейдем теперь к условию 3. Возьмем любое истинное утверждение. Так как оно истинно, то тот, кто убежден в истинности ложных и не убежден в истинности истинных утверждений, не убежден в истинности выбранного нами произвольного истинного утверждения. Так как он не убежден в истинности утверждения, то должен быть убежден, что убежден в его истинности (поскольку все его убеждения правильнее было бы назвать заблуждениями!). А раз он убежден, что убежден в истинности утверждения, он не может не заявить, что убежден в его истинности. Тем самым доказано, что он удовлетворяет условию 3.

— Условия 4 и 5 очевидны, — продолжал Шалтай-Болтай. — Возьмем любое утверждение и противоположное утверждение. Одно из них должно быть истинно, другое ложно. Следовательно, тот, кто убежден в истинности ложных и не убежден в истинности истинных утверждений, убежден в истинности ложного (прямого или противоположного) утверждения и не убежден в истинности истинного. Значит, он не убежден в истинности обоих утверждений (и поэтому удовлетворяет условию 4), но зато убежден в истинности по крайней мере одного из них (и поэтому удовлетворяет условию 5).

— Вот и вся история, — заключил Шалтай-Болтай. — Зазеркальный логик — человек честный, но судит обо всем превратно. И наоборот, всякий, кто и честен, и судит обо всем превратно, удовлетворяет пяти условиям, отличающим зазеркального логика от прочих смертных. Вот тебе ключ к разгадке всех загадок!

— Одно все-таки мне неясно, — сказала Алиса. — Почему зазеркальный логик никогда не высказывает какое-нибудь утверждение и противоположное утверждение и вместе с тем заявляет, что утверждение и противоположное ему оба истинны?

— Что же тут непонятного? Все очень просто, — возразил Шалтай-Болтай. — Взять, например, утверждение о том, что Черный Король спит. Ему противоположно утверждение о том, что Черный Король бодрствует. Ясно, одно из этих утверждений истинно, а другое ложно. Зазеркальный логик убежден в истинности только того утверждения, которое ложно, поэтому он не может быть убежден в истинности прямого и противоположного утверждения в отдельности. Тем не менее отдельно взятое утверждение о том, что Черный Король одновременно и спит, и бодрствует, ложно. Следовательно, зазеркальный логик должен быть убежден в его истинности.

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

Вот как ответил сам Шалтай-Болтай на свои же вопросы.

1. Так как зазеркальный логик убежден, что Черный Король спит, в действительности Черный Король должен бодрствовать. Следовательно, Алиса не снится Черному Королю. (Под «снится» я отнюдь не имею в виду «грезится наяву»!) А так как Алиса Черному Королю не снится, зазеркальный логик должен быть убежден, что Алиса снится Черному Королю.

2. Так как зазеркальный логик убежден, что либо Черный Король, либо Черная Королева спит, то в действительности неверно, что либо Черный Король, либо Черная Королева спит. Следовательно, они оба бодрствуют. А так как Черная Королева бодрствует, зазеркальный логик должен быть убежден, что она спит (и по той же причине он должен быть убежден, что Черный Король спит).

3. Зазеркальный логик убежден, что Черный Король спит. Это означает лишь, что Черный Король бодрствует, но ничего не говорит нам о том, спит ли Черная Королева или бодрствует. Поэтому мы ничего не можем сказать о том, убежден ли зазеркальный логик, что Черная Королева спит.

4. Иное дело четвертый вопрос! Так как зазеркальный логик убежден, что Черный Король спит, то это неверно, и в действительности Черный Король бодрствует. Следовательно, заведомо неверно, что Черный Король и Черная Королева оба спят. Значит, зазеркальный логик должен быть убежден, что Черный Король и Черная Королева оба спят.