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