<< Пред. стр. 2 (из 17) След. >>
Апель К.-О. Трансцендентально-герменевтическое понятие языка. - Вопросы философии № 1, 1997.Богомолов А.С. Буржуазная философия США ХХ века. М., 1974.
Вригт фон Г.Х. Логика и философия в ХХ веке - Вопросы философии, 1992, № 8.
Грязнов А.Ф. Феномен аналитической философии в западной культуре ХХ столетия - Вопросы философии, 1996, № 4.
Грязнов А.Ф. Аналитическая философия: проблемы и дискуссии последних лет - Вопросы философии, 1997, № 9.
Гудмен Н. Способы создания миров. М., "Логос - Праксис", 2001.
Дэвидсон Д. Истина и интерпретация. М., "Праксис", 2003.
Зотов А.Ф., Мельвиль Ю.К. Западная философия ХХ века. В 2 тт. Т.1. М., 1994.
Карнап Р. Значение и необходимость. Исследования по семантике и модальной логике. М.: Изд-во иностр. лит., 1959.
Куайн У.В.О. Слово и объект. М., "Логос", 2000. (Там же: Две догмы эмпиризма.)
Кюнг Г. Онтология и логический анализ языка. М., ДИК, 1999.
Кюнг Г. Когнитивные науки на историческом фоне. - Вопросы философии, 1992, № 1.
Лебедев М.В. Стабильность языкового значения. М., "Эдиториал УРСС", 1998. (http://www.philosophy.ru/lebedev/texts/stability.html)
Лебедев М.В. Философия языка на фоне развития философии. - В кн.: Что значит знать? М., 1999. (http://www.philosophy.ru/library/misc/diskurs/lebedev.html)
Лебедев М.В., Черняк А.З. Онтологические проблемы референции. М., "Праксис", 2001. (http://www.philosophy.ru/library/chern/01/index.html)
Мельвиль Ю.К. Пути буржуазной философии ХХ века. М., "Мысль",1983.
От логического позитивизма к постпозитивизму. Хрестоматия. М.: НИИВО-ИНИОН, 1993.
Петров В.В. Структура значения: логический анализ. Новосибирск, "Наука", 1979.
Пассмор Дж. Сто лет философии. М., "Прогресс-Традиция", 1999.
Патнэм Х. Разум, истина, история. "Праксис", 2002.
Рассел Б. Философия логического атомизма. Томск, "Водолей", 1999.
Семиотика. Сб. статей под ред. Ю.С.Степанова. М., "Радуга", 1983.
Смирнов В.А. Логические методы анализа научного знания. М., "Наука", 1987.
Тондл Л. Проблемы семантики. М., "Прогресс", 1975.
Философия. Логика. Язык. Сб. статей под ред. Д.П.Горского, В.В.Петрова. М., "Прогресс", 1987.
Фреге Г. Логические исследования. Томск, "Водолей", 1997.
Хилл Т. И. Современные теории познания. М., "Наука", 1965.
Хинтикка Я. Логико-эпистемологические исследования. М., "Наука", 1980.
Хинтикка Я. Проблема истины в современной философии. - Вопросы философии, 1996, №9. С. 46-58.
Целищев В.В. Логическая истина и эмпиризм. Новосибирск, "Наука", 1974.
Язык, истина, существование. Хрестоматия в 2-х частях. Сост. В.А.Суровцев. Томск, изд-во ТГУ, 2002.
Dummett M. Origins of analytical philosophy. Cambridge MA, 1993.
Рар A. Elements of analytic philosophy, N.Y., 1949.
Passmore J. Recent Philosophers. L., 1985.
The revolution in philosophy, with an introduction by G.Ryle. L., 1956.
Urmsоn J.O. Philosophical analysis. Ox., 1956.
Classics of analytic philosophy, ed. by R. Ammerman, N. Y., 1965.
Wedberg A. History of Philosophy. Ox., 1984.
Интернет-ресурсы
http://www.philosophy.ru
http://analytic.ontologically.com
http://www.philosophypages.com
http://plato.stanford.edu
http://ejap.louisiana.edu
1. Истоки формирования аналитической философии
1.1 Брентано
Аналитическая философия, которую мы только что охарактеризовали во Введении как образец естественнонаучной строгости в гуманитарных науках, как столп противостояния иррационализму и интуитивизму; аналитическая философия, основные тенденции которой - перевод философских проблем в сферу языка, попытка сведения философской рефлексии к анализу, освобождение философского рассуждения от историко-культурных предпосылок; аналитическая философия была основана психологом и теологом.
Франц Брентано (1838 - 1917) изучал философию сначала в Берлине под руководством Тренделенбурга, а позже - в Вюрцбурге, где в 1862 г. защитил диссертацию "О различном значении сущего у Аристотеля". В 1864 г. Брентано рукоположен в духовный сан и принимает монашество, а в 1866 г. он проходит габилитацию и до 1872 г. занимает в Вюрцбургском университете должность профессора.
Сегодня истоки научной философии в Центральной Европе усматривают в австрийской философии XIX ст., а ее центральной фигурой считается Франц Брентано. Барри Смит высказывает следующий тезис: "[...] центрально-европейскую традицию логического позитивизма, в частности, а научной философии в общем следует понимать как часть наследия точной и аналитической философии Франца Брентано"1.
Брентано является основоположником минимум двух направлений в философии - феноменологии и АФ. Однако путь его пролегал через психологию. Почему?
Авторы предисловия к одному из русских изданий Брентано, Д.Н.Разеев и С.В.Черненко, пытаются дать ясный ответ на, возможно, близлежащий вопрос:
"Не секрет, что всякая отдельно взятая наука - в том числе и философия, - претендующая на научный статус, стремится к подлинному познанию, т.е. прежде всего к истине. Исследования о познании, следовательно, должны разворачиваться в той сфере, где вообще возможно обнаружить истинное или неистинное. Не подлежит никакому сомнению, что сфера физических данностей, физических процессов и событий как раз не может быть отмечена печатью истинного или неистинного, ведь вещь не может быть "истинной" или "ложной", а лишь "действительной" или "недействительной". Поскольку же сфере физических данностей противостоит сфера данностей психических, то и вопрос об истине может быть сведен к вопросу о том, в какой из сфер сознательного мира возможны истинные или ложные феномены. Для этого требуется прежде всего исследование сферы психического."2
Произведенное Брентано в своей "Психологии с эмпирической точки зрения" (1874) разделение психологии на "генетическую" или "описательную" ("чистую" от физиологиии) и "генетическую" (включающую в себя элементы физиологии) - это попытка нового (учитывающего позитивизм и отталкивающегося от него) подхода к традиционной для метафизики психофизической проблеме. Методологическая установка Брентано акцентирует внимание не на "сиюминутном озарении", но направлена на исследование единичных фактов и постепенном их теоретическом обобщении. К метафизике ведет трудный путь, на котором исследователь собирает предложение за предложением (Satz um Satz), истину за истиной (Wahrheit um Wahrheit), что придает эмпирическое и рациональное обличье его философии, а также гарантирует "научный" ее характер, сходный с характером эмпирических наук.
Главное отличие "эмпирической психологии" Брентано - в том, что она не основывается преимущественно на наблюдении. Вслед за Контом Брентано отрицает возможность интроспекции, понимаемой как наблюдение за ментальными процессами: он говорит, что попытка наблюдать, например, свой гнев (сконцентрировать на нем свое внимание) сразу же его разрушает. Конт пришел к заключению, что психология невозможна и должна быть заменена социологией. Брентано с этим не согласен. По его мнению, в распоряжении психолога имеются другие методы наблюдения: психолог может вспоминать процессы своего сознания, наблюдать за сумасшедшим, за более простыми формами жизни или поведением других людей. Но он признает, что такое наблюдение само по себе не особенно плодотворно.
С точки зрения Брентано, фундамент психологии составляет тот факт, что мы можем воспринимать собственные ментальные акты, хотя и не наблюдать их. Чтобы понять это различение, надо начать с картезианской посылки, принимаемой Брентано в качестве несомненной. Согласно этой посылке, сознавая "представление", мы одновременно сознаем сам акт, его нам представляющий. Так, доказывает Брентано, мы не можем слышать звук, если не сознаем не только сам звук, но также акт слышания. Он считает, что нет двух отдельных актов сознания, а есть только один акт с двумя различными объектами. Эти объекты - звук ("первичный объект") и акт слышания ("вторичный объект" - своеобразный рефлективный объект). Он отмечает, что если бы в каждом представлении содержалось два акта, то картезианская посылка привела бы к бесконечному умножению актов сознания. Тогда сознавать звук значило бы сознавать сознание звука и, далее, сознавать сознание звука значило бы сознавать это последнее сознание до бесконечности.
Именно такая критика была обращена примерно в то время младограмматизму в лингвистике. Младограмматики провозгласили основой изучения любого языка, и в особенности реконструкции его морфологии, единство психологических законов и непреложность "звуковых законов" речи; основой их лингвистической концепции стал индивидуальный психологизм. Важнейшие из введенных младограмматиками методологических принципов - изучение речи говорящего человека, а не письменных памятников прошлого, и учет при анализе истории языка действия звуковых (фонетических) законов и аналогий3. Подлинной реальностью выступает лишь индивидуальный язык. Ход рассуждений при этом таков: язык по-настоящему существует только в индивидууме, тем самым все изменения в жизни языка могут исходит только от говорящих индивидов. Если исходить из того, что каждый индивид обладает собственным языком, а каждый из этих языков - своей историей, то отсюда следует, что все изменения в жизни языка могут исходить только от говорящих индивидов.
Осознание этих фактов позволило довести до большого совершенства специальные лингвистические приемы исследования (в особенности реконструкции, изучение форм языка). В то же время слабыми сторонами концепции явились:
* раздробление системы языка на море "атомарных" фактов - звуков, словоформ и т.д.;
* преувеличение роли индивидуальной психологии и индивидуальной речи, в силу чего единственной подлинной языковой реальностью стала признаваться речь индивида; и, главное,
* постоянное удвоение предмета исследования: с одной стороны, язык, с другой - психика (звук и "психическое представление звука", значение и "психическое представление значения" и т.д.);
Брентано полагает, что избежать этого немыслимого умножения можно только одним способом - отрицанием того, что акт сознания нашего сознания звука отличается от акта сознания звука. Однако пытаться наблюдать акт сознания - значит пытаться сделать его "первичным объектом" еще одного акта (ведь, говоря о наблюдении, мы предполагаем различие между наблюдателем и наблюдаемым), а это невозможно, и здесь Брентано безоговорочно согласен с Контом.
Таким образом, мы имеем дело с важным различием между психологией и любым другим эмпирическим исследованием: в психологии мы "воспринимаем" (в Брентановом смысле этого слова), а в других науках - "наблюдаем". Может показаться, будто преимущество на стороне последних. Но Брентано категорически отрицает это. Естествоиспытатель - здесь Брентано согласен с Локком - не имеет прямого доступа к тем естественным объектам, что пытается описать, и все, что он говорит об их "действительной природе", остается лишь предположением, основанным на восприятии "явлений" этих объектов. Он может "наблюдать" звуки, цвета и т. п., но никогда не "воспринимает" физический объект сам по себе, иными словами - не может прямо и непосредственно сознавать его. Напротив, психолог, согласно Брентано, непосредственно и прямо схватывает реальности, составляющие предмет его исследований; каждый акт сознания воспринимает сам себя непосредственно как свой "вторичный объект" - не как "явление", не как нечто, из чего приходится заключать о действительном характере ментального акта, но таким, каков он есть в действительности. Вот почему для Брентано, как и для Юма, психология - первая среди наук: оба они принимали картезианский тезис, согласно которому наше знание о собственном сознании является прямым и достоверным, в отличие от знания о любой другой вещи4.
Но Брентано отделил себя от Декартово-Локковой традиции и внес собственный вклад в движение к объективности благодаря своему определению "психического", или "ментального". По мнению Локка, типичный ментальный феномен есть "идея" и наш опыт неизбежно ограничен "идеями". Поэтому если бы жесткие эмпиристы стали утверждать, что возможно лишь опытное знание, то отсюда следовало бы, видимо, что все, что мы можем знать, должно быть "ментальным". Различие между ментальным и не ментальным, на котором Брентано упорно настаивал ради возможности обосновать бессмертие души, было бы полностью отвергнуто любым радикальным приверженцем "точки зрения эмпиризма".
Брентано надеялся разорвать эту цепочку рассуждения, отрицая предварительную посылку о тождестве ментального и идеи. Характерная черта "психического феномена", доказывает Брентано, состоит в том, что он "указывает на некий объект", или "относится к некоему содержанию", - эти выражения он рассматривает как синонимы. Значит, ментальное есть "акт", не ментальное же, напротив, совершенно не способно "указывать" или "иметь содержание". Вот те муки, в которых рождались теории значения - как интенционалистские, так и референциальные.
Поскольку физические "явления", по мнению Брентано, всего лишь суть "знаки" вещей, но не сами вещи, то они не могут служить источником достоверного, фактического знания о вещах и самой действительности. Действительности Брентано противопоставляет мир явлений (физических и психических), а причинная связь действительного мира и мира явлений выражается в том, что мир явлений состоит из "знаков" предметов действительности. Эта семиотическая точка зрения и семантический характер отношения двух миров является существенной компонентой методологии Брентано, повлиявшей на реформирование традиционной логики. Брентано не определяет непосредственно ни психических явлений, ни физических, но единственно, называя коннотационные признаки тех и других, стремится выяснить их различия и специфику. Так, Брентано говорит, что психическим явлениям сопутствует интенциональность, т.е. направленность к предметам представления, что только психические явления представляют собой предмет "внутреннего опыта", что они экзистируют как единство (immer als Einheit) , отличаются непосредственным (direkt) переживанием, неизменностью (Untruglichkeit), очевидностью (Evidenz) и кроме того реальны (wirkliche)5.
Другой рудимент аналитических дискуссий содержится в его трактовке примера Юма. "Экзистенциальное" суждение - суждение формы х существует - содержит, по его мнению, только одну идею х, а не две идеи (х и существование), связанных вместе неким отношением. Пока что это показывает лишь, что иногда суждение имеет своим объектом единственную идею, и поэтому множественность объектов суждения не может быть его определяющей характеристикой. Но Брентано идет дальше. Каждое простое суждение, говорит он, можно свести к экзистенциальной форме. Суждение "некоторые деревья зелены" всего лишь утверждает - а суждение "никакие деревья не зелены" всего лишь отрицает, - что зеленые деревья существуют. Содержание этих суждений, заключает он, составляют те самые "зеленые деревья", которые мы можем представлять как идею. Различие между суждением и представлением состоит не в объекте, но исключительно в способе, каким мы его представляем: формулировать суждение - значит утверждать или отрицать объект, представлять - значит просто иметь его перед собой. Это рассуждение - очевидная предтеча как логико-позитивистского редукционизма, так и его критики Куайном, а также различения между интенсиональным и экстенсиональным подходом и вообще всех тем, связанных с требованием онтологической нейтральности.
Что касается последнего, то это разгорающееся пламя особенно усердно раздувал ученик Брентано Алексиус Мейнонг при помощи таких полезных вещей, как круглый квадрат и золотая гора.
Некоторые (но лишь некоторые) предметы Мейнонг характеризует как "существующие". Так, например, зеленый лист существует. Другие предметы он считает "реальными", хотя и несуществующими. Различие между красным и зеленым, например, есть "реальное" различие, но оно не "существует" в том смысле, в каком существуют красная книга и красный лист. В самом деле, полагает Мейнонг, никакие "предметы высшего порядка" - предметы, которые представляют собой отношения между существованиями - нельзя назвать существующими в собственном смысле слова. Число два не существует, хотя оно реально. Все "реальные несуществующие" Мейнонг называет "логически существующими".
Разделение предметов на существующие и логически существующие, по мнению Мейнонга, не исчерпывает всех возможностей. Ведь некоторые предметы - например, круглый квадрат - не являются ни существующими, ни логически существующими; они "вне бытия". Но они все же "предметы". Необоснованная благожелательность по отношению к действительному, полагает Мейнонг, подталкивает нас к неверному предположению, будто все предметы должны быть действительными в том смысле слова, в каком действительны зеленые листья, и от такого вульгарного простодушия философ обязан отказаться.
Из различий между "предметами" особенно важно одно - различие между "объективами" и предметами, которые таковыми не являются ("чистыми предметами".) Чистый предмет - золотая гора, например, - может существовать или не существовать; но бессмысленно было бы утверждать, что такой предмет является (либо не является) "фактом" или "событием". Напротив, об "объективе" - например, о существовании золотых гор - невозможно осмысленно утверждать, что он существует (хотя как "предмет высшего порядка" он действительно "логически существует"), но он либо есть факт, либо не есть факт.
Легче всего понять природу "объектива", размышляет Мейнонг, если представить его как значение предложения - не как то, что выражает предложение, не как ментальный акт, который его производит, но как то, о чем оно сообщает. Так, если мы спросим: "О чем сообщает предложение "золотая гора не существует"?", то, вероятнее всего, получим ответ: "О "золотой горе"". И этот ответ, как считает Мейнонг, вполне понятен. Именно потому, что он понятен, мы склонны заключить, что имеются только "чистые предметы" и именно на них указывают предложения и отдельные слова. Но пока мы не прояснили разницу между выражением "золотые горы" и предложением "золотые горы не существуют", мы должны, чтобы понять их различие, признать, что наше предложение сообщает о не-существовании золотых гор, а не просто о золотых горах, - стало быть, что "объективы" отличаются от "чистых предметов".
Так начиналось развитие далеко идущих следствий произведенного Брентано анализа опыта. Г.Шпигельберг пишет об этом довольно откровенно:
"Философская вселенная Брентано была фундаментально простой, и он стремился к тому, чтобы она таковой и оставалась. Она состояла из психических и физических феноменов плюс из Божественного Бытия, к признанию которого его склоняла философская теология. Таким образом, Брентано питал стойкое отвращение к любым попыткам "умножения сущностей", столь распространенным в средневековой схоластике, а также в современной спекулятивной философии. Поэтому он энергично возражал против придания самостоятельного бытийного статуса таким не-психологическими феноменам или "нереальным сущностям" ("irrealia"), как содержания мышления, положения дел, отношения, универсалии, идеалы, ценности и нормы. Он ограничивался исключительно признанием существования, относящегося к области "res", т.е. реальных вещей и реальных мыслящих существ. Универсалии, бытие и небытие, возможность и необходимость могли бы существовать только в качестве мыслей таких реальных мыслящих существ. Систематическая критика языка должна была представить все термины, которые на первый взгляд утверждали самостоятельное существование таких сущностей, в качестве своего рода синкатегорематических выражений, вроде союзов и частиц или аффиксов, которые могут осмысленно употребляться только в комбинации с именами. В данном случае речь идет об именах лиц, мыслящих эти сущности. Иными словами, референты обыденных или философских выражений, которые не указывают на физические и психические объекты, следовало бы считать просто "entia rationis" или фиктивными сущностями. Этот "реизм" смягчался лишь тем фактом, что Брентано, в своем вполне определенном противостоянии номинализму, утверждал, что все мысли относительно реального могли бы быть выражены только при помощи универсалий и что в действительности наш опыт показывает нам только то, что является универсальным. Помимо Брентано, этого учения в известной степени придерживался также и Бертран Рассел.
Довольно сложно определить мотивы, которыми Брентано руководствовался, придерживаясь подобного рода экономии, особенно в поздний период своего творчества. Вполне вероятно, что некоторые выводы его наиболее одаренных учеников, вроде Штумпфа, Мейнонга и Гуссерля заставили его во все возрастающей степени сопротивляться принятию новых и сложных феноменов. В особенности Gegendstandstheorie* Мейнонга и феноменология Гуссерля, - вероятно, он не видел различия между ними, - казались ему совершенной фантастикой, если только не полной изменой по отношению к его научным устремлениям. Этот отказ выйти за пределы физических и психических феноменов, сочетавшийся с усилиями истолковать по-новому поиск заменителей для "фиктивных сущностей", показывает границы эмпиризма Брентано и, как это было подмечено поздними феноменологами, границы его феноменологической установки. Однако это никоим образом не умаляет его фундаментальный вклад в развитие феноменологической философии. Этот вклад может быть резюмирован в следующих отношениях:
?. расширение традиционного эмпиризма благодаря признанию прежде не замечавшихся или игнорировавшихся видов опыта, включая даже некоторые не-индуктивные усмотрения сущностных структур и отношений эмпирических данных;
?. развитие новой описательной психологии;
?. открытие отношения интенциональности;
?. описание аналогии самоочевидности в этике."6
Все сказанное здесь о феноменологии можно, без сомнения, применить в отношении Брентано и к аналитической философии - и это наличие общего источника, вероятно, представляет надежный tertium comparationis для их дальнейшего сопоставления, которое еще только начинается (см. гл. 13). Более того, этими двумя направлениями не ограничивается количество струй, бьющих из этого ключа. Так, Ингарден был убежден в наличии содержательных параллелей между аналитической философией и гештальтпсихологией7; последняя не случайно возникла именно в Граце. (Келера, Коффку и других гештальтистов включил и Барри Смит в одну из тех загадочных карт влияний, которые он так любит рисовать и одну из которых он выполнил для Брентано, но количество связей там так велико и запутанно, что сложно разобраться, кого с чем лучше сравнивать. А впрочем, так оно действительно и есть.)
Ингарден писал: "Брентано был достаточно загадочной фигурой. До сегодняшнего дня определенно не известно, заключалась ли его роль в философии в том, что он ввел в европейскую философию какие-то существенно новые, важные идеи, или же, пожалуй, в том, что, будучи выдающейся личностью, воздействовал на ряд крупных ученых и таким образом вызвал отдельную линию исследований и взглядов в общем течении современной европейской мысли."8
1.2 Логико-семантические идеи Г.Фреге
Аналитическая философия возникла на волне интереса к формальной логике, которая, обогатившись новыми методами, с середины XIX века начинает бурно развиваться9. К этому необходимо добавить, что влияние логики не ограничивалось лишь аналитической философией; во второй половине XIX века представители всех философских направлений от позитивистов до неогегельянцев писали "логические исследования", на этой же волне возникла и феноменология Гуссерля. Исключительное внимание к логике на рубеже веков трудно обосновать лишь ссылкой на то, что логика является философской наукой. Скорее, объяснение этому надо искать в ее взаимодействии с теми отраслями знания, которые выходили за рамки философского. И здесь особую роль сыграли психология и математика. Появление психологии стимулировало развитие логической мысли в том отношении, что с привнесением в философию позитивного естественнонаучного духа возникала иллюзия, что теория познания обретет наконец так недостающие ей прочные основания, и в этом отношении психологическое объяснение логики, как ядра теории познания, должно было сыграть свою ведущую роль. Цель психологизации, по существу, сводилась к стремлению объяснить логические структуры естественными процессами, протекающими в индивидуальном человеческом сознании, а не способностями трансцендентального субъекта или самоопределением объективного духа. Однако психологизация не приводила к позитивному расширению границ логики как науки, с точки зрения содержания она все так же понималась, по словам Канта, "вполне законченной и завершенной". И, несмотря на то, что рефлексия над основаниями логики не раз приводила к радикальному изменению философских установок, в данном случае был дан фальстарт. Психологическое обоснование не принесло ощутимой пользы, прочный фундамент так и не был заложен, а позитивное расширение границ логического ограничилось разработкой субъективных условий применения тех объективных законов и норм, которые и так давно были известны.
Иное дело воздействие математики на логику, не только расширившее границы формальной логики, но и совершившее подлинную революцию как в понимании природы логического, так и в понимании перспектив применения философских методов. Последнее обстоятельство позволило Б.Расселу сказать, что формальная логика с середины XIX века каждые десять лет создает больше, чем было создано за весь период от Аристотеля до Лейбница10. Математизация логики - процесс прямо противоположный ее психологизации и, пожалуй, характеризует одну из наиболее интересных коллизий в развитии науки.
В ряду известных философов и логиков конца XIX - начала XX века Г.Фреге занимает особое место. Его роль в современной логике, которую он в значительной степени создал, сравнима разве что с ролью Аристотеля в логике традиционной. Фреге, в частности, заложил основы той области знания, которая получила название оснований математики, впервые отчетливо связав проблему формального единства содержания математики с принятыми в ней способами рассуждения и заложив тем самым, основы теории формальных систем. Это стало возможным только потому, что им была осуществлена одна из первых аксиоматизаций логики высказываний и логики предикатов, причем последняя фактически впервые появилась в его трудах. Г.Фреге заложил основы логической семантики, отделив в логической теории средства выражения (синтаксис) от того, что они обозначают. Наконец, он выдвинул программу прояснения основных понятий математики, которую и попытался осуществить с помощью процедуры сведения математики к логике, реализуя одну из возможных методик прояснения специфики математического знания.
Совокупность результатов, достигнутых им в логике, предполагала совершенно определенный концептуальный сдвиг, который отражает влияние Фреге на развитие современной мысли в целом. На чем же основан этот концептуальный сдвиг? Он основан на новом понимании роли языка, который начинает рассматриваться как исчисление, аналогичное математическим теориям11.
1.2.1. Значение и смысл имен собственных
Семантика занимается концептуальным исследованием значений языковых выражений. Одним из ее центральных понятий является понятие имени. Фреге принадлежит заслуга такого уточнения этого термина, которое позволило ему стать одним из основных понятий математической логики. В основе классической концепции имен собственных, сформулированной Фреге, лежат понятия значения и смысла. Согласно этой концепции, всякое имя обозначает (называет, именует) некоторый предмет (называемый значением, денотатом или референтом имени) (нем. Bedeutung, англ. reference) и выражает некоторый смысл (нем. Sinn, англ. meaning), определенным образом характеризующий значение имени.
В статье "О смысле и значении" Фреге дает следующее истолкование имени: "Под "знаком" или "именем" я понимаю любое обозначение, выступающее в роли имени собственного, значением которого является определенный предмет (в самом широком смысле этого слова), а не понятие и не отношение... Обозначение одного предмета может состоять также из нескольких слов и иных знаков. Для краткости каждое такое обозначение может быть названо именем собственным"12.
Примерами имен собственных могут служить следующие выражения: (1) "Аристотель"; (2) "Учитель Александра Македонского"; (3) "Утренняя звезда"; (4) "Вечерняя звезда"; (5) "точка пересечения прямых a и b".
Следовательно, всякое имя, с одной стороны, обозначает свой предмет, а с другой - выражает свой смысл, который определенным образом характеризует значение имени. Поскольку смысл позволяет выделить предмет, обозначаемый знаком, обычно принято говорить, что значение знака является функцией смысла. Например, знак "учитель Александра Македонского" при условии, что известны значения слов "учитель" и "Александр Македонский", обозначает древнегреческого философа Аристотеля.
Второй краеугольный камень семантики Фреге - это то строгое различие, которое он проводит между именами собственными и предикатными знаками. Последние именуются им понятийными словами (нем. Begriffsw(rter). В то время как значением имени собственного является определенный предмет, значением предикатного знака или, что то же самое, понятийного слова, является понятие (например, "быть натуральным числом, большим, чем два"). В этом случае, однако, возникает проблема, как отличить имя собственное в качестве логически простого обозначения единичного предмета от предикатного знака, чьим значением является понятие, под которое подпадает всего-навсего один предмет. Для разрешения этой проблемы Фреге предложил определять семантическую категорию интересующего выражения путем его подстановки в предложение типа "Существует ли больше, чем одно ". Пусть "А" будет тем выражением языка, семантическую категорию которого мы должны установить, подставив его на место пробела в указанном выше предложении.Если интерпретировать выражение "А" как понятийное слово, то вопрос "Существует ли больше, чем одно А?" будет вполне осмысленным, даже если мы и будем вынуждены дать на него отрицательный ответ; однако если интерпретировать "А" как имя собственное, то такого рода вопрос вообще нельзя будет значимо сформулировать, поскольку множественная характеристика отдельного предмета вообще есть что-то бессмысленное. Например, в английском языке слово "moon" может обозначать как Луну, так и спутник планеты. Относительно такого рода двусмысленных случаев Фреге использовал возможность задавать вопрос "Существует ли больше, чем одно " для того, чтобы выяснить, идет ли речь об описательном термине, который может осмысленно применяться во множественном числе ("спутники планеты"), или же об имени собственном, относительно которого было бы бессмысленно употреблять множественное число ("Луна")13.
Связь между именем, его значением и смыслом принято изображать в виде семантического треугольника:
"И" - имя собственное (обозначающее выражение)
З - значение (референт) имени
С - смысл (абстрактное содержание) имени
Сам Фреге формулирует эту связь следующим образом: "Собственное имя (слово, знак, сочетание знаков, выражение) выражает (dr(ckt aus) свой смысл (Sinn) и означает (bedeutet), или обозначает (bezeichnet), свое значение (Bedeutung). Мы выражаем некоторым знаком его смысл и обозначаем им его значение"14.
В своей первой крупной теоретической работе "Исчисление понятий" (1879) Фреге не проводил различие между значением и смыслом имени. Не встречается оно и в другом крупном его произведении "Основоположения арифметики", опубликованном в 1884 году. Впервые различие между значением и смыслом имени появляется только в 1892 году в статье "О смысле и значении" ("(ber Sinn und Bedeutung").
Вопросом, подтолкнувшим Фреге к изучению проблемы значения и смысла языковых выражений, стал вопрос о равенстве. Является ли равенство отношением? Если да, то отношением между предметами или же между именами и знаками предметов? В своей статье "Исчисление понятий" Фреге высказался в пользу второго решения этой проблемы. В статье "Смысл и значение" он еще раз возвращается к этому вопросу. Свои аргументы в пользу выбранного им решения проблемы он формулирует следующим образом: "Предложения а = а и а = b имеют, очевидно, различную познавательную ценность: предложение а = а значимо a priori и, согласно Канту, должно называться аналитическим, в то время как предложения, имеющее форму а = b значительно расширяют наше познание и не всегда могут быть обоснованы a priori. Одним из значительнейших открытий астрономии в свое время было то, что каждое утро встает не новое Солнце, а то же самое. И по сей день опознание астероидов или комет иногда связано со значительными трудностями. Если же в равенстве мы хотим видеть отношение между тем, что означают имена "а" и "b", то предложения а = b и а = а не могут быть различными в том случае, когда а = а истинно. При этом выражалось бы отношение вещи к самой себе, но не к какой-то другой вещи"15.
Если считать равенство отношением между предметами, то предложения (1) "Утренняя звезда есть Утренняя звезда" и (2) "Утренняя звезда есть Вечерняя звезда" окажутся, - при условии, что предложение (2) истинно (очевидно, что так оно и есть), - выражающими один и тот же факт, а именно, что планета Венера тождественна планете Венере.
Ясно, однако, что познавательный статус двух этих предложений совершенно различен. Предложение (1) является аналитическим, т.е. логически-истинным или тождественно-истинным в силу значений входящих в него логических терминов; оно не выражает какого-либо действительного знания о мире. Напротив, предложение (2) не является аналитическим; установление его истинности или ложности требует обращения к эмпирическим наблюдениям о мире. Оно сообщает нам важный астрономический факт и выражает подлинное знание о мире.
Возникшую проблему можно объяснить тем, что предмет, относительно которого утверждается его тождество с самим собой, рассматривается безотносительно к тем именам, "а" и "b", "Утренняя звезда" и "Вечерняя звезда", при помощи которых устанавливается это тождество.
В силу вышеуказанных затруднений напрашивается следующее решение возникшей проблемы. "Говоря а = b, видимо, хотят сказать, что знаки, или имена, "а" и "b", означают одно и то же, и в таком случае речь идет именно об этих знаках; между ними утверждается некоторое отношение. Но эти имена, или знаки, находятся в указанном отношении только потому, что они нечто называют или обозначают. Это отношение опосредовалось бы связью каждого из них с одним и тем же обозначаемым"16.
Получается, что равенство а = b есть отношение, высказываемое об имени "а" некоторого предмета и об имени "b" некоторого предмета и состоящее в том, что предметы обоих имен совпадают друг с другом. В данном случае имеется двухместное отношение между именем и предметом, им обозначаемым. Поэтому можно сказать, что "а = b" есть высказывание об "а" и "b" лишь постольку, поскольку они обозначают какой-то предмет.
Здесь появляется еще одна трудность, обусловленная тем, что знак или имя является произвольным по отношению к обозначаемому или именуемому им предмету. Обозначение предмета тем или иным знаком зависит исключительно от соглашения между лицами, употребляющими знаки. На этот счет Фреге пишет: "Никому нельзя запретить считать произвольно избранное событие или предмет знаками чего угодно. В таком случае предложение а = b относилось бы не к самой вещи, а только к нашему способу обозначения; мы не выражали бы в нем никакого подлинного знания. Но все же в большинстве случаев мы хотим именно этого"17.
Конечно, существуют предложения, относительно смысла которых можно утверждать, что он ограничивается выражением того, что у предмета, обозначаемого именем "а", есть еще имя "b". Таково, к примеру, предложение
(3) "Цицерон есть Марк Туллий".
Можно считать, что и оно содержит некоторое знание насчет того, что человек по имени Цицерон иначе называется еще Марк Туллий. Ясно, однако, что это знание относится не к самому предмету, но к знакам, которыми мы обозначаем этот предмет. Однако не все предложения о равенстве таковы. Среди них встречаются и такие, которые выражают знание в собственном смысле этого слова. Рассмотрим предложение
(4) "Платон есть ученик Сократа и учитель Аристотеля".
Если мы будем считать, что предложение (4) по своему познавательному статусу вполне аналогично предложению (3), то должны будем заключить, что предложение (4) содержит только некоторое знание о том, как нужно понимать знаки, обозначающие некоторое лицо, в данном случае - великого античного философа. Тогда нам следует понимать предложение (4) так, что оно утверждает только то, что человек, именуемый "Платон" - это тот же человек, которого называют "ученик Сократа и учитель Аристотеля". В таком случае мы не имеем права рассматривать последнее как сложное имя, состоящее из осмысленных частей ("ученик Сократа", "учитель Аристотеля") и сообщающее сведения, что обозначенный этим именем человек учился у Сократа и был учителем Аристотеля, и должны рассматривать его как произвольный знак, обозначающий Платона и не несущий какой-либо дополнительной информации. Ясно, что такое понимание предложения (4) ошибочно, поскольку предложения (3) и (4) явно различны по своему познавательному статусу.
Предложенное решение не дает нам выхода из затруднения, поскольку мы оказываемся не в состоянии различить предложения (1) "а = а" и "а = b" с точки зрения их познавательного статуса. Если знак "а" отличается от знака "b" только по своему виду, а не в качестве собственно знака, то есть не в силу того способа, которым он обозначает нечто, то между предложениями (1) и (2) не будет принципиальной разницы в том случае, если предложение (2) истинно.
Разница в познавательной ценности предложений (1) и (2) может появиться только в том случае, если различию знаков соответствует различие в способе данности обозначаемого. Иными словами, это различие возможно тогда и только тогда, когда с каждым именем собственным соотносится не только тот предмет, который обозначает это имя (значение имени), но и тот способ, каким имя обозначает или дает нам предмет, - смысл имени.
Для того, чтобы разъяснить вводимое им трехместное отношение между именем, значением имени и смыслом имени, Фреге прибегает к следующему примеру. Пусть а, b и с - прямые, соединяющие вершины треугольника с серединами противоположных сторон. Точка пересечения а и b будет тогда той же самой точкой, что и точка пересечения b и с. Итак, мы имеем различные обозначения (имена) одной и той же точки, и эти имена ("точка пересечения а и b" и "точка пересечения b и с") указывают на способ данности объекта. Мы сталкиваемся с ситуацией именования, в которой два имени обозначают один и тот же предмет. Первое имя обозначает его как точку пересечения прямых а и b, второе - как точку пересечения прямых b и с. Именно поэтому, утверждает Фреге, данное предложение выражает действительное знание.
"Это свидетельствует о том, что некоторый знак (слово, словосочетание или графический символ) мыслится не только в связи с обозначаемым, которое можно было бы назвать значением знака, но также и в связи с тем, что мне хотелось бы назвать смыслом знака, содержащим способ данности [обозначаемого]. Тогда в нашем примере одним и тем же будет значение выражений "точка пересечения а и b" и "точка пересечения b и с", а не их смысл. Точно также у выражений "Вечерняя звезда" и "Утренняя звезда" одно и то же значение, но не смысл"18.
Примечательно, что Фреге использует термин "имя собственное" в более широком значении, нежели чем только в качестве простого знака, обозначающего отдельный предмет; он использует его также и в отношении сложных обозначений предметов, которые мы обычно называем определенными описаниями или дескрипциями (англ. definite descriptions). (Эта терминология не имела хождения во времена Фреге. Она была введена Расселом в совместной с Уайтхедом работе "Principia Mathematica"19). Отсюда становится понятным, что в состав имен собственных Фреге включает по крайней мере два достаточно разнородных класса языковых выражений. Во-первых, речь идет о логических именах собственных, обозначающих какой-то один предмет. В этом случае имя собственное является простым сингулярным термином, составные части которого, в свою очередь, сами не являются символами. Таковы выражения типа "Платон", "Аристотель", "Венера", "Марс", "Вена", "Гринвич". Во-вторых, речь идет о относительно сложных обозначениях предметов, которые мы обычно называем определенными описаниями. В таком случае имя собственное будет сложным сингулярным термином, содержащим более простые символы в качестве своих составных частей. К сложным сингулярным терминам относятся выражения типа "тот ученик Платона, который был учителем Александра Великого", "самое удаленное от Земли небесное тело", "тот французский полководец, который выиграл сражение при Иене, но проиграл сражение при Ватерлоо".
Каковы были основания, побудившие Фреге считать сложные сингулярные термины ("определенные описания") обычными именами собственными наряду с простыми сингулярными терминами? Первое основание фрегевского включения определенных дескрипций в класс имен собственных состояло в том, что Фреге считал обычные имена собственные сокращенными определенными описаниями; например, имя собственное "Аристотель" - это своего рода сокращенная аббревиатура для описания "тот ученик Платона, который был учителем Александра Великого". Следовательно, Фрегева семантика основывается на том, что большинство собственных обозначений - это скрытые описания. Это означает, что смысл логическим именам собственным типа "Аристотель", "Мюнхен", "Венера" придается посредством определенных описаний, которые ставятся им в соответствие. В свою очередь, в определенные описания могут входить логические имена собственные. Это позиция обладает малоубедительным правдоподобием в отношении собственных имен исторических персонажей ("Аристотель", "Цицерон", "Наполеон"), но она совершенно не годится для объяснения семантических особенностей обычных имен собственных. В частности, если считать, что логические имена собственные - это сокращенные определенные описания или части определенных описаний, то оказывается необъяснимым факт существования по крайней мере двух знакомых мне людей, носящих одинаковые имена.
Это обстоятельство приводит к целому ряду известных трудностей, когда мы пытаемся применить его к естественным языкам. В частности, одна из них касается значения обыденных имен собственных: например, имен собственных, обозначающих отдельные личности. Как правило, знание значения имени собственного в включает в себя знание, кого отдельный говорящий намеревается обозначить этим именем. Однако вполне возможны случаи, когда различные говорящие обозначают одну и ту же личность при помощи одного и того же имени собственного, и при этом не знают, что они обозначают одну и ту же личность, поскольку каждый из них отождествляет ту личность, о которой идет речь, при помощи различных дескрипций. Если Лео Петер лично знает доктора Густава Лаубена, но не знает, что доктор Лаубен родился 13 сентября 1875 г. в N., а Херберт Гарнер знает только то, что доктор Густав Лаубен родился 13 сентября 1875 г. в N., но не знает, где живет доктор Лаубен в настоящее время и вообще не имеет никаких других сведений о нем, то тогда возникает ситуация референциальной "непрозрачности", о которой сам Фреге говорит следующее:
"В таком случае Херберт Гарнер и Лео Петер будут, употребляя имя собственное "доктор Густав Лаубен", говорить на разных языках, хотя они в действительности и будут этим именем обозначать одного и того же человека; ведь они не будут знать, что делают именно это. Херберт Гарнер будет связывать с предложением "Доктора Густава Лаубена ранили" не ту мысль, которую хотел бы выразить Лео Петер"20 (выделено нами).
Иными словами в ситуациях, получается, что употребляя одно и то же имя, но связывая его с различными смысловыми характеристиками, люди говорят на разных языках, или, как принято выражаться в настоящее время, на разных идиолектах. Коль скоро это следствие теории смысла Фреге блокирует возможность коммуникации и препятствует реализации ее цели - взаимопонимания между индивидами, то многие последователи Фреге сочли это следствие малопривлекательным.
Итак, Фреге рассматривал определенные дескрипции как "смыслы" имен собственных (например, "Аристотель есть тот человек, который был учителем Александра Великого"), позволяющие выделить значение соответствующих имен. На это, в частности, указывает его замечание, суть которого в следующем: мнения о том, что же следует считать смыслом собственно имени собственного, например Аристотель, могут быть, правда, различны. Можно, в частности, считать, что слово "Аристотель" имеет смысл: ученик Платона и учитель Александра Великого. Тот, кто придерживается такого мнения, свяжет с предложением "Аристотель родился в Стагире" не тот смысл, который оно имеет для того, кто с именем "Аристотель" связывает смысл: родившийся в Стагире учитель Александра Македонского. Но поскольку значение остается одним и тем же, постольку эти колебания смысла допустимы, хотя в языках точных наук их следует избегать, а в совершенном языке они недопустимы. В дальнейшем истолкование имен собственных как скрытых описаний было подхвачено Бертраном Расселом. Последний утверждал, что мысль, находящаяся в уме говорящего тогда, когда он, например, употребляет в том или ином контексте выражение "Аристотель", может быть выражена в явном виде исключительно путем замены имени собственного описанием. Более того, описания, необходимые для выражения этой мысли, будут различаться от человека к человеку и для одного и того же лица в разное время. Единственной постоянной величиной, - при том условии, что имя используется правильно, - остается предмет, к которому отсылает имя.
В данном случае, говоря о том, что собой представляет смысл имени собственного, например, "Аристотель", мы могли бы охарактеризовать его как коньюнкцию таких свойств, как 1 ..., 2 ... , 3 ... , 4 ... ; и дать при этом полный список определенных свойств. Ясно, однако, что в данном случае требуется дать какой-то критерий отбора интересующих нас свойств, поскольку каждый отдельный предмет обладает бесчисленным множеством свойств и при отсутствии такого критерия фиксация смысла имени собственного стала бы чересчур сложной и громоздкой, если вообще выполнимой процедурой. Иными словами, возникает вопрос о диапазоне существенных свойств предмета, обозначенного соответствующим именем, и критерии отбора этих свойств и отличения их от не-существенных. Это требование отличать существенные свойства предмета от несущественных при фиксации смысла имени приводит, как отмечает Сол Крипке, к социологизации понятия смысла имени собственного. На практике это означает, что смысл имен собственных, например "Аристотель", начинают определять как некоторое грубо устанавливаемое множество широко распространенных в определенном обществе в определенную эпоху мнений об Аристотеле21. Это - не слишком приятное следствие для философов, принимающих доктрину смысла Фреге. Поставьте, к примеру, на место имени собственного, смысл которого требуется определить, имя "Сталин", и призрачная область смыслов как объективных сущностей, открываемых (Фреге) или постулируемых (Черч) в трехчленной семантике знака, обозначенного и смысла сразу же улетучится. Ведь совершенно ясно, что совокупность широко распространенных, например, в российском обществе, мнений о Сталине в 1949, 1989 и 1999 годах резким, зачастую диаметрально противоположным образом отличается друг от друга. Отсюда становится ясным, что неудовлетворительность Фрегевой теории имен собственных заключается в том, что она заставляет смысл имени колебаться, - в конечном счете от человека к человеку и от одного контекста употребления к другому; при этом принципы определения смысла имен для каждого отдельно взятого человека оказываются зависимыми от обстоятельств его личной жизни, а также от тех воздействий - вербальных и не-вербальных, - которым он подвергается со стороны общества: воспитания, образования, накопленного культурного капитала, умственного кругозора и т.д.
При этом надо отметить, что соображения, приведшие Фреге к включению сложных сингулярных терминов в класс обычных имен собственных, не носили, в отличии от соображений Рассела, эпистемологического характера. (См. об этом у Питера Гича22). Рассел говорит, что логические имена собственные отсылают слушающего к непосредственно знакомым объектам; при этом имеется в виду, что знание об этих объектах получено без помощи какого-либо вывода, посредством прямого знакомства при помощи органов чувств или разума. Такая постановка вопроса скорее всего показалась бы ему нежелательным возвращением от формально-семантического анализа к теоретико-познавательному психологизму, бывшему отличительной чертой философии Нового времени. Программу формально-семантического анализа, не имеющего отношения к психологическому процессу познания, Фреге наметил еще в своей работе "Исчисление понятий", опубликованной в 1879 году. В ней он четко отделил контекст обоснования и формализации имеющих истин от контекста получения новых истин и считая второй психологической проблемой, вывел его за рамки логико-семантических исследований.
Надо отметить также и то, что Фреге считал определенные дескрипции именами собственными не потому, что придавал каждому выражению предметное значение. Он отнюдь не придерживался убеждения, что всякое языковое выражение какого угодно вида должно обозначать какую-либо сущность. Такая позиция была свойственна Мейнонгу в его Gegenstandstheorie и Расселу в ранний период его творчества, отмеченный созданием Principia Mathematica, однако совершенно чужда самому Фреге. Отчасти это происходило потому, что он уподоблял предикаты функциональным выражениям, отчасти же потому - что делил все выражения языка на обозначающие и указывающие. Только обозначающим знакам типа имен собственных можно приписать предметное значение и смысл. Об указывающих же знаках типа частицы "между" вряд ли можно сказать, что она нечто обозначает; не всегда имеет смысл и приписывать ей какой-то особый смысл. Указывающие знаки по своей роли в дискурсе обычно характеризуются тем, что они вносят свой вклад в значение предложения благодаря тому, что связывают его части между собой и тем самым способствует выражению в языке - при помощи соответствующего предложения - полной мысли. "Говоря, что указывающий знак ничего не обозначает и не имеет смысла, - отмечает Фреге, - мы еще не утверждаем, что он не может содействовать выражению некоторой мысли. Он может содействовать этому тем, что придает общность содержания предложению или состоящему из предложения целому"23.
Второе основание включения Фреге определенных дескрипций в класс имен собственных было связано с проблемой взаимозаменимости простых и сложных сингулярных обозначений в математическом дискурсе. Оно основывается на том, что в математике простые и сложные знаки, обозначающие определенное число, например, е, свободно заменяются друг на друга (Об этом подробнее см. у Гича24).
Еще одна проблема, которая возникает вследствие того, что Фреге включает определенные дескрипции в класс имен собственных, - это вопрос о том, как отличить имя собственное в качестве логически простого обозначения единичного предмета от предикатного знака, чьим значением является понятие, под которое подпадает всего-навсего один предмет. Для разрешения этой проблемы Фреге предложил определять семантическую категорию интересующего выражения путем его подстановки в предложение типа "Существует ли больше, чем одно ". Пусть "А" будет тем выражением языка, семантическую категорию которого мы должны установить, подставив его на место пробела в указанном выше предложении.Если интерпретировать выражение "А" как понятийное слово, то вопрос "Существует ли больше, чем одно А?" будет вполне осмысленным, даже если мы и будем вынуждены дать на него отрицательный ответ; однако если интерпретировать "А" как имя собственное, то такого рода вопрос вообще нельзя будет значимо сформулировать, поскольку множественная характеристика отдельного предмета вообще есть что-то бессмысленное. Например, в английском языке слово "moon" может обозначать как Луну, так и спутник планеты. Относительно такого рода двусмысленных случаев Фреге использовал возможность задавать вопрос "Существует ли больше, чем одно " для того, чтобы выяснить, идет ли речь об описательном термине, который может осмысленно применяться во множественном числе ("спутники планеты"), или же об имени собственном, относительно которого было бы бессмысленно употреблять множественное число ("Луна").
Итак, Фреге использует термин "имя собственное" в более широком значении, нежели чем только в качестве простого знака, обозначающего отдельный предмет; он применяет его также к относительно сложным обозначениям предметов, которые обычно называются определенными описаниями. Это расширительное истолкование объема термина "имя собственное" открыто для серьезных возражений. Если мы будем считать, что "А" представляет понятийное слово или многословное понятийное выражение, то в этом случае можно утверждать, что "(есть) определенное А" ("(is) the A") также будет понятийным выражением; "х (есть) определенное А" ("х (is) the A") будет означать "х есть некое (какое-то) А и ничто помимо х не является неким А" ("x is an A and nothing besides x is an A"). Ясно, что логически невозможно для более чем одного предмета быть определенным А (the A); однако сам Фреге настаивает на том, что мы должны проводить строгое различие между именем собственным и понятийным словом, которое можно применить только к одному предмету. Фреге при этом принимает во внимание то обстоятельство, что связка "есть" во многих европейских языках используется по крайней мере в четырех ключевых смыслах: 1) для выражения существования "Предмет есть, существует"; 2) для выражения предикации (принадлежности элемента классу): "Сократ (есть) мудрый"; 3) для выражения включения одного класса в другой: "Греки (суть) люди"; 4) для выражения тождества: "Сократ есть муж Ксантиппы"25. Следовательно, Фреге считает, во-первых, что в предложениях типа "х (есть) определенное А" связка есть используется для выражения тождества и, во-вторых, она имеет в этом контексте самостоятельное содержание.
В действительности предложенное Фреге выделение специальной связки для тождества во фразе вида "существует определенное А" является не более убедительным, нежели предложение принимать существование связки принадлежности элемента классу во фразе вида "существует какое-то А", что, на взгляд Фреге, было ошибочно; дело в том, что во всех этих контекстах "есть" не имеет своего собственного отдельного содержания. Например, когда утверждается, что "Не существует (определенного) короля Швейцарии" или что "Не существует числа, являющегося (определенным) корнем квадратным из 4", то тем самым речь идет не об указании, - путем обозначения, - на конкретную личность или на конкретное лицо, после чего заявляется, что никто не тождественен этой личности, или что нет числа, равного этому числу. На самом деле указывается на понятие, в данном случае, - на понятие "быть королем Щвейцарии" или "быть числом, которое является корнем квадратным из 4", которое применимо не более чем к одной личности или числу; после чего утверждается, что ни один предмет не подпадает под это понятие; иными словами, речь идет о том, что это понятие имеет "нулевой" объем26.
Понятию смысла Фреге приписывает два важные свойства. Во-первых, Фреге считает смыслы имен собственных объективными сущностями. Поэтому от значения и смысла имени собственного Фреге отделяет представление, вызываемое именем у слушающего. В силу своей объективности смысл имени собственного не совпадает с представлением, связанном с произнесением или прочтением имени в уме слушающего. Происходит это потому, что в отличии от смысла языкового выражения связанные с ним представления Фреге считает "чем-то полностью субъективным"27. Если значением языкового знака является чувственно воспринимаемый предмет, то представление об этом предмете есть внутренний образ, возникший из воспоминаний о чувственных впечатлениях и об актах моей внутренней и внешней деятельности. Представление субъективно: оно часто пронизано эмоциями, отчетливость его отдельных частей различна и колеблется от случая к случаю. Даже и для одного человека определенное представление не всегда связано с одним и тем же смыслом. (Человек, имеющий представление об императоре Юлии Цезаре, может связывать с ним множество различных смыслов, например, таких, которые выражаются определенными описаниями типа "римский полководец, перешедший Рубикон", "тот человек, который стал первым римским императором", "победитель Помпея при Фарсале", "тот римский император, который был убит заговорщиками в Мартовские Иды). И наоборот, с одним и тем же смыслом может быть связано много разных представлений. У художника, зоолога и наездника с именем "Буцефал" будут связаны, вероятно, очень разные представления.
Смысл знака отличается от представления, вызываемого знаком у слушающего, тем, что он "может быть общим достоянием многих и, следовательно, не является частью или модусом души отдельного человека; ибо никто, пожалуй, не станет отрицать, что человечество обладает общей сокровищницей мыслей, которую оно передает от поколения к поколению"28.
Смысл занимает промежуточное положение между именем собственным и его значением, в качестве которого выступает какой-то чувственно воспринимаемый предмет, обозначаемый этим именем. Представление полностью субъективно; значение имени объективно; смысл, который лежит между ними, является интерсубъективной категорией, доступной по крайней мере некоторыми говорящим на одном языке (в идеале он должен быть доступен всем членам некоторого языкового сообщества). Отношение между именем собственным и его значением и смыслом Фреге пытается прояснить при помощи следующего примера наблюдения Луны через телескоп:
"Допустим, некто смотрит на Луну в телескоп. Саму Луну я сравниваю со значением; она является предметом наблюдения, которое опосредовано реальным образом, который образуется на линзах внутри телескопа, и образом на сетчатке наблюдателя. Первый я приравниваю к смыслу, второй - к представлению или созерцанию. Конечно, образ в телескопе является односторонним и зависит от расположения телескопа; однако он все-таки объективен, ибо может служить нескольким наблюдателям. Во всяком случае его можно направить таким образом, что его одновременно будут использовать несколько наблюдателей. Однако образ Луны на сетчатке глаза у каждого будет свой. В силу разного строения глаз вряд ли можно ожидать даже геометрического подобия двух образов на двух разных сетчатках, а их полное совпадение совершенно исключено. Это сравнение можно было бы продолжить, предположив, что В может увидеть сетчатку А или же что А также может увидеть свою собственную сетчатку в зеркале. Тем самым можно было бы, пожалуй, показать, что и само представление можно рассматривать как предмет, однако в качестве такового оно воспринимается наблюдателем совсем не так, как оно непосредственно воспринимается самим представляющим"29.
Вторая важная особенность смысла имени собственного заключается в том, что он содержит в себе "способ данности" (нем. Darstellungsweise) значения имени. Как указывает Фреге, наряду со значением выражения требуется принимать во внимание также и "способ данности" предмета при помощи данного выражения. "Способ данности" "содержится в" смысле знака. В качестве примера он приводит уже известные выражения "Утренняя звезда" и "Вечерняя звезда", которые представляют собой два различные "способа данности" одного и того же предмета. Предполагается, что один и тот же предмет - планета Венера - в первом случае дается нам как небесное тело, освещенное восходящим солнцем, а во втором - как небесное тело, видимое на небе в вечернее время суток. Поскольку считается, что зная смысл имени, можно установить значение имени, принято утверждать, что значение имени является функцией его смысла. Однако понимание смысла имени не означает, что лицу, которое понимает смысл имени, обязательно известно значение имени. Дело в том, что знание смысла имени отнюдь не обязательно приводит к знанию значения имени. Используя метафору, предложенную Майклом Даммитом, можно сказать, что смысл как бы задает тот путь, идя по которому можно прийти к значению имени. Однако смысл не дает ответа на вопрос, имеет ли имя значение или нет; это проблема, которая требует эмпирического исследования. В этой связи Фреге указывает: "Всестороннее знание значения предполагало бы, что о каждом данном смысле мы могли бы сразу решить, относится ли оно к этому значению или нет. Но этого мы никогда не достигаем"30. Поэтому можно понимать смысл имени, но не знать о предмете имени ничего, кроме того, что он определяется этим смыслом. Более того, может случиться и так, что предмета, определяемого смыслом имени, вообще не существует. В том случае, когда имена обозначают предметы, не существующие в действительности, их называют мнимыми. Происходит это потому, что в естественных языках смысл имени не определяет существование предмета. "Пожалуй, можно сделать так, чтобы грамматически правильно построенное выражение, представляющее собственное имя, всегда имело один и тот же смысл; но имеет ли оно еще и значение - остается проблематичным. Слова "наиболее отдаленное от Земли небесное тело" имеют смысл; однако очень сомнительно, имеют ли они значение. Выражение "в наименьшей степени сходящийся ряд" имеет некоторый смысл; однако доказано, что оно не имеет значения, так как для любого сходящегося ряда всегда найдется ряд, сходящийся еще медленнее. Таким образом, даже если понимается некоторый смысл, это еще не обеспечивает наличие значения"31.
Имена, имеющие смысл, но не обозначающие никакого предмета - это неподлинные собственные имена; они только выполняют роль собственных имен. Фреге называет такие имена мнимыми собственными именами. Они встречаются в естественных языках, но им не должно быть места в языке науки. В отличии от естественных языков, в языке науки смысл имени определяет существование предмета имени и притом единственного. Фреге пишет: "От логически совершенного языка (исчисление понятий) следует требовать, чтобы любое выражение, образуемое как имя собственное грамматически правильным образом, действительно обозначало некоторый предмет, и чтобы в качестве собственного имени не вводилось ни одного знака, не обеспеченного собственным значением"32.
Эта идея была реализована Фреге в работе "Исчисление понятий". В "Основоположениях арифметики" (1884)33 он утверждает, что для соблюдения логической строгости рассуждений важен принцип, согласно которому все правильно образованные знаки должны означать нечто. Специальные правила, сформулированные Фреге и придающие каждому правильно построенному знаку в исчислении строго фиксированное значение, в настоящее время принято именовать семантическими правилами.
Американский логик Алонзо Черч, разделяющий основные положения теории смысла и значения Фреге, характеризует ее так, что смысл, который связан с именем, представляет собой определенную концептуальную информацию об обозначаемом предмете. Смысл однозначно характеризует предмет без учета того, доступен он или нет, без учета того, в состоянии ли мы себе его представить или нет, без учета того, действительно ли он существует и т.д. Это положение можно сформулировать так, что для всех говорящих на данном языке L (причем предполагается, что все носители языка L обладают всем его словарным запасом, то есть в состоянии понять каждое слово в L) всегда доступен один и тот же смысл каждого имени. Иначе говоря, все носители языка в состоянии одному и тому же имени придать одинаковый смысл и не должны при этом воспроизводить в памяти одинаковые представления или ассоциативные образы34.
В логически совершенном языке отношение между знаком, выражаемым им смыслом и обозначаемым им предметом должно, согласно Фреге, иметь следующий вид: "Правильная связь между предметом, его смыслом и значением должна быть такой, чтобы знаку соответствовал определенный смысл, а смыслу, в свою очередь, - определенное значение, в то время как одному значению (одному предмету) соответствует не только один знак. Один и тот же смысл выражается по-разному не только в разных языках, но и в одном и том же языке. ... Разумеется, в совершенной совокупности знаков каждому выражению должен соответствовать лишь один определенный смысл, однако естественные языки далеко не всегда удовлетворяют этому требованию и приходится довольствоваться тем, чтобы хотя бы на протяжении одного рассуждения слово всегда имело один и тот же смысл"35.
Итак, одно и то же имя, - причем не только в разных языках, но и в одном и том же языке, - может выражать разный смысл. Такая многосмысленность имен, являющаяся обычным делом в естественных языках, нетерпима в языке науки. Поэтому в языке науке требуется использовать однозначные языковые выражения. В этом случае каждое имя должно выражать только один смысл (и, соответственно, должно иметь только одно значение).
И наоборот, один и тот же смысл может быть выражен разными именами. Имена, выражающие одинаковый смысл, называются синонимами. Поскольку синонимы выражают один и тот же смысл, они имеют одно и то же значение. Отсюда вполне естественно возникает вопрос, в силу каких критериев мы признаем два имени обладающими одинаковым смыслом. Проблема синонимии языковых выражений - одна из центральных проблем логической семантики. Фреге предлагает свой ответ на этот вопрос в виде так называемого принципа взаимозаменимости равнозначных выражений (его еще называют принципом "коэкстенсиональности"). Согласно этому принципу, два языковых выражения обладают одинаковым значением, если при замене одного выражения на другое в контексте определенного предложения истинностное значение этого предложения остается неизменным.
1.2.2 Значение и смысл предложений
Предложения рассматриваются Фреге как частные случаи имен. Поэтому для них сохраняются все те требования, которые имеют силу для имен собственных.
Фреге начинает анализ отношения наименования со знаков аргументов, которые он называет собственными именами и под которыми понимает любое выражение, имеющее значение в виде самостоятельного предмета. В качестве отправной точки он избирает отношение тождества двух имен. Обычная трактовка связывает это отношение либо с отношением вещей, либо с отношением знаков. Однако Фреге отвергает и то и другое. Если бы тождество сводилось к совпадению предмета с самим собой, то установление подобного отношения не имело бы познавательного значения, так как соответствующее суждение было бы аналитическим в смысле Канта и не содержало бы никакого приращения знания. Тождественность предмета самому себе есть отправной пункт всякого познания, а не его результат. Когда же мы говорим, что 'a=b', мы утверждаем нечто явно отличное от 'a=a' ввиду различной эвристической ценности этих выражений. Скорее можно было бы предположить, что отношение тождества - это отношение между различными обозначениями одного и того же. Однако если все сводилось бы лишь к отношению между знаками, то роль играл бы только используемый способ обозначения, что также не имело бы эвристической ценности ввиду произвольности принятой системы знаков. Как считает Фреге, "разница может появиться только тогда, когда различию знаков соответствует различие в способах данности обозначаемого. Пусть a, b, c - прямые, соединяющие вершины треугольника с серединами противоположных сторон. Точка пересечения a и b есть в таком случае та же самая точка, что и точка пересечения b и c. Таким образом, у нас имеются различные обозначения одной и той же точки, и эти имена ('точка пересечения a и b', 'точка пересечения b и c') одновременно указывают на способ данности объекта, и поэтому данное предложение содержит действительное знание. Это свидетельствует о том, что некоторый знак (слово, словосочетание или графический символ) мыслится не только в связи с обозначаемым, которое можно было бы назвать значением знака, но также и в связи с тем, что мне хотелось бы назвать смыслом знака, содержащим способ данности обозначаемого. Тогда в нашем примере одним и тем же будет значение выражений 'точка пересечения a и b' и 'точка пересечения b и c', а не их смысл. Точно так же у выражений 'Вечерняя звезда' и 'Утренняя звезда' одно и то же значение, но не смысл"36.
Таким образом, если мы намереваемся правильно решить проблему тождества, необходимо допустить еще один компонент, характеризующий отношение наименования, то есть отношение между предметом и знаком. Таким компонентом является выраженный в языке способ указания на предмет, который не есть собственно языковая оболочка и не есть предмет объективной реальности, а отличается и от того, и от другого. Этому третьему элементу отношения наименования, смыслу, Фреге отводит эвристическую функцию приращения знания.
Введение в структуру отношения наименования такого компонента, как смысл, позволяет решить проблему осмысленного функционирования пустых, т.е. не имеющих предметного значения, имен, типа 'Одиссей' или 'самое большое число'. Когда встречаются такие выражения, речь, очевидно, не может идти об их предметном значении, но они могут употребляться осмысленно. В этом отношении наличие смысла независимо от наличия соответствующего объекта37.
Фреге начинает исследование семантики предложения с анализа повествовательных предложений. Такие предложения, говорит он, содержат некоторую мысль, которая может быть или значением предложения, или его смыслом. Здесь же Фреге уточняет: "Под мыслью (Gedanke) я понимаю не субъективную деятельность мышления, а его объективное содержание, способное быть достоянием многих"38.
Теперь необходимо выяснить, что же является значением повествовательного предложения. На этот счет, полагает Фреге, можно выдвинуть два предположения:
(1) Значением повествовательного предложения является мысль (Gedanke).
(2) Повествовательное предложение имеет смысл, но не имеет значения.
Предположение (1), однако же, оказывается неудовлетворительным в силу того, что в этом случае не выполняется принцип взаимозаменимости Лейбница, формулировка которого предполагает, как критерий идентичности языковых выражений, их взаимную заменимость в контексте предложения при сохранении семантической характеристики предложений, то есть истинностного значения39. Если бы значением повествовательного предложения являлся бы его смысл, то, согласно принципу Лейбница (salva veritate), мы могли заменить одно входящее в предложение выражение на другое, обладающее тем же самым значением, и при этом сохранилось бы истинностное значение предложения. Ясно, однако, что это не так. Если в предложении (1) "Утренняя звезда есть тело, освещенное солнцем" заменить входящее в него имя собственное "Утренняя звезда" на синонимичное выражение "Вечерняя звезда", то получится предложение (2) "Вечерняя звезда есть тело, освещенное солнцем", которое должно выразить ту же самую мысль, что и предложение (1).В действительности же предложения (1) и (2) содержат разные мысли. Каждый, кому неизвестно, что "Утренняя звезда" есть "Вечерняя звезда", может счесть одну из этих мыслей истинной, а другую - ложной. Мысль в таком случае изменится, и соответственно, изменится и значение предложения, коль скоро мы в своем предположении исходили из того, что значением повествовательного предложения является выражаемая им мысль, или смысл. "Таким образом, мысль не является значением предложения, ее следует рассматривать скорее как смысл предложения"40.
Предположение (2), выдвинутое Фреге, состоит в том, что предложение имеет смысл, но не имеет значения. Такие предложения и в самом деле встречаются. К ним, в частности, относятся предложения, включающие в себя имена собственные, не имеющие значения. Предложение "Одиссея высадили на берег Итаки в состоянии глубокого сна" имеет, очевидно, смысл. Но поскольку неизвестно, обладает ли значением имя "Одиссей", постольку мы не знаем, имеет ли значение данное предложение в целом. Ясно, однако, что тот, кто всерьез считает данное предложение истинным или ложным, признает за именем "Одиссей" не только смысл, но и значение; так как только значению этого имени можно приписывать или отрицать за ним упомянутый в предложении предикат. Отсюда следует, что значением повествовательного предложения надо считать его истинность или ложность.
Фреге утверждает, что предикат приписывается или отрицается не относительно имени, но относительно его значения, то есть относительно некоторого предмета. Только в том случае, когда имеет место приписывание или отрицание предиката относительно некоторого предмета, обозначаемого именем, предложение принимает значение истинности или ложности. Фреге говорит: "Тот, кто не признает некоторого значения, не может ни утверждать, ни отрицать наличие у него какого-либо предиката"41. Если имя, являющееся субъектом предложения, не имеет значения, то предложение, в которое оно входит, не является ни истинным, ни ложным. В таком случае предложение (согласно принципу композициональности, что сложное имя не имеет значения, если не имеет значения хотя бы одно входящее в него простое имя), также не имеет значения. Поэтому коль скоро истинность и ложность рассматриваются как значение предложения, то для него имеют силу и принцип взаимозаменимости, и принцип предметности, согласно которому если сложное имя имеет значение, то его имеют и все входящие в него простые имена.
Наконец, из этого размышления Фреге становится ясно, почему именно предложение, а не имя собственное, является первичным носителем значения. Дело в том, что каждый из приводимых Фреге примеров имен собственных является однозначно идентифицирующим описанием определенного предмета. Значением знака является поэтому тот предмет, который соответствует этому описанию. (Причем в языке науки каждому имени собственному должен соответствовать только один предмет). Знак выделяет предмет в качестве своего значения только в том случае, когда определенное предложение, в котором утверждается или отрицается нечто относительно значения имени, является истинным по отношению к этому предмету. Например, "Аристотель - это тот ученик Платона, который был учителем Александра Великого".Теперь становится ясно, почему предложение следует считать исходным носителем значения. Эта особенность Фрегевой семантики обусловлена тем, что постижение (нем. Fassen, англ. grasping) предметного значения имени собственного или описательного выражения включает в себя, по Фреге, согласие с истинностью предложения, согласно которому определенный предмет соответствует определенному описанию. До тех пор, пока мы не признаем возможность формулировки истинных предложений, в которых что-то утверждается или отрицается по поводу предметов, мы не сможем установить "значения" имен собственных; иными словами, мы не сможем идентифицировать выделить предметы, которые они обозначают.
Согласно семантической концепции Фреге, толкующей предложения как своеобразные имена собственные, смысл повествовательного предложения, или мысль, определяется только смыслами его частей, а не их значением. Если бы нас интересовала только мысль как смысл предложения, то не было бы никакой необходимости интересоваться значением предложения. В частности, выраженная в предложении об Одиссее мысль не изменится оттого, имеет ли слово "Одиссей" значение или нет. В действительности же мы стремимся узнать и значение составляющих его имен. Это указывает на то, что мы признаем значение и за самим предложением. Фреге спрашивает: "Почему же мы хотим, чтобы каждое имя собственное имело не только смысл, но и значение? Почему нам недостаточно мысли? Потому и лишь потому, что нас интересует ее истинностное значение. ... Именно стремление к истине и заставляет нас двигаться вперед, от смысла предложения к его значению"42.
Вывод, к которому приходит Фреге, заключается в том, что значением повествовательного предложения является его истинностное значение (нем. Wahrheitswert, англ. truth value). Под истинностным значением предложения Фреге понимает то, что оно является истинным или ложным. Других истинностных значений, говорит Фреге, нет. (Это справедливо для стандартной двузначной логики, но неприемлимо для возникших в XX веке многозначных логик). Для краткости одно он называет истинностью, а другое - ложностью. Фреге пишет: "Всякое повествовательно предложение, в зависимости от значения составляющих его слов, может, таким образом, рассматриваться как имя, значением которого, если, конечно, оно имеется, будет либо истина, либо ложь. Оба этих абстрактных предмета признаются, хотя бы молчаливо, всеми, кто вообще выносит хоть какие - либо суждения или считает хоть что нибудь истинным, то есть даже скептиком"43.
Истинность и ложность рассматриваются Фреге как абстрактные предметы. Такая трактовка истинности и ложности нашла себе широкое применение в современной математической логике. Так, при табличном построении исчисления высказываний функции этого исчисления обычно трактуются как определенные на области, состоящей из двух предметов - предмета "истина" и предмета "ложь", которые принимают значение также на этой области. Следует, однако, отметить, что современные последователи Фреге и, в частности, Черч, предпочитают говорить об истине и ложности как о постулированных, а не как о идеально существующих предметах. В этом они видят способ избежать далеко идущих следствий логического реализма Фреге, согласно которому абстрактные предметы обладают специфическим модусом существования.
Если предложение имеет истинностное значение, то оно, в свою очередь, определяется мыслью, выраженной в данном предложении. Фреге пишет: "Истинностное значение (Wahrheitswert) является значением (Bedeutung) предложения, смыслом (Sinn) которого является мысль (Gedanke)"44. Соответственно, только смыслы предложений, которые могут быть истинными или ложными, являются мыслями. Предложения, выражающие приказы, вопросы, "восклицания, которыми выражаются чьи-то чувства", обладают смыслами, но эти смыслы не являются мыслями. Мысль является смыслом предложений, "в которых выражается сообщение или утверждение"45.
Если значением предложения является его истинностное значение, то все предложения распадаются на два класса:
(1) на класс предложений, смысл которых определяет их истинностное значение "истинность", и
(2) на класс предложений, смысл которых определяет их истинностное значение "ложность".
Мысль есть смысл имени истинности или ложности. Истинное предложение - это имя истинности, а ложное предложение - это имя ложности. Можно понимать мысль, выраженную в некотором предложении, но не знать, каково определяемое ею истинностное значение.
Высказывая предложение, говорящие стремятся выразить не просто мысли, которые в них выражены, но претендуют на истинность высказывания. Но в предложении как имени истинности или ложности утверждения не содержится. Поэтому значение само по себе нас не интересует; однако и голая мысль, то есть смысл сам по себе, тоже не несет в себе нового знания. Нас интересует только соединение мысли и ее значения, т. е. истинностного значения. Согласно Фреге, переход от уровня смыслов (интерсубъективный уровень) к уровню значений (объективный уровень) осуществляется в суждении.
По поводу логической природы суждения Фреге утверждает: "Суждение (Urteil) есть для меня не голое постижение некоторой мысли, но признание ее истинности"46. Пока предложение рассматривается просто как имя истины и лжи, в нем еще нет никакого утверждения. Оно появляется только в том случае, когда к предложению присоединяется указание на его истинность. В обычных языках и в языке науки высказываемое кем-либо предложение рассматривается как утверждение истины; утверждение истины в этом случае выражается самим фактом высказывания предложения.
Заметим еще раз, что мысль и истинностное значение - два совершенно разных элемента в отношении наименования; второе не является частью первого (так же, как, например, само Солнце не является частью мысли о Солнце). Поскольку истина и ложь - не смысл, но предметы, стало быть, характеристика предложения как истинного или ложного ничего не добавляет к содержащейся в нем мысли. Это отчетливо видно, когда мы сравниваем предложения "5 - простое число" и "Мысль, что 5 - простое число, истинна". Второе предложение не содержит никакой информации сверх той, что может быть усвоена из первого, а значит, приписывание мысли истинностного значения - это отношение иного рода, чем отношение между функцией и аргументом, из которых состоит мысль. Функция и аргумент находятся на одном уровне, дополняя друг друга, они создают целостную мысль, которая может функционировать, даже если мы ничего не знаем о ее истинности. Вопрос об истине возникает только тогда, когда мы переходим к утверждению мысли.
С точки зрения Фреге, в структуре утвердительного предложения необходимо различать: 1) схватывание мысли - мышление; 2) признание истинности мысли - суждение; 3) демонстрация этого суждения - утверждение47. Первый этап соответствует усвоению содержания предложения. Признание истинности заключено в форме утвердительного предложения и соответствует переходу от содержания предложения к его истинностному значению. Необходимость разведения мысли и суждения обосновывается тем, что усвоение содержания предложения не связано однозначно с возможным признанием его истинным или ложным, тот же самый смысл может быть усвоен в форме вопроса. Более того, очень часто случается так, что между усвоением мысли и утверждением ее истинности лежит значительный промежуток времени, как, например, происходит в научных исследованиях. Признание истинности выражается в форме утвердительного предложения. При этом совсем не обязательно использовать слово 'истинный'. Даже в том случае, если это слово все же употребляется, собственно утверждающая сила принадлежит не ему, а форме утвердительного предложения.
В естественном языке различие между содержанием предложения и его утверждением скрыто самой формой выражения. В структуре повествовательного предложения нет ничего такого, что позволило бы отличить простую констатацию мысли от признания ее истинной. В естественном языке это противопоставление скрыто, в частности, тем обстоятельством, что отсутствует особый знак суждения, подобный '?' и '!'. Однако выделение особой утвердительной силы, основанное на противопоставлении запроса и суждения, необходимо, как считает Фреге, ввести в формальный язык описания логических структур, в котором все различия должны быть явно артикулированы. Для этого он использует особый знак суждения '??'. Различая суждение и саму мысль, он пишет: "В простом равенстве еще нет утверждения; "2+3=5" только обозначает истинностное значение, не говоря о том, какое из двух. Кроме того, если я написал "(2+3=5)=(2=2)" и предполагается, что мы знаем, что 2=2 есть истина, я тем самым все еще не утверждал, что сумма 2 и 3 равна 5; скорее я только обозначил истинностное значение "2+3=5" означает то же самое, что и "2=2". Нам, следовательно, требуется другой, особый знак, для того чтобы мы могли утверждать нечто как истинное. Для этой цели я предпосылаю знак '??' имени истинностного значения, так что, например, в "?? 22=4" утверждается, что 2 в квадрате равно 4. Я отличаю суждение от мысли следующим образом: под суждением я понимаю признание истинности мысли"48.
Своеобразие формальной системы, созданной Фреге, состоит в том, что на ее языке можно выразить как предложения, высказанные с утвердительной силой, так и простую констатацию. В последнем случае немецкий логик использует знак '?', который помещает перед предложением. Этот знак является составной частью знака суждения '??', и только вертикальная черта превращает констатацию в признание истинным. Различие констатации и суждения позволяет избавиться от традиционной классификации суждений на положительные и отрицательные. С точки зрения Фреге, нет никакой специфической отрицательной силы, для формальной системы достаточен только знак утверждения. Отрицание не затрагивает акт суждения и интегрировано в формальную запись на уровне констатации, поскольку, как указывалось выше, отрицание представляет собой одноместную истинностно-истинностную функцию. Знак суждения служит для утверждения, что истинностным значением предложения является истина, но "нам не нужен специальный знак, для того чтобы объявить, что истинностным значением является ложь, поскольку мы обладаем знаком, посредством которого истинностное значение изменяется на противоположное; это также необходимо и по другим основаниям. Теперь я ставлю условием: значением функции '? ?p' будет ложь для каждого аргумента, для которого значением функции '? p' будет истина; и будет истина для всех других аргументов. Соответственно, в '? ?p' мы имеем функцию, значением которой всегда является истинностное значение; это - понятие, под которое подпадет каждый объект, единственно за исключением истины... При принятых нами условиях '? ?(22=5)' есть истина; а потому: '? ?(22=5)', используя слова: '22=5 не есть истина'; или: '2 в квадрате не равно 5'"49. Таким образом, отрицание относится не к форме выражения, как это имеет место в традиционной логике, которая различает утвердительные и отрицательные суждения, а к элементам, связанным с содержанием. Мысль, выраженная в предложении, в этом смысле нейтральна, как вообще нейтрален способ данности объектов, каковыми в данном случае выступают истина и ложь.
Инкорпорируя знак суждения в структуру выражения мысли, Фреге не рассматривает его как конструкцию, аналогичную перформативным выражениям типа 'Я утверждаю...', 'Он утверждает...' и т.п. Знак суждения, выражающий утвердительную силу, никогда не может быть включен в содержание предложения, поскольку, согласно Фреге, приписанное перформативу предложение имеет косвенное вхождение в выражение, и как таковое имеет смысл и значение, отличные от смысла и значения исходного предложения. Так, значением косвенного предложения, подчиненного перформативу, является не истина или ложь, а его обычный смысл. Поэтому немецкий логик говорит именно о форме утвердительного предложения, которая соответствует знаку '??' в естественном языке. Поскольку признание истинным зависит исключительно от формы утвердительного предложения, постольку оно также не имеет никакого отношения к чувству субъективной уверенности, сопровождающему психологическое осуществление акта суждения. Признание истинным - объективный процесс, характеризующий форму выражения мысли.
Знак суждения по Фреге может рассматриваться как общий всем предложениям предикат, типа "Истинно, что p" или "Имеет место p". Так как предложения рассматриваются как имена, последнее вполне оправданно, поскольку с точки зрения грамматики конструкция "?? p" представляет собой глагол, приписанный имени.
Введение знака суждения основано не только на соображениях, связанных с формой выражения мысли. Важную роль знак суждения играет в структуре вывода. В качестве элементов вывода, как считает Фреге, могут использоваться только такие предложения, которые высказаны с утвердительной силой (т.е. соответствующая им мысль должна быть признана истинной), поскольку вывод заключается в вынесении суждений, осуществляемом на основе уже вынесенных ранее суждений, согласно логическим законам. Каждая из посылок есть определенная мысль, признанная истинной; точно так же признается истинной определенная мысль в суждении, которое является заключением вывода. Последнее можно прояснить специальным случаем c правилом вывода modus ponens, которое Фреге в своем шрифте понятий рассматривает в качестве единственного способа получения следствий и которое иллюстрирует еще один аргумент в пользу введения в структуру вывода особой утвердительной силы, связанной с формой повествовательного предложения в естественном языке и знаком '??' в символическом языке. С точки зрения последнего, выделение особой формы суждения позволяет предотвратить petitio principi, скрытое в форме условно-категорического умозаключения. В "Если p, то q; p. Следовательно, q" заключение уже присутствует в условной посылке. Однако если в это умозаключение явно ввести знак '??', то petitio principi можно избежать. В "?? Если p, то q; ?? p. Следовательно,?? q" заключение в условной посылке не содержится, поскольку "?? q" не совпадает с "q".
В силу этого Фреге считал необходимым ввести в свое "исчисление понятий" особый знак утверждения. Он указывал, что в простом равенстве "22 = 4" не содержится никакого утверждения. Это равенство просто обозначает некоторое истинностное значение. Чтобы показать, что речь идет именно об утверждении истины, Фреге предпосылает имени истинностного значения знак "??", так что в предложении "??22 = 4" утверждается, что квадрат двух есть четыре.
В "Основоположениях арифметики" Фреге указывал: "В простом равенстве еще нет утверждения; "2 + 3 = 5" только обозначает истинностное значение, ничего не говоря о том, какое из двух. Кроме того, если я написал
"2 + 3 = 5" = "2 =2"
и предполагается, что 2 = 2 есть Истина, я тем самым еще не утверждал, что сумма 2 и 3 равна 5; скорее, я только обозначил истинностное значение "2 + 3 = 5" означает то же самое, что и "2 = 2". Нам, следовательно, требуется другой, особый знак для того, чтобы мы могли утверждать нечто как истинное. Для этой цели я предпосылаю знак "??" имени истинностного значения, так что, например, в
"??22 = 4"
утверждается, что квадрат двух есть четыре. Я отличаю суждение от мысли следующим образом: под суждением я понимаю признание истинности мысли".
Если повествовательные предложения являются именами, обозначающими абстрактные предметы "истинность" и "ложность", то по отношению к их истинностным значениям должен сохранять свою силу принцип взаимозаменимости равнозначных языковых выражений.Это означает, что если в сложном предложении одну из его составных частей, в свою очередь являющуюся предложением, заменить другим предложением, обладающим тем же самым значением, хотя быть может и отличающимся от первого по смыслу, то истинностное значение полученного предложения не изменится. В этой связи Фреге отмечает:
"Если наша точка зрения верна, то истинностное значение предложения, которое содержит в качестве части другое предложение, не должно измениться, если мы заменим эту часть на предложение с тем же самым истинностным значением"50.
Выполнимость принципа взаимозаменимости в элементарных случаях подобного рода достаточно очевидна. К примеру, если в предложении
(1) "Утренняя звезда есть небесное тело, освещенное Солнцем"
выражение "Утренняя звезда" заменить на равнозначное выражение "Вечерняя звезда", то истинностное значение полученного в результате такой подстановки предложения
(2) "Вечерняя звезда есть небесное тело, освещенное Солнцем"
останется неизменным. Оба предложения будут иметь истинностное значение "истинно".
Возьмем, однако, другой пример, неоднократно приводившийся такими известными логиками, как Бертран Рассел, Алонзо Черч и Уиллард Ван Орман Куайн. Рассмотрим предложение:
(3) "Георг IV однажды спросил, является ли Вальтер Скотт автором Уэверли".
Имея в виду, что Вальтер Скотт и в самом деле является автором произведения Уэверли, опубликованным им анонимно, заменим имя "автор Уэверли" равнозначным ему именем "Вальтер Скотт". В результате получим предложение:
(4) "Георг IV однажды спросил, является ли Вальтер Скотт Вальтером Скоттом".
В то время как предложение (3) истинно (то, что английский король однажды действительно задал подобный вопрос, есть исторический факт), предложение (4), очевидно, ложно (хотя Георг IV и не был особо развитым в интеллектуальном отношении человеком, вряд ли он когда-либо сомневался в том, что Вальтер Скотт является Вальтером Скоттом). (Подобным же образом если м-р Смит прочитал в газете, что человек в серой шляпе разыскивается за убийство, но не знает при этом, что этот убийца является его соседом м-ром Джонсом, то м-р Смит может, конечно же, испытывать страх перед человеком в серой шляпе, но это вовсе не означает, что он боится м-ра Джонса). В результате оказывается, что в контекстах типа "Георг IV однажды спросил, является ли...", в которых заменяемому имени предшествуют выражения вроде "убежден, что", "интересуется, что", "знает, что", "боится, что", либо нарушается принцип взаимозаменимости равнозначных выражений (принцип "коэкстенсиональности"), либо взаимозаменяемые имена не имеют обычного смысла. Фреге склоняется ко второму решению. Он объясняет случаи, при которых замена тождественных по значению выражений приводит к изменению значения всего сложного выражения в целом тем, что в этих контекстах заменяемые выражения входят в состав косвенной речи. Он утверждает, что обычно имена используются для того, чтобы обозначить свое значение, однако в некоторых контекстах, в частности в предложениях типа (3), они используются для того, чтобы обозначить некоторый смысл. Иными словами, в косвенной речи слова имеют не обычное значение, а означают то, что обычно является их смыслом. В статье "О смысле и значении" Фреге пишет:
"В косвенной речи слова выступают в косвенном употреблении или имеют косвенное значение. В соответствии с этим мы отличаем обычное значение некоторого слова от его косвенного значения и его обычный смысл от его косвенного смысла. Косвенным значением некоторого слова является, таким образом, его обычный смысл. Эти исключения надо всегда иметь в виду, если мы хотим правильно понять способ связи знака, смысла и значения в каждом отдельном случае"51.
Поэтому Фреге ищет способы устранения возникающих в этой связи парадоксов на пути объяснения смысла и значения слов и предложений в косвенной речи. В результате он приходит к выводу, что значением имени при употреблении его в косвенной речи становится смысл того же имени при его употреблении в прямой речи. В этой связи Фреге указывал на те ограничения, с которыми принцип взаимозаменимости сталкивается в косвенной речи:
"Исключения могут обнаружиться только тогда, когда исходное целое предложение или его заменяемая часть являются прямой или косвенной речью; ибо в прямой или косвенной речи слова... не имеют обычного значения; значением предложения в прямой речи также является некоторое предложение, а в косвенной речи - некоторая мысль"52.
Контексты, в которых нарушается принцип "коэкстенсиональности" (или, как выразился сам Фреге, в которых значением имени становится смысл того же имени при его употреблении в прямой речи) принято называть референциально "непрозрачными", поскольку в них остается неясной связь между именем и его значением. (Сам этот термин был введен Расселом и Уайтхедом в сочинении "Principia Mathematica". У Фреге не было специального обозначения для подобного рода контекстов; он лишь ограничивался указаниями на то, что в подобных контекстах имена употребляются в "косвенной речи" или "косвенным образом"). Притом именно потому, что Фреге принимает трехкомпонентную семантику, включающую в свой состав имя, значение и смысл, ему удается отстоять универсальность принципа "коэкстенсиональности". Ясно, что переход от трехуровневой семантики Фреге к двухуровневой семантике репрезентации в семантических системах Рассела и Куайна должен был также привести и к пересмотру способа обоснования универсальности принципа "коэкстенсиональности".
Логика имеет дело главным образом с повествовательными предложениями, то есть с предложениями, которые используются для выражения каких-то мыслей и могут оцениваться как истинные или ложные. Поэтому для того, чтобы отличить эти предложения ото всех остальных, Фреге называет смыслы, которые выражают предложения этого типа, мыслями (нем. Gedanke), а англоязычные философы аналитической ориентации начиная с Рассела - пропозициями (англ. proposition). (В отечественной логической литературе для этой цели используется термин суждение, который, как было показано раньше, играет принципиально иную роль в логико-семантической системе Фреге). Пропозиция или мысль - это смысл повествовательного ("утвердительного") предложения, взятый без его грамматической оболочки.
Остановимся подробнее на структуре утвердительного предложения в философии языка Фреге. Всякое утвердительное предложение содержит по крайней мере два компонента: содержание (Inhalt), которое совпадает с содержанием соответствующего общевопросительного предложения, и утверждение. Первое является мыслью или по крайней мере содержит мысль. Следовательно, полагает Фреге, возможно такое выражение мысли, которое не содержит указаний по поводу ее истинности или ложности. Поэтому Фреге считает необходимым проводить различие между:
(1) Постижением (Fassen) мысли - мышлением (Denken).
(2) Признанием (Anerkennung) истинности мысли - суждением (Urteilen).
(3) Сообщением (Kundgebung) этого суждения - утверждением (Behaupten).
Постижение мысли происходит во внутреннем мире говорящего и представляет собой особенное ментальное состояние. Суждение может осуществляться как во внутреннем мире говорящего, так и публично в его речевых высказываниях. В этом случае оно реализуется на лингвистическом уровне - в виде сообщения - и тем самым становится утверждением. Следовательно, в суждении намечается переход от внутреннего мира ментальных репрезентаций субъекта к их лингвистическому выражению в рамках определенного языкового сообщества.
Наконец, утвердительное предложение, наряду с мыслью и утверждением, часто содержит еще и третий компонент, на который утверждение не распространяется. Этот третий компонент можно назвать экспрессивной окраской (нем. F(rbung) утвердительного предложения. "Его предназначение, - говорит Фреге, - обычно заключается в воздействии на эмоции и воображение слушающего: таковы выражения "к сожалению", "слава богу" и т.п. Такие компоненты предложения отчетливее проявляются в поэзии, однако и в прозе их полное отсуствие является редкостью"53.
Для того, чтобы выяснить теорию смысла Фреге в том, что касается повествовательных предложений, необходимо разрешить одно далеко идущее сомнение: правомерно ли в принципе утверждение, что мысль, высказанная двумя разными людьми, может быть одной и той же мыслью?54 Для того, чтобы дать ответ на этот вопрос, Фреге прибегает к изучению того, чем мысли отличаются от ментальных представлений и объектов внешнего мира. Первый шаг на пути этого исследования состоит в том, чтобы выяснить: Принадлежат ли мысли внутреннему (мы бы сказали - "ментальному") миру субъекта? Являются ли они представлениями?55
Чем отличаются представления от вещей внешнего мира?
Фреге приводит пять характерных признаков, позволяющих отграничить ментальные феномены ("представления") от вещей внешнего мира.
1. Представления не могут быть восприняты посредством органов чувств. Они не доступны ни зрению, ни осязанию, ни обонянию, ни вкусу, ни слуху.
2. Представлениями обладают; их имеют или ими располагают. Мы обладаем ощущениями, эмоциями, настроениями, склонностями, желаниями. Представление, которым обладает некоторый человек, составляет содержание его сознания.
3. Коль скоро представлением обладают, и оно является содержанием чьего-то сознания, представление требует существования носителя. Вещи же внешнего мира являются в этом отношении автономными.
4. Всякое представление имеет только одного носителя. Никакие два человека не обладают в точности одним и тем же представлением.
5. Представление обладает картезианским качеством непогрешимости, или абсолютной достоверности. Это обусловлено тем, что представление, которое имеется у кого-то в настоящий момент времени, непосредственно дано своему обладателю. Это, в частности, означает, что я не могу сомневаться в том, что я обладаю представлением, но могу - в то же самое время, - испытывать сомнения по поводу существования той вещи внешнего мира, представлением которой я обладаю. По этому поводу Фреге пишет следующее:
"У меня не может быть сомнений в том, что я обладаю зрительным впечатлением зеленого; однако у меня гораздо меньше оснований быть уверенным в том, что я вижу, например, именно лист липы. Таким образом вопреки широко распространенному убеждению, мы обнаруживаем во внутреннем мире надежность, в то время как с переходом во внешний мир сомнение никогда не покидает нас полностью"56.
Вывод, к которому приходит Фреге, заключается в том, что мысль не относится ни к представлениям из моего внутреннего мира, ни к внешнему миру, миру чувственно воспринимаемых вещей. Поэтому он намекает на то, что мысли, взятые в качестве объективных смыслов, образуют некий третий, автономный мир наряду с миром внешних вещей и внутренним миром ментальных репрезентаций субъекта.
"Следует, таким образом, признать третью область. Элементы, входящие в эту область, совпадают с представлениями в том отношении, что не могут быть восприняты чувствами, а с вещами внешнего мира - в том, что не предполагают наличия носителя, сознанию которого принадлежат. Так, например, мысль, которую мы выражаем в теореме Пифагора, является истинной безотносительно ко времени, истиной независимо от того, существует ли некто, считающий ее истинной. Она не предполагает никакого носителя. Она является истинной отнюдь не только с момента ее открытия, подобно тому как планета, даже и не будучи еще обнаруженной людьми, находится во взаимодействии с другими планетами"57.
Теперь, исходя из теории мыслей как объективных сущностей,необходимо установить, чем они отличаются от представлений и вещей внешнего мира?
1. Мысли сходны с представлениями и отличны от объектов внешнего мира в том, что не могут воспрниматься чувствами: зрением, осязанием, обонянием, вкусом, слухом.
2. Мысли сходны с объектами внешнего мира и отличны от представлений в том, что они не предполагают наличия носителя, сознанию которого принадлежат.
3. Мы видим вещь, мы обладаем представлениями, мы постигаем или мыслим некоторую мысль. Постигая или мысля мысль, мы не создаем ее, а лишь вступаем с тем, что уже существовало ранее, в определенные отношения, которые отличаются и от зрительного восприятия вещи, и от обладания представлением58.
4. Мысли отличны от представлений в том, что мысль о некотором факте, выраженная в предложении, единственна, тогда как количество представлений об этом факте может быть сколь угодно большим.
***
Подведем теперь некоторые итоги, связанные с семантическими взглядами Фреге. Говоря обобщенно, к числу особенностей логической семантики Фреге можно отнести:
1. Трехкомпонентную семантическую модель, основанную на выделении знака, значения и смысла в качестве ключевых элементов отношения именования.
2. Включение сложных сингулярных терминов ("определенных описаний") в класс имен собственных.
3. Истолкование смыслов имен собственных и повествовательных предложений как объективных сущностей.
4. Фреге считает предикаты частным случаем функциональных выражений, а предложения - частными случаями сложных единичных терминов. Уподобление повествовательных предложений именам собственным позволило Фреге считать их знаками истинности и ложности.
5. Принцип композициональности относительно повествовательных предложений, согласно которому значение и смысл предложения определяется значением и смыслом входящих в него выражений. Условие оценки предложения как истинного или ложного заключается в том, что все его обозначающие части (в отличии от указывающих знаков) должны иметь значение. Если хотя бы один из входящих в предложение обозначающих знаков не имеет значения, то и все предложение в целом не имеет значения.
6. Фреге не выделяет предложения, выражающие чувства и эмоции говорящего ("экспрессивы") в отдельный класс, но отмечает, что все три вида упоминаемых им предложений - утвердительные, побудительные и вопросительные - могут употребляться с "экспрессивной окраской".
1.3 "Опровержение идеализма" Дж.Э.Мура
Гвидо Кюнг написал об этом прямо:
"В конце прошлого столетия в Англии произошла философская революция. Дж. Э. Мур ниспроверг идеализм, господствовавший в то время в англоязычных странах. Развернутая им в конце 1898 г. критика, открывавшаяся статьей "Опровержение идеализма", которая в 1903 г. появилась в журнале "Mind", нанесла идеализму сокрушительный удар. Мур выступил за реалистическую позицию, однако не менее важное значение имел его способ анализа. В нем нашел выражение новый стиль философствования: Мур продвигался вперед микроскопическими шагами, тщательно анализируя каждое слово выдвигаемых им положений. Своему изложению он стремился придать четкую логическую форму. Это аналитическое внимание к деталям было прямой противоположностью монистической позиции идеалиста Брэдли, который подчеркивал, что всякое выделение деталей ведет к искажениям, что истинная действительность (reality) в отличие от явления (appearance) образует мистическое, невыразимое в словах единство. Опираясь на плюралистический реализм, Мур противопоставил монистическому идеализму аналитический стиль мышления и благодаря этому стал основателем нового философского направления - аналитической школы."59
Кембриджские работы Джорджа Мура получили известность с начала века и вскоре начали глубоко влиять на формирование аналитической рациональности английского типа. В 1903 г. становится известной работа Мура "Принципы этики", которая является первой попыткой применения лингвистического анализа в моральной проблематике. В своих первых написанных работах Мур осуждает тезис "философии для философов", то есть критикует аргументацию традиционной философии, прежде всего, господствовавшего в английских университетах того времени идеализма. Глава этого направления Ф.Брэдли осуждал аналитический метод следующим образом: "Широко распространенный и в высшей степени пагубный предрассудок думать, будто анализ не вносит никаких изменений"60.
Мура поддержал Бертран Рассел, который, как он сам говорил, в этом движении "наступал Муру на пятки". В "Философии логического атомизма" Рассел тоже убедительно ответил на пренебрежение Брэдли анализом: "Часто говорят, что процесс анализа ведет к искажениям, что если анализируют данное конкретное целое, оно искажается, и результаты анализа не истинны. Я не считаю этот взгляд правильным". Он выступал за онтологический плюрализм, согласно которому действительность состоит из различных сущностей, поэтому аналитическое различение деталей не вносит никаких искажений. Он непременно хотел избавиться от фатального следствия монистического идеализма, согласно которому два контрадикторных высказывания рассматриваются как равнозначные, а именно как две в равной мере несовершенные попытки приблизиться к невыразимой истине. Он считал удобным принять такую невыразимость: "Мне представляется, что философское исследование, насколько я могу об этом судить, исходит из странной неудовлетворенности духа, который с полной уверенностью что-то чувствует, но не может сказать, откуда берется эта уверенность. При более пристальном внимании процесс оказывается точно таким, как разглядывание некоторого предмета в плотном тумане: сначала видишь какую-то неопределенную тень, но когда подходишь ближе, начинают проявляться отдельные детали, и вдруг открывается, что это мужчина или женщина, лошадь или корова, или что-либо еще. Мне кажется, что те, кто выступает против анализа, хотят, чтобы мы удовольствовались первоначальным смутным пятном. Вера в описанный выше процесс служит самой прочной основой моего отношения к методам философского исследования"61
Если идея и практика Расселова анализа рождаются из размышлений над основами математики, то анализ Джорджа Мура имеет другое происхождение и другое развитие, ориентированное филологическим образованием автора. Первая формулировка аналитического стиля в философии появилась со встречей и знакомством Мура и Рассела в Кембридже. В объеме программы двух мыслителей возникшие характеристики новой философии должны были быть отказом от привлекательности аргументации идеалистических философов, тщательный анализ проблем и концепций, не отделенный (в случае Рассела) от применения формальной логики.
Это описание парадигмы аналитического стиля в философии: установка, которая не претерпит значительных изменений во многих своих пунктах, даже в фазах критического переопределения движения. В то время, как Рассел и ранний Витгенштейн занимались логикой (и, во вторую очередь, опытом), Мур иначе представлял себе философский анализ: условием сравнения для оценки философских тезисов он считал здравый смысл.
В анализе Мура лингвистическая философия уже не занята логическим структурированием предмета и приведением его к нормам языка (как делает Рассел), но предметы речи "расчленяются" философскими тезисами для того, чтобы уменьшить их до самых простых рабочих тезисов, фронтальных и соразмерных со здравым смыслом, ориентированных на нормы эмпиризма. У Рассела и Мура, таким образом, выделяются два типичных параметра дискурса, ставшие достоинством аналитической философии: логика и здравый смысл. Обоих авторов интересуют "отдельные" ошибки философии и "субстантивация" предиката. Философы, обьясняет Мур в "Опровержении идеализма", "всегда использовали одно и то же имя" для того, чтобы указывать на esse и percipii, их вызывающие, то время как "язык нам не предлагает никакого средства для обращения к esse как к "синему цвету", "зеленому" или "сладкому", если при этом не называть percipii: будет явным нарушением языка путать "percipii", "esse" и "terms". Таким образом, классическая проблема эмпиризма усложняется.
Самой важной из ранних статей Мура является "Природа суждения" (1899), отправляющаяся от "Принципов логики" Брэдли. По мнению Мура, Брэдли был недостаточно беспощаден в разборе учения Локка, согласно которому суждения имеют своим предметом "идеи". Хотя иногда Локк писал в том духе, как если бы суждения имели предметом то, что означают идеи, в других местах его можно понять так, словно идея сама - как психический феномен - является составной частью суждения. Мур стремится доказать, что первая позиция единственно разумна: суждения имеют своим предметом не "наши идеи", но то, на что указывают эти идеи - "всеобщее значение" в терминологии Брэдли и "понятие" в терминологии Мура62.
Мур утверждает, что "понятие" не есть "ни ментальный факт, ни какая-либо из частей ментального факта". Несомненно, именно понятие мы считаем объектом нашего мышления; но если бы оно не существовало независимо от нашего мышления, то не было бы ничего, о чем мы мыслили бы. Подобно Платоновой форме (идее), с которой оно весьма сходно, понятие вечно и неизменно. Вот почему, говорит Мур, оно может выступать в качестве составной части множества различных суждений, связывая их в цепочки рассуждении.
Цель Мура в этой статье очень похожа на цели Брентано и Мейнонга: утвердить объективность и независимость объектов мысли. Но его отправной точкой является Брэдли, а не британский эмпиризм; именно в "Принципах логики" Брэдли содержалась та антипсихологистская тенденция, которую унаследовал Мур. В самом деле, разрыв с британским эмпиризмом в раннем творчестве Мура как нельзя более очевиден. Согласно традиции эмпиризма, понятие есть некая "абстракция", производимая умом из сырого материала, поставляемого восприятием. Мур доказывал совершенно противоположное: что "понятия нельзя, в сущности, рассматривать как абстракции от вещей либо от идей, поскольку в равной степени и те и другие вполне могут состоять исключительно из понятий"; "вещь" с этой точки зрения есть связывание понятий. Например, лист бумаги - белизна, и гладкость, и т.д.
В то же время отношение между понятиями, говорит Мур, есть "суждение". Он готов признать то неизбежное следствие, что "вещь", "сложное понятие", "суждение" - разные имена для обозначения одного и того же. На этом фундаменте он строит свою теорию истины. Согласно традиционной точке зрения, суждение истинно, если оно соответствует реальности. В ней противопоставляются истинное суждение (обычно множество слов или множество идей) и "реальность", которую оно репрезентирует. Мур же отождествляет истинное суждение и реальность. "Если мы установили, - писал он в статье "Истина" - что суждение обозначает не полагание (в психологическом смысле) и не форму слов, но объект полагания, то становится ясно, что оно ничем не отличается от реальности, которой, как принято считать, оно должно просто соответствовать, т.е. истина "Я существую" ничем не отличается от соответствующей реальности "моего существования"". Что же, если не "соответствие реальности", отличает истинное суждение от ложного? Мур отвечает, что истина есть простое, не поддающееся анализу, интуитивно понятное свойство, которым обладают одни высказывания и не обладают другие. Этот тезис отстаивал и Рассел в своих статьях о Мейнонге (1904). "Одни суждения, - писал он, - истинны, а другие ложны, в точности так же, как одни розы красные, а другие белые".
Любая другая точка зрения, аргументирует Мур, предполагает, что мы можем каким-то образом "выйти" за рамки отношений между понятиями к поддерживающей их реальности, - а это невозможно в принципе. "Знать" - значит осознавать наличие суждения, т. е. отношения между понятиями; стало быть, мы не можем знать того, что "находится за" понятиями. Мур настаивает, что это верно даже в случае познания посредством восприятия. Восприятие есть просто познание экзистенциального суждения, например суждения о том, что "эта бумага существует". Согласно Муру, такое суждение соотносит понятия; в нем утверждается, что понятия, составляющие эту бумагу, относятся к понятию существования. В то время как Брентано доказывал, что все суждения по своей форме экзистенциальны, Мур считает, что в них утверждаются отношения между понятиями.
Такова теория реальности и истины, с которой начинали Мур и Рассел: мир состоит из вечных и неизменных понятий; суждения соотносят понятия друг с другом, истинное суждение предицирует "истину" такому отношению понятий и является "фактом", или "реальностью".
Впоследствии Мур отказался от отождествления истинных суждений и фактов, несмотря на все достоинства такой позиции. Когда мы утверждаем, что "львы действительно существуют", мы говорим больше, нежели то, что суждение, в котором мы убеждены, обладает не поддающимся анализу свойством истины; говоря приблизительно, "субстанция" факта не сводится к суждению вместе с его истиной. Второе и более серьезное возражение состоит в том, что, видимо, вовсе нет суждений в том смысле, в каком их предполагает рассматриваемая теория.
Мур пришел к этому заключению, размышляя над ситуацией ложного полагания. Согласно его первоначальной теории суждения, должно быть суждение, полагать которое ложно, даже если это суждение обладает особым свойством - свойством быть ложным. Однако на деле, утверждает Мур, сама сущность ложного полагания состоит в том, что мы полагаем то, чего нет. Согласно примеру Рассела из "Проблем философии" (1912), когда Отелло ошибочно уверен, что Дездемона любит Кассио, то это его полагание ложно именно потому, что нет объекта "Дездемона любит Кассио"; если бы такой объект был (как того требует рассматриваемая теория суждения), то полагание Отелло было бы истинным, а не ложным. Раз мы поняли, что ложное полагание не есть вера в некое суждение, кажется естественным также отрицать - думали и Мур, и Рассел, - что истинное полагание имеет в качестве своего объекта суждение. "Полагание, - резюмирует Мур, - никогда не заключается в отношении между нами самими и чем-то еще (суждением), во что мы верим". В сущности, "нет никаких суждений".
Бесспорно, доказывает он, что истина р состоит в его "соответствии" факту и что полагать, что р истинно - значит полагать, что р соответствует факту; философская проблема состоит в том, чтобы дать исчерпывающее объяснение этого соответствия. Мы не должны позволить, предупреждает Мур, чтобы какой-либо философский аргумент, сколь бы трудным ни казалось его отразить, убедил нас в том, что "на самом деле нет" такого соответствия; мы знаем, что оно есть, хотя и не знаем - и это составляет проблему, - как описать его природу.
Быть - значит быть независимым. Эти идеи составляют фундамент работы Мура "Опровержение идеализма" (1903), в которой рассматривается центральная тема аналитического обсуждения: проблема действительности предметов, составляющих предметы опыта. Согласно идеализму, опыт составляет неотъемлемую часть сознания и, таким образом, не касается предметов, независимых от него. Мур рассматривает центральную тему аналитического обсуждения: проблему действительности предметов, составляющих предметы опыта и предпринимает попытку доказать ложность суждения "быть - значит быть воспринимаемым". Его аргумент состоит в следующем. Формула идеалистов в высшей степени неопределенна. В такой интерпретации данная формула утверждает, что если известно, что нечто х существует, то непосредственно следует заключение, что оно воспринимаемо. Истолкованное таким образом, суждение "быть - значит быть воспринимаемым" - не просто тождество: если быть воспринимаемым следует из быть, то эти два понятия не могут быть тождественными. Идеалисты обычно не признают это. Хотя они заявляют, что сообщают некоторую информацию, утверждая, что "быть - значит быть воспринимаемым", в то же время они рассуждают так, словно быть и быть воспринимаемым тождественны, и поэтому их основополагающая формула не требует доказательства. И это значит, говорит Мур, что они не вполне понимают различие между, например, желтым и ощущением желтого.
Некоторые идеалисты, готов признать Мур, прямо говорили, что такое различие имеется. Но вместе с тем они пытались утверждать, что это "не реальное различие" и что желтое и ощущение желтого связаны в неком "органическом единстве", так что проводить различение между ними значило бы производить "незаконную абстракцию", поскольку они различаются разве лишь на уровне явлений. Мур не допускает такого двуличия. "Принцип органических единств, - пишет он, - используют главным образом для оправдания возможности одновременно утверждать два противоречащих друг другу суждения там, где в этом возникает нужда. В данном вопросе, как и в других, главной заслугой Гегеля перед философией было возведение ошибки в принцип и изобретение для нее названия. Как показывает опыт, эту ошибку могут допустить наравне с другими людьми и философы. Неудивительно, что у него были последователи и почитатели". Презрение к Гегелю и к гегельянским "уловкам" было характерно для интеллектуального движения, возглавленного в Кембридже Муром. Борясь с гегельянским "это есть, и этого нет", Мур требует ясного ответа на ясный вопрос: "Это есть или этого нет?"
Мур признает, однако, что убеждение в тождестве желтого и ощущения желтого не лишено оснований. Когда мы исследуем наши познавательные акты, "то, что делает ощущение синего ментальным фактом, кажется, ускользает от нас: оно, если использовать метафору, как бы прозрачно ? мы смотрим сквозь него и не видим ничего, кроме синего; мы убеждены, что нечто существует, но каково оно ? ни один философ, по-моему, до сих пор не постиг"63. При всей упомянутой "прозрачности", убежден Мур, разница между актом и объектом существует: ощущение синего и ощущение красного имеют нечто общее - сознание, и его не следует путать (как путают и идеалисты, и агностики) с тем, что их отличает, - с их объектом, т. е. синим или красным.
И все же остается вопрос: каково "нечто", о котором я осведомлен? В "Опровержении идеализма" оно может быть - хотя и не обязательно - физическим объектом. Но в статье "Природа и реальность объектов восприятия" (1905) Мур четко различает то, что мы "действительно видим", и физический объект, который, как мы обычно полагаем, мы непосредственно воспринимаем. Когда мы утверждаем, что "видим две книги, стоящие на полке", все, что мы "на самом деле видим", согласно Муру, это соседствующие цветовые пятна - образцы того, что впоследствии он назовет "чувственными данными". Он разъясняет, почему предпочитает говорить о "чувственных данных" вместо более привычных "ощущещений": термин "ощущение" вводит в заблуждение, поскольку он может обозначать как мое восприятие, скажем, цветового пятна, так и его само. Мур прежде всего стремится отличить воспринимающее от воспримаемого. Ведь он не отказался от главного тезиса "Опровержения идеализма": быть воспринимаемым не есть сущность чувственного данного. Можно представить себе, что цветовое пятно, которое я воспринимаю, продолжит существовать после того, как я перестану его воспринимать, тогда как утверждение, что мое восприятие пятна прекращается, когда я перестаю воспринимать пятно, - пустое тождесловие.
В этом отношении, следовательно, "чувственное данное" Мура совершенно не похоже на "идею" Локка. Оно не находится "в уме". И все же Мур должен был отразить возражения, выдвинутые Беркли против Локка. Если все, что мы видим, есть всего лишь пятно цвета, то как мы можем удостовериться в существовании трехмерных физических объектов? Мур отвечает, что мы не нуждаемся в доказательстве существования физических объектов, поскольку мы уже знаем о нем. Он достоверно знает, как он пишет в статье "Защита здравого смысла", что мировоззрение здравого смысла истинно. Он знает, например, что существуют живые человеческие существа, с которыми он может общаться. Любой философ, пытающийся отрицать, что существует кто-либо, кроме него самого, предполагает, что другой человек существует, в самой попытке сообщить свое отрицание другому. Действительно, даже самое беглое упоминание о "мировоззрении здравого смысла" уже предполагает его истинность: это выражение не имеет смысла, если не существуют люди, придерживающиеся общих взглядов, т.е. если мировоззрение здравого смысла не является истинным.
В "Доказательстве внешнего мира" аргументация Мура "апеллирует к фактам" (в ранних сочинениях он осуждал этот прием как совершенно неуместный в философии). Но форма этого аргумента предопределена уже в лекциях 1910-1911 гг. Тогда, критикуя Юма, он расуждал так: "Если принципы Юма были бы истинными, то я не мог бы знать, что этот карандаш существует; но я знаю, что этот карандаш существует, а потому аргументы Юма не могут быть истинными". Он признает, что это рассуждение напоминает простую уловку, отговорку. Но на самом деле, говорит Мур, оно совершенно законно и убедительно. Мы гораздо больше уверены в существовании того, что находится у нас перед глазами, чем в правильности принципов Юма, и мы вправе использовать факты, в которых убеждены, для опровержения его аргументов. Подобно этому в "Доказательстве внешнего мира" Мур называет "основательным доказательством" существования внешних нам вещей тот факт, что мы можем указать на такие объекты. "Я могу доказать сейчас, - пишет он, - что две человеческих руки существуют. Как? Я поднимаю вверх две своих руки и говорю, жестикулируя правой: "Вот одна рука", и добавляю, жестикулируя левой: "А вот другая"".
Но даже если можно доказать таким образом существование физических объектов, все еще остается вопрос об их отношении к тому, что мы "на самом деле видим" (ощущаем, чувствуем, обоняем). Две вещи Мур считает совершенно ясными: что непосредственными объектами нашего восприятия являются чувственные данные и что мы знаем о существовании физических объектов. Он хочет понять, как то, что мы непосредственно воспринимаем, относится к тому, что мы непосредственно знаем. Рассмотрим утверждение "это (то, что я непосредственно воспринимаю) есть часть поверхности моей руки". Здесь есть нечто, уверен Мур, что мы непосредственно воспринимаем; он также убежден, что есть рука и что она имеет поверхность. Но он понимает, что невозможно просто сказать, что то, что мы непосредственно воспринимаем, само есть часть поверхности руки, или что оно есть "явление" такой части, или что (вслед за Миллем) "поверхность руки" есть не более чем сокращенное название для ряда действительных и возможных чувственных данных. Разные люди, воспринимающие одну и ту же поверхность в одно и то же время, воспринимают чувственные данные, которые, по мнению Мура, не могут все быть частью поверхности одной и той же руки, - ведь одни люди видят гладкое пятно, другие - шероховатое, а поверхность не может быть одновременно гладкой и шероховатой. И у нас, видимо, нет достаточных оснований для того, чтобы предпочесть одно из таких чувственных данных и назвать его "самой поверхностью". Рассматривать же эти чувственные данные как "явления" данной поверхности - значит поднять все те знакомые проблемы, что связаны с "репрезентативным восприятием". Решение, предложенное Миллем, по мнению Мура, ничем не лучше; слишком сложное в деталях, оно имеет и другой недостаток, поскольку противоречит нашей "сильной склонности" верить, что существование руки не зависит от какого-либо действительного или возможного восприятия ее. "Истина в том, - писал Мур в статье "Некоторые суждения о восприятии" (1918), - что я совершенно озадачен и не знаю, каким может быть правильный ответ". Он так никогда и не преодолел чувство замешательства.
И все же, как и в случае истины и полагания, Мур не собирался уступать другим философам и отрицать то, что он действительно знает: что имеются чувственные данные и физические объекты. Опять-таки он должен был признаться в своих сомнениях, заметив, что хотя он прекрасно знает, что суждения типа "это - поверхность руки" могут быть истинными, он не знает, каков их "правильный анализ".
Как уже раньше Томас Рид и Уильям Гамильтон, а затем скептик Юм, выступали против идеализма Беркли, Мур защищает "наивный реализм", на котором основываются повседневные убеждения обычного человека. За основную истину принимается то, что выражения "существуют материальные предметы", или "существует некоторое число человеческих субъектов, снабженных телом и сознанием", не могут быть опровергнуты или содержать противоречия.
Например, невозможно отрицать существование человеческих субъектов, что расходится с экзистенциальной философией, которая отрицает это существование. В работе "О достоверности" Л.Витгенштейн вновь поднимает эти тезисы на обсуждение в связи с проблематикой картезианского сомнения ("О достоверности", пункт 114: "Кто не уверен ни в одном факте, тот не может быть уверен и в смысле своих слов"64). У Я.Хинтикки есть статья "Cogito, ergo sum: обобщение или операция?" со многими и очень сильно сходными аргументами аргументативного движения, которые в семидесятые годы XX века выдвинул Апель против анти-фундаментализма: то же, что для Мура являлось защитой очевидности и являлось аргументом против философии идеализма, у К.-О.Апеля, напротив, является аргументом в пользу восстановления рациональности (см. § 12.4).
Мур создал особый философский стиль, основанный на крайней ясности и простоте аргументации, на систематическом обсуждении любого тезиса (более или менее явно сформулированного), ориентированный на выявление интуитивной правды, конечной и бесспорной в дальнейшем. Таким образом, анализ для Мура является разложением комплекса до "первых" предметов, являющихся для него интуитивными основаниями, как "желтизна" или "доброта". Но в своей крупной работе "Принципы этики" (1903) он пишет, что как у нас нет средств для объяснения того, чем является желтизна, так же мы не можем объяснить, что такое доброта65.
Мур не только освежил известное интуиционистское видение этики, которое было свойственно Брентано, и которое противопоставлялось "эмотивизму" (хорошие и плохие оценки принадлежат к сфере эмоций и, таким образом, не поддаются рациональной трактовке), но в значительной степени придал импульс обсуждениям внутри аналитической традиции на тему этики, которую Витгенштейн, Рассел и неопозитивисты исключали из сферы лингвистического анализа. Стиль философии Мура и реабилитация здравого смысла в его "метаэтике", воздействовали на различные поколения мыслителей: они дали начало размышлениям Остина и других лингвистов здравого смысла (как следует из коллективного тома "Революция в философии", 1956), а также повлияли на мысль второго Витгенштейна.
Так постепенно рождается практика классического анализа, характеризующаяся двумя основными аспектами: разложением того, что сложно, до простых элементов (Витгенштейна, Рассел и Мур сформулировали интуитивные основы имен денотатов простых предметов); критикой философии на основании логического анализа языка или на основе здравого смысла как, во всяком случае, источника реальных интуиций. Относительно этого второго аспекта будет необходимо заметить, что "критерии" и "основания" анализа являются логикой (формулировки верификационного рассуждения следуют правилам и формализмам, установленным Пеано, Фреге, Уайтхедом, Расселом) и здравым смыслом (истина и разумность того, что говорится, согласуется с общим опытом жизни и языка). Речь идет о двух размышлениях о собственной душе языка, безотносительно ко времени (в значительной степени Платонова и Аристотелева логики имели отношение не к вероятному и общепринятому мнению, но к логико-математической необходимости); логика и здравый смысл имеют решающее значение также в другой тенденции аналитической философии до сегодняшнего дня (логика важна например, для Даммита; а здравый смысл для политически-прагматического дискурса, как у Патнэма и Рорти).
2. Программа логического атомизма
2.1 Логический атомизм: язык как средство остановки регресса
Мысль о том, что философия должна опираться на логический анализ языка, восходит к Лейбницу, который выступал за создание идеального языка с точными правилами определения и преобразования. Цель построения такого языка была одна - сформулировать точную систему основоположений всего человеческого знания, которая позволила бы разрешить все философские проблемы.
Первым крупным мыслителем, поставившим в такой форме подлинно философские вопросы (например, о природе числа, существования и т.д.) был Г. Фреге. Однако его философские интересы концентрировались вокруг оснований математики, а идеи были слишком новы и не могли оказать влияние на философию. И только в той форме, которую придал ему Б. Рассел, логический анализ вошел в общефилософские дискуссии.
Развернутая в конце 1898 г. критика идеализма Дж. Э. Муром, в конечном счете, ниспровергает это направление, господствовавшее в англоязычных странах. Мур выступил за реалистическую позицию, однако не менее важное значение имел его способ анализа, в котором он нашел новый стиль философствования. "Аналитическое внимание к деталям" Мура было прямо противоположно монистической позиции идеалиста Брэдли, полагавшего, что всякое внимание к деталям непременно ведет к искажениям и что истинная действительность, в отличие от явления, образует мистическое, невыразимое в словах единство. Опираясь на плюралистический реализм, Мур противопоставлял монистическому идеализму аналитический стиль мышления, благодаря чему стал основателем нового философского направления аналитической школы.
Рассел поддержал позицию Мура. Он выступал за онтологический плюрализм, согласно которому действительность состоит из различных сущностей, поэтому аналитическое различение деталей не вносит никаких изменений. Через обоснование плюралистического реализма Рассел приходит к математической логике. Этот шаг имел эпохальное значение, поскольку Рассел, в качестве главы нового философского направления, был наилучшим образом подготовлен к тому, чтобы заинтересовать широкие круги философов современной формой логики. Благодаря этому его мышление оказало громадное влияние на всю современную философию.
Так, анализ отношений между положениями вещей помогает вскрыть три обстоятельства.
* Рассел обращается к этим отношениям для оправдания своего аналитического метода: в онтологическом плюрализме он видит основу анализа и пытается совместить эту онтологическую позицию со своим анализом отношений.
* Принятие отношений в качестве неустранимых исходных элементов побуждает Рассела обратиться к математической логике.
* На этом примере логического анализа можно увидеть, как онтологическая структура фактов подчиняется логической структуре высказываний.
2.1.1 Расселов анализ связей фактов
Центральным пунктом дискуссий с идеализмом в то время был вопрос о так называемых "внутренних" и "внешних" отношениях, и Рассел защищал свою позицию посредством тщательного анализа отношений фактов.
Рассел обнаружил, что особое истолкование Лейбницем отношений дает ключ для понимания его системы, а причину такого истолкования Рассел усмотрел в традиционной логике, которая ограничивалась высказываниями, имеющими субъектно-предикатную структуру.
Эта языковая форма, говорящая о принадлежности предиката субъекту, оказывается удовлетворительной только в случае высказывания таких атрибутах, которые являются целиком "внутренними" для некоторой субстанции. В этой структуре об отношении можно было бы говорить только тогда, когда оно оказывается несводимым к внутреннему атрибуту субстанции, следовательно, является "внутренним отношением". Однако подлинное отношение (например, отношение а : в, когда а › в) является "внешним отношением", которое нельзя свести к атрибуту. По-видимому, субстанции а можно было бы приписать атрибут r? и субстанции в атрибут r? , однако, для того, чтобы аr? и вr? выражали тот факт, что а › в, нужно, чтобы иметь возможность сказать, что атрибуты r? и r? находятся друг к другу в определенном отношении, т.е. высказать определенное отношение между r? и r?, а это вновь возвращает к исходному пункту проблемы. Поэтому с помощью языковой схемы нельзя говорить о внешних отношениях и приходится рассматривать субстанции как ни с чем не связанные монады.
Монадический взгляд на мир не вполне удовлетворителен, так как для объяснения фактического взаимодействия отдельных субстанций, необходимо принимать искусственно предустановленную гармонию. Поэтому, можно думать, было бы лучше решиться принять монизм и рассматривать все отношения, как внутренние отношения одной единственной субстанции. Однако, по мнению Рассела, при этом мы все еще учитываем фактические отношения. Это особенно видно в случае асимметричного отношения (например, "а › в"). Термины а и в содержались бы здесь в целостности некоторого субъекта, символически (ав), и следует попытаться приписать это отношение данному целому в качестве атрибута (ав)r. Однако, поскольку (ав) и (ва) выражают одно и то же целое, постольку (ав)r и (ва)r были бы равнозначны, т.е. асимметрия этого отношения не была бы выражена. Путь к признанию подлинных отношений также прегражден.
Попытку спастись, сославшись на то, что отношения находится лишь в нашем сознании, а не в реальности, Рассел отвергает, приводя следующий аргумент, что если мы считаем А отцом В, в то время как это не имеет места, то наше мнение ошибочно, и если мы думаем, что А западнее В, но это отношение существует только в нашем сознании, то мы тоже ошибаемся. Поэтому он отвергает как онтологические установки как монадического взгляда и монизма, так и привязанность традиционной логики к субъектно-предикатной схеме.
Подходящий языковой инструмент Рассел находит в той логике, которая с середины XIX разрабатывалась математиками. Эта логика не ограничивалась рассмотрением объемов понятий согласно субъектно-предикатной схеме, а исходила из одно- и многоместных функций типа "х есть число", "х следует после у" и т.п. Поскольку математика в каждом предложении говорит об отношениях, как, например, "быть больше" "быть меньше", "следовать за" и т.д., постольку это было как раз то, в чем нуждался Рассел. Поэтому он и создает учение о многоместных функциях - логики отношений.
Рассел также открыл, что в языке могут быть отображены категориальные различия. Языковая двойственность субъективных и предикатных знаков, с его точки зрения, передает онтологическое разделение на субстанции и свойства. Здесь "намечается" плодотворный поворот: в то время как в традиционной силлогистике один тот же термин мог стоять как на месте субъекта, так и на месте предиката, то в современной логике чаще всего с самого начала фиксируется, является ли некоторое выражение именем индивида, предикатным выражением, либо выражением отношения в зависимости оттого, соответствует ему индивид, свойство или отношение. Этот параллелизм логической и онтологической структур показывает, что между логикой и онтологией имеется тесная связь, что логический анализ языка и онтологический анализ реальности близки друг другу.
2.1.2 Логические конструкции вместо теоретико-познавательных заключений о внешнем мире
В течение всего Нового времени, начиная с Декарта и Локка, теоретико-познавательные проблемы рассматривались как центральные проблемы философии, и критическое рассмотрение сферы и границ познания в свете зависимости познаваемого объекта от познающего субъекта предшествовало постановке всех других вопросов. Сегодня, напротив, мы живем уже в другую эпоху, когда связанный с психологией теоретико-познавательный подход к философским вопросам в значительной мере утратил свою привлекательность и уступил место другим подходам. Этому изменению мыслей в значительной мере способствовала разработка логических методов.
Теория познания всегда занималась вопросом о том, каким образом от непосредственных данных сознания мы можем перейти к знанию интерсубъективного мира. Рассел высказал по этому поводу оригинальное замечание. Вместо того, чтобы делать рискованные выводы о существовании не данных непосредственно сущностей, он предложил конструировать эти сущности из непосредственно данного. Иначе, на место дедуцированных сущностей следует ставить логические конструкции, там, где возможно. Он предложил построить систему, внелогические термины которой относились бы только к непосредственно данному, а именно к чувственным данным и субъекту, которому они принадлежат.
Вместо того чтобы говорить о вещах внешнего мира, следует говорить об определенных наборах чувственных данных - об известном.
Лежащая в основе мысль принималась уже британскими эмпириками XVIII столетия: каждая идея должна либо непосредственно вытекать из чувственного опыта, либо должна быть составлена из идей, непосредственно вытекающих из чувственного опта. Однако принципиальная новизна расселовского подхода состояла в том, что способ построения он попытался сформулировать точно с помощью математической логики.
Хотя позднее Рассел вновь отбросил мысль о возможности ограничиться в теории познания базисом лишь непосредственно воспринимаемого. Однако он продолжал заменять вещи логическими конструкциями (из событий), и далее он приходит к выводу, что даже Я, сознание стал трактовать не просто как неанализируемое целое, а попытался изменить его особой классификацией частей определенного события - события восприятия. Он ограничивается событиями, нейтральными по отношению к противоположности субъект - объект.
Неоднократно осознавали, как трудно, например, вопросу о том, являются ли в процессе познания "непосредственные данными" физические вещи или феноменальные качества придать понятный смысл, с тем, чтобы сохранить интерес к теоретико-познавательным вопросам как таковым.
Так, благодаря логической технике, используемой Расселом, теоретико-познавательная позиция обретает новый смысл.
В связи со своими построениями Рассел ссылается на девиз Оккама "не умножать сущности без надобности". При этом данную максиму он интерпретирует таким образом, что нужно постараться обойтись минимальным языком, в которые переводимы все высказывания, но который содержит как можно меньше исходных знаков и принимает минимальное число предположений о реальности. Если предложения, выраженные в словах, отображающих определенные сущности, благодаря редукции оказываются излишними, то это означает, что об этих сущностях можно не говорить. (Рассел ни утверждает, ни отрицает существование спорных сущностей, этот вопрос оставляет открытым.)
Этот редукционистский образ действий полностью противоположен образу действия гносеолога Нового времени. Для последнего вопрос о том, существует ли внешний мир, познающий субъект и проч., был вопросом величайшей важности и не мог оставаться без ответа. Все философские усилия он направляет на то, чтобы ответить на него. Рассел не противопоставляет двух гносеологических позиций, между которыми необходимо делать выбор, он сравнивает языки, в которых формулирует эти позиции. Разные языковые системы в своей функции отображения принимают различное количество допущений о структуре реальности, и в зависимости от этого их исходные знаки отображают больше или меньше сущностей разного рода. Не только людей можно разделять в соответствии с представленными философскими позициями, языки также можно различать по тому, какие метафизические предложения с ними связаны. При этом языки обладают тем преимуществом, что они гораздо более понятны, чем мысли людей. А если учесть, что язык представляет собой орудие духовной деятельности, то мы получаем возможность судить об их целесообразности.
Говоря о "лишних" сущностях, Рассел, прежде всего, имеет в виду реальные сущности, которые заменяются абстрактными конструкциями. Вопрос о том, не следует ли экономнее относится к абстрактным сущностям и говорить только о конкретных сущностях, представляет собой современную формулировку проблемы универсалий.
Рассел становится первым философом-логиком, мыслившим в терминах семантического отношения отображения. Он считал неизбежным принятие универсалий в качестве логических атомов. Предикатные знаки он уподоблял индивидуальным именам и видел в них подлинные имена определенных сущностей, поэтому с его точки зрения, два одинаковых предикатных знака обозначают одну и ту же сущность.
В связи с интерпретацией Расселом предикатных знаков следует выделить три пункта:
* его интересуют не универсалии, а индивидуальные сущности;
* поскольку теория классов приводит к трудностям, то он пытается обойтись без классов;
* субстантивированные предикатные выражения он не считает подлинными именами.