Философия, которую я отстаиваю, в целом рассматривается как разновидность реализма и обвиняется в противоречивости из-за элементов, которые в ней выглядят противоречащими этой доктрине. Со своей стороны, я не рассматриваю спор между реалистами и их оппонентами как фундаментальный. Я могу изменить мой взгляд на этот спор, не изменив моей мысли относительно доктрины, которую хотел бы подчеркнуть. Я утверждаю, что логика является фундаментальной для философии и поэтому школы должны скорей характеризоваться своей логикой, чем метафизикой Моя собственная логика является атомистической и именно этот аспект я хотел бы подчеркнуть в ней. Таким образом, я предпочитаю называть мою философию скорее «логическим атомизмом», чем «реализмом», с некоторым прилагательным или без него.

В качестве введения может быть полезно сказать несколько слов об историческом развитии моих взглядов. Я пришел к философии через математику, или скорей через желание найти некоторые основания для веры в истинность математики. С ранней юности я страстно верил, что в ней может быть такая вещь, как знание, что сочеталось с большой трудностью в принятии многого того, что проходит как знание. Казалось, что наилучший шанс обнаружить бесспорную истину будет в чистой математике, однако некоторые из аксиом Евклида были, очевидно, сомнительными, а исчисление бесконечно малых, когда я его изучал, содержало массу софизмов, с которыми я не мог справиться сам. Но я не имел никаких оснований сомневаться в истинности арифметики, хотя тогда я не знал, что арифметика может рассматриваться как охватывающая всю традиционную чистую математику. В возрасте восемнадцати лет я прочел «Логику» Милля, но был глубоко разочарован его доводами для оправдания арифметики и геометрии. (Речь идет о «Системе логики» (1843) Джона Стюарта Милля – прим.ред.) Я не прочел еще Юма, но мне казалось, что чистый эмпиризм (который я был расположен принять) должен скорее привести к скептицизму, чем к подтверждению выдвигаемых Миллем научных доктрин. В Кембридже я прочел Канта и Гегеля, так же как и Логику" Брэдли, которая глубоко повлияла на меня. (Брэдли Фрэнсис Герберт (1846—1924) – главный представитель английского абсолютного идеализма.

Критиковал традицию британского номинализма и эмпиризма, а также ассоциативную психологию. По Брэдли, в процессе познания всегда дается нечто универсальное, поэтому ориентация эмпиристов на фиксацию и обобщение изолированных фактов несостоятельна. Объективно-идеалистическая метафизика Брэдли построена на противопоставлении противоречивой сферы «видимости» и подлинной реальности – «Абсолюта» Для его «Принципов логики» (1883) характерно влияние гегелевской диалектической логики и антипсихологистская установка. Брэдли негативно воспринял новую математическую логику – прим.ред.). Несколько лет я был учеником Брэдли, но примерно в 1898 г я изменил свои взгляды в значительной мере в результате дискуссии с Д. Э. Муром Я не мог больше полагать, что познание оказывает влияние на то, что познается. Также я убедился в справедливости плюрализма Анализ математических утверждений склонил меня к тому, что они не могут быть объяснены даже как частичные истины, если не допускается плюрализм и реальность отношений Случай привел меня в это время к изучению Лейбница, и я пришел к заключению (впоследствии подтвержденному мастерскими исследованиями Кутюра), что большинство его характерных мнений было обязано чисто логической доктрине, что каждое суждение имеет субъект и предикат. (Кутюра Луи (1868—1914) – французский логик, одним из первых обративший внимание на современное значение логических идей Лейбница – прим.ред.) Эту доктрину Лейбниц разделял со Спинозой, Гегелем и Брэдли. Мне показалось, что если ее отвергнуть, то весь фундамент метафизики этих философов разрушится. Я, таким образом, вернулся к проблеме, которая вначале привела меня к философии, а именно к основаниям математики, применив к ней новую логику, разработанную в основном Пеано и Фреге, которая доказала (по крайней мере, так я считаю) значительно большую плодотворность, чем логика традиционной философии. (Пеано Джузеппе (1858—1932) – итальянский математик, разработавший систему логических аксиом, на основе которых должна была строиться арифметика – прим. ред.). В первую очередь я обнаружил, что многие из прежних философских аргументов о математике (заимствованных в основном от Канта) оказались тем временем несостоятельными благодаря прогрессу математики. Неевклидовы геометрии подорвали аргументацию трансцендентальной эстетики. Вейерштрасс показал, что дифференциальное и интегральное исчисления не требуют концепции бесконечно малых, и, следовательно, все то, что было сказано философами о таких предметах, как непрерывность пространства, времени и движения должно рассматриваться как явная ошибка. (Вейерштрасс Карл Теодор Вильгельм (1815—1897) – немецкий математик, занимавшийся логическим обоснованием математического анализа – прим. ред.). Кантор освободил концепцию бесконечного числа от противоречий и тем самым справился с антиномиями как Канта, так и Гегеля. Наконец, Фреге показал детально, как арифметика может быть выведена из чистой логики без привлечения каких-либо новых идей или аксиом, таким образом, опровергнув утверждение Канта, что «7 + 5 – 12» является синтетическим – по крайней мере в обычной интерпретации этого утверждения. (Кантор Георг (1845—1918) – немецкий математик, один из создателей современной теории множеств. Фреге Готлоб (1848—1925) – немецкий математик и логик, один из создателей логической семантики– прим. ред.). Поскольку все эти результаты были получены не с помощью какого-либо героического метода, а посредством терпеливых детальных рассуждений, я стал думать, что философия, вероятно, заблуждалась, применяя героические средства для разрешения интеллектуальных трудностей, которые можно было преодолеть просто с помощью большей внимательности и аккуратности в рассуждениях. Такой взгляд со временем все больше и больше укреплялся и привел меня к сомнению относительно того, отличается ли философия как исследование от науки и обладает ли она своим собственным методом, являющимся чем-то большим, чем неудачным наследием теологии.

