Интересно отметить, что составление каталога всех каталогов, не содержащих ссылки на самих себя, можно представить как бесконечный, никогда не завершающийся процесс. Допустим, что в какой-то момент был составлен каталог, скажем К>1, включающий все отличные от него каталоги, не содержащие ссылки на себя. С созданием К>1 появился ещё один каталог, не содержащий ссылки на себя. Так как задача заключается в том, чтобы составить полный каталог всех каталогов, не упоминающих себя, то очевидно, что К>1 не является её решением. Он не упоминает один из таких каталогов – самого себя. Включив в К>1 это упоминание о нём самом, получим каталог К>2. В нём упоминается К>1, но не сам К>2. Добавив к К>2 такое упоминание, получим К>3, который опять-таки не полон из-за того, что не упоминает самого себя. И далее без конца.
3. Парадоксы Греллинга и Берри
Интересный логический парадокс был открыт немецкими логиками К. Греллингом и Л. Нельсоном (парадокс Греллинга). Этот парадокс можно сформулировать очень просто.
Аутологические и гетерологические слова
Некоторые слова, обозначающие свойства, обладают тем самым свойством, которое они называют. Например, прилагательное «русское» само является русским, «многосложное» – само многосложное, а «пятислоговое» само имеет пять слогов. Такие слова, относящиеся к самим себе, называются самозначными, или аутологическими.
Подобных слов не так много, в подавляющем большинстве прилагательные не обладают свойствами, которые они называют. «Новое» не является, конечно, новым, «горячее» – горячим, «однослоговое» – состоящим из одного слога, а «английское» – английским. Слова, не имеющие свойства, обозначаемого ими, называются инозначными, или гетерологическими. Очевидно, что все прилагательные, обозначающие свойства, неприложимые к словам, будут гетерологическими.
Это разделение прилагательных на две группы кажется ясным и не вызывает возражений. Оно может быть распространено и на существительные: «слово» является словом, «существительное» – существительным, но «часы» – это не часы и «глагол» – не глагол.
Парадокс возникает, как только задаётся вопрос: к какой из двух групп относится само прилагательное «гетерологическое»? Если оно аутологическое, оно обладает обозначаемым им свойством и должно быть гетерологическим. Если же оно гетерологическое, оно не имеет называемого им свойства и должно быть поэтому аутологическим. Налицо парадокс.
По аналогии с этим парадоксом легко сформулировать другие парадоксы такой же структуры. Например, является или не является самоубийцей тот, кто убивает каждого несамоубийцу и не убивает ни одного самоубийцу?
Оказалось, что парадокс Греллига был известен ещё в средние века как антиномия выражения, не называющего самого себя. Можно представить себе отношение к софизмам и парадоксам в новое время, если проблема, требовавшая ответа и вызывавшая оживлённые споры, оказалась вдруг забытой и была переоткрыта только пятьсот лет спустя!
Ещё одна, внешне простая антиномия была указана в самом начале нашего века Д. Берри.
Множество натуральных чисел бесконечно. Множество же тех имён этих чисел, которые имеются, например, в русском языке и содержат меньше, чем, допустим, сто слов, является конечным. Это означает, что существуют такие натуральные числа, для которых в русском языке нет имён, состоящих менее чем из ста слов. Среди этих чисел есть, очевидно, наименьшее число. Его нельзя назвать посредством русского выражения, содержащего менее ста слов. Но выражение: «Наименьшее натуральное число, для которого не существует в русском языке его сложное имя, слагающееся менее чем из ста слов» является как раз именем этого числа! Это имя только что сформулировано в русском языке и содержит только девятнадцать слов. Очевидный парадокс: названным оказалось то число, для которого нет имени!
В основе одного знаменитого парадокса лежит как будто небольшое происшествие, случившееся две с лишним тысячи лет назад и не забытое до сих пор.
У знаменитого софиста Протагора, жившего в V в. до нашей эры, был ученик по имени Еватл, обучавшийся праву. По заключённому между ними договору Еватл должен был заплатить за обучение лишь в том случае, если выиграет свой первый судебный процесс. Если же он этот процесс проиграет, то вообще не обязан платить. Однако, закончив обучение, Еватл не стал участвовать в процессах. Это длилось довольно долго, терпение учителя иссякло, и он подал на своего ученика в суд. Таким образом, для Еватла это был первый процесс. Своё требование Протагор обосновал так:
