Алиса в стране смекалки - Смаллиан Р.М.
Скачать (прямая ссылка):
- Весьма сложное доказательство! - наконец сказала она.
- Ничего, со временем привыкнешь! - заверил ее Шалтай-Болтай.
Алиса поразмыслила еще немного.
- Мне хотелось бы спросить, - обратилась она к Шалтаю-Болтаю, - обязательно ли зазеркальный логик должен быть убежден в истинности всех ложных утверждений или просто он убежден в истинности только ложных утверждений?
- Хороший вопрос, дитя мое! - одобрил ШалтайБолтай. - И ответ на него хороший: "Да". Возьмем любое ложное утверждение. По условию 5 зазеркальный логик либо убежден в истинности этого утверждения, либо убежден в истинности противоположного утверждения. Но в истинности противоположного утверждения он не может быть убежден, так как оно истинно. Следовательно, зазеркальный логик убежден в истинности ложного утверждения.
- Как необычно! - воскликнула Алиса. - Подумать только! Зазеркальный логик убежден в истинности всех ложных и не убежден в истинности истинных утверждений!
- Совершенно верно! - сказал Шалтай-Болтай. - И это самое прекрасное в зазеркальной логике! Не могу не отметить еще одну весьма интересную ее особенность, - добавил он. -Всякий, кто убежден в истинности всех ложных и не убежден в истинности истинных утверждений и честно выражает свои
file:///G\/4 _Библиотека_КОЛХОЗ/Ыхо3-сИ5с05/М_МАШМ/МРОР_РОРЛ0.5МтШт (9of 13)19.01.2004 16:58:11
"Алиса в Стране Смекалки" - 10
убеждения, повторяю, всякий, кто придерживается таких убеждений, удовлетворяет пяти основным условиям, характеризующим зазеркальных логиков.
- Почему? - спросила Алиса.
- О, это очень легко доказать! - ответил ШалтайБолтай. -Представим себе абсолютно честного человека, который убежден в истинности тех и только тех утверждений, которые ложны. Так как он честен, то, разумеется, удовлетворяет условию 1. А как обстоит дело с условием 2? Предположим, этот человек заявляет, что некоторое утверждение истинно. Поскольку он честен, этот человек действительно убежден в истинности того утверждения, о котором идет речь. Следовательно, неверно, что он не убежден в истинности утверждения. Вместе с тем этот человек убежден в истинности всего, что ложно, даже если речь идет о ложных представлениях о его собственных убеждениях! Таким образом, неверно, что он не убежден в истинности утверждения, а, так как он убежден в истинности всего, что ложно, он должен быть убежден в ложном факте, состоящем в том, будто он не убежден в истинности утверждения. Иначе говоря, наш честный человек убежден, что он не убежден в истинности утверждения. А так как он убежден, что не убежден в истинности утверждения, то он заявляет, что не убежден в его истинности (напоминаю, что речь идет о честном человеке). Следовательно, наш честный человек удовлетворяет условию 2.
Перейдем теперь к условию 3. Возьмем любое истинное утверждение. Так как оно истинно, то тот. кто убежден в истинности ложных и не убежден в истинности истинных утверждений, не убежден в истинности выбранного нами произвольного истинного утверждения. Так как он не убежден в истинности утверждения, то должен быть убежден, что убежден в его истинности (поскольку все его убеждения правильнее было бы назвать заблуждениями!). А раз он убежден, что убежден в истинности утверждения, он не может не заявить, что убежден в его истинности. Тем самым доказано, что он удовлетворяет условию 3.
- Условия 4 и 5 очевидны, - продолжал Шалтай-Болтай, -Возьмем любое утверждение и противоположное утверждение. Одно из них должно быть истинно, другое ложно.
Ше:Шу4 _Библиотека_КОЛХОЗ/Ыхо3-{И5с05/М_МАШМ/МРОР_РОРЛ0.5МтШт (10оС 13)19.01.2004 16:58:11
"Алиса в Стране Смекалки" -10
Следовательно, тот, кто убежден в истинности ложных и не убежден в истинности истинных утверждений, убежден в истинности ложного (прямого или противоположного) утверждения и не убежден в истинности истинного. Значит, он не убежден в истинности обоих утверждений (и поэтому удовлетворяет условию 4), но зато убежден в истинности по крайней мере одного из них (и поэтому удовлетворяет условию 5).
- Вот и вся история, - заключил Шалтай-Болтай. -Зазеркальный логик - человек честный, но судит обо всем превратно. И наоборот, всякий, кто и честен, и судит обо всем превратно, удовлетворяет пяти условиям, отличающим зазеркального логика от прочих смертных. Вот тебе ключ к разгадке всех загадок!
- Одно все-таки мне неясно, - сказала Алиса. - Почему зазеркальный логик никогда не высказывает какое-нибудь утверждение и противоположное утверждение и вместе с тем заявляет, что утверждение и противоположное ему оба истинны?
- Что же тут непонятного? Все очень просто, - возразил Шалтай-Болтай. - Взять, например, утверждение о том, что Черный Король спит. Ему противоположно утверждение о том, что Черный Король бодрствует. Ясно, одно из этих утверждений истинно, а другое ложно. Зазеркальный логик убежден в истинности только того утверждения, которое ложно, поэтому он не может быть убежден в истинности прямого и противоположного утверждения в отдельности. Тем не менее отдельно взятое утверждение о том, что Черный Король одновременно и спит, и бодрствует, ложно. Следовательно, зазеркальный логик должен быть убежден в его истинности.
