Логический атомизм Б. Рассела: язык как отображение структуры реальности

В 1918 г. Бертран Рассел (1872–1970) прочитал в Лондоне цикл лекций, которые в последующем были опубликованы в журнале «Monist» под названием «Философия логического атомизма». В этих лекциях он представил набросок всеобъемлющей философской системы, в которой постулировал строгий параллелизм между языком и миром. Благодаря этому провозглашенному параллелизму он счел возможным использовать методы логического анализа языка для раскрытия глубинной структуры реальности.

Рассел подверг суровой и жесткой критике предшествующую метафизику, однако «в основном его критика сводилась к тому, что метафизика давала неправильное объяснение мира, и Рассел полагал, что ему удалось выяснить, почему это произошло. Но он не отвергал саму задачу законченного объяснения мира и приближения к тому, что называл “окончательной метафизической истиной”» [Страуд, 1998, с. 512]. Основанием для его разрыва с прошлой философией послужила логика. Все прежние метафизические системы, по его мнению, опирались на аристотелевскую логику[16], а у Фреге он обнаружил идею совершенно другой логики, которая и вдохновила его на построение метафизики нового типа.

Таким образом, определяя свою позицию как «научную философию, основанную на математической логике», Рассел отнюдь не считал, что строение мира и его онтологический «состав» должны быть полностью отданы в ведение науки. Да, эмпирические вопросы нужно оставить науке, а вот вопросы о фундаментальных структурных особенностях вселенной (например, есть ли факты и что они собой представляют) принадлежат к компетенции философии. В статье «Логический атомизм» (1924) Рассел пишет: «Философия должна быть всесторонней и смелой, чтобы предлагать гипотезы о Вселенной, которые наука все еще не в состоянии ни подтвердить, ни опровергнуть. Но они должны быть представлены именно как гипотезы, а не, что часто делается, как бесспорные истины, подобно догмам религии» [Рассел, 1998, с. 35]. Однако для решения этих задач, как было сказано, философия должна вооружиться новой логикой.

Вера Рассела в могущество логики и логического анализа вполне объяснима. Как и Фреге, он был математиком, обратившимся к философии в связи с проблемой оснований математики. Как и Фреге, он увлекся логицистской идеей сведения всей «чистой» математики к логике. Когда в 1900 г. Рассел на Международном философском конгрессе познакомился с результатами Дж. Пеано по аксиоматизации арифметики, его программа построения всей математики как единой дедуктивной системы, опирающейся на минимальное количество понятий и основоположений, которые могут быть соответственно определены в логических терминах и выведены из чисто логических принципов, приняла вполне осязаемые очертания. В ходе осуществления этой программы Рассел построил формальный логический язык[17], который в своих принципиальных чертах совпадал с языком, используемым в этих же целях Фреге, но были и некоторые важные различия. Во‑первых, Рассел стал применять более простую и наглядную, чем у немецкого логика, систему записи выражений формального языка, которая сохраняется до настоящего времени. Во‑вторых, хотя Рассел, подобно Фреге, для описания логической структуры суждения использовал понятие функции, он сохранил для нее традиционное название «предикат». В‑третьих, его логическая система содержала такой важный компонент, как «теория типов», созданная им для преодоления парадокса[18], который он обнаружил в теории множеств весной 1901 г. и который впоследствии был назван его именем. Однако наиболее важные изменения коснулись интерпретации формального языка и созданной в этих целях теории значения.

Рассел задает следующую интерпретацию для основных категорий языковых выражений в его формальном языке (имен, предикатов, «открытых» формул и предложений). Имена обозначают индивидов, а предикаты – свойства и отношения. Что касается предложений, то сначала Рассел считал, что они обозначают суждения, однако затем – ко времени создания логического атомизма – место суждений заняли факты[19]. Формулы, которые не являются предложениями («открытые формулы»), выражают пропозициональные функции, т. е. функции, областью определения которых являются индивиды или n‑ки индивидов, а областью значений – суждения. Если взять, к примеру, предикат «есть философ» (P), то формула «x есть философ» (Px) выражает функцию, которая при подстановке в нее любого индивида из области значения (например, Сократа) превращается в предложение, и этому предложению приписывается в качестве значения суждение, говорящее о том, что Сократ есть философ. Это суждение истинно, если Сократ действительно является философом.

