Объективное знание

Мы можем испробовать и другие способы справиться с трудностью, указанной Уоткинсом. Мы можем релятивизировать релевантные для нас проблемы к фоновому знанию, неявно предполагаемому теориями Кеплера и Ньютона. При фоновом допущении Кеплера, что массы планет несущественны или пренебрежимы для данной проблемы, теории Кеплера и Ньютона дают одни и те же результаты, поскольку при таком допущении проблема становится для Ньютона просто суперпозицией двух задач об одном теле. А при (ньютоновском) допущении, что массы планет существенны, но неизвестны, теория Ньютона приводит к только что упомянутой бесконечной конъюнкции.

Говоря в общем, я не думаю, что должен существовать единственный предпочтительный способ выбора проблемного базиса для релятивизации.

Этот аргумент, конечно, представляет собой всего лишь интуитивный набросок, но мне кажется, что стоит изучить вопрос о том, не можем ли мы, при помощи тех или иных подходящих соглашений[354] о релевантности, сравнивать проблемное содержание разных теорий по отношению к (в какой-то мере определяемому соглашением) перечню тех видов (kinds) проблем, которые мы согласились считать релевантными[355].

Возможны и другие способы релятивизации, в том числе некоторые, относимые к росту проблемных ситуаций T₁ и T₂. (См. главу 4 настоящей книги.) Новая проблемная ситуация возникает из старой в рамках схемы типа Р₁→TT→EE→Р₂. Новая проблемная ситуация, таким образом, состоит из P₁ и P₂: она будет сравнима с прежней и притом богаче ее.

(4) Правдоподобность (verisimilitude). Мою теорию правдоподобности критиковали очень сурово[356], и я сразу же должен признать, что предложенное мной «определение правдоподобности» ошибочно. Есть серьезная ошибка и в интуитивных эвристических соображениях, которые привели меня к этому определению.

Теперь я хочу скорректировать[357] эти интуитивные эвристические соображения следующим образом.

Интуитивно кажется, что высказывание Ь ближе к истине, чем высказывание а, если и только если (1) (релятивизированное) истинностное содержание Ь превосходит истинностное содержание а и (2) некоторые ложные следствия из а (предпочтительно все, признанные опровергнутыми, и — еще предпочтительнее — некоторые кроме них) не выводимы из Ь, но замещены их отрицаниями.

В этой эвристической формулировке мы должны рассматривать термин «содержание» или «истинностное содержание» как пересмотренное (релятивизированное) в духе, намеченном в разделе (3) настоящего Приложения.

Наряду с данным наброском скорректированной эвристической идеи истинностного содержания, имеется, по-видимому, еще один подход, исследуемый в настоящее время Дэвидом Миллером[358]: он принимает (булево) расстояние теории (дедуктивного множества высказываний) от (дедуктивно замкнутого) множества истинных высказываний за «расстояние от истины»[359]. Нечто в определенном смысле противоположное этому можно было бы принять за правдоподобность. Более того, можно было бы ввести меры на этих множествах (поскольку булево расстояние есть множество).

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

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

Нам надо различать проблему прояснения идеи правдоподобности и вопрос об оценке теорий с точки зрения правдоподобности, особенно теорий с высокой объяснительной силой. (Конечно, теории с высокой объяснительной силой по этой самой причине скорее могут оказаться ложными),