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