В целом Рассел отказался от фрегевского различения смысла и значения и выступил в поддержку теории значения, которую принято называть денотативной, поскольку, во‑первых, она касается такой категории языковых выражений, как имена собственные, а, во‑вторых, согласно этой теории, значением имени собственного является его носитель, т. е. значение имени отождествляется с его денотатом (референтом). Кроме того, Рассел исключил из категории имен собственных предложения и предикаты. По его мнению, предложение, указывающее на сложную сущность, состоящую из абстрактного свойства или отношения, обозначаемого предикатом, и индивидов, обозначаемых именами, которую он вначале истолковывал как суждение, а затем – как факт, не может эту сложную сущность именовать, поскольку в этом случае было бы невозможно указать, что именуют ложные предложения, а такие предложения отнюдь не лишены значения. Что касается предикатов, то в своей трактовке их значения Рассел фактически, как справедливо отмечает Г. Кюнг, уподоблял их именам индивидов, видя «в них подлинные имена определенных сущностей» [Кюнг, 1999, с. 91].

Как известно, на первом этапе, опираясь на эту денотативную теорию значения, Рассел вслед за А. Мейнонгом полагал, что все, что обозначается именем собственным, должно в каком‑то смысле существовать – если не как вещь, имеющая реальное существование (eхistence), то как понятие, обладающее идеальным существованием (subsistence). В результате онтология, представленная им в работе «Принципы математики» (1903), содержала помимо привычных объектов внешнего мира такие сущности, как числа, множества, отношения, свойства и даже гомеровские боги и химеры. Однако подобная трактовка имен собственных как онтологически нагруженных языковых выражений наталкивалась на серьезные концептуальные затруднения, одно из которых связано с невозможностью отрицать существование чего‑либо, не впадая в противоречие[20]. Действительно, если исходить из того, что значением имени собственного является его носитель и что предложение, содержащее имя, является истинным в том случае, когда имеется объект, обозначенный данным именем, и он обладает свойством, выраженным предикатом, то получается, что считающееся истинным предложение «Пегаса не существует» говорит следующее: существует объект (Пегас), для которого верно, что он не существует. Еще одно затруднение состоит в том, что если мы возьмем предложение «Нынешний король Франции лыс», которое считается ложным, то, согласно закону исключенного третьего, мы должны признать истинным его отрицание «Нынешний король Франции не лыс». Поскольку этого признать нельзя, мы оказываемся перед необходимостью отказаться от закона исключенного третьего как важнейшего логического принципа.

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

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

Таким образом, при разрешении трудностей, с которыми столкнулась денотативная теория значения, стратегия Рассела, по сути, состояла в следующем: сохранить в неприкосновенности основные положения этой теории, но радикально сократить категорию имен собственных, опираясь на следующий принцип: если языковое выражение встречается в предложении, которое может быть преобразовано в логически эквивалентное ему предложение, не содержащее этого выражения, то данное выражение не является именем собственным, а стало быть, оно не несет и никакой онтологической нагрузки. Исключив определенные дескрипции из категории имен, Рассел на этом не остановился. Следующим видом выражений, к которым он применил свой метод логического анализа, стали имена вымышленных персонажей и объектов, которые он истолковал как «скрытые» или «сокращенные» дескрипции. К примеру, произнося «Пегас», мы, согласно Расселу, используем это выражение не как имя, обозначающее несуществующий предмет, а как, скажем, сокращение для дескрипции «крылатый конь Беллерофонта», так как при анализе предложений, в которых «Пегас» выступает в качестве подлежащего, это выражение будет исчезать, переходя в состав предиката в виде указанной дескрипции. Это означает, что предложения, содержащие пустые сингулярные термины, уже не лишены истинностного значения, как это было у Фреге, т. е. Расселу удалось тем самым сохранить крайне важный для него принцип: любое осмысленное предложение является либо истинным, либо ложным.

