Атрибуты и отношения, хотя и могут оказаться неподходящими для анализа, отличаются от субстанций тем, что предполагают структуру и что не может быть никакого символа, который символизирует их в изоляции. Все суждения, в которых атрибут или отношение кажутся субъектом, являются только тогда значимыми, когда они могут быть представлены в форме, в которой атрибут приписывается, а отношение соотносится. Иначе значимыми окажутся суждения, в которых атрибуты и отношения займут места, подходящие субстанции, что будет противоречить доктрине типов и приведет к возникновению противоречий. Так, правильным символом для «желтого» (предполагая ради иллюстрации, что это атрибут) будет не отдельное слово «желтое», но пропозициональная функция «х есть желтое», где структура символа показывает то место, которое слово «желтое» должно занять, чтобы стать значимым. Подобно этому, отношение «предшествует» не должно быть представлено одним этим словом, но символом «х предшествует у», показывающим способ, посредством которого символ может оказаться значимым. (Здесь предполагается, что значения не приписываются х и у, когда мы говорим об атрибутах или отношениях самих по себе.) Символ для простейшего возможного рода факта будет иметь форму «х есть желтое» или «х предшествует y», только «х» и «у» не будут больше неопределенными переменными, но – именами.
Дополнительно к факту, что мы не воспринимаем простое как таковое, существует еще одно препятствие для создания правильного логического языка, такого, который я пытался описать. Эта трудность заключается в неопределенности. Все наши слова более или менее заражены неопределенностью, под которой я подразумеваю то, что не всегда ясно, применимы они или нет к данному объекту. Такова уж природа слов быть более или менее общими, а не применимыми только к отдельным частностям, но это не делает их неопределенными, если частности, к которым они применимы, составляют определенное множество. Правда, это никогда не имеет места на практике. Данный дефект, однако, легко вообразить устраненным, хотя может быть трудно устранить его фактически.
Цель предшествующей дискуссии об идеальном логическом языке (который будет, конечно, совсем бесполезным для повседневной жизни) двоякая: во-первых, предотвратить выводы от природы языка к природе мира, которые являются ошибочными, потому что они зависят от логических дефектов языка. Во-вторых, предположить путем исследования того, что логика требует от языка, который должен избегать противоречий, какого вида структуры мы можем разумно допустить в мире. Если я прав, то в логике не существует ничего такого, что способно помочь нам выбрать между монизмом и плюрализмом, или между взглядом, что есть исходные реляционные факты, и взглядом, что их нет. Мое собственное решение в пользу плюрализма и отношений покоится на эмпирических основаниях после того, как я убедился, что аргументы a priori, напротив, недействительны. Но я не думаю, что эти аргументы могут быть адекватно опровергнуты без тщательной разработки логических типов, о которых кратко говорилось выше.
Это, однако, заставляет обратиться к вопросу о методе, который я считаю очень важным. Что мы рассматриваем в качестве данных в философии? Что мы будем считать имеющим наибольшее сходство с истиной, а что соответственно будет отвергаться, если оно противоречит другим свидетельствам? Мне кажется, что в целом наука в значительно большей мере может быть истинной, чем любая до сих пор разработанная философия (я не исключаю, конечно, и свою собственную). В науке существует много вещей, с которыми люди согласны, в философии же этого нет. Таким образом, хотя каждое суждение в науке может быть ложным, и практически достоверно, что там имеются такие ложные суждения, однако мы поступим разумно, если будем строить нашу философию на науке, потому что риск ошибиться в философии несомненно больше, чем в науке.
Если мы могли бы надеяться на достоверность в философии, дело обстояло бы иначе, но насколько я могу видеть, такая надежда будет химерической.
Конечно, те философы, чьи теории prima facie (на первый взгляд – лат.) противоречат науке, всегда будут способны интерпретировать науку так, что она будет оставаться истинной лишь на своем собственном уровне, с небольшой степенью истинности, которой обязан довольствоваться скромный ученый. Те, кто придерживается подобной позиции, обязаны, мне кажется, детально показать, как эта интерпретация может быть эффективной. Я, однако, считаю, что во многих случаях это будет совершенно невозможно. Я не думаю, например, что те, кто не верит в реальность отношений (в таком смысле, как это объяснено выше), способны интерпретировать эти многочисленные части науки, которые используют асимметричные отношения. Даже если я не усматриваю способа, с помощью которого можно было бы ответить на возражения против отношений, выдвинутые, например, Брэдли, я все же буду считать более правдоподобным, что некоторый ответ возможен, ибо я буду думать, что ошибка в очень тонкой и абстрактной аргументации более вероятна, чем столь фундаментальное заблуждение в науке.
Допуская, что все, во что мы верим сами, сомнительно, тем не менее, кажется, что вера в философию более сомнительна, чем вера в детали науки, хотя возможно не более сомнительна, чем вера в наиболее широкие ее обобщения.
Вопрос об интерпретации важен почти для каждой философии, и я вообще не склонен отрицать, что многие научные результаты требуют интерпретации, прежде чем они могут подойти когерентной философии. Принцип «конструкции против выводов» сам является принципом интерпретации. Но я считаю, что любой правильный вид интерпретации обязан оставлять детали неизменными, хотя он и может придать новые значения фундаментальным идеям. На практике это означает, что структура должна быть сохранена. И проверкой этого служит то, что все предложения науки будут сохраняться, хотя их терминам могут быть даны новые значения. Подходящим примером на нефилософском уровне служит отношение физической теории света к нашему восприятию цветов. Оно обусловливает физические явления, соответствующие разным видимым цветам, и следовательно, оставляет структуру физического спектра той же самой, какой мы ее видим, когда смотрим на радугу. Если бы структура не сохранялась, мы не могли бы правильно говорить об интерпретации. Структура есть именно то, что разрушается монистической логикой.
Я, конечно, не хочу сказать, будто в любой области науки структура, обнаруживаемая в данное время наблюдением, есть в точности именно та структура, которая действительно существует Напротив, весьма вероятно, что действительная структура имеет более тонкое строение, чем наблюдаемая структура. Это применимо как к психологическому, так и к физическому материалу, и основывается на том факте, что там, где мы воспринимаем различие (например, между двумя оттенками цвета), существует различие, но если мы различие не воспринимаем, то отсюда еще не следует, что там нет различия. Мы имеем, следовательно, право во всякой интерпретации требовать сохранения воспринимаемых различий и оставлять место для невоспринятых до сих пор различий, хотя мы не можем сказать заранее, что таковые будут, за исключением тех случаев, которые могут быть связаны с наблюдаемыми различиями с помощью вывода.
В науке структура – главная задача исследования Большая часть значения теории относительности вытекает из того факта, что она заменила единым четырехмерным многообразием (пространства-времени) два многообразия трехмерное пространство и одномерное время. Это изменило структуру и имело далеко идущие следствия, а вот любое изменение, которое не предполагает изменение структуры, не вносит много различий Математическое определение и исследование структуры (под именем «отношения-числа») составляют часть 4 «Principia Mathematica».