Если взять асимметричное отношение, например учитель, то здесь дело не сводится к наличию класса с общим свойством. Так, если а учитель b, то это говорит не только об отличии а от b, поскольку если бы это было так, то и b характеризовалось бы лишь отличием от а. Но так как отличие является отношением симметричным, то можно было бы образовать класс эквивалентности, обладающий общим свойством, который охватывал бы и а, и b. Порядок, в котором мы рассматриваем отношение a к b, этого не допускает. Значит, асимметричное отношение, если позволительно так сказать, говорит как о некотором сходстве, так и о некотором отличии, и не сводимо к свойству, а представляет собой нечто такое, что должно рассматриваться как своеобразная сущность. Свойства же, в свою очередь, можно очень просто свести к отношениям, причем никаких проблем не возникает. Возьмем некоторое свойство, к примеру свойство быть красным. Это свойство задает класс красных предметов. Из элементов этого класса всегда можно выделить образец, скажем предмет а, и рассматривать все остальные предметы данного класса как находящиеся к выделенному предмету в отношении цветоподобия. Отношение же цветоподобия обладает всеми свойствами, необходимыми для того, чтобы задать классы эквивалентности, а значит, оно вполне может заменить свойство. Отсюда следует очень важный для Рассела вывод: если отношения и не сводимы к свойствам, то свойства вполне сводимы к отношениям75.
Традиционная логика, очевидно, не приспособлена для выражения отношений; подходящий аппарат Рассел находит как раз в функциональной логике Г.Фреге, которая позволяет не только адекватно описать требуемые структуры, но и учесть все многообразие вытекающих отсюда следствий, например наличие отношений между большим количеством предметов, чем два.
2.2.2 Логика и ‘чувство реальности’
Установив зависимость онтологических представлений от логической структуры, Рассел показал, что избранный способ формализации затрагивает не только структуру мысли, но и нечто говорит о мире. Оказалось, что способы построения онтологий, базировавшиеся на том, как традиционная логика представляла структуру суждения, не являются единственными, а представляют собой лишь один из возможных вариантов. Плюралистическая онтология, основанная на внешних отношениях, построенная Расселом в соответствии с функциональной точкой зрения на высказывания, является, по-видимому, одним из самых интересных его достижений, как логических, так и философских. Ему удалось показать, что онтологию можно рассматривать как следствие определенной формально-логической доктрины. Выявление структуры мысли задает структуру мыслимого, и в этом отношении формальная логика приобретает трансцендентальное содержание. Однако в рамках самой логики все это остается на уровне бессодержательных моделей, которые, как таковые, имеют дело с любой возможностью. «В логике было бы пустой тратой времени рассматривать выводы относительно частных случаев; мы имеем дело всегда с совершенно общими и чисто формальными импликациями, оставляя другим наукам исследование того, в каких случаях предложения подтверждаются, а в каких нет»76. Устанавливая границы логики как науки о возможном, Рассел тем не менее корректирует само понятие возможности. На всем протяжении развития его характеризует то, что сам он называет ‘чувством реальности’. Здесь показательным выглядит его следующее заявление, может быть полемически и заостренное, но весьма характерное: «Логика должна допускать единорогов не в большей степени, чем зоология, потому что логика имеет дело с реальным миром в той же степени, что и зоология, хотя с его наиболее абстрактными и общими чертами: повинуясь чувству реальности, мы будем настаивать на том, что в анализе суждений нельзя допускать ничего ‘нереального’»77. Стало быть, формальная логика для Рассела хотя и является наукой о возможном, все равно имеет единственную реализацию, и эта реализация есть наш действительный мир.
Из такого понимания логики вытекают как минимум два важных следствия, придающих специфическую окраску взглядам Рассела на содержание и границы формального анализа.
1. С одной стороны, имея в перспективе действительный мир, Рассел к числу логических принципов относит такие утверждения, которые выглядят несколько сомнительными, поскольку не имеют аналитического характера. Последнее придает развиваемой им логике ‘реистическую окраску’.
2. С другой стороны, так как Рассел наполняет логику онтологическим содержанием, он стремится представить процесс познания таким образом, чтобы тот соответствовал логическим структурам, выведенным с помощью чисто формального исследования.
Эти две разнонаправленные, но связанные между собой тенденции пронизывают все творчество раннего Рассела, и именно те положения, которые относятся к их реализации, подверглись наиболее острой критике Витгенштейна и потребовали существенных изменений. Рассмотрим их несколько подробнее. Начнем с того, каким образом логика у Рассела приобретает реистический характер.
2.2.3 Теория типов
Уже говорилось, что Рассел принимает функциональную трактовку высказываний, предложенную Фреге. Однако его не все в ней удовлетворяет. В частности, Рассел не принимает фрегеанскую трактовку функции как неопределяемого понятия. Напомним, что с точки зрения Фреге, выделение в высказывании функции и аргумента зависит от контекста и то, что рассматривалось в качестве функции, может становиться аргументом, и наоборот. Отталкиваясь от такого понимания, Б.Рассел сформулировал свой знаменитый парадокс. Если функция и аргумент находятся на одном и том же уровне, то, сконструировав высказывание, в котором одно и то же выражение может рассматриваться одновременно как функция и как аргумент этой функции, можно прийти к противоречию. В письме к Фреге Рассел следующим образом высказывает свои сомнения: «Вы утверждаете, что функция может быть неопределяемым элементом. Я тоже так считал, но теперь этот взгляд кажется мне сомнительным из-за следующего противоречия: Пусть w будет предикатом ‘быть предикатом, не приложимым к самому себе’. Приложим ли w к самому себе? Из любого ответа вытекает противоречие. Стало быть, мы должны заключить, что w не является предикатом. Также не существует класса (как целого) тех классов, которые, как целое, являются членами самих себя. Отсюда я заключаю, что при определенных обстоятельствах определяемое множество не образует целого»78.
Проясним данный парадокс на примере. Согласно каждой высказывательной функции можно образовать класс предметов. Например, функции ‘чайная ложка (х)’ соответствует класс индивидов, удовлетворяющих данную функцию (т.е. при заполнении аргументного места, делающих соответствующее высказывание истинным) и являющихся чайными ложками. Принцип интуитивной абстракции позволяет образовывать классы с любым набором индивидов. Причем при неограниченном применении этого принципа в качестве индивидов могут выступать и сами классы (т.е. они сами могут рассматриваться как заполняющие аргументные места соответствующих функций). Например, функции ‘класс предметов (х)’ будет соответствовать класс всех классов любых предметов. При таком подходе некоторые классы могут содержать только индивиды, а некоторые – и индивиды, и классы, рассматриваемые в качестве индивидов. Среди последних особый интерес представляют классы, содержащие себя в качестве собственных элементов. Например, класс чайных ложек сам чайной ложкой не является, он состоит только из индивидов, а класс всех предметов, не являющихся чайными ложками, сам не будет являться чайной ложкой и, следовательно, будет являться членом самого себя. Образование классов последнего типа зависит от возможности образования таких функций, которые могут быть собственными аргументами. Рассмотрим еще один пример. Возьмем класс последнего типа, а именно класс всех тех классов, которые не являются элементами самих себя (в функциональном выражении ‘класс, не являющийся элементом самого себя (х)’). Если мы зададимся теперь вопросом о том, можно ли рассматривать сам этот класс как удовлетворяющий соответствующую себе функцию, получится противоречие. В самом деле, если он ее удовлетворяет, то он не должен содержаться в себе самом, а если он ее не удовлетворяет, то он должен содержаться в себе самом.
75
См., например: Рассел Б. Философия логического атомизма. Томск: Водолей, 1999. С.31.
76
Russell B. Our Knowledge of the External World. – London: George Allen & Unwin, LTD, 1926. P.47.
77
Рассел Б. Введение в математическую философию. – М.: Гнозис, 1996. – С.155-156.
78
Frege G. Philosophical and Mathematical Correspondence. – Oxford: Basil Blackwell, 1980. – P.130.