[82].
Что следует понимать под доказательствами как таковыми, представляется довольно очевидным для «пользователя»: это такая операция рациональной мысли, при которой из определенных посылок выводятся определенные заключения при наличии неоспоримого эксплицитно выраженного или подразумеваемого обоснования. Правда, критерии доказательств в различных науках разнятся, и ближайший пример тот, что в классической логике и математике они отличаются от таковых в неклассических (например, в интуиционистских) в силу того, что в одном случае принимается закон исключенного третьего и другие традиционные аксиоматические основоположения, а в другом — нет. Но для наших целей мы можем от них абстрагироваться, так как для теологии (опирающейся на классическую логику) эти различия большого значения не имеют. Имеет значение сама модальность доказывания, которое следует мыслить как обоснование твердое, несомненное или, как это раньше называли со времен Аристотеля, аподиктическое, т. е. имеющее не просто приемлемое, но принудительное значение для разума. И если мы имеем дело с доказательством реальным, то при нем каждое рациональное существо должно с неизбежностью принять определенные следствия из определенных посылок, если оно, конечно, понимает их смысл.
А для того, чтобы выяснить, в какой мере и в каком смысле теистические обоснования можно считать доказательствами или имеющими именно доказательную силу, следует прежде всего решить, подходят ли они под одну хотя бы значительную разновидность тех умозаключений, которые не всегда отделяются в аналитической философии от доказательств[83]. Основных этих разновидностей в настоящее время признается две — дедуктивные и индуктивные, — к которым иногда добавляют (но только иногда) и какую-нибудь третью, например, доказательства кондуктивые (нередко та или иная третья разновидность считается подвидом индукции).
Критерию аподиктичности в строгом смысле соответствуют только первая разновидность, так как заключения в дедуктивных умозаключениях полностью содержатся в посылках и следуют из них с необходимостью, а потому, если посылки истинны, то и заключение из них гарантированно истинно. Дедуктивные умозаключения обычно делят на правильные формально (valid) и правильные содержательно (sound). Объем первого класса шире объема второго. Например, к первому классу можно отнести и такое абсурдное умозаключение, как: 1) все горожане — китовидные дельфины; 2) петербуржцы — горожане; 3) следовательно, они — китовидные дельфины. Разумеется, абсурдной является посылка (1). Ко второму классу относится умозаключения и с содержательно правильными посылками, такие, как: 1) все братья — лица мужского пола; 2) Сергей — брат; 3) следовательно, он — лицо мужского пола. Чаще всего дедуктивные умозаключения, как и в приведенных случаях, используются для атрибуции определенной родовой характеристики виду этого рода или отдельному экземпляру. Но не только. Очень современное по «материи» умозаключение типа: 1) Петр может быть счастлив тогда и только тогда, когда зарабатывает много денег; 2) сейчас он не зарабатывает много денег; 3) следовательно, сейчас он несчастлив — также относится к дедуктивным.
Теистические обоснования к дедуктивно правильным доказательствам относиться не могут. Так, например, известный аналитический философ и теолог Дейл Ретш совсем недавно предложил считать, что знаменитый телеологический аргумент можно записать и как дедуктивный:
1) некоторые вещи в природе (или и сама природа, космос) обнаруживают признаки замысла;
2) признаки замысла не могут продуцироваться или даже направляться самими природными факторами;
3) следовательно, некоторые вещи в природе (или и сама природа, космос) продуцированы разумным замыслом и, конечно, он требует соответствующего Актора[84].
Здесь все признаки правильного с формальной точки зрения простого категорического силлогизма, однако посылка (2) обнаруживает признаки классической ошибки petitio principi, которая называется «предвосхищением основания вывода», а в индийской логике обозначалась как sādhyasama — «равное доказываемому». В самом деле, требуется как раз доказать, что целесообразность «некоторых вещей в природе» никак не может быть объяснена природными причинами, а здесь то, что нуждается в доказательстве, трактуется как само доказательство. Этот пример был приведен не случайно. Во-первых, телеологическое обоснование существования Бога — одно из самых сильных в распоряжении теиста. Во-вторых, оно наглядно показывает, что неприятие этого обоснования, при всей его силе, не ведет к противоречиям и абсурду (каковые имеют место при реальных дедуктивных умозаключениях — таких, как неприятие того, что Кай — как человек — смертен или того, что медь — как металл — должна быть теплопроводником). А потому то, что теологическое обоснование никак не проходит в содержательно правильные дедуктивные доказательства, говорит о многом. Но я не помню, чтобы кто-то из современных западных теологов с именем, кроме Дейла Ретша, попытался его сформулировать как дедуктивный (индийские теисты, правда, это делали[85]). Другие обоснования, считающиеся «самыми основными» (см. выше) — онтологическое и космологическое — относят к дедуктивным гораздо чаще (первое — практически всегда). Но и к их посылкам применима «нейтрализация» через обнаружение все того же принципа petitio principi, притом (если это, конечно, можно измерять) еще в большей мере, чем в случае с обоснованием телеологическим. Так же будут выглядеть и обоснования второго ряда (начиная с этического), если их записывать силлогистически. Из этого с большой вероятностью следует, что мы вряд ли найдем хотя бы одно теистическое обоснование, которое можно было бы назвать убедительным дедуктивным доказательством (говоря совсем осторожно, пока они еще не проявились).
Индуктивные умозаключения отличаются от дедуктивных тем, что истинность заключения в них не следует с необходимостью из истинности посылок и они могут быть поэтому только более или менее вероятными, и именно поэтому не все логики готовы их признавать доказательствами в том же смысле, как дедуктивные. Но умозаключения, считающиеся индуктивно сильными, считаются индуктивными доказательствами. Приводя снова актуальный умозрительный пример, можно выстроить индуктивно сильное умозаключение следующего типа:
1) Жан-Клод Реньяр является убежденным противником ближневосточной эмиграции и контроля Евросоюза над Францией;
2) он голосовал в первом туре на региональных выборах 2015 г. в Кале;
3) 90 % избирателей с его взглядами в Кале отдали свои голоса «Национальному Фронту»;
4) следовательно, Жан-Клод Реньяр голосовал на этих выборах за «Национальный фронт».
Очевидно, что заключение из этого умозаключения относится к классу индуктивно сильных, но не аподиктических: Жан-Клод Реньяр мог отдать свой голос и «республиканцам», а то, совсем расслабившись духом, и социалистам.
Некоторые очень авторитетные аналитические философы, например, Ричард Суинберн, убеждены в том, что все без исключения валидные обоснования существования Бога — даже космологическое — относятся к сильным индуктивным умозаключениям и, соответственно, и к индуктивным доказательствам[86]. Большинство считают, что если и не все, то уже рассмотренное телеологическое обоснование точно относится к ним. Действительно, это обоснование (о космологическом речь пойдет ниже), прежде всего в его наиболее сильной версии — теории тонкой настройки — гораздо больше похоже на индукцию, чем на дедукцию. Но из того, например, что и люди гораздо больше похожи на обезьян, чем на рыб, еще не вытекает (вопреки массовой квазинаучной идеологии), что они являются разновидностью обезьян. Ведь индуктивные доказательства применимы к статистическим, эмпирическим явлениям, когда вероятность опции А сопоставляется, на основе сопоставления закономерностей, с вероятностью опции В. В случае же с опцией из двух возможностей — за и против признания разумного замысла в мире — мы имеем дело не с выбором из однородных эмпирических возможностей, а с выбором совсем иного порядка — с мировоззренческим, который, конечно, опирается и на интеллектуальную интуицию и на рациональные аргументы, но не на исчисления. Поэтому некоторые атеисты, вопрошающие о том, кто смог промерить как бесконечно малую возможность спонтанной констелляции физических констант после Большого взрыва, необходимой для возникновения жизни и разума во вселенной, задают вопрос правомерный, а обоснование этой бесконечно малой возможности такими аналогиями, как возможность спонтанной координации между закономерностями выпадения определенных чисел во всех казино Монте-Карло[87], есть не столько вероятностная модель, сколько метафора. Проблематично и обоснование тонкой настройки вселенной через теорему Байеса, которое настойчиво продвигает Р. Суинберн[88]: она применяется прежде всего к таким «эмпирическим ситуациям», как желание определить, чем может быть больше обусловлена незапланированная остановка автомобиля — иссякновением бензина в его баке или неисправностью аккумулятора, или кто из нескольких подозреваемых в совершении определенного проступка больше других по объективным данным должен вызывать подозрение, тогда как здесь мы имеем дело с реальностью сингулярной и отнюдь не эмпирической, а трансцендентной. Применение же индуктивного метода к другим обоснованиям существования Бога еще более проблематично.
Кондуктивные умозаключения начали вводить в класс доказательств совсем недавно и не совсем уверенно. А именно, после публикации седьмого издания монографии Т. Говьера по аргументации (2010)