В теории типов Рассела содержатся зародыши двух идей, имевших значительные последствия. Когда Рассел утверждает, что предложение ничего не может говорить о себе, то эту мысль можно расширить и сказать, что язык ничего не может говорить о себе. Это будет идея Витгенштейна. Когда же Рассел утверждает, что предложение второго порядка может высказывать нечто о предложениях первого порядка, то отсюда напрашивается идея метаязыка.
Теория типов устраняет парадоксы, и все же она подвергалась критике. Почему? В частности, потому, что устранение парадоксов вовсе не всегда желательно. Язык, исключающий возможность парадоксов, для определенных целей хорош, для других нет. Такой язык беден, он не гибок, не адекватен очень сложному пути познания.
Теория дескрипций призвана разрешить другую трудность. Эта теория была призвана рассеять одно распространенное в логике и в философии недоразумение. Оно состояло в отождествлении имен и описаний и приписывании существования всему тому, к чему они относятся. Логики, замечает Рассел, всегда считали, что если два словесных выражения обозначают один и тот же объект, то предложение, содержащее одно выражение, всегда может быть заменено другим без того, чтобы предложение перестало быть истинным или ложным (если оно было тем или другим).
Однако, возьмем такое предложение: «Скотт есть автор „Веверлея“». Это предложение выражает тождество, но отнюдь не тавтологию. Это видно из того, что король Георг IV хотел узнать, был ли Скотт автором «Веверлея», но он, конечно, не хотел узнать, был ли Скотт Скоттом. Это значит, что мы можем превратить истинное утверждение в ложное, заменив «автор „Веверлея“» «Скоттом». Отсюда следует, что надо делать различие между именем и описанием (дескрипцией). «Скотт» — это имя, но «автор „Веверлея“» — это дескрипция.
«Скотт» в качестве собственного имени является тем, что Рассел называет «простым символом». Он относится к индивиду прямо, непосредственно обозначая его. При этом данный индивид выступает, как значение имени Скотт. Это имя обладает значением и сохраняет его вне всякой зависимости от других слов предложения, в которое оно входит. Напротив, «автор „Веверлея“» в качестве дескрипции не имеет собственного значения вне того контекста, в котором это выражение употребляется. Поэтому Рассел его называет «неполным символом».
«Автор „Веверлея“» сам ни к кому определенному не относится, так как в принципе им может быть кто угодно. Недаром Георг IV хотел узнать, кто именно был автором «Веверлея». Только в сочетании с другими символами он может получить значение. Далее, теория дескрипций была призвана разрешить и другую трудность. Возьмем такое предложение: «Золотая гора не существует». В этом предложении ясно утверждается, что не существует золотой горы. Но о чем идет речь? Что именно не существует? Очевидно, золотая гора. Субъектом этого отрицательного предложения является «золотая гора». Значит, в каком-то смысле она существует, иначе, о чем бы мы тогда говорили? Значит то, что не существует, все-таки существует!
Или «круглый квадрат невозможен». Что невозможно? Круглый квадрат. Значит, он субъект высказывания, значит, это о нем мы говорим, что он невозможен. Значит, опять-таки, в каком-то смысле он возможен.
Это старая трудность, знакомая еще грекам: вопрос о бытии небытия.
Элеаты учили, что небытия нет, его даже помыслить нельзя. Все есть бытие и есть только бытие.
Демокрит учил, что небытие существует не менее, чем бытие.
Платон в «Софисте» исходил из того, что небытие как-то существует.
Во всех этих случаях нас подводит язык. И здесь теория дескрипций предлагает выход: ту же мысль можно выразить по-другому. Вместо: «золотая гора не существует», надо сказать: «Нет такого х, который одновременно был бы горой и золотым». Или: «Пропозициональная функция х есть гора, и „золотой“ ложно для всех значений х».
Здесь существование золотой горы не предполагается, так как вместо ее существования речь идет о совместимости двух предикатов — «быть горой» и «быть золотой».
В своей фундаментальной работе (написанной вместе с Уайтхедом) «Principia Mathematica» Рассел попытался разработать такую логику, а следовательно, и такой язык, которые не только полностью исключали бы возможность парадокса, но отвечали бы требованиям самой строгой точности. По замыслу Рассела, это была такая логика, из которой можно было бы вывести всю математику и которая могла быть логической структурой языка всей науки, то есть языка, на котором можно было бы выразить все, что может быть сказано о мире. Ибо Рассел был убежден в том, что «все достижимое знание должно быть получено научными методами, и того, что наука не может открыть, человечество не может узнать» (53, 3).
Таким образом, логический анализ показал себя превосходным инструментом для распутывания логических парадоксов и преодоления трудностей, казавшихся неразрешимыми. Источником их было — как старался показать Рассел — неправильное пользование языком. Вызвано же оно было несовершенством обыденного языка.
Парадоксы были устранены, или казалось, что они устранены, чисто логическими средствами, изменением правил пользования языком, или созданием более совершенного языка (идеального языка). Таким языком был для Рассела язык «Principia Mathematica».
Отсюда напрашивалась мысль, нельзя ли применить метод логического анализа и к решению собственно философских проблем.
Старые позитивисты считали, что философские (точнее, метафизические) проблемы неразрешимы, и поэтому ими не надо заниматься.
Но парадокс «лжец» тоже считался неразрешенным в течение двух с половиной тысяч лет. А оказалось, с точки зрения Рассела, что никакой действительной проблемы здесь нет. Так, может быть, и неразрешимых философских проблем тоже нет, а есть только логическая путаница, которую можно устранить логическими средствами? Короче говоря, Рассел объявил, что логика — это сущность философии, что философские школы должны различаться, скорее, по их логике, чем по их метафизике. Однако Рассел не сводил задачу философии к одному лишь анализу. Он не отбрасывал то, что обычно называют метафизикой.
Он писал: «Дело философии, как я его понимаю, состоит, по существу, в логическом анализе, сопровождаемом логическим синтезом… Философия должна быть всесторонней, она должна смело выдвигать такие гипотезы о вселенной, которые наука еще не в состоянии подтвердить или опровергнуть» (58, 341).
Но, согласно Расселу, все научное знание, а следовательно, то, что может быть узнано о мире и высказано о нем, может быть выражено на языке Principia Mathematica.
Каким же образом это возможно? Рассел полагает, что это возможно лишь в том случае, если структура мира и логическая структура языка будут соответствовать друг другу.
Несомненно, что у Рассела здесь проскальзывает известная рационалистическая тенденция. Но если для Спинозы «порядок и связь идей те же, что и порядок и связь вещей», то можно сказать, что для Рассела наоборот, порядок и связь вещей те же, что порядок и связь идей. Ибо Рассел идет от логики и ее языка к метафизике. Логика задается им сперва, так что у него структура мира должна быть сходной со структурой его логики. В 1918 г. Рассел писал: «Та философия, которую я хочу защитить, и которую я называю логическим атомизмом, овладела моим мышлением в ходе занятий философией математики… Я попытаюсь изложить некоторую логическую доктрину и на ее основе развить определенный тип метафизики» (58, 173).
Что же это за метафизика? Ее тип всецело определен характером логики Рассела. Его логическая доктрина строится как логика функций истинности. Это значит, что в ней истинность каждого сложного высказывания в конечном счете является функцией или следствием истинности простых, далее неразложимых высказываний. В такой логической системе должны быть независимые друг от друга элементарные высказывания, истинность которых не зависит от истинности других столь же элементарных высказываний. Рассел называет их «атомарными предложениями.».