содер- жанием; которая является логически более строгой; ко-
торая обладает большей объяснительной и предсказа-
тельной силой; которая, следовательно, может быть
более строго проверена посредством сравнения предска-
занных фактов с наблюдениями. Короче говоря, интере-
сную, смелую и высокоинформативную теорию мы пред-
почитаем тривиальной теории.
Все эти свойства, наличия которых мы требуем у
теории, равнозначны, как можно показать, одному — бо-
лее высокой степени эмпирического
содержания теории
или ее проверяемости.
: " ' " in
Мое исследование
содержания теории (или любого
высказывания) опирается на ту простую и очевидную
идею, что информативное содержание
конъюнкции лю-
1
Обсуждение вопросов степени проверяемости, эмпирического
содержания, подкрепляемосги и подкрепления см. в [31, разд. 31—46,
82—85, прил. *1Х], где рассматривается также вопрос о степени
объяснительной силы теории и проведено сравнение теорий Эйнш-
тейна и Ньютона в этом отношении [31, с. 401, прим. 7]. Далее
я иногда буду говорить о проверяемости и т. п. как о «критерии про-
гресса», не вдаваясь в подробности, рассмотренные в [31].
3 Г -8 бых двух высказываний
а и
b —
ab — всегда больше или
по крайней мере равно содержанию любой из ее частей.
Пусть
α —
высказывание «В пятницу будет дождь»,
Ъ — высказывание «В субботу будет хорошая погода» и
ab — высказывание «В пятницу будет дождь, и в суббо-
ту будет хорошая погода». Очевидно, что информатив-
ное содержание последнего высказывания — конъюнк-
ции
ab —: будет превосходить как содержание
а, так и
содержание
Ь. Также очевидно, что вероятность
ab (или,
что то же самое, вероятность истинности
ab) будет
меньше вероятности каждого из его компонентов.
Записывая «содержание утверждения
а» как
Ci (а) и
«содержание конъюнкции
а и
Ь» как. Ct(ab), мы полу-
чаем:
(1)
Ci (α) <
Ci (ab) >
Ct (b). Закон (1) отличается от соответствующего закона ис-
числения вероятностей
(2)
ρ (α)>
ρ (β6)<
ρ (Ь) тем, что в нем знаки неравенства обращены в противо-
положную сторону. Взятые вместе, эти два закона уста-
навливают, что с возрастанием содержания уменьшает-
ся вероятность и, наоборот; другими словами, что со-
держание возрастает вместе с ростом невероятности.
(Это утверждение находится, конечно, в полном соот-
ветствии с общей идеей о том, что логическое
coßep- жание высказывания представляет собой класс
всех тех высказываний, которые логически следуют из него. По-
этому можно сказать, что высказывание
а является ло-
гически более строгим, чем высказывание
Ь, если его
содержание больше, чем содержание высказывания
Ъ, то есть если оно влечет больше следствий.)
Этот тривиальный факт имеет следующее неизбежное
следствие: если рост знания означает, что мы переходим
к теориям с возрастающим содержанием, то он должен
также означать, что мы переходим к теориям с умень-
шающейся вероятностью (в смысле исчисления вероят-
ностей). Таким образом, если нашей целью является
прогресс, или рост знания, то высокая вероятность (в
смысле исчисления вероятностей) не может быть при
этом нашей целью: