Как известно, на первом этапе, опираясь на эту денотативную теорию значения, Рассел вслед за А. Мейнонгом полагал, что все, что обозначается именем собственным, должно в каком-то смысле существовать — если не как вещь, имеющая реальное существование (eхistence), то как понятие, обладающее идеальным существованием (subsistence). В результате онтология, представленная им в работе «Принципы математики» (1903), содержала помимо привычных объектов внешнего мира такие сущности, как числа, множества, отношения, свойства и даже гомеровские боги и химеры. Однако подобная трактовка имен собственных как онтологически нагруженных языковых выражений наталкивалась на серьезные концептуальные затруднения, одно из которых связано с невозможностью отрицать существование чего-либо, не впадая в противоречие[20]. Действительно, если исходить из того, что значением имени собственного является его носитель и что предложение, содержащее имя, является истинным в том случае, когда имеется объект, обозначенный данным именем, и он обладает свойством, выраженным предикатом, то получается, что считающееся истинным предложение «Пегаса не существует» говорит следующее: существует объект (Пегас), для которого верно, что он не существует. Еще одно затруднение состоит в том, что если мы возьмем предложение «Нынешний король Франции лыс», которое считается ложным, то, согласно закону исключенного третьего, мы должны признать истинным его отрицание «Нынешний король Франции не лыс». Поскольку этого признать нельзя, мы оказываемся перед необходимостью отказаться от закона исключенного третьего как важнейшего логического принципа.
Для разрешения этих и подобных им концептуальных затруднений Рассел разработал специальный метод логического анализа, для которого в 1914 г. ввел название «философская логика». Он был убежден, что применение логических методов в решении философских проблем придаст философии научную строгость и определенность, свойственную математике. Ключевое место в разработанной им концепции анализа занимает различение логической и грамматической форм. Согласно Расселу, предложение имеет грамматическую форму, тогда как выражаемое им суждение имеет логическую форму. Иногда эти формы совпадают, а иногда нет, однако в определении истинностного значения предложения участвует именно логическая форма, поэтому, если не позаботиться о тех случаях, где логика и грамматика расходятся, то возникает опасность уподобления грамматических категорий логическим и соответственно онтологическим, что грозит серьезными метафизическими искажениями. В связи с этим стратегия Рассела состояла в том, чтобы для каждого проблематичного предложения S сформулировать логически эквивалентное ему предложение S1 такое, что его грамматическая форма точно отображает логическую структуру суждения, выраженного в S и S1. Для ясного и однозначного представления логической формы Рассел стал использовать разработанный им формальный язык, приписав ему тем самым статус «логически совершенного» языка. Необходимость же подобного перевода на формальный язык он объяснял тем, что обыденный язык — это источник путаницы и неясности, которые на протяжении веков были причинами философских заблуждений.
Этот метод Рассел применил для анализа так называемых обозначающих выражений, т. е. всех тех слов и словосочетаний, которые, помимо имен собственных, могут выполнять в предложении роль подлежащего и среди которых наиболее важную категорию составляют определенные дескрипции («самая высокая горная вершина», «столица Франции» и т. п.). В статье «Об обозначении» («On Denoting», 1905) Рассел сформулировал «теорию дескрипций», которая стала ядром его философской логики. Согласно этой теории, определенные дескрипции по своим логическим функциям сильно отличаются от имен собственных: если имя обладает самостоятельным значением, то дескрипция — это неполный символ, приобретающий значение только в контексте целого предложения и исчезающий при переводе предложения в логически совершенный язык[21]. Так, предложение «Сократ смертен» в логически совершенном языке выражается формулой F(a), тогда как предложение «Нынешний король Франции лыс» представляет собой конъюнкцию из трех предложений, одно из которых утверждает существование человека, являющегося нынешним королем Франции, второе говорит о единственности такого человека, а третье приписывает ему свойство быть лысым. Подобный анализ устраняет иллюзию того, что выражение «нынешний король Франции» кого-то обозначает, и вместе с тем позволяет понять, как определяется истинностное значение рассматриваемого предложения. Поскольку среди ныне живущих людей нет человека, обладающего свойством «быть королем Франции», то первый конъюнкт в этом сложном суждении является ложным, а стало быть, ложным является и все суждение в целом. Благодаря такому анализу остается в неприкосновенности закон исключенного третьего, поскольку уже нельзя считать предложение «Нынешний король Франции не лыс» отрицанием предложения «Нынешний король Франции лыс». Аналогичным образом разрешается и проблема единичных отрицательных суждений существования: предложение «Пегаса не существует» переводится в предложение с квантором «Не существует такого x, что x есть Пегас», которое уже не содержит в себе ничего парадоксального.
20
Сюда же относятся проблема пустых имен, проблема значения в неэкстенсиональных контекстах и др. Подробнее см.: [Смирнова, Таванец, 1967, с. 3–53].
21
В работе «Философия логического атомизма» Рассел предлагает и другое обоснование, почему определенные дескрипции не являются именами. Возьмем, к примеру, предложение тождества «Скотт есть автор „Веверлея“». Если «автор „Веверлея“» является еще одним именем для Скотта, то указанное предложение должно быть тавтологией, как и «Скотт есть Скотт». При подстановке вместо «автора „Веверлея“» какого-то другого имени, скажем «Китс», мы получим ложное предложение «Скотт есть Китс». Следовательно, при любой подстановке имени вместо «автор „Веверлея“», мы получаем либо тавтологичное предложение, либо ложное, а так как предложение «Скотт есть автор „Веверлея“» таковым не является, то «автор „Веверлея“» — не имя. Кроме того, указывает Рассел, поскольку имена произвольны, синонимичность «Скотта» и «автора „Веверлея“» является терминологическим решением, однако нельзя решить посредством терминологического выбора вопрос о том, является ли Скотт автором «Веверлея» или нет.