Предположения и опровержения. Рост научного знания

Настойчивость Карнапа в данном случае неуместна. Действительно, часть метаязыка (а именно, его «синтаксис») может быть частью объектного языка. Однако хотя этот факт чрезвычайно важен, как мы узнали из работ Геделя, в основном он используется при построении предложений, говорящих о самих себе, а это совершенно особая проблема. Для лучшего понимания отношений между объектным языком и метаязыком было бы, несомненно, лучше рассматривать метаязык как совершенно отличный от объектного языка. Можно

450

было бы, конечно, сказать о том, что какая-то часть метаязыка (достаточная для целей Геделя) может быть выражена в метаязыке, но не подчеркивать ошибочного тезиса о том, что весь метаязык может быть выражен в объектном языке.

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

«Логический синтаксис языка» продолжает сохранять учение о бессмысленности метафизики в таком виде: все осмысленные предложения либо относятся к языку науки, либо (если они являются философскими) их можно выразить в синтаксисе этого языка. Этот синтаксис включает в себя всю философию и логику науки — в той мере, в которой они переводимы в «формальный модус речи». При желании этот синтаксис можно сформулировать в том же универсальном («объектном») языке, в котором формулируются все науки.

Здесь присутствует не только идея одного универсального языка, неприемлемая для меня. Я не могу согласиться также с тем, что все высказываемое мной должно быть переводимо в «формальный модус речи», чтобы быть осмысленным (или понятным для Карнапа). Нет сомнений, что высказываться нужно как можно более ясно; нет сомнений также, что «формальный модус речи» Карнапа часто более предпочтителен, нежели его «материальный модус» (я сам пользовался им в своей «Логике научного открытия», не употребляя этих обозначений). Но первый вовсе не обязательно лучше второго. Да и почему он должен быть обязательно лучше? Быть может, потому, что сущностью философии является анализ языка? Но я не верю в сущности (и не верю Витгенштейну). Для лучшего понимания требуется только размышление и опыт.

451

Почему это вся философия должна быть анализом языка? Конечно, порой бывает полезно сформулировать вопрос как относящийся к языку. Но почему все философские вопросы должны быть такими? Или в этом состоит один-единственный нелингвистический тезис философии?

Позитивистская атака нагнала страху, если можно так выразиться, на всех, кто хотел бы выражаться осмысленно. Мы стали более внимательны к тому, что и как мы говорим, и это очень хорошо. Но должно быть совершенно ясно, что философский тезис о том, что вся философия сводится к анализу языка, парадоксален. (Я готов признать, что эта критика уже не будет справедливой в отношении «Проверяемости и значения», в которой данный тезис заменен предложением, лишенным парадоксальности. Однако в пользу этого предложения не приведено никаких оснований, за исключением того, что оно дает улучшенный вариант данного тезиса, поэтому, как мне представляется, оно остается неприемлемым.)

5. Проверяемость и значение

По-видимому, «Проверяемость и значение» Карнапа является наиболее интересной и важной статьей, появившейся в области философии эмпирических наук в период от «Трактата» Витгенштейна до немецкой публикации сочинения Тар-ского о понятии истины. Она была написана в период кризиса и знаменует важные изменения в воззрениях ее автора. В то же время его претензии чрезвычайно скромны. «Цель этого сочинения состоит не в том, чтобы предложить... решения... Я хотел бы, скорее, стимулировать дальнейшие исследования». Желание автора было вполне удовлетворено: его работа стимулировала сотни исследований.

Заменив «верифицируемость» «проверяемостью» (или «подтверждаемостью»), «Проверяемость и значение», как указывает название этой работы, в значительной мере посвящена рассмотрению нашей центральной проблемы. Автор все еще пытается исключить метафизику из языка науки: «...будет пред-

452