5. Логическая семантика

5. Логическая семантика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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