Язык, онтология и реализм

Для разрешения этих и подобных им концептуальных затруднений Рассел разработал специальный метод логического анализа, для которого в 1914 г. ввел название «философская логика». Он был убежден, что применение логических методов в решении философских проблем придаст философии научную строгость и определенность, свойственную математике. Ключевое место в разработанной им концепции анализа занимает различение логической и грамматической форм. Согласно Расселу, предложение имеет грамматическую форму, тогда как выражаемое им суждение имеет логическую форму. Иногда эти формы совпадают, а иногда нет, однако в определении истинностного значения предложения участвует именно логическая форма, поэтому, если не позаботиться о тех случаях, где логика и грамматика расходятся, то возникает опасность уподобления грамматических категорий логическим и соответственно онтологическим, что грозит серьезными метафизическими искажениями. В связи с этим стратегия Рассела состояла в том, чтобы для каждого проблематичного предложения S сформулировать логически эквивалентное ему предложение S1 такое, что его грамматическая форма точно отображает логическую структуру суждения, выраженного в S и S1. Для ясного и однозначного представления логической формы Рассел стал использовать разработанный им формальный язык, приписав ему тем самым статус «логически совершенного» языка. Необходимость же подобного перевода на формальный язык он объяснял тем, что обыденный язык — это источник путаницы и неясности, которые на протяжении веков были причинами философских заблуждений.

Этот метод Рассел применил для анализа так называемых обозначающих выражений, т. е. всех тех слов и словосочетаний, которые, помимо имен собственных, могут выполнять в предложении роль подлежащего и среди которых наиболее важную категорию составляют определенные дескрипции («самая высокая горная вершина», «столица Франции» и т. п.). В статье «Об обозначении» («On Denoting», 1905) Рассел сформулировал «теорию дескрипций», которая стала ядром его философской логики. Согласно этой теории, определенные дескрипции по своим логическим функциям сильно отличаются от имен собственных: если имя обладает самостоятельным значением, то дескрипция — это неполный символ, приобретающий значение только в контексте целого предложения и исчезающий при переводе предложения в логически совершенный язык[21]. Так, предложение «Сократ смертен» в логически совершенном языке выражается формулой F(a), тогда как предложение «Нынешний король Франции лыс» представляет собой конъюнкцию из трех предложений, одно из которых утверждает существование человека, являющегося нынешним королем Франции, второе говорит о единственности такого человека, а третье приписывает ему свойство быть лысым. Подобный анализ устраняет иллюзию того, что выражение «нынешний король Франции» кого-то обозначает, и вместе с тем позволяет понять, как определяется истинностное значение рассматриваемого предложения. Поскольку среди ныне живущих людей нет человека, обладающего свойством «быть королем Франции», то первый конъюнкт в этом сложном суждении является ложным, а стало быть, ложным является и все суждение в целом. Благодаря такому анализу остается в неприкосновенности закон исключенного третьего, поскольку уже нельзя считать предложение «Нынешний король Франции не лыс» отрицанием предложения «Нынешний король Франции лыс». Аналогичным образом разрешается и проблема единичных отрицательных суждений существования: предложение «Пегаса не существует» переводится в предложение с квантором «Не существует такого x, что x есть Пегас», которое уже не содержит в себе ничего парадоксального.