Поскольку такие выражения, как «Пегас», «Зевс» и т. п., традиционно считаются именами собственными, Рассел ввел название «логически собственное имя» для обозначения тех выражений, которые, по его мнению, не только грамматически, но и логически являются подлинными именами, а стало быть, обозначают нечто существующее. В различные периоды творчества он по‑разному проводил границу между логически собственными именами и другими «обозначающими» выражениями. Если вначале в категорию логически собственных имен он включал обычные имена реальных людей и объектов («Скотт», «Лондон» и т. п.), то к интересующему нас времени он стал трактовать и их как «скрытые» или «сокращенные» дескрипции, отводя роль подлинных имен указательным местоимениям «это», «то» и т. п.[22]Удивительно, что выражения «это», «то», представлявшие для Фреге ничтожный интерес, у Рассела стали ключевыми выражениями, несущими основную онтологическую нагрузку. Почему это произошло? Ответ на этот вопрос дают две его теории – теория знания‑знакомства и знания по описанию и теория «логических конструкций».

Подобно Декарту, Рассел стремился открыть основание всего нашего знания, не подверженное скептическому сомнению. Такое основание он обнаружил в знании, которое мы получаем в актах непосредственного восприятия и которое, по его мнению, исключает возможность ошибки. Однако, в отличие от Декарта, Рассел не считал, что на основе этого исходного знания можно достичь достоверности в отношении физических вещей, других людей и даже своего собственного «я». Знание такого рода вещей всегда является выводным или «производным», а потому подверженным ошибкам. Рассел обозначил эти два вида знания как «знание‑знакомство» и «знание по описанию», и их различение напрямую связано с его теорией дескрипций: имя применяется только к тому, с чем человек непосредственно знаком, а дескрипции используются для выражения знания, которое мы получаем от других или выводим из наших непосредственных восприятий. Более того, в статье «Знание‑знакомство и знание по описанию» (1910) Рассел выдвинул в качестве «основополагающего эпистемологического принципа» следующее положение: «Каждое высказывание, которое мы понимаем, должно состоять только из частей, с которыми мы непосредственно знакомы» [Russell, 1988, p. 23].

Так что же представляет собой это знание‑знакомство? С точки зрения Рассела, это прямое и непосредственное отношение между сознанием и сущностями вне сознания. В «Проблемах философии» он пишет: «Способность быть знакомым с вещами, иными, чем оно само, является основной характеристикой сознания. Знакомство с объектами по существу состоит в отношении между сознанием и чем‑то отличным от сознания; и это отношение образует способность сознания познавать вещи» [Russell, 1952, p. 42]. Подчеркивание Расселом непосредственного и прямого характера этого отношения во многом объясняется его неприятием идеализма. Идеалисты считали, что наше знание всегда опосредовано сложной структурой, о которой мы можем иметь априорное знание и которая обеспечивает наше знание о мире в той мере, в какой он является познаваемым. Отношение знакомства – это когнитивное отношение между сознанием и объектами, которое не опирается ни на какую структуру или теорию и в этом смысле является «беспредпосылочным» отношением. Сознание находится в прямом контакте с объектами вне его, и непосредственность этого контакта должна исключать возможность ошибок.

Представления Рассела о том, что может быть объектом знания‑знакомства, менялись. И хотя он всегда включал в эту категорию чувственные данные, под которыми понимал цвета, звуки, запахи и т. п., тем не менее вначале он вовсе не считал, что наш непосредственный когнитивный контакт с миром осуществляется только через чувственное восприятие. Так, в неопубликованной работе «Теория познания» («Theory of Knowledge», 1913) он пишет: «Объект [знакомства] может быть в настоящем, в прошлом и вовсе вне времени; он может быть воспринимаемой партикулярией (particular), универсалией или абстрактным логическим фактом» (цит. по: [Hylton, 1992, p. 332]). В «Проблемах философии» помимо партикулярий (т. е. индивидуальных сущих) и универсалий в числе объектов «знакомства» упоминается также содержание наших сознаний (воспоминания, мысли, чувства и т. п.). Однако в работе «Наше знание внешнего мира» (1914) Рассел ограничил знакомство непосредственным знанием того, что дано нам в восприятии, оставив единственными объектами такого знания чувственные данные, хотя им самим, как мы увидим, он дал довольно широкую трактовку.

