L 1 Можно ли истинность некоторой объяснительной универсальной теории оправдать «эмпирическими причинами», то есть предположением истинности определенных проверочных высказываний, или высказываний наблюдения (которые, можно сказать, «основаны на опыте»)?
Однако есть еще вторая логическая проблема L 2индукции, являющаяся обобщением проблемы L 1 . Она получается из L 1 простой заменой слова «истинность» словами «истинность или ложность»:
L 2 Можно ли истинность или ложность некоторой объяснительной универсальной теории оправдать «эмпирическими причинами», то есть может ли предположение истинности определенных проверочных высказываний оправдать истинность или ложность универсальной теории?предположение истинности проверочных высказываний иногда позволяет нам оправдать утверждение о ложности объяснительной универсальной теории.
Этот ответ приобретает большое значение, если подумать о той проблемной ситуации, в которой возникает проблема индукции. Я имею в виду ситуацию, в которой перед нами оказывается несколько объяснительных теорий, предлагающих конкурирующие решения некоторой проблемы объяснения, например научной проблемы, а также тот факт, что мы должны или по крайней мере хотели бы выбрать одну из них. Как мы уже видели, Рассел говорит, что, не решив проблему индукции, мы не можем сделать выбор между (хорошей) научной теорией и (плохой) навязчивой идеей безумца. Юм также думал о конкурирующих теориях. «Предположим [пишет он], что кто-либо... высказывает суждения, с которыми я не согласен, например... что серебро плавится легче, чем свинец, что ртуть тяжелее золота...» .
Эта проблемная ситуация проблема выбора из нескольких теорий наводит на мысль о третьей формулировке проблемы индукции:
L 3Может ли предпочтительность с точки зрения истинности или ложности некоторых конкурирующих универсальных теорий по сравнению с другими быть оправдана «эмпирическими причинами»?
В свете моего ответа на L 2ответ на L 3становится очевидным: да, иногда это возможно, если повезет. Ведь может так случиться, что наши проверочные утверждения опровергнут некоторые но не все из конкурирующих теорий, а так как мы ищем истинную теорию, то отдадим предпочтение тем из них, ложность которых пока еще не установлена.
6. Комментарии к моему решению логической проблемы индукции
по отношению к некоторым «данным» проверочным высказываниям. дальнейшим вопросам: который позволит нам выводить универсальные законы из единичных высказыванийL 1 это попытка перевести юмовскую проблему на язык объективной терминологии. Единственная разница в том, что Юм говорит о будущих (единичных) случаях, с которыми мы не встречались раньше, то есть об ожиданиях, в то время, как в L 1речь идет об универсальных законах или теориях. У меня есть по меньшей мере три причины для этой замены. Во-первых, с точки зрения логики, «случаи», о которых идет речь, относятся к некоторому универсальному закону (или, как минимум, к некоторой пропозициональной функции (statement function), которую можно превратить в общее, или универсальное, высказывание). Во-вторых, обычно в наших рассуждениях переход от одних «случаев» к другим «случаям» происходит при помощи универсальных теорий. Таким образом, от юмовской проблемы мы переходим к проблеме верности (validity) универсальных теорий. В-третьих, я хотел бы, как и Рассел, связать проблему индукции с универсальными законами или научными теориями.
(3) Мой отрицательный ответ на проблему L 1следует понимать в том смысле, что все законы или теории следует считать гипотетическими, или предположительными , то есть просто догадками.
Эта точка зрения в настоящее время достаточно популярна , но, чтобы прийти к этому, потребовалось довольно много времени. Например, против нее открыто выступил профессор Гильберт Райл в своей замечательной во многих отношениях статье 1937 года
. Райл заявляет (р. 36), что неправильно говорить, «что все общие высказывания науки... не более чем гипотезы», а термин «гипотезы» он употребляет точно в том же смысле, в каком я его всегда использовал и использую теперь: как «высказывание... истинность которого только предполагается» (там же). Он высказывается против тезисов, подобных моему, говоря: «Мы часто бываем уверены и притом с достаточным основанием в высказываниях, выражающих законы» (р. 38). И он утверждает, что некоторые общие высказывания «твердо установлены»: «Они называются законами", а не гипотезами"».
Эта точка зрения Райла была на самом деле почти «установленным» стандартом в то время, когда я работал над "Logik der Forschung", и Сейчас она еще отнюдь не мертва. Впервые меня заставила усомниться в ней теория гравитации Эйнштейна: ни одна теория не была так твердо «установлена», как теория Ньютона, и вряд ли когда-нибудь будет; но как бы ни относиться к теории Эйнштейна, она во всяком случае научила нас считать ньютоновскую теорию «не более чем» гипотезой или предположением.