Технический анализ отношений, предпринятый Расселом, как раз и показал несводимость отношений к свойствам. Оказалось, что если мы стремимся построить онтологию, отвечающую здравому смыслу, и при этом не допускать слишком уж сильных предположений, типа предустановленной гармонии, отдающей отношения в компетенцию божественного разума, то необходимо признать за отношениями реальность. Причем это реальность не психологическая в том смысле, что отношения не являются порождениями особенностей нашего мыслительного аппарата, связанного со спецификой психической организации, но именно та реальность, которая позволяет объяснить объективность формальных структур представления знаний. Здесь Рассел принимает допущение о существовании внешних отношений, которые представляют собой элементы действительности sui generis или то, что впоследствии он будет рассматривать как примитивные значения, не сводимые к другим элементам. Отныне реальность отношений для Рассела будет представлять исходный пункт рассуждений. Включив отношения в список элементарных реалий, он в дальнейшем будет осуществлять последовательную попытку сведения к ним свойств, даже называя свойства одноместными отношениями.
Разумеется, в некоторых случаях, когда отношения рефлексивны, симметричны и транзитивны, то есть являются отношениями эквивалентности, допустимо редуцировать их к свойствам, и даже полезно, например при определении числа с точки зрения класса классов, находящихся во взаимнооднозначном соответствии. Но при более обширной выборке случаев это просто невозможно. Более того, допустима редукция любого свойства к отношению, но не наоборот.
Рассмотрим примеры. Возьмем отношение соотечественник. Это отношение является отношением эквивалентности, так как обладает свойствами рефлексивности, симметричности и транзитивности. Действительно, свойство рефлексивности очевидно, поскольку каждый человек сам себе соотечественник. Симметричность подтверждается тем, что если Сократ соотечественник Платона, то и Платон соотечественник Сократа. А о транзитивности данного отношения говорит то, что если Аристотель соотечественник Платона, то он является и соотечественником Сократа. Отношению соотечественник в данном случае соответствует класс людей, обладающих общим свойством быть греком. Кроме того, это отношение порождает совокупность непересекающихся классов, так называемых классов эквивалентности, обладающих общим свойством элементов, из которых они состоят, а именно, быть немцем, быть русским и т.д. (правда, при подходящем понимании свойства национальности). В общем случае можно сказать, что если отношение R обладает указанными признаками, то оно сводимо к некоторому свойству P , отвечающему за соответствующий класс эквивалентности. Но при отношениях, обладающих другими свойствами, дело обстоит иначе.
Если взять асимметричное отношение, например учитель, то здесь дело не сводится к наличию класса с общим свойством. Так, если а учитель b , то это говорит не только об отличии а от b , поскольку если бы это было так, то и b характеризовалось бы лишь отличием от а. Но так как отличие является отношением симметричным, то можно было бы образовать класс эквивалентности, обладающий общим свойством, который охватывал бы и а, и b . Порядок, в котором мы рассматриваем отношение a к b , этого не допускает. Значит, асимметричное отношение, если позволительно так сказать, говорит как о некотором сходстве, так и о некотором отличии, и не сводимо к свойству, а представляет собой нечто такое, что должно рассматриваться как своеобразная сущность. Свойства же, в свою очередь, можно очень просто свести к отношениям, причем никаких проблем не возникает. Возьмем некоторое свойство, к примеру свойство быть красным. Это свойство задает класс красных предметов. Из элементов этого класса всегда можно выделить образец, скажем предмет а, и рассматривать все остальные предметы данного класса как находящиеся к выделенному предмету в отношении цветоподобия. Отношение же цветоподобия обладает всеми свойствами, необходимыми для того, чтобы задать классы эквивалентности, а значит, оно вполне может заменить свойство. Отсюда следует очень важный для Рассела вывод: если отношения и не сводимы к свойствам, то свойства вполне сводимы к отношениям[1] .
Традиционная логика, очевидно, не приспособлена для выражения отношений; подходящий аппарат Рассел находит как раз в функциональной логике Г.Фреге, которая позволяет не только адекватно описать требуемые структуры, но и учесть все многообразие вытекающих отсюда следствий, например наличие отношений между большим количеством предметов, чем два.
2. Логика и ‘чувство реальности’
Установив зависимость онтологических представлений от логической структуры, Рассел показал, что избранный способ формализации затрагивает не только структуру мысли, но и нечто говорит о мире. Оказалось, что способы построения онтологий, базировавшиеся на том, как традиционная логика представляла структуру суждения, не являются единственными, а представляют собой лишь один из возможных вариантов. Плюралистическая онтология, основанная на внешних отношениях, построенная Расселом в соответствии с функциональной точкой зрения на высказывания, является, по-видимому, одним из самых интересных его достижений, как логических, так и философских. Ему удалось показать, что онтологию можно рассматривать как следствие определенной формально-логической доктрины. Выявление структуры мысли задает структуру мыслимого, и в этом отношении формальная логика приобретает трансцендентальное содержание. Однако в рамках самой логики все это остается на уровне бессодержательных моделей, которые, как таковые, имеют дело с любой возможностью. «В логике было бы пустой тратой времени рассматривать выводы относительно частных случаев; мы имеем дело всегда с совершенно общими и чисто формальными импликациями, оставляя другим наукам исследование того, в каких случаях предложения подтверждаются, а в каких нет»[2] . Устанавливая границы логики как науки о возможном, Рассел тем не менее корректирует само понятие возможности. На всем протяжении развития его характеризует то, что сам он называет ‘чувством реальности’. Здесь показательным выглядит его следующее заявление, может быть полемически и заостренное, но весьма характерное: «Логика должна допускать единорогов не в большей степени, чем зоология, потому что логика имеет дело с реальным миром в той же степени, что и зоология, хотя с его наиболее абстрактными и общими чертами: повинуясь чувству реальности, мы будем настаивать на том, что в анализе суждений нельзя допускать ничего ‘нереального’»[3] . Стало быть, формальная логика для Рассела хотя и является наукой о возможном, все равно имеет единственную реализацию, и эта реализация есть наш действительный мир.
Из такого понимания логики вытекают как минимум два важных следствия, придающих специфическую окраску взглядам Рассела на содержание и границы формального анализа.
С одной стороны, имея в перспективе действительный мир, Рассел к числу логических принципов относит такие утверждения, которые выглядят несколько сомнительными, поскольку не имеют аналитического характера. Последнее придает развиваемой им логике ‘реистическую окраску’.
С другой стороны, так как Рассел наполняет логику онтологическим содержанием, он стремится представить процесс познания таким образом, чтобы тот соответствовал логическим структурам, выведенным с помощью чисто формального исследования.
Эти две разнонаправленные, но связанные между собой тенденции пронизывают все творчество раннего Рассела, и именно те положения, которые относятся к их реализации, подверглись наиболее острой критике Витгенштейна и потребовали существенных изменений. Рассмотрим их несколько подробнее. Начнем с того, каким образом логика у Рассела приобретает реистический характер.
3. Теория типов
Уже говорилось, что Рассел принимает функциональную трактовку высказываний, предложенную Фреге. Однако его не все в ней удовлетворяет. В частности, Рассел не принимает фрегеанскую трактовку функции как неопределяемого понятия. Напомним, что с точки зрения Фреге, выделение в высказывании функции и аргумента зависит от контекста и то, что рассматривалось в качестве функции, может становиться аргументом, и наоборот. Отталкиваясь от такого понимания, Б.Рассел сформулировал свой знаменитый парадокс. Если функция и аргумент находятся на одном и том же уровне, то, сконструировав высказывание, в котором одно и то же выражение может рассматриваться одновременно как функция и как аргумент этой функции, можно прийти к противоречию. В письме к Фреге Рассел следующим образом высказывает свои сомнения: «Вы утверждаете, что функция может быть неопределяемым элементом. Я тоже так считал, но теперь этот взгляд кажется мне сомнительным из-за следующего противоречия: Пусть w будет предикатом ‘быть предикатом, не приложимым к самому себе’. Приложим ли w к самому себе? Из любого ответа вытекает противоречие. Стало быть, мы должны заключить, что w не является предикатом. Также не существует класса (как целого) тех классов, которые, как целое, являются членами самих себя. Отсюда я заключаю, что при определенных обстоятельствах определяемое множество не образует целого»[4] .
Проясним данный парадокс на примере. Согласно каждой высказывательной функции можно образовать класс предметов. Например, функции ‘чайная ложка (х)’ соответствует класс индивидов, удовлетворяющих данную функцию (т.е. при заполнении аргументного места, делающих соответствующее высказывание истинным) и являющихся чайными ложками. Принцип интуитивной абстракции позволяет образовывать классы с любым набором индивидов. Причем при неограниченном применении этого принципа в качестве индивидов могут выступать и сами классы (т.е. они сами могут рассматриваться как заполняющие аргументные места соответствующих функций). Например, функции ‘класс предметов (х)’ будет соответствовать класс всех классов любых предметов. При таком подходе некоторые классы могут содержать только индивиды, а некоторые — и индивиды, и классы, рассматриваемые в качестве индивидов. Среди последних особый интерес представляют классы, содержащие себя в качестве собственных элементов. Например, класс чайных ложек сам чайной ложкой не является, он состоит только из индивидов, а класс всех предметов, не являющихся чайными ложками, сам не будет являться чайной ложкой и, следовательно, будет являться членом самого себя. Образование классов последнего типа зависит от возможности образования таких функций, которые могут быть собственными аргументами. Рассмотрим еще один пример. Возьмем класс последнего типа, а именно класс всех тех классов, которые не являются элементами самих себя (в функциональном выражении ‘класс, не являющийся элементом самого себя (х)’). Если мы зададимся теперь вопросом о том, можно ли рассматривать сам этот класс как удовлетворяющий соответствующую себе функцию, получится противоречие. В самом деле, если он ее удовлетворяет, то он не должен содержаться в себе самом, а если он ее не удовлетворяет, то он должен содержаться в себе самом.