. Очевидно, что в науке и в истории, равно как и в других эмпирических исследованиях, мы полагаем, что существуют правильные способы оценки того, в какой степени некоторые данные подкрепляют (и подкрепляют ли вообще) некие гипотезы. Я представлю эти критерии в 3 главе. Для того чтобы подчеркнуть объективный характер степени P(p|q), которую я имею в виду, и отличить ее от доли подкрепляющих данных, характеризующих степень убежденности субъекта или отчасти характеризующих способность субъекта вычислить истинную долю подкрепляющих данных^>13, я в дальнейшем буду называть P(p|q) логической вероятностью p от q. Разумеется, она априорна. Если q означает все релевантные данные, то степень P(p|q) не может зависеть от дальнейших данных: она измеряется теми данными, которые вы уже установили. Выпадет ли из 1 000 подбрасываний монеты 505 раз решка – это апостериорный вопрос, но вопрос о том, задают ли эти данные вероятность следующего выпадения решки, равную 0,505 – априорный.

Гипотеза в рамках исследования часто обозначается как h. Тогда P(h|e&k) означает вероятность гипотезы h, заданную данными (e&k)14. Часто бывает полезно разделить все доступные наблюдению данные на две части: новые данные и фоновые данные, и в этом случае первые чаще всего обозначаются как e, а вторые – как k. Фоновые данные (или фоновое знание, как их иногда называют) – это знание, которое мы принимаем на веру еще до того, как обнаружились новые данные. Итак, предположим, что детектив расследует некое убийство. При этом h будет обозначать гипотезу о том, что Джонс совершил это убийство; e будет обозначать суждение, содержащее все новые данные, обнаруженные детективом (например, что отпечатки пальцев Джонса были найдены на оружии, что он находился рядом с местом убийства в тот момент, когда оно произошло и т. д., и т. д.), а k будет обозначать суждение, в котором содержатся все общие знания детектива об устройстве мира (например, что каждый человек обладает уникальными отпечатками пальцев, что люди, дотронувшиеся пальцами до металлической или деревянной поверхности, обычно оставляют на ней отпечатки и т. д., и т. д.). Тогда P(h|e&k) обозначает вероятность того, что Джонс совершил это убийство, – вероятность, заданную всей совокупностью данных, которые есть у детектива.

Для всех пропозиций p и q P(p|q) = 1, если и только если q делает p достоверным, например, если из q следует p (то есть существует дедуктивно достоверное доказательство от q к p), и P(p|q) = 0, если и только если q делает достоверным ¬p, например, если из q следует ¬p15. P(p|q) + P(¬p|q) = 1. Таким образом, если P(p|q) > 1/2, то P(p|q) > P(¬p|q), и в случае q более вероятно, что p, чем ¬p. Следовательно, для фонового знания k доказательство от e к h будет правильным З-индуктивным доказательством, если и только если P (h|e&k) > P(h|k), или правильным П-индуктивным доказательством, если и только если P(h|e&k) > 1/2. Граница между новыми данными и фоновыми данными может быть проведена где угодно: часто бывает удобно включить все данные, проистекающие из опыта, в e и рассматривать k в качестве того, что в теории подтверждения называется «простыми тавтологическими данными», то есть, фактически, это все наши другие иррелевантные знания.

Мои дальнейшие рассуждения будут следующими. Пусть h обозначает нашу гипотезу «Бог существует». Пусть e_>1, e_>2, e_>3 и т. д. обозначают различные суждения, которые люди высказывают как свидетельства в пользу или против существования Бога и конъюнкция которых составит e. Пусть e_>1 будет обозначать суждение «существует физическая вселенная». Тогда мы имеем доказательство от