Искусство правильно мыслить
Шрифт:
— Твое несчастье растрогало меня, и я дам тебе шанс получить назад ребенка. Угадай, отдам я его тебе или нет. Если ответишь правильно, я верну ребенка. Если не угадаешь, я его не отдам. Подумав, мать ответила:
— Ты не отдашь мне ребенка.
— Ты его не получишь, — заключил крокодил. — Ты сказала либо правду, либо неправду. Если то, что я не отдам ребенка, — правда, я не отдам его, так как иначе сказанное не будет правдой. Если сказанное — неправда, значит, ты не угадала, и я не отдам ребенка по уговору. Однако матери это рассуждение не показалось убедительным.
— Но ведь если я сказала правду, то ты отдашь мне ребенка, как мы
Кто прав: мать или крокодил? К чему обязывает крокодила данное им обещание? К тому, чтобы отдать ребенка, или, напротив, чтобы не отдавать его?
И к тому и к другому одновременно. Это обещание внутренне противоречиво и, таким образом, невыполнимо в силу законов логики.
Миссионер очутился у людоедов и попал как раз к обеду. Они разрешают ему выбрать в каком виде его съедят. Для этого он должен произнести какое-нибудь высказывание с условием, что если это высказывание окажется истинным, они его сварят, а если оно окажется ложным, его зажарят. Что следует сказать миссионеру?
Разумеется, он должен сказать: «Вы зажарите меня». Если его действительно зажарят, окажется, что он высказал истину и, значит, его надо сварить. Если же его сварят, его высказывание будет ложным и его следует как раз зажарить. Выхода у людоедов не будет: из «зажарить» вытекает «сварить», и наоборот.
Этот эпизод с хитрым миссионером является, конечно, еще одной из перефразировок спора Протагора и Еватла.
ЕЩЕ ДВА ПАРАДОКСА
Интересный логический парадокс был открыт К. Греллингом и Л. Нельсоном.
Этот парадокс можно сформулировать очень просто. Некоторые слова, обозначающие свойства, обладают тем самым свойством, которое они называют. Например, прилагательное «русское» само является русским, «многосложное» — само многосложно, а «пятислоговое» само имеет пять слогов. Такие слова, относящиеся к самим себе, называются «самозначными» или «аутологическимн».
Подобных слов не так много, в подавляющем большинстве прилагательные не обладают называемым каждым из них свойством. «Новое» не является, конечно, новым, «горячее» — горячим, «однослоговое» — состоящим из одного слога, а «английское» английским. Слова, не имеющие свойства, обозначаемого ими, называются «инозначными» или «гетерологическими». Очевидно, что все прилагательные, обозначающие свойства, не приложимые к словам, будут гетерологическими.
Это разделение прилагательных на две группы кажется ясным и не вызывает возражений. Оно может быть распространено и на существительные: «слово» является словом, «существительное» — существительным, но «часы» — это не часы, а «глагол» — не глагол.
Парадокс возникает, как только задается вопрос: к какой из двух групп относится само прилагательное «гетерологическое»? Если оно аутологическое, оно обладает обозначаемым им свойством и должно быть гетерологическим. Если же оно гетерологическое, оно не имеет называемого им свойства и должно быть поэтому аутологическим. Налицо парадокс.
Еще одна внешне простая антиномия была указана в самом начале нашего века Д. Берри.
Множество натуральных чисел бесконечно. Множество же тех имен этих чисел, которые имеются, например, в русском языке и содержат меньше, чем, допустим, сто слов, является конечным. Это означает, что существуют такие натуральные
ЧТО ТАКОЕ ЛОГИЧЕСКИЙ ПАРАДОКС?
Никакого исчерпывающего перечня логических парадоксов не существует.
Рассмотренные логические парадоксы – это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем будут открыты и многие другие парадоксальные рассуждения и даже совершенно новые их типы.
Само понятие парадокса не является настолько определенным, чтобы удалось составить список хотя бы уже известных парадоксов.
Логические парадоксы не отделяются жестко от всех иных парадоксов, подобно тому как последние не отграничиваются ясно от всего непарадоксального и согласующегося с господствующими представлениями.
Парадоксы ставят важный вопрос: в чем собственно недостаток некоторых обычных методов образования понятий и методов рассуждений? Парадоксами подрывается вера в то, что привычные приемы теоретического мышления сами по себе и без всякого особого контроля за ними обеспечивают надежное продвижение к истине.
Требуя радикальных изменений в излишне доверчивом подходе к теоретизированию, парадоксы представляют собой резкую критику логики в ее наивной, интуитивной форме. Они играют роль фактора, контролирующего и ставящего ограничения на пути конструирования дедуктивных систем логики. И эту их роль можно сравнить с ролью эксперимента, проверяющего правильность систем таких наук, как, скажем, физика и химия, и заставляющего вносить в них изменения.
Парадокс в теории говорит о несовместимости допущений, лежащих в ее основе. Он выступает как своевременно обнаруженный симптом болезни, без которого ее можно было бы и проглядеть. Разумеется, болезнь проявляется многообразно, и ее в конце концов удается раскрыть и без таких острых симптомов, как парадоксы. Скажем, основания математической теории множеств были бы проанализированы и уточнены, если бы даже никакие парадоксы в этой области не были обнаружены. Но не было бы той резкости и неотложности, с какой поставили проблему пересмотра теории множеств обнаруженные в ней парадоксы.
НЕСКОЛЬКО ПАРАДОКСОВ, ИЛИ ТО, ЧТО ПОХОЖЕ НА НИХ
И в заключение этого короткого рассмотрения логических парадоксов — несколько задач, размышление над которыми будет полезно для читателя.
Нужно решить, являются ли приводимые утверждения и рассуждения действительно логическими парадоксами или только кажутся ими. Для этого следует, очевидно, как-то перестроить исходный материал и попытаться вывести из него противоречие: и утверждение и отрицание одного и того же об одном и том же. Если обнаруживается парадокс, можно подумать над тем, с чем связано его возникновение и как его устранить. Можно даже попытаться придумать свой собственный парадокс такого же типа, т. е. строящийся по той же схеме, но на основе других понятий.