1. Проблема индукции Вывод обычно называется «индуктивным», если он направлен от сингулярных высказываний, иногда называемых также «частными», «единичными» (particular) высказываниями, типа отчетов о результатах наблюдений или экспериментов, к универсальным высказываниям, то есть к гипотезам или теориям.
С логической точки зрения далеко не очевидна оправданность наших действий по выведению универсальных высказываний из сингулярных, независимо от числа последних, поскольку любое заключение, выведенное таким образом, всегда может оказаться ложным. Сколько бы примеров появления белых лебедей мы ни наблюдали, все это не оправдывает заключения: «Все лебеди белые».
Вопрос об оправданности индуктивных выводов, или, иначе говоря, о тех условиях, при которых такие выводы оправданны, известен под названием «проблема индукции». …принцип индукции должен быть синтетическим высказыванием, то есть высказыванием, отрицание которого не является самопротиворечивым, а, напротив, оно логически возможно. Теория, которая будет развита далее, прямо и непосредственно выступает против всех попыток действовать, исходя из идей индуктивной логики.
2. Устранение психологизма Я уже говорил, что деятельность ученого заключается в выдвижении и проверке теорий. Начальная стадия этого процесса – акт замысла или создания теории, – по моему глубокому убеждению, не нуждается в логическом анализе, да и не подвластна ему. Вопрос о путях, по которым новая идея – будь то музыкальная тема, драматический конфликт или научная теория – приходит человеку, может представлять существенный интерес для эмпирической психологии, но он совершенно не относится к логическому анализу научного знания. Логический анализ не затрагивает вопросов о фактах (кантовского quid facti?), а касается только вопросов об оправдании или обоснованности (кантовского quid juris?). Вопросы второго типа имеют следующий вид: можно ли оправдать некоторое высказывание? Если можно, то, каким образом? Проверяемо ли это высказывание? Зависит ли оно логически от некоторых других высказываний? Или, может быть, противоречит им? Для того чтобы некоторое высказывание можно было подвергнуть такого рода логическому анализу, оно должно уже иметься у нас. Оно должно быть уже сформулировано и предъявлено для логического исследования.