Некоторые из этих вопросов я уже рассматривал более подробно в других своих работах, и тем не менее я надеюсь, что рассмотрение их в рамках данной книги вполне уместно (хотя и ограничено размерами книги) и послужит обоснованию того заключения, к которому я приду. К примеру, я рассматриваю проблему зла в своей книге «Божий промысел и проблема зла»⁸, но я надеюсь, что рассмотрение этой проблемы в 10 и 11 главах настоящей книги будет достаточно для того, чтобы убедительно показать, что количество и качество зла, которое мы обнаруживаем на Земле, нельзя рассматривать как значительный довод против существования Бога. К тому же есть один вопрос, в отношении которого мои рассуждения в данной книге представляются явно незаконченными. Когда я рассматриваю аргументы от чудес, объем книги позволяет мне только рассмотреть некоторые удивительные явления из истории человечества (например, возвращение к жизни умершего человека) как свидетельства в пользу существования Бога, но у меня нет возможности рассмотреть доводы и исторические свидетельства, подтверждающие или опровергающие то, что это явление действительно произошло. Таким образом, я рассматриваю здесь, в сущности, только форму доказательства, которое обязательно должно быть подкреплено подробным историческим материалом⁹.

Кант выдвинул троякую классификацию доказательств бытия Бога, которая надолго стала основной и влияние которой, на мой взгляд, было далеко не благотворным на последующие дискуссии по этому вопросу. Он писал:

Возможны только три способа доказательства бытия Бога, исходя из спекулятивного разума. Все пути, по которым можно следовать с этой целью, или начинаются с определенного опыта и познанной им особой природы нашего чувственно воспринимаемого мира, восходя от нее по законам причинности до высшей причины, находящейся вне мира, или эмпирически полагают в основу лишь неопределенный опыт, т. е. какое-нибудь существование [вообще], или, наконец, отвлекаются от всякого опыта и исходя из одних лишь понятий приходят совершенно a priori к существованию высшей причины. Первое доказательство называется физикотеологическим, второе – космологическим, а третье – онтологическим. Других доказательств нет и не может быть¹⁰.

Различия здесь проведены на уровне природы посылок. Если вы начнете с некоей абстрактной истины – получите онтологическое доказательство; начнете с «существования вообще» – получите космологическое доказательство; начнете с подробностей того, что Кант называет «определенным опытом» существования вещей в мире – получите физико-теологическое доказательство.

Причина, по которой я утверждаю, что влияние кантовского учения было далеко не благотворным на дискуссии по этому вопросу, состоит в том, что Кант предполагал, что может быть только одно доказательство каждого типа, тогда как совершенно очевидно, что в каждой рубрике может быть много разных доказательств, причем настолько отличных друг от друга, что назвать их формами одного и того же доказательства было бы совершенно неправильно. Например, нет оснований полагать, что все доказательства существования Бога, в которых посылки в некотором смысле являются абстрактными истинами, обязательно должны сводиться к онтологическому доказательству в его традиционной форме. Более того, нет оснований полагать, что все доказательства от опыта существования вещей в мире обязательно должны иметь форму того доказательства, которое Кант называл «физикотеологическим», а другие называют «телеологическим» доказательством. Последнее доказательство может иметь много форм. Например, оно может апеллировать к правильному и постоянному поведению объектов в мире, которое систематизировано в виде законов природы, или к тому, что в мире есть всё, что необходимо для выживания человека и животных. В обоих случаях это доказательство от упорядоченности в природе (в самом общем смысле). Но есть также доказательства, как мы отметили, от единичных случаев чуда, от человеческой истории, от конкретного религиозного опыта. Не все из этих доказательств могут быть достаточными, но они заслуживают рассмотрения, однако кантовская классификация игнорирует их существование.

Затем мы рассмотрим значимость различных апостериорных доказательств, а не только тех двух, которые упоминает Кант. Имея доказательства в отчетливой форме, нам следует задаться вопросом являются ли они достаточными дедуктивными доказательствами, достаточными П-индуктивными доказательствами или достаточными 3-индуктивными доказательствами? Иногда сторонники таких доказательств не отдают себе отчета в том, являются ли эти доказательства дедуктивными или скорее индуктивными, не говоря о том, какого рода индуктивными доказательствами они скорее всего являются.

