Чтение онлайн

ЖАНРЫ

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

Другое адаптирующее изменение связано с тем, что выражения естественного языка имеют, согласно Фреге, не только значение и смысл, но также «окраску» и «силу». Например, два предложения «А и В» и «Не только А, но и В» выражают одну и ту же мысль, но различаются по «окраске», т. е. «содержание предложения нередко превосходит содержание той мысли, которая в нем выражена» [Фреге, 2000, с. 331], и это дополнительное содержание как раз и выражает то, что Фреге называет окраской. Кроме того, предложения естественного языка, считает он, могут произноситься с разной «силой» — как ассерторические или как вопросительные. Вопросительные предложения (Фреге имеет в виду общие вопросы, требующие ответа «да» или «нет») совпадают по смыслу с соответствующими ассерторическими предложениями, и различие между ними состоит лишь в том, что в первом случае мы спрашиваем, являются ли выражаемые ими мысли истинными, а во втором случае мы утверждаем их истинность.

В завершении нашего изложения семантики Фреге уместно коснуться вопроса о роли в ней понятия истины. Как мы видели, истина представляет собой принципиально важный абстрактный предмет в онтологии Фреге, ибо даже саму логику он определяет как «науку о наиболее общих законах бытия истины» (цит. по: [Бирюков, 2000, с. 36]). По его мнению, человек не способен напрямую схватывать истину, но всегда постигает ее через конкретные предложения, которые ее обозначают. Конечно, говорит Фреге, мы можем выразить мысль, и не утверждая ее истинности. Когда же мы оцениваем мысль как истинную, мы «движемся от мысли к истинностному значению», однако это движение не означает, что имеется еще одна мысль о том, что первая мысль истинна. Отсюда следует, что, предваряя предложение, выражающее определенную мысль, словами «истинно, что», мы не сообщаем ему ассерторической силы, но просто выражаем туже самую мысль. В дальнейшем такого рода соображения легли в основу «избыточной» концепции истины (redundancy theory of truth).

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

Итак, подведем итоги. Размышления Фреге о языке и онтологии явились продолжением его исследований по логике и основаниям математики, нацеленным на сведение арифметики к логике. Он еще не воспринимал построение языка как задающее определенную онтологию, хотя желал он того или нет, но онтологические вопросы оказались у него тесно связанными с исследованием языка. Поскольку свой формальный язык он создавал для описания предметной области арифметики и для осуществления логицистской программы, отношение между языком и внеязыковой реальностью не представляет для него особой проблемы и не заключает в себе ничего загадочного. Можно сказать, что в его системе множество слов (имен собственных) просто отображается (в математическом смысле) на множество предметов, и поэтому отношение между знаками языка и элементами онтологии, которое он называет отношением именования, является прямым, конвенциональным и не требующим никакого обоснования. Фреге исключает из своего рассмотрения тех, кто использует язык, чтобы говорить о мире; они просто имеют в своем распоряжении готовую систему «язык-мир», никоим образом не влияют на природу связи между словом и предметом и не участвуют в механизмах установления этой связи. При таком подходе язык (langue в терминологии Ф. де Соссюра) берется в полном отрыве от речи (parole), что позволяет полностью отвлечься от всех иных его функций, кроме репрезентативной. В этом случае язык воспринимается исключительно как система знаков, используемая для описания внешнего мира.

Безусловно, такой подход был в каком-то смысле настоящим прорывом в представлениях о языке. В течение долгого времени в философии преобладала трактовка языковых выражений как «знаков идей», которая в основном опиралась на картезианское представление о том, что сознание и идеи отделены от внешнего мира «эпистемической пропастью», поэтому главная задача состоит в том, чтобы установить, как связаны между собой ментальные сущности и объекты в мире. Эта задача решалась по-разному: ментальные сущности или трактовались как причинно обусловленные физическими вещами (как, например, у Дж. Локка), или рассматривались как «естественные знаки предметов» в силу заложенной в природе разума направленности на объект (как, например, у Ф. Брентано), а уже потом эти ментальные сущности конвенционально связывались с языковыми выражениями. Таким образом, слова напрямую обозначали ментальные сущности и лишь опосредованно соотносились с объектами в мире. Фреге, вслед за Дж. С. Миллем, устранил «ментального посредника» в отношении между словом и объектом, создав «референциальную» или «денотативную» семантику.

Как мы видели, изгнав мысли и смыслы из сферы психического, Фреге поместил их в «третье царство» вневременных и неизменных предметов, которые в своем существовании не зависят от их схватывания кем бы то ни было. Практическим следствием этого онтологического решения стало отвержение психологизма в логике. Вместе с тем, как отмечает Даммит, важность отрицания ментального характера мыслей заключается не в той философской мифологии, которую оно породило, а «в той непсихологической направленности, которая была дана анализу понятий и суждений. И совершенно понятно, почему это привело к аналитической философии, к анализу мышления посредством анализа языка. Ибо если совершается первый шаг — изгнание мыслей и их компонентов из сознания — и философа не удовлетворяет онтологическая мифология, которой это изгнание дополняется, то выход один — попытаться найти что-то немифологическое, но объективное и внешнее по отношению к индивидуальному сознанию, что воплощало бы мысли, которые отдельный субъект схватывает и может принять или отвергнуть. Где еще это можно найти, как не в институте совместного языка?» [Dummett, 1994, p. 25]. Аналитические философы, как известно, вначале попытаются устранить эти абстрактные сущности посредством отождествления значения слова с его референцией, а затем — путем истолкования значения как употребления.

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

В оставшейся части этой главы мы рассмотрим тех философов, которые были лично знакомы с Фреге, испытали непосредственное влияние его идей и восхищались ими тогда, когда научный и философский мир не проявлял к ним особого интереса. Речь идет о Б. Расселе, Л. Витгенштейне и Р. Карнапе. Первый состоял с Фреге в переписке и был, можно сказать, «главным транслятором» его идей в англоязычном мире. Витгенштейн в 1911–1913 гг. трижды приезжал к Фреге в Иену и переписывался с ним. Неслучайно, что в Предисловии к «Логико-философскому трактату» он упомянул лишь «выдающиеся работы» Фреге и Рассела, назвав их «стимулировавшими» его мысли. Карнап слушал лекции Фреге по логике и основаниям арифметики в 1910–1914 гг., и по его признанию благодаря этим лекциям он «познакомился с настоящей логикой». Каждый из этих философов создал свою концепцию взаимосвязи языка и мира, но во всех этих концепциях хорошо просматриваются контуры фрегевской модели.

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

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

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

16

По мнению Рассела, представление о том, что суждение может иметь лишь субъектно-предикатную структуру, приводит к «плохой метафизике», ибо оно вынуждает философов строить онтологии или схоластического типа, в которых имеются лишь субстанции и их атрибуты, или абсолютно-идеалистического типа, в которых все суждения, даже суждения об отношениях, истолковываются как замаскированные предикации к «реальности, взятой как целое».

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

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

17

Строго говоря, у Рассела словарь исходных символов включает помимо логических (пропозициональных связок, кванторов) и технических символов (1) термы, которые подразделяются на переменные и имена; (2) и-местные (где n >= 1) предикаты, в которые можно подставить n термов и (3) формулы, представляющие собой соединение и-местного предиката с n термами. Такие формулы Рассел называет атомарными, а более сложные формулы образуются из них с помощью пропозициональных связок и кванторов, которые связывают в них свободные переменные. Предложение он определяет как формулу, не содержащую свободных переменных. Формулы, которые не являются предложениями («открытые формулы»), выражают пропозициональные функции.

18

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

Поделиться с друзьями: