В случае с теорией типов Рассел снова впал в "резиновый евклидианизм". Он был убежден, что существовало тривиальное решение "парадокса Рассела". Это оставалось, конечно, весьма смутной надеждой, поскольку здесь в отличие от изощренного парадокса Бурали – Форти было показано, что самые тривиальные общедоступные утверждения противоречивы, и, чтобы улучшить ситуацию, надо было допустить, что отрицание некоторой аксиомы здравого смысла истинно. Решение Цермело ― сознательно принять отрицание принципа абстракции*[23], выглядевшего тривиально истинным, ― было в этом направлении. Однако евклидиански мыслящий Рассел отбросил такое решение. Он никогда не примирялся с аксиоматической теорией множеств. Рассел полагал, что, только приложив усилия, очищающие наш здравый смысл от ошибок, мы, когда естественный свет разума снизойдет на нас, увидим (снова схема XVII в.) что, конечно же, что-то очевидно все время неправильно в рассуждении. В то время как Рассел грешил на лемму в доказательстве и заявлял, что она не тривиально истинная, а тривиально ложная, он, возможно, потому что ему как евклидианцу стало слишком трудно обманывать себя, открыл, что можно заменить этот de facto детривиализующий метод на другой: виновная лемма не тривиально ложна, а тривиально бессмысленна ― только это не приходило нам в голову, пока мы не посмотрели на нее с этой точки зрения. Так что теперь мы сначала должны посмотреть, является ли высказывание осмысленным или оно бессмысленный монстр. Если оно бессмысленно, то оно не может быть истинным или ложным, но если мы не проверяем его на осмысленность, а сразу проверяем на истинность, то мы можем поддаться заблуждению, принимая его за тривиально истинное.
Этот "метод исключения монстров" ― стандартный евклидианский защитный механизм, правда, обычно бесплодный. Тем не менее он стал главным принципом логического позитивизма, явившегося уродливым обобщением расселовской теории типов. Главная опасность этого метода состоит в том, что изощренные жизненно важные допущения прячутся в определения, т.е. остаются за фасадом концептуальной структуры. В метаматематической терминологии теория типов ― часть правил образования (касающихся того, что составляет правильно построенную формулу), а не аксиом. Мы можем усмотреть значимость этого шага, обращаясь к защите логицизма, предпринятой Кемени. В его полупопулярной книжке говорится (Kemeny, 1959, р. 21):
"Математика проявляет себя не более чем высокоразвитой логикой. В этом процессе появляются два новых логических принципа ― аксиомы бесконечности и выбора, чья в чем-то спорная природа не должна нас здесь смущать. Давайте довольствоваться тем, что при признании этих аксиом двумя легитимными логическими принципами, как признает их большинство логиков, вся математика становится лишь логикой повышенного типа".
Кемени не упоминает теорию типов, которая, конечно же, портит картину непогрешимой тривиальности логики, рисуемую им для читателей, но он может оправдать это упущение тем, что теория типов принадлежит правилам образования, а не аксиомам. Рассел, разумеется, знал, что тривиальность теории типов жизненно важна для его евклидианской программы. Вот почему он настаивал на "принципе порочного круга", на бессмысленности самореферентных предложений как на базовой идее теории типов. Он полагал, что этот принцип следовало бы признать как очевидный и, таким образом, его исключение противоречивости наивной логики вошло бы в евклидианскую доктрину о том, что «решение должно в рефлексии полагаться на то, что может быть названо "логическим здравым смыслом", т.е. должно видеться в конечном итоге просто в том, чего следует всегда ожидать» (Russell, 1959, р. 79-80). Этот поиск тривиального решения ― к тому времени очевидно безнадежный ― заманил его в методологическую ловушку разоблачения монстров, в особенно жалкую ошибку антисамореферентного крестового похода и в "достаточно небрежную" (Ramsey, 1931, р. 24) дедукцию теории типов из этого принципа. Теория типов, предстающая как отрывок из самоочевидного "внутренне правдоподобного (credible)" (Russell, Whitehead, 1925, р. 37), дает прекрасный пример резинового евклидианизма. Расселовский поиск евклидианской тривиальности также объясняет его страх перед спекулятивной "логикой изящного проворства" Куайна (Russell, 1959, р. 80). резиновый евклидианец стремится забраковать тривиальности других как спекуляции, настаивая в то же время, что его собственные спекуляции суть тривиальности.
2) Рассел время от времени оставляет евклидианскую очевидность и предается разновидности индуктивизма (Russell, 1925, р. 59):
23
*"Пеано, ― писал Рассел в 1903 г., ― определил процесс, названный им определением через абстракцию, который, как он показывает, часто употребляется в математике. Это следующий процесс: когда существует какое-либо отношение, которое транзитивно, симметрично и … рефлексивно, то, если это отношение выполняется между u и v, мы определяем новый объект Ф(u), который должен быть тождествен Ф(v). Таким образом, наше отношение описывается через подобие отношений к новым терминам Ф(u) и Ф(v). Чтобы легитимизировать процесс, предложенный Пеано, требуется, однако, аксиома о том, что если существует какой-либо случай рассматриваемого отношения, то существует такой объект, как Ф(u) или Ф(v). Эта аксиома и есть мой принцип абстракции, который точно формулируется следующим образом: "Каждое симметричное и транзитивное отношение, которое осуществляется по меньшей мере в одном случае, описывается как совместное вхождение в новое отношение к новому термину, причем это новое отношение будет таковым, что ни один термин не может иметь это отношение к более, чем одному термину, но не наоборот (обратное отношение этим свойством не обладает)". В обычном языке этот принцип равнозначен утверждению о том, что транзитивное и симметричное отношение возникает из общего свойства, с добавлением о том, что это свойство стоит (к терминам, которые им обладают) в отношении, в котором ничто иное не стоит к этим терминам" (Russell B. The Principles of Mathematics. L., 1937 (впервые опубликовано в 1903 г.). р. 220).