К сожалению, новейшей философии религии присуща одна характерная черта, а именно стремление трактовать доказательства бытия Бога изолированно друг от друга. Разумеется, не может быть никаких возражений против того, чтобы рассматривать каждое доказательство в его первоначальном виде, ради простоты изложения, в изоляции от других. Но очевидно, что эти доказательства могут поддерживать друг друга или, наоборот, друг друга ослаблять, и мы должны понимать, что именно они делают. Тем не менее, иногда философы рассматривают доказательства бытия Бога в отрыве друг от друга, объясняя это следующим образом космологическое доказательство не доказывает заключение, телеологическое доказательство не доказывает заключение, и т. д., и т. д., следовательно, все эти доказательства не доказывают заключение. Но в отношении этих доказательств принцип «разделяй и властвуй» недопустим. Даже если бы только один вид достаточного доказательства был сильным дедуктивным доказательством от истинных посылок, этот принцип был бы недопустим. Вывод от р к г может быть ошибочным, и другой вывод от q кг может быть ошибочным. Но, соединив оба аргумента, можно получить правильное дедуктивное доказательство: вывод от р и q к г может быть правильным. Вывод от «у всех студентов длинные волосы» к «у Смита длинные волосы» – неправильный вывод, а также неправильный вывод от «Смит студент» к «у Смита длинные волосы». Но вывод от «у всех студентов длинные волосы и Смит студент» к «у Смита длинные волосы» – правильный.

То, что доказательства могут как поддерживать, так и ослаблять друг друга, становится еще более очевидным, когда мы имеем дело с индуктивными доказательствами. Сами по себе, взятые по отдельности факты: окровавленные руки Смита; то, что он извлек выгоду из смерти миссис Джонс; то, что Смит находился поблизости от места убийства в тот момент, когда оно произошло, – едва ли свидетельствуют о том, что он убил миссис Джонс, но все эти обстоятельства, взятые вместе (а возможно, наряду с другими обстоятельствами), действительно могут сделать это заключение правдоподобным¹¹.

Для того чтобы рассмотреть этот кумулятивный эффект доказательств, я рассмотрю их последовательно одно за другим, начав с космологического доказательства, включая аргументы против существования Бога – аргументы от зла и от сокрытости, и поставлю вопрос о том, сколько посылок каждого доказательства добавляют или отнимают силу предшествующего доказательства. В качестве предварительного замечания к некоторым моим заключениям, я бы заявил, что некоторые из доказательств существования или несуществования Бога, которые я рассматриваю (ни по отдельности, ни вместе), не являются достаточными дедуктивными доказательствами. Разумеется, существуют, как я уже указывал, достоверные дедуктивные доказательства бытия Бога, но они опираются на посылки, которые далеко не являются общепризнанными. С другой стороны, я бы заявил, что большинство этих доказательств бытия Бога (взятых по отдельности или вместе) являются достаточными 3-индуктивными доказательствами, иными словами, их посылки повышают вероятность существования Бога, причем, некоторые из этих аргументов доказывают существование Бога гораздо более убедительно, чем другие. Я бы сказал, что аргумент от зла против существования Бога является достаточным 3-индуктивным доказательством с очень ограниченной силой и что аргумент от сокрытости против существования Бога не является достаточным 3-индуктивным доказательством. Однако ключевым будет вопрос о том, повышают ли все эти доказательства, взятые вместе, вероятность того, что Бог существует, обосновывается ли теизм соотношением всех этих релевантных свидетельств или нет. Проще говоря, мы должны действовать на основе гипотезы в меру ее достоверности, то есть мы должны руководствоваться ею в той мере, в которой она подтверждается всей совокупностью доступных нам свидетельств – всем, что мы знаем о мире, а не только какой-то ограниченной областью знания. Верующий человек утверждает, что весь его жизненный опыт осмысляется им через его религиозное мировоззрение, и скорее всего, неверующий человек скажет примерно то же самое о своем атеистическом мировоззрении. В последней главе я приду к заключению относительно того, подтверждает ли соотношение всех релевантных свидетельств теизм или нет. Я буду довольно краток, опровергая утверждение, что любой из этих аргументов, рассмотренный в отдельности, или все эти аргументы, взятые вместе, составляют достаточное дедуктивное доказательство. Я потому буду краток, что многие философы посвятили свои труды этому вопросу, но сегодня относительно немногие философы согласились бы с тем, что здесь необходимы именно достаточные дедуктивные доказательства. Наибольшее внимание я уделю рассмотрению индуктивной силы таких доказательств. Каждое доказательство я рассмотрю с точки зрения, является ли оно достаточным 3-индуктивным доказательством, но только после того, как будут рассмотрены все эти доказательства, я задам вопрос о том, составляют ли они, взятые вместе, достаточное П-индуктивное доказательство. Таким образом, что станет впоследствии очевидно, гораздо легче принять достаточное 3-индуктивное доказательство, чем достаточное П-индуктивное доказательство.