В этот период творчества (охватывающий и создание концепции логического атомизма) Рассел подчеркивал нементальный характер чувственных данных[23]в связи с тем, что в духе неореализма[24], сторонником которого он являлся, он четко различал ментальный акт знакомства и объект знакомства, который не является ментальным. Этот аспект чувственных данных призвана была подчеркнуть и концепция «сенсибилий», которую Рассел изложил в статье «Отношение чувственных данных к физике» (1914). Под сенсибилиями он понимает объекты вроде чувственных данных (т. е. имеющие такой же метафизический статус) с тем лишь отличием, что с ними никто не находится в отношении знания‑знакомства. В этой статье Рассел отмечает, что признает лишь «физиологическую» субъективность чувственных данных, означающую «их причинную зависимость от органов чувств, нервов и мозга». Он пишет: «Если бы – per impossible – имелось человеческое тело, в котором было бы всё, кроме сознания, все эти сенсибилии существовали бы по отношению к этому телу и были бы чувственными данными, если бы в этом теле имелось сознание. Сознание добавляет к сенсибилии лишь осведомленность (awareness): все остальное является физическим или физиологическим» [Russell, 1914, p. 111]. Будучи независимыми от сознания, чувственные данные вместе с тем являются наиболее близкими к сознанию в том смысле, что никакой вносящий искажения посредник не может вмешаться в их отношение с сознанием, которое обладает поэтому достоверным знанием о них.

Следует отметить, что в трактовке онтологического статуса чувственных данных Рассел придерживался разных точек зрения. Вначале он истолковывал их как универсалии, представляющие собой такие абстрактные свойства, как «белизна», «квадратность» и т. п., которые в его формальном языке обозначались предикатами. В последующем, однако, он пришел к выводу, что чувственные данные представляют собой партикулярии, т. е. к ним относятся, скажем, не цвета как таковые, а конкретные цветовые пятна, и тогда словарь его логических имен собственных пополнился словами «красное», «твердое» и т. п., а в списке универсалий остались «неустранимые» абстрактные отношения[25].

Итак, знание‑знакомство составляет фундамент всего знания. Важно подчеркнуть, что в отношении знакомства мы находимся с поименованными объектами, т. е. это знание не является пропозициональным[26]. Однако большая часть из того, что мы знаем, не является знанием‑знакомством, ибо всякий раз, когда мы думаем или говорим о материальных вещах или других людях, слова, которые мы используем, не именуют их напрямую, а описывают, поэтому существенная часть нашего знания является знанием по описанию. По своему характеру такое знание является выводным. Стало быть, именно логика, которая является наукой вывода, позволяет нам продемонстрировать, как мы получаем такое дескриптивное знание.

Чтобы представить себе «масштабность» знания по описанию в структуре человеческих знаний, достаточно сказать, что даже суждения восприятия Рассел считал выводными. Так, на основе чувственных данных, например при восприятии сложного визуального пятна, мы делаем вывод, что «видим собаку». По его мнению, мы не можем иметь отношения «знакомства» с физическими вещами и другими людьми, поскольку наше знание о них подвержено сомнениям, иллюзиям и ошибкам, тогда как знание‑знакомство является безошибочным. Когда мы делаем выводы от чувственных данных к физическим вещам, то что лежит в основе этих выводов? Как связаны между собой чувственные данные и физические вещи в онтологическом плане? В разное время Рассел по‑разному отвечал на этот вопрос. В «Проблемах философии» он рассматривает физические объекты как причины чувственных данных, т. е. как независимые сущности. В этой работе ему важно было объяснить, как мы можем что‑то знать (пусть и недостоверно) о физических вещах, не будучи «знакомыми» с ними. Поэтому, скажем, предложения физики он воспринимал как говорящие о физических объектах, а не о чувственных данных. Однако кардинально иным решением стала его концепция о материальных вещах как логических конструкциях из чувственных данных.

В работе «Наше знание внешнего мира» (1914) Рассел применил к эмпирическому материалу метод «логического конструирования», который, по его мнению, доказал свою плодотворность в логических и математических исследованиях[27]. По сути, концепция логических конструкций представляет собой теорию о значении предложений определенного вида, которая позволяет продемонстрировать, что предложения, говорящие о материальных объектах, в действительности являются предложениями о чувственных данных[28]. Так, эта теория означает, что предложения физики нуждаются в радикальной переинтерпретации, в результате которой станет ясно, что их истинность определяется уже не физическими вещами, а чувственными данными. Хотя эта теория говорит о значении предложений, она имеет серьезные онтологические следствия. Это связано с тем, что Рассел принимает важный принцип, вытекающий из его теории дескрипций: если символ встречается в предложении, которое может быть преобразовано в логически эквивалентное предложение, не содержащее этого символа, то этот символ не несет никакой онтологической нагрузки, т. е. не имеет референции ни к чему существующему. Отсюда вытекает, что концепция логических конструкций является методом «онтологической» редукции физических вещей. Рассел был настолько воодушевлен этой идеей, что объявил ее «высшей максимой научного философствования»: «везде где возможно, логические конструкции должны прийти на смену выводным данным» [Russell, 1914, p. 115]. Эта максима наилучшим образом согласовывалась с другим важнейшим принципом его философии, который он называл «бритвой Оккама»: «имея дело с любым предметным содержанием, следует выяснять, какие сущности оно содержит несомненно, и все выражать в терминах этих сущностей» [Russell, 1914, p. 112].

