Логике научного исследования

Поппер Карл Раймунд

1 Schlick M.Die Kausalit"at in gegenw"artigen Physik // Die Naturwissenschaften, 1931, Bd. 19, N 7, S. 156.

*l Для более адекватной передачи мысли Шлика лучше, может быть, сказать: «Правила образования и пре-

образования высказываний» По-немецки это звучит так «Anweisungen zur Bildung von Aussagen» («указания для

образования высказываний»). Здесь слово «Anweisungen» («указания»), очевидно, можно перевести как «пра-

вила», однако слово «Bildung» («образование»)

в то время вряд ли еще обладало теми добавочными техниче-

скими смысловыми оттенками, которые впоследствии привели к четкому различению между понятиями «обра-

зование» и «преобразование» высказываний. (286:)

Согласно решению этой проблемы, предложенному Витгенштейном2, такое разделение достигает-

ся с помощью использования понятий «значение» или «смысл»: каждое осмысленное, или имеющее

значение, предложение должно быть функцией истинности «атомарных» предложений, то есть долж-

но быть полностью логически сводимо к сингулярным высказываниям наблюдения или выводимо из

них. Если некоторое утверждение, претендующее на роль научного высказывания, не поддается та-

кому сведению, то оно «не имеет значения», «бессмысленно», является «метафизическим» или про-

сто «псевдопредложением». В итоге метафизика оказывается бессмысленной чепухой.

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

в уничтожении метафизики, чем все предшествующие антиметафизики. Однако этот метод приводит

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

несводимы к высказываниям наблюдения, как и рассуждения метафизиков. (Вспомним проблему ин-

дукции!) Если последовательно применять критерий значения Витгенштейна, то законы природы

окажутся «бессмысленными псевдопредложениями», следовательно, «метафизическими» высказыва-

53

ниями. Поэтому данная попытка провести линию демаркации терпит крах.

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

стве критерия демаркации принять критерий фальсифицируемости,то есть (по крайней мере) асим-

метричной или одностороннейразрешимости. Согласно этому критерию, высказывания или системы

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

способностью прийти в столкновение с опытом или, более точно, если их можно систематически

проверять,то есть подвергнуть (в соответствии с некоторым «методологическим решением») про-

веркам, результатом которых может быть их опровержение3.

Таким образом, признание односторонне разрешимых высказываний позволяет решить не только

проблему индукции (заметим, что существует лишь один тип умозаключения, осуществляемого в ин-

дуктивном направлении, а именно — дедуктивный modus tollens), но также более фундаментальную

проблему демаркации — ту проблему, которая породила почти все другие проблемы эпистемологии.

Наш критерий фальсифицируемости с достаточной точностью отличает теоретические системы эм-

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

усмотреть источник, породивший теории эмпирических наук).

2 Wittgenstein L.Tractatus Logico-Philosophicus. London, Routledge and Kegan Paul [русский перевод: Витген-

штейн Л.Логико-философский трактат. М., ИЛ, 1958; новое издание — в книге: Витгенштейн Л.Философские

работы. Часть I. М., Гнозис, 1994. С. 1-73].

3 Эта процедура проверки была названа Карнапом ( Carnap R.Ueber Protokollsaetze // Erkenntnis, 1932/33, Bd.

3, S. 223) «процедурой В». См. также книгу Дубислава ( Dubislav W.Die Definition. 3. Ausgabe. Leipzig, 1931, S.

100. *Добавление 1957 г.). В той ссылке имеется в виду не работа Карнапа, а моя работа, о которой говорится в

названной статье Карнапа и которая принимается им. Карнап сам признает, что именно я был автором того, что

он описал как «процедуру В» («Verfahren В»). (287:)

Поэтому, перефразировав и обобщив хорошо известное замечание Эйнштейна4, эмпирическую

науку можно охарактеризовать следующим образом: в той степени, в какой научное высказывание

говорит о реальности, оно должно быть фальсифицируемо, а в той степени, в какой оно нефальси-

фицируемо, оно не говорит о реальности.

Логический анализ может показать, что роль (односторонней) фальсифицируемостикак критерия

эмпирической наукис формальной точки зрения аналогична той роли, которую для науки в целомиг-

рает непротиворечивость.Противоречивая система не выделяет никакого собственного подмноже-

ства из множества всех возможных высказываний. Аналогичным образом нефальсифицируемая си-

стема не в состоянии выделить никакого собственного подмножества из множества всех возможных

«эмпирических» высказываний (всех сингулярных синтетических высказываний)5.