Модель науки и научного прогресса

Образ науки логического позитивизма представлял собой гносео­логически обработанную копию структуры экстенсиональной логики. В основе науки, по мнению логических позитивистов, лежат прото­кольные предложения, выражающие переживания субъекта. Истин­ность этих предложений абсолютно достоверна и несомненна. Сово­купность истинных протокольных предложений образует твердый эм­пирический базис науки. Для методологической концепции логическо­го позитивизма характерно резкое разграничение эмпирического и теоретического уровней знания. Однако первоначально члены Венско­го кружка полагали, что все предложения науки — подобно прото­кольным предложениям — говорят о чувственно данном. Поэтому ка­ждое научное предложение можно свести, "редуцировать", к прото­кольным предложениям подобно тому, как любое молекулярное пред­ложение экстенсиональной логики может быть разложено на состав­ляющие его атомарные предложения. Достоверность протокольных предложений передается всем научным предложениям, поэтому наука состоит только из достоверно истинных предложений.

С точки зрения логического позитивизма, деятельность ученого в основном должна сводиться к двум процедурам:

1) установление новых протокольных предложений;

2) изобретение способов объединения и обобщения этих предложений. Научная теория мыслилась в виде пирамиды, в вершине которой находятся основные понятия, определения и постулаты; ниже распола­гаются предложения, выводимые из аксиом; вся пирамида опирается на совокупность протокольных предложений, обобщением которых она является ²¹.

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

В этой примитивно-кумулятивной модели развития не происходит никаких потерь или отступлений: каждое установленное протокольное предложение навечно ложится в фундамент науки; если некоторое предложение обосновано с помощью протокольных предложений, то оно прочно занимает свое место в пирамиде научного знания. И это представление о непрерывном прогрессе науки отвечало духу своего времени. Большинство людей в первой половине XIX в., в том числе и ученые, было убеждено, что научное знание всегда и постоянно возрас­тает, что наука только добавляет новые факты и законы к тем, что бы­ли получены ранее, а если иногда что-то и отбрасывается, то это — ложь, которую мы ошибочно считали истиной.

Первоначальная модель науки и научного прогресса была на­столько искусственна и примитивна, настолько далека от реальной науки и ее истории, что это бросалось в глаза даже самим логическим позитивистам. Они предприняли отчаянные попытки усовершенство­вать эту модель, с тем чтобы приблизить ее к реальной науке. В ходе этих попыток им пришлось постепенно отказываться от своих перво­начальных логико-гносеологических установок. Однако несмотря на все изменения и усовершенствования, модель науки логического позитивизма постоянно сохраняла некоторые особенности, обусловленные первоначальной наивной схемой. Это, прежде всего, выделение в науч­ном знании некоторой твердой эмпирической основы; резкая дихото­мия эмпирического—теоретического и их противопоставление; отри­цательное отношение к метафизике и всему тому, что выходит за пре­делы чувственного опыта; абсолютизация логических методов анализа я построения научного языка и знания; ориентация в понимании науч­ного знания на математические дисциплины и т. д.

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

21. Примеры реализации этого идеала построения научной теории можно нити в работе: Carnap R. Abriss der Logistik. Wien, 1929.

ложений состоит эмпирический базис науки; следовало показать, что все научное знание действительно сводится к эмпирическому базису;

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

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

I. 4. ЭМПИРИЧЕСКИЙ БАЗИС

Понятие эмпирического языка было одним из важнейших понятий методологии логического позитивизма, а проблема определения этого понятия — ключевой проблемой концепции.

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

а) они выражают "чистый" чувственный опыт субъекта;

б) они абсолютно достоверны, в их истинности нельзя сомневаться;

в) протокольные предложения нейтральны по отношению ко всему остальному знанию;

г) они гносеологически первичны — именно с установления прото­кольных предложений начинается процесс познания.

