Назовем доказательство, в котором посылки делают заключение вероятным, «правильным П-индуктивным доказательством». А доказательство, в котором посылки увеличивают вероятность заключения (то есть делают заключение более вероятным, или более возможным, чем если бы этих посылок не было), назовем «правильным 3-индуктивным доказательством». В этом последнем случае мы скажем, что посылки «подтверждают» заключение. Среди правильных 3-индуктивных доказательств некоторые будут явно более строгими, чем другие, в том смысле, что в некоторых таких доказательствах посылки будут повышать вероятность заключения в большей степени, чем в других доказательствах.
Цель доказательства – побудить людей: (в той: степени, в которой: они разумны) согласиться с заключением. Для этой цели недостаточно, чтобы посылки в некотором смысле влекли за собой заключение. Необходимо также, чтобы: посылки: были признаны: истинными теми, кто спорит по поводу заключения. Существует множество достоверных доказательств существования Бога, которые совершенно бесполезны, поскольку, хотя их посылки могут быть истинными, они не признаны в качестве таковых теми, кто спорит о религии, например:
П>1: Если жизнь имеет смысл, Бог существует.
П>2: Жизнь имеет смысл.
3: Бог существует.
Безусловно, это достоверное доказательство. Если данные посылки истинны, заключение также должно быть истинным. Эти посылки могут быть истинными, но атеисты станут отрицать либо первую, либо вторую посылку. Поскольку эти посылки не являются общепринятыми для тех, кто спорит о религии, они не могут стать адекватной основой для такого доказательства. Что действительно представляет интерес для людей, живущих в эпоху религиозного скептицизма, так это доказательства существования (или несуществования) Бога, в которых посылки были бы признаны истинными людьми как теистических, так и атеистических убеждений. Таким образом, я определяю доказательство от посылок, признанных истинными теми, кто спорит о заключении, которое является достоверно дедуктивным, правильным П-индуктивным или правильным 3-индуктивным доказательством, соответственно: достаточным дедуктивным, достаточным П-индуктивным и достаточным 3-индуктивным доказательством. Анализируя доказательства в пользу или против существования Бога, мы должны будем рассматривать вопрос о том, является ли какое-то из них достаточным дедуктивным, достаточным П-индуктивным или достаточным 3-индуктивным доказательством.
Суждение «Бог существует» (а также равноценное суждение «существует Бог») я рассматриваю как логически эквивалентное суждению «с необходимостью существует личность