Таковы первые шаги логических позитивистов на пути ослабления своего узкого верификационного критерия демаркации. Однако в этот период Карнап все еще настаивает на экстенсиональности научного языка и верит в то, что каждый научный термин может быть сведен к предикатам наблюдения. Научные предложения должны выражаться в языке Li, все, что нельзя выразить в этом языке, ненаучно и лишено смысла.
В дальнейшем Карнап еще больше ослабляет демаркационный критерий. Он отказывается от требования экстенсиональности для всего языка науки и сохраняет это требование лишь для языка наблюдения. Он также уже не требует, чтобы каждый научный термин был сводим к терминам наблюдения. Достаточно, если хотя бы некоторые термины будут связаны с терминами наблюдения. Модель языка науки теперь включает в себя три элемента: язык наблюдения, термины и предложения которого обладают значением благодаря их связи с чувственными впечатлениями; теоретический язык, термины и предложения которого сами по себе лишены значения и который уподобляется неинтерпретированному исчислению; правила соответствия, связывающие теоретический язык с эмпирическим. Термины теоретического языка входят в теоретические постулаты, которые обеспечивают между ними определенную связь. Когда некоторые из этих терминов мы с помощью правил соответствия связываем с терминами наблюдения, то благодаря теоретическим постулатам все теоретические термины получают эмпирическую интерпретацию и осмысленность. Таким образом, если для некоторого термина мы можем подобрать цепочку предложений, устанавливающих его связь с другими терминами, и если хотя бы один термин из этой цепочки предложений можно связать с терминами наблюдения посредством подходящих правил соответствия, то наш термин можно считать научным и осмысленным.
34Carnap R. Testability and Meaning // Philosophy of Science, V. 4, 1937.
По-видимому, этот демаркационный критерий уже настолько расплывчат, что едва ли он может выполнять свое предназначение. В конце концов, для многих философских терминов можно подобрать соответствующую цепочку предложений, которая сделает их научными. Различие между наукой и философией становится совершенно неопределенным. Что же остается? — Лишь позитивистское предубеждение против философии, да привычка поносить ее и от нее открещиваться.
I. 6. ПРИНЦИП ВЕРИФИЦИРУЕМОСТИ
Первоначальная узость демаркационного критерия логического позитивизма привела к его ослаблению и практическому отказу от него. Однако его недостатком была не только чрезмерная узость. Большие трудности возникли и при попытках его точной формулировки.
Допустим, мы согласимся с тем, что осмысленность отождествляется с верифицируемостью. Но что значит, что некоторое предложение верифицируемо? Первоначальный и, кажется, наиболее естественный ответ таков: предложение верифицируемо, если его можно практически в любой момент проверить, т. е. наблюдением установить его истинность. Этот ответ быстро возбуждает сомнения: предложения о прошлых и будущих событиях, такие как, например, "Вчера в Москве шел дождь" или "Завтра будет солнечно", сегодня проверить невозможно. Должны ли мы на этом основании считать, что сегодня произносить такие предложения бессмысленно? Бессмысленными оказываются и предложения о фактах, установить которые мы не можем вследствие отсутствия технических средств. Например, предложение "На обратной стороне Луны имеются горы" следовало считать бессмысленным до начала полетов в космос. В сущности, бессмысленными оказываются почти все предложения за исключением тех, которые описывают мое окружение в настоящий момент.
Стремясь избежать этого неприятного следствия, логические позитивисты предложили новое понимание: предложение верифицируемо, если существует логическая возможность его проверки. Но какие же предложения логически невозможно проверить? — Очевидно, те, которые содержат в себе логическое противоречие и говорят о логически невозможной ситуации. Отсюда вытекает, что противоречивые предложения бессмысленны. Это сразу же приводит к неприемлемому следствию: отрицание бессмысленного предложения само должно быть бессмысленным, а отрицанием противоречивого предложения является тавтология, следовательно, все тавтологии бессмысленны. Но ведь они выражают законы логики!
Тогда пытаются ограничить применение верификационного критерия только сферой синтетических предложений и говорить не о логической, а с физической возможности верификации, т. е. о возможности представить себе то физическое положение дел, которое могло бы сделать истинным обсуждаемое предложение. Но в этом случае мы вынуждены признать бессмысленными все предложения, говорящие о непредставимых вещах — о четырехмерном пространстве, об ангстремах, парсеках и т. п. Таким образом, ответ на вопрос о том, когда предложение следует считать верифицируемым и, следовательно, осмысленным, оказалось довольно трудно сформулировать.
Следует упомянуть и о трудностях, связанных с использованием экстенсионального логического языка. Пусть, например, предложение А верифицируемо и осмысленно, а предложение В — неверифицируемо. Тогда положение дел, верифицирующее А, будет верифицировать также дизъюнкцию A v В. Следовательно, эта дизъюнкция осмысленна. Но если В — член осмысленной дизъюнкции, то и его очевидно следует признать осмысленным. Аналогичная трудность встает и перед ослабленным критерием осмысленности: пусть А подтверждаемо и осмысленно, а В — бессмысленно. Тогда конъюнкция А & В будет подтверждаема и осмысленна. При самом же слабом критерии осмысленности, согласно которому предложение А осмысленно, если из А и некоторого вспомогательного предложения С выводимо предложение наблюдения В, вообще любое предложение оказывается бессмысленным, т. к. в качестве вспомогательного предложения С мы всегда можем взять материальную импликацию А -> В, независимо от того, каким будет предложение A35.
И, наконец, даже если бы логическим позитивистам удалось дать удовлетворительную формулировку принципа верифицируемости, то можно было бы спросить: что собой представляет этот принцип?
Утверждение "Предложение осмысленно тогда и только тогда, когда оно верифицируемо" можно рассматривать как индуктивное обобщение частных предложений вида "Предложение А осмысленно и верифицируемо", "Предложение В осмысленно и верифицируемо" и т. п. Но для того, чтобы получить такое обобщение, мы должны знать — независимо от верификации — осмысленно данное предложение или нет. Это аналогично тому, что для рассмотрения предложения "Все лебеди белы" в качестве индуктивного обобщения нам нужно знать, что значит "быть лебедем" и что значит "быть белым" и не предполагать заранее, что это одно и то же.
Можно рассматривать приведенный принцип как определение понятия "осмысленное предложение". Тогда этот принцип будет либо простым соглашением относительно использования термина "осмысленно"
35 Об этих трудностях см.: Рар К. Analytische Erkenntnistheorie. Wien, 1955, Кар.I.
и в этом случае он будет совершенно неинтересен, либо — уточнением обычного употребления понятия "осмысленного предложения". В последнем случае можно поставить вопрос об адекватности нашего уточнения. Однако для обсуждения этого вопроса нам уже нужно знать, когда и при каких условиях предложение считается осмысленным, т. е. заранее иметь некоторый критерий смысла. Таким образом, в любом случае осмысленность оказывается нетождественной верифицируемости.
Попытка найти критерий научности, который позволил бы нам сказать, что — наука, а что — псевдонаучная болтовня или ненаучная спекуляция, политическая демагогия или очередной миф, — такая попытка безусловно имеет смысл. Однако история верификационного критерия логического позитивизма показала нам, во-первых, что осмысленность не тождественна научности и то, что лежит вне науки, часто имеет смысл; а во-вторых, что нет абсолютной непроницаемой границы между наукой и другими видами интеллектуальной деятельности, во всяком случае, провести эту границу невозможно. Осознанием этого обстоятельства философия науки в значительной мере обязана собственным многолетним усилиям логических позитивистов. Сформулировав проблему в ясном и четком виде, они показали, что она неразрешима.
I. 7. ЭМПИРИЧЕСКАЯ РЕДУКЦИЯ
Эмпиризм вообще и позитивизм, в частности, всегда с подозрением относился к теоретическому знанию, к теории. И это подозрение вполне понятно: если какие-то понятия и утверждения слишком далеки от опыта, от практической деятельности, то трудно подавить сомнение: зачем они вообще нужны? Какую роль они играют в познании и практике? Действительно ли они выражают знание или являются плодом нашей необузданной фантазии? Позитивизм склонялся к последнему мнению. "Конечно религиозные и конечные научные идеи, — писал, например, Г. Спенсер, — одинаково оказываются простыми символами действительности, а не знаниями о ней". Э. Мах видел в теоретическом знании полезный инструмент: "цель физических исследований заключается в установлении зависимости наших чувственных переживаний друг от друга, а понятия и теории физики суть лишь средства для достижения этой цели, — средства временные, которыми мы пользуемся лишь в видах экономии мышления..."36. Используя средства математической логики, логические позитивисты попытались дать ясный и точный ответ на вопрос о природе теоретического знания.