"Ясно и, насколько мне известно, никем не оспаривается, что по­знание в повседневной жизни и в науке начинается в некотором смысле с констатации фактов и что 'протокольные предложения', в которых и происходит эта констатация, стоят — в том же смысле — в начале нау­ки" ²², — писал руководитель Венского кружка М. Шлик. Легко заме-

²² Schlick M. Uber das Fundament der Erkenntnis // Erkenntnis, Bd. 4, 1934, S. 89. — Это практически то же самое, что говорил в свое время Д. С. Милль:

"Начало всякого исследования состоит в собирании неанализированных фактов и в накоплении обобщений, непроизвольно являющихся естественной вос­приимчивости". — Милль Д. С. Огюст Конт и позитивизм. М., 1897, с. 45.

тить, что свойства (б), (в), (г) обусловлены свойством (а). И когда оказалось, что "чистый" чувственный опыт невозможен и, во всяком слу­чае, не может сохранить свою "чистоту" при выражении его в языке, логическим позитивистам пришлось отказаться от (а), а вместе с тем и от всего остального.

В вопросе о том, какова форма протокольных предложений, чти они собой представляют, среди логических позитивистов не было еди­нодушия. Р. Карнап полагал, что эти предложения должны составлять­ся из слов, относящихся к чувственным впечатлениям; О. Нейрат отли­чительный признак протокольного предложения видел в том, что в не­го входит имя протоколирующего лица, "констатации" М. Шлика со­держали слова "здесь" и "теперь", имеющие смысл лишь в конкретной ситуации. Суммируя все эти идеи, можно предположить, что прото­кольное предложение должно было выглядеть приблизительно так: "Я сейчас воспринимаю круглое и зеленое". Предполагается, что это пред­ложение выражает мое "чистое" чувственное переживание в определен­ный момент времени.

Однако это далеко и далеко не так. Данное предложение содержит такие слова, как "круглое" и "зеленое", а эти слова являются общими терминами, т. е. относятся не только к моему сиюминутному ощуще­нию, а к громадному классу ощущений — как моих собственных, так и других людей. Поэтому они выражают лишь то, что является общим для ощущений данного класса, и не способны передать те черты моих ощущений, которые придают им их уникальность и неповторимость. Таким образом, выражая ощущения в языке, мы производим абстраги­рование и обобщение и сохраняем лишь общее и абстрактное.

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

Кроме того, следует учесть, что и самого "чистого" чувственного опыта, к которому апеллировали логические позитивисты, не существует. Это показал еще И. Кант. А в психологии XX в. была эксперимен­тально доказана связь, существующая между работой органов чувств и мышлением человека, в частности, даже его профессиональными зна­ниями. Таким образом, убеждение логических позитивистов в том, что наука опирается на твердый эмпирических базис, а этот базис состоит из абсолютно истинных протокольных предложений, выражающих чувственные переживания субъекта, оказалось ложным. Даже если бы существовал "чистый" чувственный опыт, его невозможно было бы вы­разить в языке. Но к тому же такого опыта просто не существует.

Между прочим, любопытный пример методологической псевдо­проблемы, возникающей в результате принятия неоправданных фило­софских предпосылок, дает проблема интерсубъективности протоколь­ного языка, которая в течение ряда лет волновала логических позити­вистов. Если считать, что протокольные предложения выражают "чис­тый" чувственный опыт субъекта, то оказывается, что у каждого субъ­екта свой собственный протокольный язык. Это обстоятельство порож­дает достаточно серьезную трудность, если при этом еще утверждают, что наука занимается трансформацией протокольных предложений и каждое научное предложение имеет смысл лишь постольку, поскольку его можно свести к протокольным предложениям. Получается, что ка­ждый субъект имеет свою собственную науку и принимает лишь те на­учные предложения, которые согласуются с его личным протокольным языком. Но факт существования общепризнанной интернациональной науки налицо. Значит, нужно отыскать "интерсубъективный" прото­кольный язык, т. е. такой язык, который был бы общим для всех инди­видов. Совершенно очевидно, что проблема нахождения общего эмпи­рического языка неразрешима в рамках феноменализма.

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

