Мы видели, что индукция не является вполне универсальным высказыванием, в котором мы нуждаемся для оправдания научного вывода. Но мы в высшей степени нуждаемся в каком-либо универсальном высказывании или высказываниях, все равно, будут ли это те пять правил, которые приведены в одной из предшествующих глав, или что-либо другое. И какими бы эти принципы вывода ни были, они, конечно, не могут быть логически выведены из фактов опыта. Следовательно, или мы знаем кое-что независимо от опыта, или наука представляет собой только лунный свет.
Абсурдно заявлять, что наука может быть действенной практически, но не теоретически, так как она только в том случае является практически действенной, если то, что она предсказывает, происходит; а если наши правила (или то, что их заменяет) не действенны, то нет основания верить в научные предсказания.
Кое-что следует сказать для смягчения резкости приведенного выше заключения. Мы более или менее нуждаемся только в знании наших постулатов; субъективно они могут быть только определенными привычками, в соответствии с которыми мы и делаем выводы; нам нужно только знать их примеры, а не их общую форму; все они утверждают только то, что что-то обычно бывает. Но хотя это и смягчает тот смысл, в каком мы должны их знать, имеется только ограниченная возможность смягчения того смысла, в каком они должны быть истинными, ибо если они на самом деле не истинны, то вещи, которые мы ожидаем, не произойдут. Они могут быть приблизительными и скорее обычными, чем неизменными; но с этими ограничениями они должны представлять то, что действительно происходит.
2. Экзистенциальные высказывания без примера. Здесь я резюмирую доказательство, данное в главе 3 этой части. Здесь имеется два разных случая: (а) когда примера нет в моем опыте, (б) когда нет примера во всем человеческом опыте.
(a) Если вы говорите: «Сегодня я видел зимородка», — а я вам верю, то я верю в экзистенциальное высказывание, ни одного примера которого я не знаю. То же происходит, когда я верю, что «существовал персидский царь по имени Ксеркс», или верю в любой другой исторический факт, имевший место до меня. Это же применимо и к географии: я верю в существование мыса святого Винсента, потому что я его видел, а в существование мыса Горна верю только на основании свидетельства других.
Вывод экзистенциальных высказываний без примера этого рода, как я полагаю, всегда зависит от причинных законов. Мы видели, что там, где предполагается свидетельство, мы зависим от нашего пятого постулата, который предполагает «причину». Другие постулаты тоже предполагаются в любой попытке проверить истинность показаний свидетелей. Всякая проверка словесного свидетельства возможна только в рамках обыденного общественного мира, для познания которого наши постулаты (или их эквиваленты) необходимы. Мы не можем поэтому знать предложения существования вроде вышеприведенных, если мы не признаем существующих постулатов.
(б) Наоборот, ничего больше от постулатов не требуется для оправдания веры в экзистенциальные высказывания без примеров в каком угодно человеческом опыте, кроме оправдания веры тогда, когда они не представлены примером только в моем собственном опыте. Принципиально мои основания для веры, что земля существовала до существования жизни на ней, совершенно такого же рода, как и основания для веры, что вы видели зимородка, когда вы говорите, что вы его видели. Мои основания для веры, что иногда идет дождь там, где никто его не видит, являются лучшими, чем основания для моего доверия к вам, когда вы говорите, что видели зимородка; таковы же мои основания для веры, что вершина горы Эверест существует и тогда, когда она невидима.
Мы должны поэтому прийти к заключению, что оба вида экзистенциальных высказываний без примера необходимы для обычного познания, что нет основания рассматривать один вид как более легкий для познания, чем другой, и что оба требуют для их познания одних и тех же постулатов, именно тех, которые позволяют нам выводить причинные законы из наблюдаемого хода природы.
Мы можем теперь суммировать наши заключения, касающиеся степени истинности доктрины, что все наше синтетическое знание основывается на опыте.
Во-первых, эта доктрина, если она истинна, не может быть известна в качестве истинной, поскольку она является универсальным высказыванием того самого вида, который не может быть доказан только опытом. Это, однако, не доказывает, что эта доктрина не истинна; это доказывает только то, что она или ложна, или непознаваема. Это доказательство, однако, можно рассматривать как логическую мясорубку; интереснее позитивно исследовать источники нашего познания.