В оценке Брэдли моих взглядов существуют другие аспекты, которые требуют ответа.

Но поскольку моя цель состоит здесь скорее в объяснении, чем в споре, то я обойду их, надеясь, что сказал уже достаточно по вопросу об отношениях и комплексах, дабы разъяснить, что представляет собой теория, которую я защищаю.

Что же касается теории типов, то я только добавлю, что хотя сейчас большинство философов ее принимают, и лишь немногие отвергают, но, насколько мне известно, они избегают ее точной формулировки, а также не делают из нее выводов, которые неудобны для их систем.

Я перехожу теперь к некоторым критическим замечаниям Брэдли (ук. соч., с. 280 и далее). Он говорит: "Основная позиция Рассела остается мне непонятной. С одной стороны, я пришел к мысли, что он защищает строгий плюрализм, который не допускает ничего, кроме простых терминов и внешних отношений. С другой стороны, Рассел, кажется, настойчиво утверждает и использует всюду идеи, которые, конечно, такой плюрализм отрицают. Он везде выдвигает объединения, которые являются сложными, и которые не могут анализироваться в терминах и отношениях.

Эти две позиции, по моему мнению, несовместимы, так как вторая, как я понимаю, категорически противоречит первой".

При рассмотрении внешних отношений моя точка зрения, которую я только что сформулировал, порицается теми, кто расходится со мной. Но в отношении к объединениям вопрос более трудный. Это предмет, с которым язык, благодаря самой своей природе, специфически не приспособлен иметь дело. Я должен попросить читателя, таким образом, быть снисходительным, если то, что я скажу, будет неточно выражать то, что я имею в виду, и попытаться понять, что я подразумеваю вопреки неизбежным лингвистическим препятствиям для ясного выражения.

Начну с того, что я не считаю, что существуют комплексы или объединения в том же самом смысле, как существуют простые [объекты]. Я верил в это, когда писал «Принципы математики», но, вследствие доктрины типов, я с тех пор отказался от такого взгляда. Выражаясь нестрого, я всегда рассматривал простое и сложное как различные типы. То есть утверждения «Существуют простые [объекты]» и «Существуют комплексы» используют слово «существуют» в различных смыслах. Но если я использую слова «существуют» в смысле, который они имеют в утверждении «существуют простые», тогда форма слов «не существуют комплексы» ни истинна, ни ложна, но лишена смысла. Это показывает, как трудно выразить в обычном языке то, что я хочу сказать о комплексах. На языке математической логики выразить это значительно легче, но гораздо труднее внушить людям, что я имею в виду, когда говорю это.

Когда я говорю о «простом», я обязан объяснить, что речь идет о чем-то невоспринимаемом, как таковом, но известном только в результате вывода как предел анализа. Весьма возможно, что посредством большего логического искусства необходимость в таком допущении исчезнет. Логический язык не приведет к ошибке, если его простые символы (то есть те, которые не имеют частей, являющихся символами или любыми значимыми структурами) все будут обозначать объекты некоторого одного типа, даже если эти объекты не являются простыми. Единственный недостаток такого языка состоит в том, что он не в состоянии иметь дело с чем-то более простым, чем объекты, которые представлены простыми символами. Но я признаю и мне кажется очевидным (как это казалось и Лейбницу), что то, что является сложным должно быть построено из простых [элементов], хотя число таких конституентов может быть неограниченным. Также очевидно, что логическое использование старого понятия субстанции (то есть использование понятия, которое не предполагает временной длительности) может быть осуществлено только, если это вообще возможно, по отношению к простым [элементам]. Объекты другого типа не имеют того вида бытия, который ассоциируется с субстанцией. С символической точки зрения, сущность субстанции состоит в том, что она может быть только именована в старомодном языке, она никогда не встречается в предложении, кроме как в качестве субъекта или как один из терминов отношения. Если то, что мы рассматриваем как простое, есть в действительности сложное, тогда мы можем попасть в затруднение, именуя его, когда все, что мы обязаны делать, так это утверждать его. Например, если Платон любит Сократа, то не существует особого объекта «Платоновская любовь к Сократу», а только факт, что Платон любит Сократа. И даже говоря об этом, как о «факте», мы уже делаем его более субстанциальным и единым, чем мы имеем право делать это.