Идею языка наблюдения, термины и предложения которого отно­сятся к чувственно воспринимаемым вещам и их свойствам, разработал Р. Карнап. Предикат Р он называет "наблюдаемым" для субъекта N. если при соответствующих условиях для некоторого предмета а субъ­ект N может придти к решению об истинности предложения "Ра" или "не-Ра" 23. Например, с помощью наблюдения субъект может решить, какое из двух предложений — "Арбуз круглый" или "Неверно, что ар­буз круглый" — является истинным. В предложения языка наблюдения

23. Сатар R. Testability and Meaning. Ч. Ш, § 11 // Philosophy of Science, V. 4,1937

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

Правда, для этого еще недостаточно, чтобы эмпирический язык содержал только термины наблюдения, нужно еще наложить некото­рые ограничения на формы предложений, которые в нем допускаются. и языке наблюдения Карнап разрешает использовать только экстен­сиональные логические связки, поэтому все молекулярные предложе­ния этого языка являются функциями истинности составляющих их атомарных предложений ²⁴. — Это обеспечивает проверяемость всех предложений эмпирического языка посредством наблюдения.

Нетрудно увидеть, что несмотря на отказ от феноменализма, ос­новные идеи логических позитивистов относительно эмпирического базиса сохранились — даже после дискуссии 30-х годов по поводу про­токольных предложений. Эмпирические предложения уже не являются абсолютно достоверными, но их истинность обосновывается наблюде­нием, и раз она установлена, в ней трудно сомневаться. Таким образом, твердый, несомненный эмпирический базис науки сохраняется. Гермины наблюдения заимствуют свои значения из чувственного опы­та; этот опыт, в свою очередь, определяется работой органов чувств, а поскольку органы чувств у людей не изменяются, постольку эмпириче­ские термины и весь эмпирический язык оказываются нейтральными по отношению к теоретическому знанию и его развитию. Как для Ари­стотеля листья деревьев были зелеными, а небо — голубым, так и для Ньютона, и для Эйнштейна. Язык наблюдения этих мыслителей был одним и тем же, несмотря на различие их теоретических представлений. Сохраняется и гносеологическая первичность языка наблюдения: про­цесс познания начинается с наблюдения, с констатации фактов; затем наступает очередь обобщения результатов наблюдения и лишь после этого может начать свою работу теоретик.

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

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

²⁴ Требования, предъявляемые к языку наблюдения, см. в работе: Саrnap R. The Methodological Character of Theoretical Concepts // Minnesota Studies in the Philosophy of Science, V. I, Minneapolis, 1956.

ная тренированность и т. п.). Пусть мы не будем обращать внимания на эти различия и решим ориентироваться на некоего "среднего" на­блюдателя. Однако трудности сохраняются.

Встает вопрос: можно ли использовать при наблюдении приборы? Допустим, мы отвечает "нет" и решаем говорить только о "непос­редственном" наблюдении, т. е. о наблюдении, не использующем ника­ких приборов. Но разрешается ли пользоваться очками или, может быть, следует считать, что носящие очки не наблюдают "непос­редственно"? ^м А если мы смотрим через оконное стекло, то является ли наше наблюдение "непосредственным" или оконное стекло — тоже прибор? — Вопросы подобного рода показывают, что понятие "непос­редственного наблюдения" лишено смысла, ибо в процессе наблюдения мы никогда не можем исключить воздушную среду, которая изменяет свои оптические свойства в зависимости от колебаний температуры, за­грязненности атмосферы и т. п., а также слизистую оболочку глаза. "Не­посредственно" наблюдать можно было бы только лишив себя глаз!

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

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

²⁵ См. критику дихотомии наблюдаемого—ненаблюдаемого в статье: Max­well G. Ontologocal Status of Theoretical Entities // Minnesota Studies in the Phi­losophy of Science, V. 2, Minneapolis, 1962.

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

