Современная западная философия

Дальнейшая эволюция неопозитивизма пошла в направлении создания логической семантики. Если Карнап до середины 30-х годов считал, что логика науки исчерпывается логическим синтаксисом языка, то Тарский показал необходимость также и семантического анализа, то есть анализа смысла, значения слов и предложений, анализа отношений языковых знаков и выражений к тому, что они обозначают.

В этой связи надо сказать несколько слов о Тарском. Альфред Тарский был польским математиком, интересовавшимся также логикой и логическими основами математики. В 1939 г. ему удалось эмигрировать в США, где он и работал в одном из университетов, преподавая математику.

У Тарского есть ряд специальных работ по логике и семиотике, из которых большое значение имела статья "Понятие истины в формализованных языках". Написана она была в 1931 г. и в расширенном виде переведена на немецкий язык в 1935 г. На английском языке она вышла в 1956 г., но еще раньше его теория была изложена в 1944 г. в статье "Семантическая теория истины и основания семантики".

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

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

268

Эта идея и была использована для создания метаязыка, то есть языка, говорящего о другом языке, в данном случае о вещном языке, то есть о языке, говорящем о вещах. Если мы возьмем какое-то предложение о вещном языке, скажем, предложение Р, и скажем, что это "предложение Р истинно", то в каком случае это предложение будет истинным?

Ведь когда мы говорим, что "Р - истинно", то мы уже пользуемся метаязыком. В обыденной речи или разговорной практике мы этого не замечаем, мы не делаем различия между исходным "вещным" языком и метаязыком. Но при анализе мы их должны различать. Так вот, в каком случае предложение Р в некотором данном языке будет истинным? Тарский дает такой ответ: "Р" истинно, если Р.

Это значит, что (предложение) "Снег бел" истинно, если снег бел. По сути дела, это - несколько завуалированная попытка восстановить в правах корреспондентную теорию истины, придав ей некую респектабельную форму,

Формула Тарского сыграла очень большую роль в последующей эволюции взглядов на познание. Ведь корреспондентная теория истины уже давно подвергалась критике. Многие философы утверждали, что она ничего нового не дает, а выражает только субъективную уверенность говорящего. Так, например, сказать "истинно, что Цезарь был убит в 44 г. до нашей эры", это все равно, что сказать просто: "Цезарь был убит". Понятие "истинно" ничего не добавляет к этой фразе.

Подобное рассуждение смущало многих. Формула Тарского, как бы ее ни толковать, позволила восстановить теорию истины как соответствия, так сказать, примириться с нею.

Что касается семантики, то одним из важных результатов ее дальнейшей разработки Р. Карнапом была созданная им теория "языковых каркасов", изложенная в статье "Эмпиризм, семантика и онтология" (1950).

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

Карнап говорит, что хотя эмпиристы с подозрением относятся ко всякого рода абстрактным объектам, тем не менее в некоторых науч

269

ных контекстах их едва ли можно избежать. Поскольку же свести высказывания об абстрактных объектах к элементарным или протокольным предложениям или же к высказываниям о "чувственных данных" явно не удалось, то необходимо объяснить правомерность таких высказываний.

Кроме того, когда в обычном или научном языке заходит речь о подобных абстрактных объектах, то обычно задается вопрос: существуют ли такие объекты реально? На этот вопрос реалисты отвечают утвердительно, номиналисты же отрицательно. Например, если речь идет о числах, то философ реалистического склада готов признать их объективное существование, впадая в платонизм.

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