Шлик и Франк приняли эту книгу в 1933 году к публикации в серии Schriften гиг wissenschaftlichen Weltafffassung, которую они редактировали. (Это серия книг, большая часть которых была написана членами Венского кружка.) Но издательство Springer настаивало на ее радикальном сокращении. К моменту принятия книги я написал большую часть второго тома. Это означало, что количество страниц, которое мне предоставляло издательство для публикации, позволяло мне представить немногим более, чем основные тезисы моей работы. По соглашению со Шликом и Франком я подготовил новую рукопись, состоящую из выдержек из двух томов. Но и она была возвращена издательством как слишком длинная. Они настаивали на лимите в пятнадцать печатных листов (двести сорок страниц). Окончательная выжимка — которая в конце концов была опубликована под названием Logik der Forschung — была сделана моим дядей, Вальтером Шиффом, который безжалостно урезал около половины текста[118]. Я не думаю, что после таких упорных попыток быть ясным и открытым я был способен сотворить такое сам.
Едва ли я смогу дать здесь краткое изложение того краткого изложения, которое стало моей первой опубликованной книгой. Но один или два пункта я упомяну. Книга была задумана как представление теории познания и, в то же время, как трактат о методе — методе науки. Эта комбинация стала возможной, потому что я считал, что человеческое знание состоит из наших теорий, наших гипотез, наших предположений: оно является продуктом нашей интеллектуальной деятельности. Существует, конечно, и другой способ взгляда на знание: мы можем считать «знание» субъективным «состоянием разума», субъективным состоянием организма. Но я предпочитаю трактовать его как систему утверждений — теорий, подлежащих обсуждению. «Знание» в этом смысле объективно, и оно является гипотетическим или предположительным.
Этот способ взгляда на знание позволил мне переформулировать проблему индукции Юма. В этой объективной переформулировке проблема индукции является уже не проблемой наших представлений — или проблемой рациональности наших представлений, — а проблемой логического соотношения между единичными утверждениями (описаниями «наблюдаемых» единичных фактов) и универсальными теориями.
В этой формулировке проблема индукции становится решаемой[119]: индукции не существует, так как универсальные теории не выводимы из единичных утверждений. Но они могут быть опровергнуты единичными утверждениями, так как они могут войти в конфликт с наблюдаемыми фактами.
Более того, мы можем говорить о «лучших» и «худших» теориях в объективном смысле даже до того, как мы приступим к их проверке: лучшие теории имеют больше содержания и обладают большей объяснительной силой (в обоих случаях по отношению к проблемам, которые они пытаются решить). А такие теории, как я показал, являются также и лучше проверяемыми теориями, и — если они выдерживают проверку — лучше проверенными теориями.
Это решение проблемы индукции породило новую теорию научного метода, анализ критического метода, метода проб и ошибок: метода предложения смелых гипотез и подвергания их самой суровой критике с целью обнаружения места, где мы ошиблись.
С точки зрения такой методологии мы начинаем наше исследование с проблем. Мы всегда находимся в определенной проблемной ситуации; и мы выбираем проблему, которую мы можем надеяться решить. Решение, всегда пробное, состоит из теории, гипотезы, предположения. Мы сравниваем и критически обсуждаем различные конкурирующие теории, пытаясь обнаружить их недостатки; и всегда переменчивые, всегда неоконченные результаты нашего критического обсуждения образуют то, что можно назвать «наукой сегодняшнего дня».
Таким образом, индукции не существует: мы никогда не переходим от фактов к теории, если только это не случай опровержения или «фальсификации». Этот взгляд на науку может быть описан как селективный или дарвинистский. В противоположность ему, теории метода, утверждающие, что нам следует использовать индукцию, или настаивающие на верификации (а не на фальсификации), являются типично ламаркистскими: они подчеркивают инструктивность вместо селективности окружающей среды.