Исследование Фреге не было завершено в первую очередь потому, что оно было применено только к арифметике, а не к другим ветвям математики. Во-вторых, потому, что его посылки не исключали некоторых противоречий, которым оказались подвержены все прошлые системы формальной логики. В сотрудничестве с Уайтхедом мы попытались устранить оба этих недостатка в книге "Principia Mathematical, которой, однако, недостает окончательности в некоторых фундаментальных пунктах (особенно в аксиоме сводимости). (Уайтхед, Альфред Норт (1861—1947) – английский математик и философ, одно время был соавтором и коллегой Рассела по Кембриджскому университету. Впоследствии его деятельность проходила в США.

Отойдя от логико-математической проблематики, он стал развивать «философию организма», заниматься эволюционной космологией, вопросами связи науки и религии – прим. ред.). Но вопреки этим недостаткам, я думаю, никто из читавших данную книгу не будет оспаривать ее основное содержание, а именно, что вся чистая математика может быть выведена из некоторых идей и аксиом формальной логики с помощью логики отношений, без обращения к каким-либо новым неопределенным понятиям или недоказанным утверждениям. Технические методы математической логики, которые разработаны в этой книге, мне представляются весьма мощными и способными обеспечить новый инструмент для обсуждения многих проблем, которые до сих пор оставались предметом философской неопределенности. Книга «Понятие природы и принципы познания природы» Уайтхеда может служить иллюстрацией к тому, что я имею в виду.

Когда чистая математика строится как дедуктивная система, то есть как множество всех тех утверждений, которые могут быть выведены из заданных посылок, тогда становится очевидным, что если мы убеждены в истинности чистой математики, то не потому лишь, что убеждены в истинности множества посылок. Некоторые из посылок являются гораздо менее очевидными, чем их следствия, и мы в них убеждены главным образом из-за их следствий. Это происходит всегда, когда наука строится как дедуктивная система. Не самые простые в логическом отношении, а потому наиболее очевидные утверждения системы составляют основную часть наших доводов для веры в систему. Для эмпирических наук это очевидно. Электродинамика, например, может быть сконцентрирована в уравнениях Максвелла, но в эти уравнения мы верим потому, что существуют эмпирические истины для некоторых их логических следствий. Точно то же самое имеет место в области чистой логики. Первым принципам логики – по крайней мере некоторым из них – мы верим не по непосредственной их оценке, а на основании их следствий. Эпистемологический вопрос «Почему я убежден в этом множестве утверждений», совершенно отличается от логического вопроса – «Какова наименьшая и логически простейшая группа утверждений, из которой может быть выведено это множество утверждений?» Наши доводы для веры в логику и чистую математику являются отчасти лишь индуктивными и вероятными, вопреки тому факту, что в своем логическом порядке утверждения логики и чистой математики следуют из посылок логики посредством чистой дедукции. Я считаю этот пункт важным, поскольку ошибки обязаны своим возникновением ассимиляции логического порядка эпистемологическим, а также и, наоборот, ассимиляции эпистемологического порядка логическим. Единственный способ, посредством которого деятельность математической логики бросает свет на истинность или ложность математики, связан с опровержением предполагаемых антиномий. Это показывает, что математика может быть истинной. Но показать, что математика является истинной, потребует других методов и других рассуждений.