Объективное знание

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

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

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