Хотя Рассел уповал на то, что метод логических конструкций должен поставить философию на научную основу, ему не удалось осуществить даже приблизительный перевод предложений о материальных объектах в логически эквивалентные им предложения о чувственных данных. Кроме того, поскольку чувственные данные являются личной принадлежностью отдельных людей, физика и все знание в целом оказываются основанными на «солипсическом» базисе. Это означает, что возможность знания о физическом мире и о других людях должна быть объяснена с учетом того факта, что субъект может иметь непосредственное знание только о своих собственных чувственных данных. Безрезультатный поиск такого объяснения самим Расселом, а также логическими позитивистами показал несостоятельность этого «методологического солипсизма».

Итак, мы рассмотрели основные идеи Рассела, которые вошли составными блоками в его метафизическую концепцию логического атомизма. Эта концепция выросла из стремления Рассела понять взаимосвязь между языком и миром, подкрепленного верой в то, что формальная логика, позволяющая построить логически совершенный язык, обеспечивает лучший путь к пониманию этой взаимосвязи.

Рассел использует в названии своей концепции слово «атомизм» с тем, чтобы противопоставить свою позицию монизму неогегельянцев, представлявших реальность как целостность, части которой внутренним и необходимым образом связаны друг с другом. Онтология, разрабатываемая Расселом, является плюралистичной. Еще одним следствием монизма неогегельянцев было то, что ни одно отдельное суждение не является целиком истинным или целиком ложным, ибо истиной обладает реальность в целом, понятая как Абсолют. Для Рассела такая позиция неприемлема: в его представлении мир состоит из дискретных фактов, которые могут быть помыслены и выражены в языке, и если предложения соответствуют этим фактам, то они, как отдельные «атомы», являются целиком истинными или целиком ложными. Определение «логический» в названии концепции призвано подчеркнуть, что атомы, которые имеет в виду Рассел, не следует смешивать с физическими атомами, это иные онтологические сущности. Логический атом – это онтологическое простейшее, выступающее пределом логического анализа знания.

Согласно Расселу, самая интересная вещь о мире, обнаруживаемая в ходе логического исследования, состоит в том, что наиболее фундаментальные черты реальности являются очевидными. Такой очевидностью обладает, с его точки зрения, составленность мира из дискретных фактов, которые, в свою очередь, составлены из метафизически простейших компонентов – партикулярий (индивидуальных сущих) и универсалий. Последние и представляют собой предельные «атомы», обнаружить которые можно только с помощью логического анализа языка, ибо Рассел постулирует параллелизм между онтологической структурой реальности и логической структурой (совершенного) языка: для того чтобы предложение утверждало какой‑то конкретный факт, оно должно иметь логическую структуру, совпадающую с онтологической структурой факта.

