Таким образом, я мог отвергнуть индукцию, не опасаясь возникновения проблем с демаркацией. И я мог использовать мои результаты, касающиеся метода проб и ошибок, таким образом, чтобы заменить всю индуктивную методологию дедуктивной. Фальсификация, или опровержение теорий путем фальсификации или опровержения ее дедуктивных следствий, была, на самом деле, дедуктивным выводом (modus tollem). Из этой точки зрения следовало, что научные теории, пока их не фальсифицируют, всегда остаются гипотезами или предположениями.
Так прояснилась вся проблема научного метода, а вместе с ней сделалась более ясной и проблема научного прогресса. Научный прогресс состоит в движении по направлению к теориям, которые говорят нам все больше и больше, — теориям с более богатым содержанием. Однако чем более теория говорит, тем больше она исключает или запрещает и тем больше возможности ее фальсификации. Поэтому теория с более богатым содержанием — это теория, которая может быть подвергнута более суровой проверке. Это соображение привело к теории, в которой научный прогресс оказался состоящим не в накоплении наблюдений, а в опровержении менее хороших теорий и их замене лучшими теориями, в частности теориями с более богатым содержанием. Таким образом, теории соревнуются между собой — в духе дарвиновской борьбы за существование.
Разумеется, теории, о которых мы утверждаем, что они не более чем предположения или гипотезы, не требуют оправданий (и менее всего — оправданий несуществующим методом «индукции», которому никто не дал вразумительного описания). Однако в свете критического обсуждения мы можем иногда указывать на причины нашего предпочтения одного из конкурирующих предположений другому[108].
Все это было прямолинейно и, я бы сказал, последовательно. Но это сильно отличалось от того, что говорили махист-ские позитивисты и витгенштейнианцы Венского кружка. Я услышал о кружке в 1926 или 1927 году, сначала из газетной статьи, написанной Отто Нейратом, а затем из речи, с которой он выступил перед группой социал-демократической молодежи. (Это было единственное партийное собрание, на котором я когда-либо присутствовал; я пошел туда, потому что я немного знал Нейрата с 1919 или 1920 года.) Я прочитал программную литературу кружка и Общества Эрнста Маха — в частности памфлет моего учителя, математика Ганса Гана. Кроме того, за несколько лет до написания моей докторской диссертации, я прочел «Трактат» Витгенштейна и, по мере выхода, некоторые книги Карнапа.
Мне было ясно, что эти люди ищут критерий, разделяющий не столько науку и псевдонауку, сколько науку и метафизику. Кроме того, мне было ясно, что мой старый критерий демаркации лучше, чем их. Во-первых, потому что они пытались найти критерий, который делал бы метафизику бессмысленной чепухой, полной тарабарщиной. Но любой такой критерий чреват неприятностями, так как метафизические проблемы часто бывают провозвестниками научных. Во-вторых, демаркация осмысленного и бессмысленного просто сдвигает проблему. Как было признано и самими членами Венского кружка, она создает потребность в другом критерии, который различал бы смысл и отсутствие смысла. Для этого они ввели верифицируемость, которая рассматривалась ими как доказуемость посредством утверждений наблюдения. Но это всего лишь еще один способ формулировки почтенного критерия индуктивности; настоящей разницы между идеями индукции и верификации нет. Но согласно моей теории, наука не индуктивна; индукция — это миф, развенчанный Юмом. (Другим, но менее интересным пунктом, признанным позднее Айером, была полная абсурдность использования верифицируемости в качестве критерия смысла: как вообще можно говорить, что теория является тарабарщиной, потому что она не поддается верификации? Разве не нужно сначала понять теорию, чтобы решить, верифицируема она или нет? А понятая теория разве может быть тарабарщиной?) По всему этому я чувствовал, что на любой из их основных вопросов у меня есть лучшие — более последовательные — ответы, чем у них.
108
108 Сравните с этим абзацем некоторые из моих замечаний в споре с Рейхенбахом на конференции в 1934 году [1935(a)], перепечатано в [1966(e)], [1969(e)], с. 257, есть английский перевод в «Логике научного открытия» [1959(a)] и позднейшие издания, с. 315: «Научные теории никогда не могут быть ‘оправданы’ или верифицированы.
Но… гипотеза