Западная философия XX века

ему удалось эмигрировать в США, Где он и работал в одном из университетов, преподавая математику.

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

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

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

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

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

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

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

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

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

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

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

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

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

Такова проблема. Карнап пытался решить ее в духе неопозитивизма посредством анализа языка. Он не ставит вопрос: что представляют собой абстрактные объекты? Он подходит к проблеме по-другому. Ведь фактически мы говорим об абстрактных объектах, мы делаем высказывания о таких объектах. Следовательно, мы пользуемся языком, который принимает абстрактные объекты, который допускает слова и высказывания о таких объектах. Встает вопрос: как возникает такой язык, и какие высказывания об абстрактных объектах в нем можно делать, какие вопросы о них можно задавать?

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

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

Итак, допустим, что мы решили принять такой языковой каркас, который позволит нам говорить в данном случае о вещах.

Тогда, считает Карнап, мы должны различать два рода вопросов: о существовании или реальности объектов.

1. Вопрос о существовании тех или иных объектов внутри данного каркаса. Это «внутренние вопросы».

2. Вопрос о существовании или реальности системы объектов в целом.

По отношению к миру вещей, или к вещному языку, внутренними вопросами будут такие:

«Есть ли на моем столе клочок белой бумаги?»

«Действительно ли жил король Артур?»

«Являются ли единороги и кентавры реальными или только воображаемыми существами?» — то есть можно лишили можно ли было, их обнаружить в опыте?

На эти вопросы нужно отвечать эмпирическими исследованиями (подобно тому, как на вопрос: «Есть ли простое число больше миллиона?» надо отвечать путем логических исследований).

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

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

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

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