Однако отображают реальность только атомарные предложения в силу того, что входящие в их состав логические имена собственные обеспечивают связь с миром, ибо если выражение является именем, то должна существовать конкретная вещь, обозначаемая данным именем. Атомарное предложение является истинным в том случае, когда оно соответствует атомарному факту, который рассматривается Расселом как сложная сущность, состоящая из универсалии, обозначенной предикатом, и партикулярий, поименованных логическими именами собственными. Истинность же молекулярных предложений, образуемых из атомарных при помощи логических связок «и», «или», «не» и т. п., определяется как функция от истинности составляющих их атомарных предложений. Но здесь возникает вопрос: если истинность атомарных предложений обусловливается их соответствием атомарным фактам, то существуют ли в мире факты, соответствующие отрицательным, конъюнктивным, дизъюнктивным и другим сложным предложениям? В случае конъюнкции Рассел считает, что предложение P&Q истинно в том случае, когда оно одновременно соответствует фактам, которые делают истинными P и Q соответственно. Нам не нужно иметь какого‑либо сложного конъюнктивного факта, поскольку одновременного соответствия двум фактам достаточно для объяснения истинности конъюнкции. Сходные соображения он высказывает в отношении дизъюнкции: истинность дизъюнктивных предложений вполне объясняется их соответствием одному или двум соответствующим фактам, без допущения дизъюнктивных фактов, поэтому, подобно конъюнкции, дизъюнкция ничего не обозначает в мире. Однако в отношении отрицания позиция Рассела иная, ибо он признает существование отрицательных фактов. Истинность отрицательного предложения не‑P не может быть обусловлена соответствием факту, который делает истинным P, ибо такого факта не существует. Тогда какому другому факту это предложение могло бы соответствовать? Рассел не видит иного выхода, как признать, что истинное отрицательное предложение соответствует факту, в который помимо обычных компонентов входит также абстрактный элемент, обозначенный «не». Включает он в свою онтологию и «общие» факты, соответствующие предложениям с кванторами, – на том основании, что общие суждения, как правило, не являются логическим следствием из какой‑либо совокупности единичных суждений, а стало быть, должны существовать общие факты, не редуцируемые к единичным фактам. С определенными колебаниями Рассел признает существование «неэкстенсиональных» фактов, соответствующих предложениям с пропозициональными установками (выражениями вроде «считает, что», «надеется, что» и т. п.), полагая, что их истинность нельзя объяснить с помощью фактов, соответствующих входящим в них придаточным предложениям.

Как мы видим, в установлении Расселом онтологической структуры мира ключевую роль играет принцип «соответствия», лежащий в основе его трактовки истины. Таким образом, Рассел принимает корреспондентную теорию истины, хотя и вносит в нее некоторые важные уточнения[29]. С его точки зрения, предложение (или суждение) P истинно, если и только если в мире имеется некоторый факт, который это предложение точно описывает. Точное описание означает совпадение логической структуры предложения и онтологической структуры факта, поэтому для Рассела истина – это простое и единообразное структурное соответствие, или конгруэнтность, благодаря которому обеспечивается согласие выраженной в языке мысли с объективным фактом. Итак, в представлении Рассела связь между языком и реальностью имеет два аспекта: во‑первых, это структурное соответствие между предложениями и фактами, благодаря которому предложения являются истинными, и, во‑вторых, это прямая связь между логическими именами собственными и партикуляриями, так что если какое‑то выражение является именем собственным, то должна существовать партикулярия, обозначаемая этим выражением.

Важную часть концепции логического атомизма Рассела составляет трактовка существования. Ко времени создания этой концепции его позиция в данном вопросе четко определилась[30]. Заявляя, что «немыслимое количество ложной философии возникло из‑за непонимания того, что означает “существование”» [Russell, 1956, p. 234], он вслед за Фреге считает, что точное значение «существования» передает экзистенциальный квантор, но, если Фреге полагал, что этот квантор выражает свойство понятий, то Рассел говорит о пропозициональных функциях. По его мнению, «существование есть по существу свойство пропозициональной функции. Оно означает, что эта пропозициональная функция истинна по крайней мере в одном случае» [Russell, 1956, p. 232], т. е. свойство или отношение, выражаемое этой пропозициональной функцией, имеет хотя бы одну «инстанциацию»[31]. Отсюда следует, что «индивиды, имеющиеся в мире, не существуют, или, скорее, бессмысленно говорить, что они существуют, и бессмысленно говорить, что они не существуют» [Russell, 1956, p. 252]. Поэтому рассуждение: «Люди существуют. Сократ – человек. Следовательно, Сократ существует» – столь же ошибочно, как рассуждение: «Люди многочисленны. Сократ – человек. Следовательно, Сократ многочислен».