Атрибуты и отношения, хотя и могут оказаться неподходящими для анализа, отличаются от субстанций тем, что предполагают структуру и что не может быть никакого символа, который символизирует их в изоляции. Все суждения, в которых атрибут или отношение кажутся субъектом, являются только тогда значимыми, когда они могут быть представлены в форме, в которой атрибут приписывается, а отношение соотносится. Иначе значимыми окажутся суждения, в которых атрибуты и отношения займут места, подходящие субстанции, что будет противоречить доктрине типов и приведет к возникновению противоречий. Так, правильным символом для «желтого» (предполагая ради иллюстрации, что это атрибут) будет не отдельное слово «желтое», но пропозициональная функция «х есть желтое», где структура символа показывает то место, которое слово «желтое» должно занять, чтобы стать значимым. Подобно этому, отношение «предшествует» не должно быть представлено одним этим словом, но символом «х предшествует у», показывающим способ, посредством которого символ может оказаться значимым. (Здесь предполагается, что значения не приписываются х и у, когда мы говорим об атрибутах или отношениях самих по себе.) Символ для простейшего возможного рода факта будет иметь форму «х есть желтое» или «х предшествует y», только «х» и «у» не будут больше неопределенными переменными, но – именами.

Дополнительно к факту, что мы не воспринимаем простое как таковое, существует еще одно препятствие для создания правильного логического языка, такого, который я пытался описать. Эта трудность заключается в неопределенности. Все наши слова более или менее заражены неопределенностью, под которой я подразумеваю то, что не всегда ясно, применимы они или нет к данному объекту. Такова уж природа слов быть более или менее общими, а не применимыми только к отдельным частностям, но это не делает их неопределенными, если частности, к которым они применимы, составляют определенное множество. Правда, это никогда не имеет места на практике. Данный дефект, однако, легко вообразить устраненным, хотя может быть трудно устранить его фактически.

Цель предшествующей дискуссии об идеальном логическом языке (который будет, конечно, совсем бесполезным для повседневной жизни) двоякая: во-первых, предотвратить выводы от природы языка к природе мира, которые являются ошибочными, потому что они зависят от логических дефектов языка. Во-вторых, предположить путем исследования того, что логика требует от языка, который должен избегать противоречий, какого вида структуры мы можем разумно допустить в мире. Если я прав, то в логике не существует ничего такого, что способно помочь нам выбрать между монизмом и плюрализмом, или между взглядом, что есть исходные реляционные факты, и взглядом, что их нет. Мое собственное решение в пользу плюрализма и отношений покоится на эмпирических основаниях после того, как я убедился, что аргументы a priori, напротив, недействительны. Но я не думаю, что эти аргументы могут быть адекватно опровергнуты без тщательной разработки логических типов, о которых кратко говорилось выше.

Это, однако, заставляет обратиться к вопросу о методе, который я считаю очень важным. Что мы рассматриваем в качестве данных в философии? Что мы будем считать имеющим наибольшее сходство с истиной, а что соответственно будет отвергаться, если оно противоречит другим свидетельствам? Мне кажется, что в целом наука в значительно большей мере может быть истинной, чем любая до сих пор разработанная философия (я не исключаю, конечно, и свою собственную). В науке существует много вещей, с которыми люди согласны, в философии же этого нет. Таким образом, хотя каждое суждение в науке может быть ложным, и практически достоверно, что там имеются такие ложные суждения, однако мы поступим разумно, если будем строить нашу философию на науке, потому что риск ошибиться в философии несомненно больше, чем в науке.