А.Л. Никифоров. Философия науки. История и методология (1998) (А.Л. Никифоров. Философия науки. История и методология (1998).doc), страница 6

Правда, при этом оказываются бессмысленными также и логиче­ские тавтологии, т. к. они не описывают никакого положения дел. "Тавтология не имеет условий истинности, потому что она безусловно истинна. — писал Витгенштейн. — Тавтология и противоречие не име­ют смысла"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.

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

I. 6. ПРИНЦИП ВЕРИФИЦИРУЕМОСТИ

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

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

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

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

Следует упомянуть и о трудностях, связанных с использованием экстенсионального логического языка. Пусть, например, предложение А верифицируемо и осмысленно, а предложение В — неверифицируемо. Тогда положение дел, верифицирующее А, будет верифицировать так­же дизъюнкцию A v В. Следовательно, эта дизъюнкция осмысленна. Но если В — член осмысленной дизъюнкции, то и его очевидно следует признать осмысленным. Аналогичная трудность встает и перед ослаб­ленным критерием осмысленности: пусть А подтверждаемо и осмыс­ленно, а В — бессмысленно. Тогда конъюнкция А & В будет подтверж­даема и осмысленна. При самом же слабом критерии осмысленности, согласно которому предложение А осмысленно, если из А и некоторого вспомогательного предложения С выводимо предложение наблюдения В, вообще любое предложение оказывается бессмысленным, т. к. в ка­честве вспомогательного предложения С мы всегда можем взять мате­риальную импликацию А -> В, независимо от того, каким будет пред­ложение A³⁵.

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

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