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

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

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

В Древней Греции пользовался большой популярностью рассказ о крокодиле и матери.

Крокодил выхватил у женщины, стоявшей на берегу реки, ее ребенка. На ее мольбу вернуть ребенка крокодил, пролив, как всегда, крокодилову слезу, ответил:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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