А теперь будет полезно ввести символы теории подтверждения, которые я буду время от времени использовать в следующих главах. Пропозиции я обозначаю строчными буквами, такими как e, h, p и q. P(p|q) означает вероятность p в случае события q. Так, например, p может обозначать пропозицию: «При следующем подбрасывании эта монета выпадет решкой», а q может обозначать пропозицию: «В 505 случаях из последних 1 000 подбрасываний этой монеты выпадала решка». Тогда P(p|q) означает вероятность того, что при следующем подбрасывании монета выпадет решкой, с учетом того, что в 505 случаях из последних 1 000 подбрасываний выпадала решка (значение P(p|q), таким образом, должно быть 0,505). Однако отношение между p и q может быть гораздо более сложным, и несомненно, обычно мы оцениваем вероятность утверждений об очевидности иначе, чем (или в дополнении к) вероятность утверждений об относительной частоте. Р может быть некоторой научной гипотезой, например, общей теорией относительности Эйнштейна, а q может быть совокупностью всех отчетов, фиксирующих данные наблюдений и экспериментов, которые проводятся учеными и относятся к этой теории.

Тогда P(p|q) означает индуктивную вероятность эйнштейновской теории относительности, данную по всей совокупности научных отчетов, относящихся к этой теории. Таким образом, индуктивную вероятность следует отличать от статистической вероятности, которая является свойством класса объектов (например, жители некоторого города, скажем, Танбридж-Уэлса), а также является мерой доли объектов внутри этого класса, которые имеют некоторый другой признак (например, голосовавшие за консервативную партию в 2001 г.). Вероятность голосования жителей Танбридж-Уэлса в 2001 г. за консервативную партию – это и есть та доля жителей Танбридж-Уэлса, которые проголосовали за консервативную партию в 2001 г. (в английском языке неопределенный артикль часто обозначает, что вероятность является статистической). Эти классы могут быть как классами реальных объектов (например, жители Танбридж-Уэлса), так и гипотетических объектов, то есть объектов, которые возникают в результате определенных процессов (например, подбрасывание монеты в течение долгого времени).

К тому же, индуктивную вероятность следует отличать от физической вероятности. Физическая (или естественная) вероятность события (равно как и высказывание, описывающее ее) – относится примерно к тому, в какой степени событие было предопределено его причинами. Событие, которое становится неизбежным ввиду всего предшествующего состояния мира, имеет физическую вероятность, равную единице – оно физически необходимо; событие, невозникновение которого предопределено с неизбежностью всем предшествующим состоянием мира, имеет физическую вероятность, равную нулю – оно физически невозможно. Событие имеет физическую вероятность между единицей и нулем в том случае, если его осуществление не предопределено, но и не невозможно, но предыдущее состояние мира склоняется в пользу его осуществления в той степени, которая определяется уровнем его вероятности: больший уровень вероятности означает большую степень возможности его осуществления¹². Физическая и статистическая вероятности могут сами определять данные, свидетельствующие в пользу того, что некая гипотеза индуктивно вероятна, или же другие данные могут сделать ее индуктивно вероятной в силу того, что сами имеют определенное значение.

Мое рассмотрение индуктивной вероятности связано с вопросом, каким образом вероятность q влияет на p, и совершенно не затрагивает вопросы о том, кто производит эти подсчеты, насколько он компетентен в этой области, а также какова степень его убежденности в доказательной силе q. Очевидно, что в науке и в истории, равно как и в других эмпирических исследованиях, мы полагаем, что существуют правильные способы оценки того, в какой степени некоторые данные подкрепляют (и подкрепляют ли вообще) некие гипотезы. Я представлю эти критерии в 3 главе. Для того чтобы подчеркнуть объективный характер степени P(p|q), которую я имею в виду, и отличить ее от доли подкрепляющих данных, характеризующих степень убежденности субъекта или отчасти характеризующих способность субъекта вычислить истинную долю подкрепляющих данных¹³, я в дальнейшем буду называть 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