В добавление ко всему этому наша логическая схема позволяет нам, напоследок, проанализировать разницу между задачами теоретического и исторического объяснения.

Теоретик заинтересован в том, чтобы находить и проверять общие законы. В ходе их проверки он использует другие законы самого разного рода (многие из них — совершенно неосознанно), так же как и разнообразные начальные условия.

Историка же интересует нахождение описаний положения дел в определенных конечных, специфических пространственно-временных областях — то есть то, что я назвал специфическими начальными условиями — и проверка, или испытание, их адекватности и точности. Для такого рода проверок он использует, в дополнение к другим специфическим начальным условиям, всякого рода общие законы — обычно достаточно очевидные, — входящие в его горизонт ожиданий, хотя, как правило, он не осознает, что использует их. В этом он похож на теоретика. [Тем не менее, разница между ними очень заметна: она состоит в различии между их интересами, проблемами, в различии того, что каждый из них считает проблематичным].

В виде логической схемы [подобной использованным нами ранее] образ действий теоретика можно представить следующим образом: 

U₀ означает здесь общий закон, общую гипотезу, являющуюся предметом рассмотрения. Она не изменяется в течение всех проверок и используется — вместе с различными законами U₁, U₂,... и различными начальными условиями I₁,I₂,... — Для вывода различных предсказаний P₁,P₂,..., которые можно было бы сопоставлять с актуальными наблюдаемыми фактами.

Образ действий историка можно представить следующей схемой:

Здесь I₀ есть историческая гипотеза, историческое описание, которое должно быть испытано или проверено. Оно остается без изменения в продолжение всех проверок, и оно сочетается с различными (в основном очевидными) законами U₁, U₂,...и с соответствующими начальными условиями I₁,I₂,...  для вывода различных предсказаний P₁,P₂,... и т.д.

Обе эти схемы, конечно, в высшей степени идеализированы и упрощены.

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

Это — методологический принцип, находящийся в прямом противоречии со всякими позитивистскими и наивно эмпиристскими [или индуктивистскими] тенденциями. Это — принцип, требующий, чтобы мы осмеливались выдвигать дерзкие гипотезы, по возможности открывающие новые области для наблюдения, а не те осторожные обобщения «данных» наблюдений, которые [со времен Бэкона] остаются идолом всех наивных эмпириков.

Наша точка зрения, состоящая в том, что задача науки — выдвигать объяснения или (что приводит по существу к той же логической ситуации[333]) создавать теоретические основы для предсказаний и других приложений теорий, эта наша точка зрения привела нас к методологическому требованию, чтобы наши теории были проверяемыми. Однако существуют степени проверяемости. Некоторые теории проверяемы лучше, чем другие. Если мы ужесточим наше методологическое требование и будем стремиться к все лучше и лучше проверяемым теориям, то мы придем к следующему методологическому принципу — или формулировке задачи науки — [неосознанное] принятие которого в прошлом может рациональным образом объяснить очень многие события в истории науки: оно объяснит их как шаги в сторону выполнения задачи науки. (В то же самое время оно дает нам формулировку задачи науки, которая определяет, что в науке следует считать прогрессом, ибо в противоположность большинству других видов человеческой деятельности — в том числе искусству и музыке — в науке действительно есть такая вещь, как прогресс.

Анализ и сравнение степеней проверяемости различных теорий показывает, что проверяемость теории возрастает вместе со степенью ее определенности или точности (precision).

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

Подобную же ситуацию мы обнаружим, если рассмотрим степени определенности или точности теории. Точное высказывание легче опровергнуть, чем неопределенное, а потому его можно лучше проверить. Это соображение позволяет нам также объяснить требование — чтобы качественные высказывания везде, где возможно, заменялись на количественные — нашим принципом возрастания степени проверяемости теорий. (На этом пути можно также объяснить роль, которую в проверке теорий играет измерение: это средство становится все более важным по мере прогресса науки, но его не следует использовать [как это часто делают] в качестве характерного признака науки или построения теорий вообще. Мы не должны игнорировать тот факт, что процедуры измерения начали использоваться лишь на довольно поздней стадии развития некоторых наук и что даже сейчас они используются не во всех науках, и мы не должны забывать о том, что всякое измерение зависит от определенных теоретических допущений).

Хорошим примером из истории науки, иллюстрирующим мою точку зрения, может служить переход от теорий Кеплера и Галилея к теории Ньютона. 

Что этот переход не имеет ничего общего с индукцией и что теорию Ньютона нельзя рассматривать как обобщение двух упомянутых предшествовавших ей теорий, можно видеть из того несомненного [и важного] факта, что теория Ньютона противоречит обеим этим теориям. Так, законы Кеплера нельзя дедуктивно вывести из законов Ньютона [хотя часто утверждалось, что их можно таким образом вывести и даже что законы Ньютона можно дедуктивно вывести из законов Кеплера]: законы Кеплера можно получить из законов Ньютона только приближенно, приняв [ложное] допущение, будто массы различных планет пренебрежимо малы по сравнению с массой Солнца. Аналогично, галилеев закон свободного падения тел нельзя дедуктивно вывести из теории Ньютона — напротив, он ей противоречит. Только приняв [ложное] допущение, будто общая длина всех падений пренебрежимо мала по сравнению с земным радиусом, мы сможем приближенно вывести закон Галилея из теории Ньютона.

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

Если бы теория Ньютона добилась только объединения законов Кеплера с законами Галилея, она была бы всего только круговым объяснением этих законов, а потому неудовлетворительной как объяснение. Однако ее способность освещения дальнейшего пути развития науки и ее сила убеждения состояли именно в ее способности пролить свет на путь к независимым проверкам, ведущий нас к [успешным] предсказаниям, которые были несовместимы с предшествующими теориями. Это был путь к новым эмпирическим открытиям.