В этой трактовке существования смыкается философия языка и эпистемология Рассела. Поскольку предложения, в которых индивиду предицируется существование, должны, согласно теории дескрипций, переводиться в предложения с экзистенциальным квантором, в которых говорится, что существует нечто, что обладает такими‑то свойствами, существование оказывается связанным с инстанциацией свойств и отношений, а именно они‑то и являются содержанием актов знания‑знакомства. В этом, на наш взгляд, проявляется и особенность расселовского реализма. С одной стороны, он безусловно является сторонником неореализма и свое обоснование объективного и независимого от сознания существования определенных сущностей (в его случае – чувственных данных) строит в духе этого подхода. С другой же стороны, его неореализм приобретает «лингвистический» оттенок, поскольку в выявлении этих простейших метафизических атомов ключевая роль отводится им логическому анализу языка. Не желая признавать, что каждый компонент суждения связан с чем‑то существующим, Рассел разработал метод, позволяющий установить, какие языковые выражения несут на себе онтологическую нагрузку. С помощью этого метода он попытался элиминировать из языка ничего не обозначающие выражения и предложил соответствующую переформулировку истинных предложений с тем, чтобы по их логической структуре можно было судить об онтологической структуре описываемых предложениями фактов.

Однако здесь неизбежно встает вопрос о том, почему должен существовать параллелизм между простейшими лингвистическими «атомами» и базовыми элементами реальности и почему следует принять в качестве простейших, далее не разложимых метафизических «атомов» мира чувственные данные. Рассел не дал прямого ответа на этот вопрос. Можно предположить, что предложенное им онтологическое решение мотивировалось эпистемологическими соображениями. Ведь если признать чувственные данные базовыми элементами реальности, то у нас появляется шанс объяснить, как возможно познание мира. Именно отношение знакомства, по Расселу, дает ответ на вопрос о том, как нашим мыслям и нашему языку удается быть мыслями и языком о мире, внешнем по отношению к нашему сознанию. Это отношение является тем местом, в котором происходит непосредственный контакт между реальностью и познающим субъектом; через это отношение субъекту «открывается» мир, а поэтому те сущности, которые познаются в актах знания‑знакомства, и являются простейшими метафизическими элементами мира.

В качестве заключения отметим еще некоторые важные, на наш взгляд, особенности расселовской концепции о связи между языком и реальностью.

Во‑первых, модель языка Рассела в своих основных чертах воспроизводит фрегевскую модель. Это проявляется и в том, что образцом и квинтэссенцией языка для Рассела выступает формально‑логический экстенсиональный язык со строго заданной структурой, и в том, что язык берется им в его одной‑единственной функции – быть репрезентацией внеязыковой сферы, и в том, что отношение между именем и его референтом трактуется им как простое и единообразное. Человек в этой модели представлен лишь как субъект, акты знания‑знакомства которого являются каналом для установления референции имен.

Во‑вторых, хотя Рассел отказался от «трехуровневой» семантики Фреге («знак‑смысл‑значение») и разработал «двухуровневую» семантику («знак‑значение»), это не имело еще радикальных последствий для онтологии, поскольку, как отмечает Г. Кюнг, «в двухуровневой семантике область отображаемой реальности может включать в себя такие же абстрактные сущности, как входящие в область смысла в трехуровневой семантике» [Кюнг, 1999, с. 94].

В‑третьих, в концепции Рассела стала более явной одна черта, свойственная в какой‑то мере и представлению Фреге о соотношении и языка, и реальности. Эта концепция опирается на предположение о том, что существует один‑единственный язык (имеется в виду язык, логический анализ которого может быть использован в метафизических исследованиях) и ему противостоит один‑единственный мир, структура которого отображается в структуре этого единственного языка. Более того, отношение между языком и миром является твердо установленным и неменяющимся.

В‑четвертых, логический атомизм Рассела включает в себя не только онтологию дискретных «атомов», но и своеобразный «семантический атомизм», состоящий из двух частей – «атомизма истины» и «атомизма значения». Согласно атомизму истины, каждое атомарное предложение (или суждение) является полностью истинным или ложным независимо от других атомарных предложений. Согласно атомизму значения, языковое выражение обладает значением благодаря отношению между словами и миром, т. е. благодаря отношению референции. Это отношение предшествует тому, какую роль данное выражение выполняет в языке, и устанавливается независимо от этой роли. Соответственно референция трактуется как первичное отношение между языком и миром, а истина как отношение между предложениями и фактами устанавливается в том случае, когда составные части этих предложений имеют референцию к чему‑то существующему.

Наметив контуры грандиозной метафизической системы, в рамках которой логически совершенный язык обеспечивал философов инструментом для описания реальности, Рассел, однако, вскоре забросил над ней работу и обратился к решению иных проблем. Дальнейшее обсуждение этой темы было продолжено Витгенштейном, предложившим в «Логико‑философском трактате» (1921) свой вариант логического атомизма.