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

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

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

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

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

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

Эта идея и была использована для создания метаязыка, т. е. языка, говорящего о другом языке, в данном случае о вещном языке – языке о вещах. Если мы возьмем какое-то предложение о вещном языке, к примеру предложение Р, и скажем, что это «предложение Р истинно», то в каком случае это предложение будет истинным? Ведь когда говорим, что «Р – истинно», то мы уже пользуемся метаязыком. В обыденной речи или разговорной практике мы этого не замечаем, не делаем различия между исходным «вещным» языком и метаязыком. Но при анализе их необходимо различать. Так вот, в каком случае предложение Р в некотором данном языке будет истинным? Тарский дает такой ответ: «Р» истинно, если Р. Это значит, что (предложение) «снег бел» истинно, если снег бел. По сути дела, это несколько завуалированная попытка восстановить в правах корреспондентную теорию истины, придав ей некую респектабельную форму.

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

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

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

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

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

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

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