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

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

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

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

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

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

ЧТО ТАКОЕ ЛОГИЧЕСКИЙ ПАРАДОКС?

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

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

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

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

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