Сейчас уже не говорят о полной достоверности и несомненности предложений эмпирического языка и признают влияние теорий на этот язык. Однако такой язык все-таки нужен, по мнению некоторых авто­ров, например, для сравнения и выбора теорий. Если нет некоторого эмпирического языка, общего для конкурирующих теорий, то сравне­ние этих теорий оказывается невозможным. Для того чтобы мы могли' поставить эксперимент, результат которого помог бы нам выбрать од­ну из конкурирующих теории, нужен нейтральный эмпирический язык, в котором мы смогли бы выразить этот результат. Таким образом, ес­ли сейчас кто-то продолжает говорить об эмпирическом языке, то от­сюда еще не следует, что он разделяет воззрения логических позитиви­стов. Однако когда эмпирический язык пытаются противопоставлять теоретическому языку как более достоверный, более обоснованный, более ясный — менее достоверному и ясному, то это, по-видимому, возврат к идее эмпирического базиса логических позитивистов.

КРИТЕРИИ ДЕМАРКАЦИИ

Существует древняя философская проблема, обсуждение которой восходит еще к первым античным философам: как отличить подлинное надежное знание от изменчивого мнения или то, что я могу знать, от того, во что я вынужден верить? В философии науки XX в. эта пробле­ма предстала в виде проблемы демаркации: как провести разграничи­тельную линию между наукой и другими формами духовной деятельно­сти — философией, религией, искусством и т. п.? Отличается ли наука от философии и мифа, а если отличается, то — чем? Именно эта про­блема весьма сильно занимала логических позитивистов, и они затратили большие усилия на ее решение. Однако им не удалось решить ее так, как им бы хотелось. Логические позитивисты пытались провести четкую логическую границу между наукой и не-наукой, но как в ходе них попыток и выяснилось, что эта граница весьма условна и истори­чески изменчива. — По-видимому, как раз в этом состоит самый цен­ный результат обсуждения проблемы демаркации.

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

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

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

Правда, при этом оказываются бессмысленными также и логиче­ские тавтологии, т. к. они не описывают никакого положения дел. "Тавтология не имеет условий истинности, потому что она безусловно истинна. — писал Витгенштейн. — Тавтология и противоречие не име­ют смысла"27. Однако, хотя тавтологии и не имеют смысла, они все— таки не совсем бессмысленны. "Не тавтология и противоречие не яв­ляются бессмысленными, они являются частью символизма, подобно тому как 'Q' есть часть символизма арифметики"²⁸.

²⁶ "Вместо: Это предложение имеет такой-то и такой-то смысл', можно просто говорить: 'Это предложение изображает такое-то и такое-то положение дел" . — Витгенштейн Л. Логико-философский трактат, 4.031.

²⁷ Витгенштейн Л. Логико-философский трактат, 4.461.

²⁸ Там же, 4.4611.

Следует сказать, что для эмпиризма математика и логика всегда были камнем преткновения при его попытках опытного обоснования научного знания. В самом деле, в области астрономии, механики, био­логии не так уж трудно показать, что законы этих наук основываются на опытных данных. Но как быть с математическими и логическими законами? Ведь они явно не являются истинами, полученными посред­ством опыта! И здесь Витгенштейн находит блестящее решение: да, это не опытные истины, но это — инструмент обработки, преобразования опытных истин, поэтому математика и логика образуют необходимую часть науки.

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

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

Например, Карнап, обсуждая причины появления в языке бессмысленных предложений, утверждал, что предложения философии бессмысленны так же, как бессмысленны предложения, нарушающие пра­вила грамматики или логики, типа "Цезарь есть и" или "Цезарь есть простое число"³⁰. Таким образом, философия оказалась бессмысленой с точки зрения чрезвычайно узкой теории значения — теории, приписывающей значение только тем терминами и предложениям, кото-

29. О различии эмпирического и лингвистического значений см.: Патнэм X. Как нельзя говорить о значении // Структура и развитие науки. М., 1978.

30. Carnap R. Uberwindung der Metaphysik durch logische Analyse der Sprache // Erkenntis, Bd. 2, 1931.

