Рэймонд Смаллиан
Алиса в стране смекалки.
Стр.069
Тогда то, что в нем говорится, должно соответствовать действительности. Но в нем говорится, что оно ложно. Следовательно, в действительности оно должно быть ложно. Значит, если оно истинно, то оно ложно. Но одно и то же утверждение не может быть одновременно и истинным, и ложным. Следовательно, оно не может быть истинным.
- Совершенно верно! - сказала Алиса. - А раз оно не может быть истинным, то должно быть ложным.
- Опять неправильно! - торжествующе сказал Шалтай-Болтай. - Оно не может быть и ложным!
- А почему? - спросила Алиса.
- А вот почему. Предположим, что оно ложно. Тогда то, что в нем говорится, не соответствует действительности. Но в нем говорится, что оно ложно. Поскольку то, что в нем говорится, не соответствует действительности, оно в действительности не ложно. Значит, в действительности оно истинно. Следовательно, если оно ложно, то оно истинно, и мы опять приходим к противоречию. Значит, это утверждение не может быть ложным. Вот тебе и весь сказ!
- Как же быть? - огорченно сказала Алиса. - Я опять в таком же затруднительном положении, как с вашей первой задачей!
- Совершенно верно! - согласился Шалтай-Болтай. И это самое прекрасное.
- Припоминаю, - продолжала Алиса, - что мне приходилось слышать о похожем парадоксе и раньше - историю о древнегреческом философе Эпимениде Критском. По преданию, он сказал:
"Все критяне лжецы". Если Эпименид говорит правду, то он лжет, а если Эпименид лжет, то он говорит правду. Это и есть парадокс.
- Неправильно! - решительно возразил Шалтай-Болтай.
- Это не парадокс, а распространенная логическая ошибка.
Одна из таких ошибок, которые только выглядят как парадокс, а на самом деле никакой это не парадокс!
- Не могли бы вы объяснить это мне подробнее? - попросила Алиса.
- Прежде всего выясним, кого ты называешь лжецом - того, кто все время лжет, или того, кто лжет время от времени?
| 001 002 003 004 005 006 007 008 009 010 011 012 013 |
| 014 015 016 017 018 019 020 021 022 023 024 025 026 |
| 027 028 029 030 031 032 033 034 035 036 037 038 039 |
| 040 041 042 043 044 045 046 047 048 049 050 051 052 |
| 053 054 055 056 057 058 059 060 061 062 063 064 065 |
| 066 067 068 069 070 071 072 073 074 075 076 077 078 |
| 079 080 081 082 083 084 085 086 087 088 089 090 091 |
| 092 093 094 095 096 097 098 099 100 101 102 103 104 |
| 105 106 107 108 109 110 111 112 113 114 115 116 117 |
| 118 119 120 121 122 123 124 125 126 127 128 129 130 |
| 131 132 133 134 135 136 137 138 139 140 141 142 143 |