Вывод от группы явлений к другим явлениям может быть оправдан только в том случае, если мир имеет определенные черты, которые не являются логически необходимыми. Насколько дедуктивная логика может это показать, любая совокупность событий может быть целой вселенной; если в таком случае я делаю о событиях какие-то выводы, я должен принять принципы вывода, лежащие вне дедуктивной логики. Всякий вывод от явления к явлению предполагает какую-то взаимосвязь между различными явлениями. Такая взаимосвязь по традиции утверждается в принципе причинности или естественного закона. Этот принцип предполагается, как мы увидим, в индукции через простое перечисление, какое бы ограниченное значение мы ей ни приписывали. Но традиционные способы формулирования того вида взаимосвязи, который должен постулироваться, являются во многом дефектными — одни чересчур строги и жестки, другим же недостает этого. Установление минимальных принципов, необходимых для оправдания научных выводов, является одной из основных целей этой книги.

Было бы общей фразой сказать, что основные выводы науки в противоположность выводам логики и математики являются только вероятными, это значило бы сказать, что при истинных посылках и правильном построении вывода заключение только вероятно истинно. Необходимо поэтому исследовать, что значит «вероятность». В дальнейшем обнаружится, что это слово обозначает два различных понятия. С одной стороны, имеется математическая вероятность; если класс имеет n членов, а из них m членов имеют определенную характеристику, то математическая вероятность того, что взятый наугад член класса будет иметь данную характеристику, определяется как m/n. С другой стороны, имеется более широкое и менее определенное понятие, которое я называю «степенью правдоподобия», представляющее собой то количество правдоподобия, которое рационально приписать суждению, истинность которого в большей или меньшей степени не установлена. Оба эти вида вероятности имеют отношение к установлению принципов научного вывода.

Ход нашего исследования в основном будет следующим.

Часть первая — о мире науки — описывает главные черты вселенной, которые научное исследование сделало вероятными. Эта часть может рассматриваться как устанавливающая цель, которую вывод должен быть способен достичь, если наши опытные данные и наши принципы вывода могут оправдать научную практику.

Часть вторая — о языке — касается предварительных вопросов. Это вопросы, главным образом, двух видов. С одной стороны, важно выяснить значение некоторых основных терминов, таких, например, как «факт» и «истина». С другой стороны, необходимо исследовать отношение чувственного опыта к эмпирическим понятиям, таким, как «красный», «твердый», «метр» или «секунда». Кроме того, мы исследуем здесь зависимость слов, имеющих существенное отношение к говорящему, таких, как «здесь» и «теперь», от безличных слов, которые устанавливают широту, долготу и дату. Это ставит довольно важные и трудные проблемы, связанные с отношением индивидуального опыта к общественно признанному составу общего знания.

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

Часть четвертая — о научных понятиях — есть попытка проанализировать основные понятия в области выводов науки, особенно понятий о физическом пространстве, историческом времени и причинных законах. Термины, употребляемые в математической физике, должны удовлетворять следующим двум видам условий: с одной стороны, эти термины должны удовлетворять определенным формулам; с другой стороны, они должны допускать такую интерпретацию, чтобы дать результаты, которые наблюдение может подтвердить или опровергнуть. Через это последнее условие они связаны с опытными данными, хотя и не слишком тесно; благодаря первому они становятся определенными в отношении некоторых структурных признаков. При всем том все же остается значительная широта их толкования. Эту широту целесообразно использовать с целью свести к минимуму роль выводов, поскольку они идут вразрез с построением; на этом основании, например, точки-моменты point-instans в пространстве-времени конструируются как группы событий или качеств. В этой части два понятия — понятие пространственно-временной структуры и понятие причинной связи — приобретают постепенно возрастающее значение. Если в третьей части мы старались установить, что может считаться данными опыта, то в четвертой части мы стараемся установить в общей форме то, что мы можем — если признать науку истинным знанием — вывести из наших данных.

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

Часть шестая — о постулатах научного вывода — представляет собой попытку установить те минимальные, предшествующие опыту допущения, которые необходимы, чтобы оправдать наше выведение законов из совокупности опытных данных, и, далее, исследовать, в каком смысле — если вообще в этом есть какой-то смысл — можно сказать, что эти допущения истинны. Основной логической функцией, которую эти допущения должны выполнять, является функция сообщения высшей вероятности заключениям индукции, удовлетворяющей определенным условиям. Для этой цели, поскольку речь идет только о вероятности, нам не нужно допущение, что такая-то связь событий имеет место всегда, а достаточно допустить, что она имеет место иногда (довольно часто). Например, одним из, по-видимому, необходимых допущений является допущение раздельных причинных рядов, какие выявляются, например, в световых лучах или звуковых волнах. Это допущение может быть сформулировано следующим образом:

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

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