По законам логики

Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылки на самих себя. Должен ли такой каталог включать ссылку на себя?

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

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

Допустим, что в какой-то момент был составлен каталог, скажем К₁ включающий все отличные от него каталоги, не содержащие ссылки на себя. С созданием K

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

но не сам К₂.

Добавив к К₂ такое упоминание, получим К₃, который опять-таки неполон из-за того, что не упоминает самого себя. И так далее без конца.

ПАРАДОКСЫ ГРЕЛЛИНГА И БЕРРИ

Интересный логический парадокс был открыт немецкими логиками К. Греллингом и Л. Нельсоном («парадокс Греллинга»). Этот парадокс можно сформулировать очень просто.

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

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

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

По аналогии с этим парадоксом легко сформулировать другие парадоксы такой же структуры. Например, является или не является самоубийцей тот, кто убивает каждого несамоубийцу и не убивает ни одного самоубийцу?

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

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

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

ДВА-ТРИ ПРИМЕРА

Хорошо известно описание Н. Гоголем игры Чичикова с Ноздревым в шашки. Их партия так и не закончилась. Чичиков заметил, что Ноздрев мошенничает, и отказался играть, опасаясь проигрыша. Недавно один специалист по шашкам восстановил по репликам игравших ход этой партии и показал, что позиция Чичикова не была еще безнадежной.