В оставшейся части этой главы мы рассмотрим тех философов, которые были лично знакомы с Фреге, испытали непосредственное влияние его идей и восхищались ими тогда, когда научный и философский мир не проявлял к ним особого интереса. Речь идет о Б. Расселе, Л. Витгенштейне и Р. Карнапе. Первый состоял с Фреге в переписке и был, можно сказать, «главным транслятором» его идей в англоязычном мире. Витгенштейн в 1911–1913 гг. трижды приезжал к Фреге в Иену и переписывался с ним. Неслучайно, что в Предисловии к «Логико-философскому трактату» он упомянул лишь «выдающиеся работы» Фреге и Рассела, назвав их «стимулировавшими» его мысли. Карнап слушал лекции Фреге по логике и основаниям арифметики в 1910–1914 гг., и по его признанию благодаря этим лекциям он «познакомился с настоящей логикой». Каждый из этих философов создал свою концепцию взаимосвязи языка и мира, но во всех этих концепциях хорошо просматриваются контуры фрегевской модели.
1.2. Логический атомизм Б. Рассела: язык как отображение структуры реальности
В 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 1 такое, что его грамматическая форма точно отображает логическую структуру суждения, выраженного в S и S 1 . Для ясного и однозначного представления логической формы Рассел стал использовать разработанный им формальный язык, приписав ему тем самым статус «логически совершенного» языка. Необходимость же подобного перевода на формальный язык он объяснял тем, что обыденный язык — это источник путаницы и неясности, которые на протяжении веков были причинами философских заблуждений.
