Тарский доказал необходимость также и семантического анализа, т. е. анализа смысла, значения слов и предложений, анализа отношений языковых знаков и выражений к тому, что они обозначают.
Польский математик Альфред Тарский (1902—1983), интересовался также логикой и логическими основами математики. В 1939 г. ему пришлось эмигрировать в США, где он работал преподавателем математики в одном из университетов.
А. Тарский опубликовал ряд специальных работ по логике и семиотике, из которых большое значение имела статья «Понятие истины в формализованных языках». Написана она в 1931 г. и в расширенном виде была переведена на немецкий язык в 1935 г., на английском языке вышла лишь в 1956 г. В обобщенном виде концепция Тарского была изложена в 1944 г. в статье «Семантическая теория истины и основания семантики». Рассуждения ученого очень непростые, так как речь идет исключительно о языке и языковых выражениях, причем не об одном языке, но о языке и о метаязыке, т. е. о языке, на котором говорят о другом языке.
Выше уже отмечалось, что в теории типов Рассела все словесные выражения делятся на типы или виды предложений. К первому типу относятся все предложения, говорящие о вне-лингвистических объектах, ко второму – предложения, говорящие о предложениях первого типа, и т. д.
Эта идея и была использована для создания метаязыка, т. е. языка, говорящего о другом языке, в данном случае о вещном языке – языке о вещах. Если мы возьмем какое-то предложение о вещном языке, к примеру предложение Р, и скажем, что это «предложение Р истинно», то в каком случае это предложение будет истинным? Ведь когда говорим, что «Р – истинно», то мы уже пользуемся метаязыком. В обыденной речи или разговорной практике мы этого не замечаем, не делаем различия между исходным «вещным» языком и метаязыком. Но при анализе их необходимо различать. Так вот, в каком случае предложение Р в некотором данном языке будет истинным? Тарский дает такой ответ: «Р» истинно, если Р. Это значит, что (предложение) «снег бел» истинно, если снег бел. По сути дела, это несколько завуалированная попытка восстановить в правах корреспондентную теорию истины, придав ей некую респектабельную форму.
Формула Тарского сыграла большую роль в последующей эволюции взглядов на познание. Ведь корреспондентная теория истины давно подвергалась критике. Многие философы утверждали, что она ничего нового не дает, а выражает только субъективную уверенность говорящего. Например, сказать: «Истинно, что Цезарь был убит в 44 г. до нашей эры» – это все равно что сказать просто: «Цезарь был убит». Понятие «истинно» ничего не добавляет к этой фразе.
Подобные суждения смущали многих. Формула Тарского, как бы ее ни толковать, позволила восстановить теорию истины как соответствия, так сказать, примириться с нею.
Что касается семантики, то одним из важных результатов ее дальнейшей разработки была созданная Р. Карнапом теория языковых каркасов, изложенная им в статье «Эмпиризм, семантика и онтология» (1950). Данная теория решала проблему абстрактных объектов или, вернее, проблему высказываний, имеющих своим предметом абстрактные объекты (числа, суждения, свойства вещей, классы и т. д.). Она была призвана обосновать правомерность подобных высказываний. Причем она должна была не только осуществить это в рамках неопозитивистской концепции, но сделать так, чтобы подтвердить данную концепцию.
Карнап считает, что, хотя эмпиристы подозрительно относятся ко всякого рода абстрактным объектам, тем не менее в некоторых научных контекстах их едва ли можно избежать.
Поскольку же свести высказывания об абстрактных объектах к элементарным или протокольным предложениям или же к высказываниям о «чувственных данных» явно не удалось, то необходимо объяснить правомерность таких высказываний. Кроме того, когда в обыденном или научном языке заходит речь о подобных абстрактных объектах, то обычно задается вопрос: существуют ли такие объекты реально? На этот вопрос реалисты отвечали утвердительно, номиналисты – отрицательно. Например, если речь идет о числах, то сторонник реализма готов признать их объективное существование, впадая в платонизм.
Некоторые же эмпиристы пытались решить данный вопрос, рассматривая всю математику как чисто формальную систему, которой не может быть дано никакой содержательной интерпретации. В соответствии с этим они утверждали, что говорят не о числах, функциях и бесконечных классах, а только о лишенных смысла символах и формулах. Однако уже в физике избежать абстрактных объектов гораздо труднее, если это вообще возможно.
Такова проблема. Карнап пытался решить ее посредством анализа языка. Он не ставит вопрос: что представляют собой абстрактные объекты? Он подходит к проблеме по-другому. Ведь фактически мы говорим об абстрактных объектах, делаем высказывания о таких объектах. Следовательно, мы пользуемся языком, который принимает их, допускает слова и высказывания о них. Встают вопросы: как возникает такой язык и какие высказывания об абстрактных объектах в нем можно делать, какие вопросы о них можно задавать?
Для решения этой проблемы Карнап вводит понятие о языковых каркасах. Это значит, что, если кто-либо хочет говорить на своем языке о каких-то новых объектах, он должен ввести систему способов речи, подчиненную новым правилам. Эту процедуру Карнап называет построением языкового каркаса. Она может осуществляться стихийно, неосознанно, но дело анализа – вскрыть ее логику и показать ее в чистом виде. Языковых каркасов может быть много. Простейшим примером такого каркаса может служить вещный язык, на котором мы говорим о вещах и событиях или обо всем том, что мы наблюдаем в пространстве и времени и что имеет более или менее упорядоченный характер. О вещах мы говорим с детства. Но это не должно помешать анализу данного вещного языка. Это, по Карнапу, так и есть на самом деле: когда мы осознаем природу вещного языка, то нам предоставляется свобода выбора: продолжать пользоваться им или же отказаться от него.
Итак, допустим, что мы решили принять такой языковой каркас, который позволит нам говорить в данном случае о вещах. Тогда, считает Карнап, мы должны различать два вида вопросов о существовании и реальности объектов.
1. Вопрос о существовании тех или иных объектов внутри данного каркаса. Это внутренний вопрос.
2. Вопрос о существовании или реальности системы объектов в целом.
По отношению к миру вещей, или к вещному языку, внутренними вопросами будут такие: есть ли на моем столе клочок белой бумаги?; действительно ли жил король Артур?; являются ли единороги и кентавры реальными или только воображаемыми существами? – т. е. можно ли было все это обнаружить в опыте? На эти вопросы следует отвечать эмпирическими исследованиями (подобно тому как на вопрос: есть ли простое число больше миллиона? – надо отвечать путем логических исследований). Это вполне осмысленные вопросы. «Понятие реальности, встречающееся в этих внутренних вопросах, является эмпирическим, научным, не метафизическим понятием. Признать что-либо реальной вещью или событием – значит суметь включить эту вещь в систему вещей в определенном пространственно-временном положении среди других вещей, признанных реальными, в соответствии с правилами данного каркаса»note 59 .
От этих вопросов нужно отличать внешний вопрос – о реальности самого мира вещей (или отдельных вещей, но уже безотносительно к данной системе, к данному каркасу).