Постулаты в той их форме, в которой я их сформулировал, предназначаются для оправдания первых шагов в направлении к науке и того в обыденном здравом смысле, что может быть в нем оправдано. Моя главная проблема в этой части была эпистемологической: что должны мы предполагать известным нам а добавление к частным наблюдаемым фактам для того, чтобы научные выводы могли считаться имеющими силу? Занимаясь этой проблемой, мы не должны анализировать науку в ее наиболее развитой и технической форме, ибо развитая наука строится на элементарной науке, а элементарная наука строится на обыденном здравом смысле. Прогресс науки заключается в переходе от неопределенных и подверженных исключениям обобщений к другим, гораздо более точным и имеющим меньше исключений. Предложение «Не поддерживаемые в воздухе тела падают» является примитивным обобщением. Псалмопевец заметил, что искры являются исключением из обобщения, а теперь мы могли бы добавить еще аэростаты и аэропланы. Но без этого необработанного и частично неверного закона мы никогда не дошли бы до закона всемирного тяготения. Предпосылки теории познания всегда отличаются от предпосылок логики, и именно предпосылки теории познания я и пытался раскрыть.

В каком смысле можно сказать, что мы «знаем» вышеприведенные постулаты или все то, что в будущем может оказаться более предпочтительным по сравнению с ними? Я думаю, что только в том смысле, который учитывает обсуждение видов знания, данное в главе 1 этой части. Познание общих связей между фактами сильнее отличается от познания отдельных фактов, чем это обычно думают. Познание связей между фактами имеет свой биологический источник в ожиданиях животных. Животное, которое переживает А, ожидает В; когда оно развивается в примитивного ученого, оно обобщает какое-то число отдельных ожиданий в утверждение «А есть причина В'. С биологической точки зрения полезно иметь такие ожидания, которые обычно подтверждаются; поэтому не удивительно, если психологические законы, управляющие ожиданиями, согласуются в основном с объективными законами, управляющими ожидаемыми событиями.

Мы можем сформулировать это следующим образом, физический мир имеет то, что можно назвать «привычками», то есть причинными законами; поведение животных содержит отчасти врожденные, отчасти же приобретенные привычки. Приобретенные привычки порождаются тем, что я называю «анимальным выводом, который имеет место там, где имеются данные для индукции, но не во всех случаях, где имеются такие данные. Благодаря тому, что мир таков, каков он есть, некоторые виды индукций оправдываются, а другие — нет. Если бы наши индуктивные склонности были совершенным образом приспособлены к нашему окружению, мы прибегали бы к индукции только в тех случаях, в которых применение индукции было бы вполне законным. На самом же деле все, кроме людей науки, бывают чересчур склонными к индукции, когда один из членов причинной связи (А или В) оказывается интересным, и слишком мало бывают склонны к ней, когда оба члена (А и B) таковы, что их нелегко заметить. Когда оба члена связи (и А, и B) интересны, ординарный ум находит в этом импульс к индукции непреодолимым: кометы предсказывают смерть принцев, потому что и то и другое ощущается как нечто из ряда вон выходящее. Но даже в индукции животных имеются элементы правильности. Вывод от запаха пищи к ее съедобности обычно надежен, и ни одно животное не совершает тех абсурдных индукций, которые логики могут изобретать для того, чтобы показать, что индукция не всегда оказывается правильной.

Благодаря тому, что мир таков, каков он есть, некоторые события действительно оказываются иногда свидетельствами в пользу некоторых других; и благодаря тому, что животные приспособлены к их окружению, те события, которые действительно являются свидетельством в пользу других, вызывают ожидание этих других событий. Размышляя над этим процессом и очищая его, мы выделяем правила индуктивного вывода. Эти правила оказываются действенными, если мир имеет те определенные характерные черты, в существование которых все мы верим. Выводы, сделанные в соответствии с этими правилами, сами себя подтверждают и не противоречат опыту. Более того, они заставляют нас считать вероятным, что мы имеем такие психические привычки, которые эти правила в целом оправдывают, поскольку такие психические привычки биологически полезны.

Я думаю поэтому, что можно сказать, что мы «знаем» то, что является необходимым для научного вывода, если он выполняет следующие условия: (1) он истинен, (2) мы знаем это, (3) он не ведет к таким заключениям, которые опыт опровергает, (4) он логически необходим, если какое-то событие или ряд событий дают свидетельство в пользу какого-либо другого события. Я считаю, что эти условия удовлетворяются. Если, однако, кто-либо предпочтет придерживаться солипсизма момента, то я буду считать, что он не может быть опровергнут, но буду глубоко сомневаться в его искренности.

Эмпиризм может быть определен как утверждение: «Всякое синтетическое знание основывается на опыте». Я хочу рассмотреть, что именно это утверждение может значить и является ЛИ ОНО ПОЛНОСТЬЮ ИСТИННЫМ ИЛИ ИСТИННЫМ ТОЛЬКО С некоторыми ограничениями.

Перед тем, как это утверждение получит определенность, мы должны определить слова «синтетическое», «знание», «основывается на» и «опыт». За исключением слова «синтетическое», все эти термины уже были более или менее определены в предшествующих главах, но я кратко и в догматической форме повторю заключения вышеизложенных обсуждений. В отношении слова «синтетический» точное определение дать трудно, но для наших целей мы можем определить его негативно, как всякое высказывание, не являющееся частью математики или дедуктивной логики и не выводимое из какого-либо высказывания математики или дедуктивной логики. Таким образом, оно исключает не только «2 плюс 2 есть четыре», но также и «два яблока плюс два яблока есть четыре яблока». Но оно включает не только все утверждения об отдельных фактах, но также все обобщения, которые не являются логически необходимыми, вроде: «Все люди смертны» или «Всякая медь является проводником электричества».

«Знание», как мы видели, есть термин, не поддающийся точному определению. Всякое знание является до некоторой степени сомнительным, и мы также не можем сказать, при какой степени сомнительности оно перестает быть знанием, как не можем сказать, сколько человек должен потерять волос, чтобы считаться лысым. Когда вера выражается в словах, мы должны иметь в виду, что все слова за пределами логики и математики неопределенны: имеются объекты, к которым они определенно применимы, и есть объекты, к которым они определенно неприменимы, но имеются (или по крайней мере могут быть) промежуточные объекты, в отношении которых мы не уверены, применимы эти слова к ним или нет. Когда вера не выражена в словах, а проявляется только в бессловесном поведении, бывает гораздо больше неопределенности, чем это обычно бывает тогда, когда она выражается в языке. Под сомнением находится даже то, какое поведение может рассматриваться как выражающее веру: поездка на станцию с целью сесть в поезд определенно выражает веру; ясно, что чихание ничего не выражает, но поднимание руки с целью защиты от удара является промежуточным случаем, который ближе к «да», а закрывание глаз, когда что-либо приближается к глазу, является промежуточным случаем, который ближе к «нет».

Но оставим эти трудности в определении «знания», так как имеются другие, возможно, более важные в данном контексте.

«Знание» есть подкласс истинных верований. Мы только что видели, что «веру» нелегко определить и что «истина» — очень трудный термин. Я не буду, однако, повторять то, что об этом термине было уже сказано во второй части книги, так как по-настоящему важным вопросом для нас сейчас является вопрос о том, что должно быть добавлено к истине для того, чтобы сделать веру примером «знания».