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

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

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

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

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

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

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

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

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

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

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

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

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

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

Парадоксы ставят важный вопрос: в чем собственно недостаток некоторых обычных методов образования понятий и методов рассуждений? Парадоксами подрывается вера в то, что привычные приемы теоретического мышления сами по себе и без всякого особого контроля за ними обеспечивают надежное продвижение к истине.

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

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

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

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

1. Тот, кто говорит: «Я ничего не знаю», высказывает как будто парадоксальное, внутренне противоречивое утверждение. Он заявляет в сущности: «Я знаю, что я ничего не знаю». Но знание того, что никакого знания нет, есть все-таки знание. Значит, говорящий, с одной стороны, уверяет, что никакого знания у него нет, а с другой — самим утверждением этого сообщает, что некоторое знание у него все-таки есть. В чем здесь дело?

Размышляя над этим затруднением, можно вспомнить, что Сократ выражал сходную мысль более осторожно. Он говорил: «Я знаю только то, что ничего не знаю». Зато другой древний грек, Метродор, с полной убежденностью утверждал: «Ничего не знаю и не знаю даже того, что я ничего не знаю». Нет ли в этом утверждении парадокса?

2. Исторические события уникальны. История, если она и повторяется, то, по известному выражению, первый раз как трагедия, а второй — как фарс. Из неповторимости исторических событий иногда выводится идея, что история ничему не учит. «Быть может, величайший урок истории, — пишет О.Хаксли, — действительно состоит в том, что никто никогда и ничему не научился из истории».