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

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

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

дуктивном направлении, а именно — дедуктивный 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.

2

Второе замечание состоит из некоторых соображений, высказанных мной при обсуждении статьи, прочитанной Рейхенбахом на философской конференции в Праге летом 1934 г. (когда моя книга

находилась в наборе). Отчет о конференции позднее был опубликован в журнале «Erkenntnis», и мое

выступление, публикуемое здесь в переводе на английский язык, было напечатано в журнале «Erkenntnis», 1935, Bd. 5, S. 170 и далее.

О так называемой «логике индукции» и «вероятности гипотез»

Я не верю, что можно создать удовлетворительную теорию того, что традиционно и, в частности, Рейхенбахом называется «индукцией». Напротив, я убежден в том, что любая такая теория — незави-

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

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

дукции — синтетический принцип, который нельзя проверить эмпирически.

Если вместе с Рейхенбахом мы проводим различие между «процедурой нахождения» и «процеду-

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

гипотезы — невозможно реконструировать рационально. Однако анализ процедуры оправдания ги-

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

логике.

Теория индукции является излишней. Индукция не участвует в логике науки.

Научные теории никогда не могут быть «оправданы» или верифицированы. Однако, несмотря на

это, гипотеза Апри определенных (288:) обстоятельствах может достигнуть большего, чем гипотеза

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

«фальсифицируется» ими, а может быть, потому, что с помощью Аможно вывести большее число

54

предсказаний, чем с помощью В.В лучшем случае о некоторой гипотезе можно сказать, что до сих

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

зы, хотя она никогда в принципе не может быть оправдана, верифицирована или хотя бы вероятна.

Оценка гипотезы опирается исключительно на дедуктивныеследствия (предсказания), которые из

нее можно вывести, и нет необходимости даже упоминать об «индукции».