Западная философия XX века - [155]

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

Подведем некоторые итоги. Очевидно, что логические позитивисты поставили важные вопросы, но их ответы оказались неудовлетворительными. Так, пороки принципа верификации вытекают из таких его особенностей:

Для него характерно: а) Стремление найти единый формальный способ проверки научного характера тех или иных предложений. Однако, эта задача едва ли может быть разрешена.

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

Далее, понимание связи теоретического знания с эмпирическим в духе редукционизма оказалось примитивным. Специфика теории и теоретического мышления исчезла. Получилась карикатура на науку.

Деление на формальные и фактуальные науки, за которое позитивисты держатся крепче всего, показало себя неправомерной абсолютизацией относительного различия внутри сложившегося готового знания.

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

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

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

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

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

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

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

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

Эта идея и была использована для создания метаязыка, то есть языка, говорящего о другом языке, в данном случае о