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

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 сформулировать логически эквивалентное ему предложение S1 такое, что его грамматическая форма точно отображает логическую структуру суждения, выраженного в S и S1. Для ясного и однозначного представления логической формы Рассел стал использовать разработанный им формальный язык, приписав ему тем самым статус «логически совершенного» языка. Необходимость же подобного перевода на формальный язык он объяснял тем, что обыденный язык – это источник путаницы и неясности, которые на протяжении веков были причинами философских заблуждений.

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

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

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

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

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

Конец ознакомительного фрагмента.

Текст предоставлен ООО «ЛитРес».

Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.

1

Хотя, как известно, термин «метафизика» был введен в I в. до н. э. для обозначения произведений Аристотеля, посвященных «первой философии», которые александрийский библиотекарь Андроник Родосский поместил «после физики», вопросы, находящиеся в ведении метафизики, волновали умы с момента появления философии как таковой.

2

Мы вовсе не хотим сказать, что аналитические философы открыто отождествляют метафизику с онтологией. Они, конечно, признают, что онтология – это лишь один из разделов метафизики и наряду с ним она содержит также разделы, занимающиеся проблемой бытия Бога, проблемой свободы воли, связью между сознанием и телом, природой пространства и времени и многими другими проблемами, однако, поскольку в структуре философского знания, принимаемой современными аналитическими философами, указанные проблемы оказались в ведении, скажем, философии религии, философии сознания, философии науки и т. п., собственно метафизика – в силу этого перераспределения проблематики – понимается ими как исключительно связанная с решением онтологических вопросов, и поэтому, когда они говорят о метафизике, они, как правило, имеют в виду онтологию.

3

Аналитические философы чаще всего употребляют термины «бытие» и «существование» как синонимы, но если иногда различие между ними все-таки проводится, то в этом случае существование трактуется как один из способов или «модусов» бытия.

4

Как отмечает отечественный исследователь античной философии А.В. Лебедев, соотношение этих двух вариантов определения предмета «первой философии» составляет «ключевую проблему интерпретации “Метафизики” и предмет острых дискуссий» [Лебедев, 2000, с. 174].

5

По сути, Аристотель рассматривает следующие основные виды суждений: Сократ есть человек», «Сократ есть бегущий», «Сократ есть мудрый», «Сократ есть пять футов и десять дюймов роста» и т. п. Из их анализа он делает вывод, что поскольку предикаты «обозначают, что есть субъект, другие его качество, иные – количество, иные – отношения, иные – действие или претерпевание, иные – “где”, иные “когда”, то сообразно с каждым из них те же значения имеет и бытие» (Metaphysics, 1017a 22–23). Соответственно он выделяет такие категории, как сущность, количество, качество, отношение, место, время, состояние, обладание, действие, страдание.

6

С точки зрения Даммита, прежде философы представляли язык как своего рода код: понятия кодируются в словах, а мысли, составленные из понятий, кодируются в предложениях. Идея языка как кода в принципе не исключает возможности проникновения в чистую суть мысли, освобожденную от лингвистического облачения, и, «с этой точки зрения нам нужен язык только потому, что мы лишены способности телепатии, т. е. способности непосредственной передачи мыслей» [Dummett, 1996, p. 97]. Первым, согласно Даммиту, сущностную связь между языком и мышлением усмотрел Г. Фреге. Он сумел понять, что способность быть переданной от одного человека к другому, причем переданной полностью, без остатка, составляет сущность мысли и этой способностью она обладает только благодаря языку, поэтому, когда «философ пытается освободить мысль от ее лингвистического облачения и проникнуть в ее обнаженную суть, он в результате лишь смешивает саму мысль с субъективными внутренними переживаниями, сопутствующими мышлению» [Dummett, 1978, p. 442]. Мы не будем здесь касаться вопроса о том, насколько прав Даммит в отношении первенства Фреге в этом вопросе, но аналитические философы действительно признают неразрывную связь между языком и мышлением.

7

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

8

См.: [Грязнов, 1983]. Правда, Грязнов в своей статье ограничивается рассмотрением концепций, сформулированных в рамках дискуссии, состоявшейся в 1960–1970-е годы в философии восприятия. В частности, в центре его внимания оказываются «усовершенствованный реализм» А. Айера, «научный реализм» Дж. Макки и «непосредственный реализм» П. Стросона.

9

Неслучайно поэтому свое логическое исчисление он называет «записью в понятиях» (Begriffsschrift).

10

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

11

Четкую формулировку этих свойств, обозначив их как «принципы отношения именования», дал Р. Карнап в своей работе «Значение и необходимость» (см.: [Карнап, 1959, с. 157–163]).

12

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