Чтение онлайн

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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