рые относятся к чувственно воспринимаемым вещам ³¹. Но логические позитивисты выдали это за бессмысленность в обычном смысле и ис­пользовали в качестве основания для поношения философии.

Чрезвычайная узость верификационного критерия демаркации и значения не могла не вызвать протеста. Этот критерий не только унич­тожал философию, но отсекал и наиболее плодотворную часть самой науки. Нее научные термины и предложения, относящиеся к идеализи­рованным или просто к чувственно невоспринимаемым объектам, с точки зрения этого критерия оказывались бессмысленными. Оставшая­ся часть лишалась своих законов. Большая часть научных законов име­ет форму общих предложений, например, "Все тела при нагревании расширяются" или "Ни одно материальное тело не может двигаться со скоростью, превышающей скорость света". Для верификации подоб­ных предложений требуется бесконечно много частных предложений вида "Тело а при нагревании расширяется", "Тело Ь при нагревании расширяется" и т. д. Но мы не в состоянии сформулировать и прове­рить бесконечного количества протокольных предложений. Следова­тельно, законы науки неверифицируемы и должны быть объявлены бессмысленными. На это обратил внимание уже К. Поппер в своем письме к издателю журнала "Erkenntnis" ³³. Однако что же будет пред­ставлять собой наука, если лишить ее законов?

Абсурдные следствия, вытекающие из первоначального понима­ния верифицируемости как полной проверяемости, заставили логиче­ских позитивистов ослабить свой критерий демаркации и заменить его критерием частичной верифицируемости, или эмпирической подтверж­даемость: лишь то предложение научно, истинность которого можно хотя бы частично подтвердить эмпирически. Общие предложения те­перь включаются в число научных, т. к. некоторые частные следствия общего предложения могут быть проверены, и их истинность служит частичным подтверждением общего предложения. Подтверждаемость по-прежнему связывается с осмысленностью: лишь эмпирические тер­мины и предложения вполне осмысленны; остальные термины и пред­ложения науки получают смысл лишь постольку, поскольку они могут быть частично подтверждены.

³¹ Верификационная теория значения напоминает ту феноменалистскую концепцию, которую использовал Дж. Беркли в своей критике понятия мате­рии, силы и других понятий классической механики.

³¹ Popper К. Ein Kriterium des empirischen Characters theoretischer Systeme // Erkenntnis, Bd. 3, 1932/1933.

³³ Правда, некоторые из них не пошли по этому пути. М. Шлик, например, следуя Витгенштейну, продолжал настаивать на том, что законы науки явля­ются правилами вывода, т. е. псевдопредложениями.

В работе "Проверяемость и значение" ³⁴ Карнап строит иерархию языков, выражающую постепенное ослабление демаркационного кри­терия логических позитивистов. Язык L1 содержит только предикаты наблюдения и только экстенсиональные молекулярные предложения. Первоначально логические позитивисты считали, что лишь такой язык приемлем в качестве научного языка и все, что не может быть в нем вы­ражено, следует считать ненаучным и бессмысленным. Язык L2 дополни­тельно включает в себя общие и экзистенциальные предложения, кото­рые могут быть лишь частично подтверждены. И, наконец, сам Карнап уже склонен принять язык Z-з, содержащий не только термины наблюде­ния, но и диспозиционные предикаты (о них см. ниже). Предложения с та­кими предикатами — подобно общим предложениям — также не могут быть верифицированы, а могут быть лишь частично подтверждены.

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

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

³⁴ Carnap R. Testability and Meaning // Philosophy of Science, V. 4, 1937.

По-видимому, этот демаркационный критерий уже настолько рас­плывчат, что едва ли он может выполнять свое предназначение. В кон­це концов, для многих философских терминов можно подобрать соот­ветствующую цепочку предложений, которая сделает их научными. Различие между наукой и философией становится совершенно неопре­деленным. Что же остается? — Лишь позитивистское предубеждение против философии, да привычка поносить ее и от нее открещиваться.