Бесконечный регресс и основания математики (ЛП)

Он нашел математические доказательства поразительно ненадежными. "Подавляющая часть аргументации, которую мне было велено принять, была очевидно ошибочной" (ibid, р. 209). И он не был удовлетворен достоверностью аксиом ― геометрических и арифметических. Он отдавал себе полный отчет в скептической критике интуиции: раз и навсегда лейтмотивом его публикаций была борьба со "смешением психологически субъективного и логически априорного" (Russell, 1895, р. 245). Каким образом можно установить, что вводы истины сверху в теорию неоспоримы? Разбирая эту проблему, он проанализировал одну за другой аксиомы геометрии и арифметики и обнаружил, что они основываются на различных видах интуиции. В своей первой опубликованной статье (1896) Рассел проанализировал с этой точки зрения аксиомы евклидовой геометрии и нашел, что некоторые из аксиом с достоверностью истинны и в особенности a priori истинны, ибо "их отрицание влечет логические и философские несообразности" (Russell, 1896, р. 3). Он, например, квалифицировал как априорную истину гомогенность пространства, ибо "отсутствие гомогенности и пассивности абсурдно; философы, насколько я знаю, никогда не испытывали сомнений в этих двух свойствах пустого пространства: действительно, они по всей видимости вытекают из максимы, что ничего не может воздействовать на ничто… Мы должны, следовательно, на чисто философских основаниях принять это как аксиому, например, как аксиому конгруэнтности" (ibid, р. 4). С другой стороны, он квалифицировал аксиому о трехмерности пространства как эмпирическую, правда, он утверждал, что её достоверность почти настолько же велика, как если бы она была априорной истиной (ibid, р. 14). Эта аксиома, однако, "логически не необходима" [курсив мой. ― И.Л.] и только "предположительно её очевидность может быть извлечена из интуиции" (ibid, р. 23).

Итак, Рассел пытался установить иерархию априорных истин, "математических верований", геометрических или арифметических. Он "прочитывал книги, стараясь найти такую, которая представляла бы более твердую основу для них" (Russell, 1959, р. 209). Таким образом, он наткнулся на Фреге.*[19] Он сразу же признал решение Фреге ― извлечь всю математику из тривиальных логических принципов. Арифметическая интуиция была выброшена в мусорную корзину для отслуживших детривиализованных тривиальностей, разделив судьбу механической и геометрической интуиции, в то время как воцарилась логическая интуиция, причем не просто как "интуиция", но как непогрешимое интеллектуальное проникновение, как супертривиальная суперинтуиция. Арифметическая тривиализация математики была развенчана и замещена её логической тривиализацией.

Чтобы по достоинству оценить этот шаг, нам надо рассмотреть то особое место, которое занимает логическая интуиция. Евклидианцы развенчивали один за одним интуитивные источники ввода истины в теорию сверху, находимые (принимаемые) своими предшественниками. Открытие иррациональных чисел заставило древних греков отказаться от пифагорейской арифметической интуиции в пользу евклидианской геометрической интуиции: арифметика должна была быть переведена в кристально ясную геометрию. Чтобы завершить этот перевод, они разработали свою сложную "теорию пропорций". "Проясняя понятие иррационального числа", XIX в. переключился опять на арифметическую интуицию как на доминантную. Позднее за эту роль конкурировали канторовская теоретико-множественная интуиция, расселовская логическая интуиция, гильбертовская "глобальная" интуиция и интуиция "конструктивистов" брауэровского толка.*[20] В ходе этой баталии логическая интуиция играла особую роль: ибо всякий, кто выигрывал битву за аксиомы, вынужден был полагаться на логическую интуицию как на переносчика истины с верхушки теории к остальным ее частям. Даже эмпирицисты, которые громили в науке интуицию верхнего уровня (в то время как защищали интуицию снизу, фактуальную интуицию), должны были полагаться на тривиально надежную логику, позволяющую транслировать их опровержение вверх. Если критицизм мыслится определяющим, он должен наносить смертоносный удар, обеспеченный неопровержимой логикой. Особый статус логической интуиции объясняет, почему даже архипротивники интуиции не перечисляли логическую интуицию под рубрикой "интуиции" вообще ― ибо они нуждались в логической интуиции, чтобы критиковать другие виды интуиции. Но если догматик любой программы ― евклидианец любой деноминации, индуктивист, эмпирицист ― нуждается в тривиальной, поистине непогрешимой логической интуиции, то показать, что вся математика не нуждается в какой-либо другой интуиции, кроме логической, будет действительно огромной победой: как для аксиом, так и для трансляции истинности останется только один источник достоверности.