Существование Бога - [12]
Для всех пропозиций 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 будет обозначать суждение «существует физическая вселенная». Тогда мы имеем доказательство от e>1 к h – космологическое доказательство. Рассматривая это доказательство, я сделаю допущение, что у нас нет никаких иных релевантных данных, и таким образом, k будет простыми тавтологическими данными. Тогда P(h|e>1&k) означает вероятность существования Бога, заданную существованием физической вселенной, а также простыми тавтологическими данными, которыми впоследствии можно будет пренебречь. Если P(h|e>1&k) > 1/2, то доказательство от e>1 к h является достаточным П-индуктивным доказательством. Если P(h|e>1&k) > P(h|k), то это доказательство является достаточным З-индуктивным доказательством. Однако при рассмотрении второго доказательства, от e>2 (которое предполагает наличие во вселенной темпоральной упорядоченности) я буду использовать k для обозначения посылки первого доказательства e>1, и тогда P(h|e>2&k) будет означать вероятность существования Бога, заданную существованием физической вселенной, а также ее темпоральной упорядоченностью. А при рассмотрении третьего доказательства, от e>3, k будет обозначать посылку второго доказательства (e>1&e>2). И так далее. Таким образом, все релевантные данные будут с необходимостью подкреплять нашу оценку [вероятности]. Я рассмотрю одиннадцать доказательств. Я буду утверждать, что для большинства тех 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>11&k) > 1/2.
Используя эти символы теории подтверждения, я не предполагаю, что выражение вида P(p|q) всегда имеет именно численное значение. Оно может быть выражено просто через отношение большей или меньшей степени по сравнению с другими вероятностями (включая и те, которые имеют численное значение): например, P(h|e>1&k) может быть больше, чем P(h|e>2&k), меньше, чем P(h|k), а также меньше, чем >1/>2, и при этом нет никакого числа, которому оно было бы равно. Совершенно очевидно, например, что мы можем считать на том же самом основании какую-то научную теорию более вероятной, чем другая, отрицая при этом, что ее вероятность имеет точное численное значение; или же мы можем считать какой-то прогноз скорее возможным, чем нет, и, следовательно, имеющим вероятность больше, чем >1/>2, в то же время отрицая, что эта вероятность может быть выражена точным числом.
Подчас считается, что различные доказательства бытия Бога говорят о разном. Космологическое доказательство демонстрирует главным образом существование некоего необходимого существа, аргумент от замысла [телеологическое доказательство] демонстрирует главным образом некоего первого зодчего>16, аргумент от чудес показывает некий полтергейст – но что же они демонстрируют все вместе? Это возражение отбрасывает нас назад. Не существует какого-то
