Теперь понятно, почему с логической точки зрения и вывод предсказаний, и техническое применение научных теорий можно рассматривать как простое обращение (инверсия) базовой схемы
научного объяснения.
Мы еще, однако, не истощили использования нашей схемы она может служить и для анализа процедуры проверки объясняющего. Процедура проверки, или тестирования, состоит в том, чтобы вывести из объясняющего некоторое предсказание Р и сравнить его с фактически наблюдаемой ситуацией. Если предсказание не согласуется с наблюдаемой ситуацией, это показывает, что объясняющее ложно оно фальсифицируется. В этом случае мы все еще не знаем, то ли ложна общая теория, то ли начальные условия описывают ситуацию, не соответствующую реальному положению вещей а тогда ложны начальные условия. [Конечно, вполне может оказаться, что ложны как теория, так и начальные условия].
Фальсификация предсказания показывает, что объясняющее ложно, но обратное не верно: грубая и опасная ошибка думать, что мы можем интерпретировать «верификацию» предсказания как «верификацию» объясняющего или хотя бы какой-то его части. Дело в том, что истинное предсказание вполне можно корректным образом вывести из ложного объясняющего. Большое заблуждение также рассматривать каждую «верификацию» предсказания как что-то вроде практического подкрепления (corroboration) объясняющего: правильней было бы сказать, что в качестве подкреплений объясняющего и тем самым входящей в него теории, можно рассматривать только такие «верификации» предсказаний, которые [в отсутствии соответствующей теории] являются «неожиданными». Это значит, что предсказание можно использовать для подкрепления теории, только если его сопоставление с данными наблюдения может рассматриваться как серьезная попытка проверить объясняемое как серьезная попытка опровергнуть его. [«Рискованное»] предсказание такого рода может быть названо «релевантным с точки зрения проверки теории» . В конце концов достаточно очевидно, что успешная сдача экзамена может дать представление о качествах студента, только если этот экзамен достаточно серьезен, и что можно устроить такой экзамен, который легко выдержит даже самый слабый студент .
В добавление ко всему этому наша логическая схема позволяет нам, напоследок, проанализировать разницу между задачами теоретического и исторического объяснения.
Теоретик заинтересован в том, чтобы находить и проверять общие законы. В ходе их проверки он использует другие законы самого разного рода (многие из них совершенно неосознанно), так же как и разнообразные начальные условия.
Историка же интересует нахождение описаний положения дел в определенных конечных, специфических пространственно-временных областях то есть то, что я назвал специфическими начальными условиями и проверка, или испытание, их адекватности и точности. Для такого рода проверок он использует, в дополнение к другим специфическим начальным условиям, всякого рода общие законы обычно достаточно очевидные, входящие в его горизонт ожиданий, хотя, как правило, он не осознает, что использует их. В этом он похож на теоретика. [Тем не менее, разница между ними очень заметна: она состоит в различии между их интересами, проблемами, в различии того, что каждый из них считает проблематичным].
В виде логической схемы [подобной использованным нами ранее] образ действий теоретика можно представить следующим образом:
U 0означает здесь общий закон, общую гипотезу, являющуюся предметом рассмотрения. Она не изменяется в течение всех проверок и используется вместе с различными законами U 1, U 2,... и различными начальными условиями I 1,I 2,... Для вывода различных предсказаний P 1,P 2,..., которые можно было бы сопоставлять с актуальными наблюдаемыми фактами.