Логистика заставляет нас сказать все то, что обыкновенно подразумевается; она заставляет нас двигаться шаг за шагом; это, быть может, делает движение более верным, но не более быстрым.
Вы даете нам не крылья, а детские помочи. Но тогда мы имеем право требовать, чтобы эти помочи не давали нам падать. В такой помощи — единственное их оправдание. Если ценное имущество не приносит крупных доходов, то нужно по крайней мере, чтобы оно было в надежных руках.
Нужно ли следовать вашим правилам слепо? Конечно, да, иначе нам могла бы помочь разобраться в них одна только интуиция. Но в таком случае необходимо, чтобы эти правила были непогрешимы; слепое доверие можно питать только к непогрешимому авторитету. Для вас это необходимость. Вы должны быть непогрешимы, или вас не будет.
Вы не вправе сказать нам: «мы ошибаемся — это правда, но вы также ошибаетесь». Но наша ошибка для нас — несчастье, большое несчастье, для вас — это смерть.
Еще менее вправе вы сказать: «Разве непогрешимость арифметики препятствует ошибкам сложения? Правила счета непогрешимы, и все же мы видим, как ошибаются те, которые их применяют». Однако, просматривая их переделки, легко заметить, в какой момент они уклонились от правил. Здесь же совсем не то; логистики применили свои правила и впали в противоречие. Это настолько верно, что они готовы изменить правила и «пожертвовать понятием класса». Зачем же изменять правила, если они были непогрешимы?
«Мы не обязаны, — говорите вы, — разрешать hie et nunc[79] все возможные проблемы». О, мы от вас не требуем столь многого; если бы вы, разрешая проблему, не давали никакого решения, мы ничего не сказали бы; но вы, напротив, даете нам два решения, которые друг другу противоречат и из которых, следовательно, по крайней мере одно ложно. А это банкротство.
Рассел старается примирить эти противоречия и признает, что для такого примирения необходимо «ограничить понятие класса или даже пожертвовать им». Кутюра же, учитывая успех этой попытки, прибавляет: «если логистики достигнут того, что не удавалось другим, Пуанкаре не откажется вспомнить эту фразу и воздать должное решению логистики». Но это не так: логистика существует, она имеет свое уложение, вышедшее уже в четырех изданиях; или, правильнее, это уложение и есть сама логистика. Готов ли Рассел показать, что по крайней мере одно из двух противоречивых суждений вышло за пределы уложения? Отнюдь нет; он готов изменить эти законы, а некоторые из них и уничтожить. Если он успешно выполнит свою попытку, то я воздам должное интуиции Рассела, но не логистике Пеано, которую он таким образом разрушит.
Отсутствие противоречия
Я привел выше два главных возражения против того определения целого числа, которое принято в логистике. Какой ответ дает Кутюра на первое возражение?
Что обозначает в математике слово существовать? Оно обозначает, сказал я, отсутствие противоречия. Кутюра возражает против этого. Он говорит: «Логическое существование есть нечто отличное от отсутствия противоречия. Оно заключается в том факте, что некоторый класс не пуст; сказать: «элементы a существуют» — значит, согласно определению, утверждать, что класс не есть нулевой». И, само собой разумеется, утверждать, что класс a не есть нулевой, значит, согласно определению, утверждать, что элементы a существуют. Но одно из этих утверждений так же лишено смысла, как и другое, если только они оба не обозначают либо то, что можно это a видеть или осязать, либо то, что можно постигнуть a, не впадая в противоречие. Но в первом случае мы имеем дело с утверждением, которое принимают физики и натуралисты; во втором случае — с утверждением, которое выставляют логики и математики.
Для Кутюра не отсутствие противоречия доказывает бытие, а бытие доказывает отсутствие противоречия. Чтобы установить существование класса, нужно установить при помощи примера, что есть какой-нибудь индивид, принадлежащий к этому классу. «Но, — скажут, — как доказать существование такого индивида? Не надобно ли, чтобы это существование было установлено для того, чтобы мы из него могли вывести существование класса, к которому принадлежит индивид? Совсем нет. Как ни покажется парадоксальным такое утверждение, нужно сказать, что никогда не доказывают существования индивида. Индивиды уже по одному тому, что они индивиды, всегда рассматриваются как существующие. Абсолютно говоря, нет нужды высказывать, что индивид существует, а нужно лишь сказать, что он существует в классе». Кутюра находит свое собственное утверждение парадоксальным, и, конечно, не он один найдет его таковым. Это утверждение, однако, должно иметь свой смысл. Кутюра, без сомнения, хочет сказать, что существование индивида, который является единственным в мире и о котором ничего не утверждается, не может повлечь противоречия; пока он остается единственным, он, очевидно, никого не стесняет. Пусть так; допустим, «абсолютно говоря», существование индивида; но с этим существованием нам нечего делать; нам нужно будет доказать существование индивида «в классе», а для этого надобно будет доказать, что утверждение «такой-то индивид принадлежит к такому-то классу» не стоит в противоречии ни с самим собой, ни с другими принятыми постулатами.