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

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

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

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.

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

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

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

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

²⁵ См. критику дихотомии наблюдаемого—ненаблюдаемого в статье: Maxwell G. Ontologocal Status of Theoretical Entities // Minnesota Studies in the Philosophy 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.

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