Александр Ивин - Искусство правильно мыслить

— Твое несчастье растрогало меня, и я дам тебе шанс получить назад ребенка. Угадай, отдам я его тебе или нет. Если ответишь правильно, я верну ребенка. Если не угадаешь, я его не отдам. Подумав, мать ответила:

— Ты не отдашь мне ребенка.

— Ты его не получишь, — заключил крокодил. — Ты сказала либо правду, либо неправду. Если то, что я не отдам ребенка, — правда, я не отдам его, так как иначе сказанное не будет правдой. Если сказанное — неправда, значит, ты не угадала, и я не отдам ребенка по уговору. Однако матери это рассуждение не показалось убедительным.

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

Кто прав: мать или крокодил? К чему обязывает крокодила данное им обещание? К тому, чтобы отдать ребенка, или, напротив, чтобы не отдавать его?

И к тому и к другому одновременно. Это обещание внутренне противоречиво и, таким образом, невыполнимо в силу законов логики.

Миссионер очутился у людоедов и попал как раз к обеду. Они разрешают ему выбрать в каком виде его съедят. Для этого он должен произнести какое-нибудь высказывание с условием, что если это высказывание окажется истинным, они его сварят, а если оно окажется ложным, его зажарят. Что следует сказать миссионеру?

Разумеется, он должен сказать: «Вы зажарите меня». Если его действительно зажарят, окажется, что он высказал истину и, значит, его надо сварить. Если же его сварят, его высказывание будет ложным и его следует как раз зажарить. Выхода у людоедов не будет: из «зажарить» вытекает «сварить», и наоборот.

Этот эпизод с хитрым миссионером является, конечно, еще одной из перефразировок спора Протагора и Еватла.

Интересный логический парадокс был открыт К. Греллингом и Л. Нельсоном.

Этот парадокс можно сформулировать очень просто. Некоторые слова, обозначающие свойства, обладают тем самым свойством, которое они называют. Например, прилагательное «русское» само является русским, «многосложное» — само многосложно, а «пятислоговое» само имеет пять слогов. Такие слова, относящиеся к самим себе, называются «самозначными» или «аутологическимн».

Подобных слов не так много, в подавляющем большинстве прилагательные не обладают называемым каждым из них свойством. «Новое» не является, конечно, новым, «горячее» — горячим, «однослоговое» — состоящим из одного слога, а «английское» английским. Слова, не имеющие свойства, обозначаемого ими, называются «инозначными» или «гетерологическими». Очевидно, что все прилагательные, обозначающие свойства, не приложимые к словам, будут гетерологическими.

Это разделение прилагательных на две группы кажется ясным и не вызывает возражений. Оно может быть распространено и на существительные: «слово» является словом, «существительное» — существительным, но «часы» — это не часы, а «глагол» — не глагол.

Парадокс возникает, как только задается вопрос: к какой из двух групп относится само прилагательное «гетерологическое»? Если оно аутологическое, оно обладает обозначаемым им свойством и должно быть гетерологическим. Если же оно гетерологическое, оно не имеет называемого им свойства и должно быть поэтому аутологическим. Налицо парадокс.

Еще одна внешне простая антиномия была указана в самом начале нашего века Д. Берри.

Множество натуральных чисел бесконечно. Множество же тех имен этих чисел, которые имеются, например, в русском языке и содержат меньше, чем, допустим, сто слов, является конечным. Это означает, что существуют такие натуральные числа, для которых в русском языке нет имен менее чем из ста слов. Среди этих чисел есть, очевидно, наименьшее число. Его нельзя назвать посредством русского выражения, содержащего менее ста слов. Но выражение «наименьшее натуральное число, для которого не существует в русском языке его сложное имя, слагающееся из менее чем ста слов» является как раз именем этого числа! Это имя сформулировано в русском языке и содержит только девятнадцать слов. Очевидный парадокс: названным оказалось то число, для которого нет имени!

Никакого исчерпывающего перечня логических парадоксов не существует.

Рассмотренные логические парадоксы – это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем будут открыты и многие другие парадоксальные рассуждения и даже совершенно новые их типы.