Существование Бога - [12]

будет обозначать гипотезу о том, что Джонс совершил это убийство; 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₁, e₂, e₃ и т. д. обозначают различные суждения, которые люди высказывают как свидетельства в пользу или против существования Бога и конъюнкция которых составит e. Пусть e₁ будет обозначать суждение «существует физическая вселенная». Тогда мы имеем доказательство от e₁ к h – космологическое доказательство. Рассматривая это доказательство, я сделаю допущение, что у нас нет никаких иных релевантных данных, и таким образом, k будет простыми тавтологическими данными. Тогда P(h|e₁&k) означает вероятность существования Бога, заданную существованием физической вселенной, а также простыми тавтологическими данными, которыми впоследствии можно будет пренебречь. Если P(h|e₁&k) > 1/2, то доказательство от e₁ к h является достаточным П-индуктивным доказательством. Если P(h|e₁&k) > P(h|k), то это доказательство является достаточным З-индуктивным доказательством. Однако при рассмотрении второго доказательства, от e₂ (которое предполагает наличие во вселенной темпоральной упорядоченности) я буду использовать k для обозначения посылки первого доказательства e₁, и тогда P(h|e₂&k) будет означать вероятность существования Бога, заданную существованием физической вселенной, а также ее темпоральной упорядоченностью. А при рассмотрении третьего доказательства, от e₃, k будет обозначать посылку второго доказательства (e₁&e₂). И так далее. Таким образом, все релевантные данные будут с необходимостью подкреплять нашу оценку [вероятности]. Я рассмотрю одиннадцать доказательств. Я буду утверждать, что для большинства тех en, где n = 1, … 11, P(h|en&k) > P(h|k), то есть это доказательство является достаточным З-индуктивным доказательством существования Бога, и что два из этих доказательств (одно за и одно против) не имеют силы (в этих случаях будет P(h|en&k) = P(h|k)), а также что одно доказательство против существования Бога имеет силу (P(h|en&k) < P(h|k)), когда en – это проявление зла. Ключевой вопрос, к которому мы со временем придем, это вопрос о том, справедливо ли, что P(h|e₁₁&k) > 1/2.

Используя эти символы теории подтверждения, я не предполагаю, что выражение вида P(p|q) всегда имеет именно численное значение. Оно может быть выражено просто через отношение большей или меньшей степени по сравнению с другими вероятностями (включая и те, которые имеют численное значение): например, P(h|e₁&k) может быть больше, чем P(h|e₂&k), меньше, чем P(h|k), а также меньше, чем ¹/₂, и при этом нет никакого числа, которому оно было бы равно. Совершенно очевидно, например, что мы можем считать на том же самом основании какую-то научную теорию более вероятной, чем другая, отрицая при этом, что ее вероятность имеет точное численное значение; или же мы можем считать какой-то прогноз скорее возможным, чем нет, и, следовательно, имеющим вероятность больше, чем ¹/₂, в то же время отрицая, что эта вероятность может быть выражена точным числом.

Подчас считается, что различные доказательства бытия Бога говорят о разном. Космологическое доказательство демонстрирует главным образом существование некоего необходимого существа, аргумент от замысла [телеологическое доказательство] демонстрирует главным образом некоего первого зодчего¹⁶, аргумент от чудес показывает некий полтергейст – но что же они демонстрируют все вместе? Это возражение отбрасывает нас назад. Не существует какого-то