В соответствии с вышесказанным (пункт (1) предыдущего раздела 4) я должен переформулировать юмовскую проблему Н_Ps в объективных, или логических, терминах.

Для этого вместо юмовских «случаев из нашего опыта» я подставлю «проверочные высказывания (test statements)», то есть единичные высказывания, описывающие доступные наблюдению события («высказывания наблюдения» или «базисные высказывания»), а «случаи, не встречавшиеся в нашем опыте», заменю на «универсальные объяснительные теории».

В результате я могу сформулировать юмовскую логическую проблему индукции следующим образом:

Мой ответ на эту проблему такой же, как у Юма: нет, это невозможно; никакое количество истинных проверочных высказываний не может служить оправданием истинности объяснительной универсальной теории [12].

Однако есть еще вторая логическая проблема L₂ индукции, являющаяся обобщением проблемы L₁. Она получается из L₁ простой заменой слова «истинность» словами «истинность или ложность»:

На эту проблему я даю утвердительный ответ. Да,предположение истинности проверочных высказываний иногда позволяет нам оправдать утверждение о ложности объяснительной универсальной теории.

Этот ответ приобретает большое значение, если подумать о той проблемной ситуации, в которой возникает проблема индукции. Я имею в виду ситуацию, в которой перед нами оказывается несколько объяснительных теорий, предлагающих конкурирующие решения некоторой проблемы объяснения, например научной проблемы, а также тот факт, что мы должны или — по крайней мере — хотели бы выбрать одну из них. Как мы уже видели, Рассел говорит, что, не решив проблему индукции, мы не можем сделать выбор между (хорошей) научной теорией и (плохой) навязчивой идеей безумца. Юм также думал о конкурирующих теориях. «Предположим [пишет он], что кто-либо... высказывает суждения, с которыми я не согласен, например... что серебро плавится легче, чем свинец, что ртуть тяжелее золота...»[13].

Эта проблемная ситуация — проблема выбора из нескольких теорий — наводит на мысль о третьей формулировке проблемы индукции:

В свете моего ответа на L₂ ответ на L₃ становится очевидным: да, иногда это возможно, если повезет. Ведь может так случиться, что наши проверочные утверждения опровергнут некоторые — но не все — из конкурирующих теорий, а так как мы ищем истинную теорию, то отдадим предпочтение тем из них, ложность которых пока еще не установлена.

В соответствии с моими переформулировками центральным вопросом логической проблемы индукции оказывается вопрос о верности (истинности или ложности) универсальных законов по отношению к некоторым «данным» проверочным высказываниям. Я не ставлю вопрос: «Как определить истинность или ложность проверочных высказываний?», то есть единичных описаний наблюдаемых событий. Этот вопрос, по-моему, не следует рассматривать в рамках проблемы индукции, поскольку вопрос Юма касался того, оправдан ли в наших рассуждениях переход от встречавшихся в опыте «случаев» к не встречавшимся[14]. Ни Юм, и никакой другой автор из писавших на эту тему, насколько мне известно, не продвинулся к дальнейшим вопросам: Можно ли рассматривать «встречавшиеся в опыте случаи» как сами собой разумеющиеся? Действительно ли они предшествуют теориям? Хотя эти дальнейшие вопросы входят в число тех проблем, к которым меня привело мое решение проблемы индукции, но они выходят за рамки исходной проблемы. (Это ясно, если вспомнить, чего добивались философы, бравшиеся за решение проблемы индукции: они полагали, что если удастся найти некий «принцип индукции»,который позволит нам выводить универсальные законы из единичных высказываний, и если удастся обосновать истинность этого принципа, то можно будет считать, что проблема индукции решена.)

L₁ — это попытка перевести юмовскую проблему на язык объективной терминологии. Единственная разница в том, что Юм говорит о будущих (единичных) случаях, с которыми мы не встречались раньше, то есть об ожиданиях, в то время, как в L₁ речь идет об универсальных законах или теориях. У меня есть по меньшей мере три причины для этой замены. Во-первых, с точки зрения логики, «случаи», о которых идет речь, относятся к некоторому универсальному закону (или, как минимум, к некоторой пропозициональной функции (statement function), которую можно превратить в общее, или универсальное, высказывание). Во-вторых, обычно в наших рассуждениях переход от одних «случаев» к другим «случаям» происходит при помощи универсальных теорий. Таким образом, от юмовской проблемы мы переходим к проблеме верности (validity) универсальных теорий. В-третьих, я хотел бы, как и Рассел, связать проблему индукции с универсальными законами или научными теориями.

(3) Мой отрицательный ответ на проблему L₁ следует понимать в том смысле, что все законы или теории следует считать гипотетическими, или предположительными, то есть просто догадками.

Эта точка зрения в настоящее время достаточно популярна[15], но, чтобы прийти к этому, потребовалось довольно много времени. Например, против нее открыто выступил профессор Гильберт Райл в своей замечательной во многих отношениях статье 1937 года[16]. Райл заявляет (р. 36), что неправильно говорить, «что все общие высказывания науки... не более чем гипотезы», а термин «гипотезы» он употребляет точно в том же смысле, в каком я его всегда использовал и использую теперь: как «высказывание... истинность которого только предполагается» (там же). Он высказывается против тезисов, подобных моему, говоря: «Мы часто бываем уверены — и притом с достаточным основанием — в высказываниях, выражающих законы» (р. 38). И он утверждает, что некоторые общие высказывания «твердо установлены»: «Они называются „законами", а не „гипотезами"».

Эта точка зрения Райла была на самом деле почти «установленным» стандартом в то время, когда я работал над "Logik der Forschung", и Сейчас она еще отнюдь не мертва. Впервые меня заставила усомниться в ней теория гравитации Эйнштейна: ни одна теория не была так твердо«установлена», как теория Ньютона, и вряд ли когда-нибудь будет; но как бы ни относиться к теории Эйнштейна, она — во всяком случае — научила нас считать ньютоновскую теорию «не более чем» гипотезой или предположением.

Вторым подобным случаем было открытие Юри дейтерия и тяжелой воды в 1931 году. В те времена вода, водород и кислород были наиболее изученными веществами в химии, и атомные веса водорода и кислорода составляли самый что ни на есть стандарт всех химических измерений. За истинность этой теории каждый химик поручился бы головой, во всяком случае до гипотезы изотопов, предложенной Содди в 1910 году, да, в сущности, и долгое время спустя. Однако эту теорию опроверг Юри своим открытием (подкрепив, тем самым, теорию Бора).