Но и подобные признания не смогли заставить критику умолкнуть. В своей книге «Философия математики и естественных наук» ([93]*, 1949) Герман Вейль писал о том, что Рассел и Уайтхед возвели математику на основе
…не просто логики, а своего рода рая для логиков, мира, снабженною всем необходимым «инвентарем» весьма сложной структуры… Кто из здравомыслящих людей осмелится утверждать, что верит в этот трансцендентальный мир?.. Эта сложная структура требует от нас не меньшей веры, чем учения отцов церкви или средневековых философов-схоластов.
Критика логицизма имела и другой характер. Хотя в трех томах «Оснований математики» Рассела и Уайтхеда не нашлось места для последовательного построения геометрии, ни у кого не вызывало сомнений, что такое построение вполне осуществимо, если воспользоваться, как об этом уже говорилось, аналитической геометрией. Тем не менее иные критики утверждали, что авторы, сведя к логике систему аксиом целых чисел, тем самым свели к логике арифметику, алгебру и математический анализ, но не свели к логике «неарифметические» разделы математики, например геометрию, топологию и абстрактную алгебру. Такого мнения придерживался, в частности, логик Карл Гемпель, считавший, что хотя в случае арифметики неопределяемым, или первичным, понятиям оказалось возможным придать обычный смысл с помощью «чисто логических понятий», «аналогичная процедура неприменима к тем математическим дисциплинам, которые обязаны своим появлением на свет не арифметике». Коллега Гемпеля Уиллард Ван Орман Куайн, по мнению которого «вся математика сводится к логике», считал, что для геометрии существует «готовый метод, позволяющий свести ее к логике» и что топология и абстрактная алгебра «укладываются в общую структуру логики». Сам Рассел сомневался, что всю геометрию удастся вывести только из логики.
Философы также подвергли логистическое направление серьезной критике, суть которой сводилась к следующему. Если основной тезис логицизма верен, то вся математика является чисто формальной, логико-дедуктивной наукой, теоремы которой следуют из законов мышления. Казалось необъяснимым, каким образом с помощью дедуктивного вывода одни лишь законы мышления могут привести к описанию неисчерпаемого разнообразия явлений природы, к различным применениям чисел, геометрии пространства, акустике, электромагнетизму и механике. Именно так и следует понимать критическое замечание Вейля: «Из ничего и следует ничто».
Пуанкаре, со взглядами которого мы познакомимся подробнее в дальнейшем, также критически относился к тому, что считал бесплодными манипуляциями логическими символами. В работе «Наука и метод» (1906), опубликованной в то время, когда Рассел и Гильберт уже успели неоднократно изложить свои программы, Пуанкаре утверждал по поводу логицизма:
Эта наука [математика] не имеет единственной целью вечное созерцание своего собственного пупа; она приближается к природе, и раньше или позже она придет с ней в соприкосновение; в этот момент необходимо будет отбросить чисто словесные определения, которыми нельзя будет довольствоваться.
В той же книге (с. 397) Пуанкаре говорил:
Как бы там ни было, логистика должна быть переделана, и неизвестно, что в ней может быть спасено. Бесполезно прибавлять, что на карту поставлены только канторизм и логистика. Истинные математические науки, т.е. те, которые чему-нибудь служат, могут продолжать свое развитие только согласно свойственным им принципам, не заботясь о тех бурях, которые бушуют вне их; они будут шаг за шагом делать свои завоевания, которые являются окончательными и от которых им никогда не будет нужды отказываться.
Другое серьезное критическое замечание по поводу логистической программы состояло в том, что в процессе развития математики новые понятия, как выводимые, так и не выводимые непосредственно из опыта, формируются на основе чувственной или образной интуиции. Впрочем, как же иначе может возникать новое знание? Между тем в «Основаниях математики» все понятия сводятся к логическим. Формализация не дает сколько-нибудь реального представления о математике: это лишь шелуха, а не зерно. Высказывание Рассела: «Математика — такой предмет, в котором мы никогда не знаем ни того, о чем говорим, ни насколько верно то, что мы говорим» — вполне может быть адресовано логицизму.
На вопросы о том, каким образом могут входить в математику новые идеи и как математика может описывать реальный мир, если ее содержание целиком выводимо из логики, ответить нелегко, и Рассел и Уайтхед не дали на них никакого ответа. Один из возможных ответов состоял в том, что логицизм не ставит своей задачей объяснить, почему математика применима к реальному миру. На это можно было бы возразить, что математика применима к наиболее фундаментальным физическим принципам. По отношению к реальности их можно рассматривать как логические посылки. Математические методы позволяют извлекать из этих посылок такие заключения, как, например, pV = const (закон Бойля — Мариотта) или F = ma (второй закон Ньютона). Но эти заключения применимы к реальному миру. Возникает проблема соответствия реального мира «математической вселенной», базирующейся не на эмпирических фактах, а на дедуктивных выводах.{114} К этому вопросу мы вернемся в дальнейшем (гл. XV).
Рассел продолжал размышлять над логистической программой и после выхода в свет второго издания «Оснований математики». В книге «Мое философское развитие» (1959) он признавал, что эта программа заключалась в постепенном отходе от «евклидианства» в сочетании с намерением по возможности сохранить максимум определенности. Критика логистической философии, несомненно, сказалась на позиции, занятой Расселом в конце 20-х годов XX в. Приступая к работе над «Основаниями математики» в самом начале XX в., Рассел считал аксиомы логики истинами. В издании «Принципов математики» 1937 г. он отказался от таких взглядов. Теперь уже Рассел не был убежден, что принципы логики являются априорными истинами. Следовательно, выводимую из логики математику также нельзя считать априори истинной.
Но если аксиомы логики не принадлежат к числу истин, то логицизм оставляет без ответа фундаментальный вопрос о непротиворечивости математики. Еще в большей степени непротиворечивость ставится под угрозу сомнительной аксиомой сводимости. Использование аксиомы сводимости в первом и во втором изданиях «Оснований математики» Рассел оправдывал неубедительной ссылкой на то, что, во-первых, «из нее следует много высказываний, истинность которых почти не вызывает сомнений», и, во-вторых, «если бы эта аксиома была ложной, не существовало бы столь же правдоподобного объяснения, почему истинны выведенные из нее высказывания и почему из нее не следует ни одного высказывания, которое было бы ложным». Принятая в «Основаниях математики» (и во многих других логических системах) материальная импликация может быть истинной, даже если ее первый член ложен. Следовательно, если бы в число аксиом входило ложное высказывание p и импликация «если p, то q» была бы истинной, то и высказывание q могло бы быть истинным. Поэтому ссылка на то, что из аксиомы сводимости следуют высказывания, истинность которых не вызывает сомнений, не достигает цели, так как в логической системе «Оснований математики» любое «бесспорно истинное» высказывание вполне может следовать из ложной аксиомы.{115}
Работу Рассела и Уайтхеда критиковали и по многим другим причинам, которые мы не затрагивали. Как обнаружилось в дальнейшем, иерархия типов оказалась разумной и полезной, но, по-видимому, все же не полностью соответствующей своему назначению. Типы были введены как предохранительная мера против антиномий, и они действительно помогли разрешить антиномии теории множеств и логики. Однако не исключено, что возникнут новые антиномии, против которых иерархия типов окажется бессильной.
Тем не менее некоторые выдающиеся логики и математики, например Уиллард Ван Орман Куайн и Алонсо Черч, по-прежнему выступают в защиту логицизма, хотя в его современном состоянии относятся к нему критически. Многие авторы трудятся над восполнением тех или иных изъянов логицизма. Некоторые логики и математики, разделяющие не все тезисы логицизма, настаивают на том, что логика и, следовательно, математика аналитичны, т.е. представляют собой обобщенные варианты того, что утверждается в аксиомах. Итак, у логической программы имеются убежденные сторонники, стремящиеся ликвидировать причины возражений и сделать менее громоздкими некоторые построения. Другие ученые склонны видеть в логицизме несбыточную мечту. Находятся и такие, которые, как мы увидим, выступают с резкой критикой, считая логицизм абсолютно ложной концепцией математики. В целом, если учесть спорные аксиомы и длительное, сложное развитие, нельзя не признать, что у критиков были все основания утверждать, что логицизм выводит заранее известные заключения из необоснованных посылок.
Своим фундаментальным трудом Рассел и Уайтхед способствовали прогрессу еще одного направления математической мысли. Математизация логики началась в конце XIX в. (гл. VIII). Рассел и Уайтхед осуществили всю аксиоматизацию в чисто символическом виде, тем самым значительно продвинув развитие математической логики.
По-видимому, последнее слово о логицизме было сказано Расселом в его книге «Портреты по памяти» (1958):
Я жаждал определенности примерно так же, как иные жаждут обрести религиозную веру. Я полагал, что найти определенность более вероятно в математике, чем где-либо еще. Выяснилось, однако, что математические доказательства, на принятие которых мной мои учителя возлагали такие надежды, изобилуют грубыми логическими ошибками и что определенность, если и кроется в математике, то заведомо в какой-нибудь новой области, обоснованной более надежно, чем традиционные области с их, казалось бы, незыблемыми истинами. В процессе работы у меня из головы не выходила басня о слоне и черепахе: воздвигнув слона, на котором мог бы покоиться математический мир, я обнаружил, что э