Философская теология: дизайнерские фасеты

Здесь все признаки правильного с формальной точки зрения простого категорического силлогизма, однако посылка (2) обнаруживает признаки классической ошибки petitio principi, которая называется «предвосхищением основания вывода», а в индийской логике обозначалась как sādhyasama — «равное доказываемому». В самом деле, требуется как раз доказать, что целесообразность «некоторых вещей в природе» никак не может быть объяснена природными причинами, а здесь то, что нуждается в доказательстве, трактуется как само доказательство. Этот пример был приведен не случайно. Во-первых, телеологическое обоснование существования Бога — одно из самых сильных в распоряжении теиста. Во-вторых, оно наглядно показывает, что неприятие этого обоснования, при всей его силе, не ведет к противоречиям и абсурду (каковые имеют место при реальных дедуктивных умозаключениях — таких, как неприятие того, что Кай — как человек — смертен или того, что медь — как металл — должна быть теплопроводником). А потому то, что теологическое обоснование никак не проходит в содержательно правильные дедуктивные доказательства, говорит о многом. Но я не помню, чтобы кто-то из современных западных теологов с именем, кроме Дейла Ретша, попытался его сформулировать как дедуктивный (индийские теисты, правда, это делали[85]). Другие обоснования, считающиеся «самыми основными» (см. выше) — онтологическое и космологическое — относят к дедуктивным гораздо чаще (первое — практически всегда). Но и к их посылкам применима «нейтрализация» через обнаружение все того же принципа petitio principi, притом (если это, конечно, можно измерять) еще в большей мере, чем в случае с обоснованием телеологическим. Так же будут выглядеть и обоснования второго ряда (начиная с этического), если их записывать силлогистически. Из этого с большой вероятностью следует, что мы вряд ли найдем хотя бы одно теистическое обоснование, которое можно было бы назвать убедительным дедуктивным доказательством (говоря совсем осторожно, пока они еще не проявились).

Индуктивные умозаключения отличаются от дедуктивных тем, что истинность заключения в них не следует с необходимостью из истинности посылок и они могут быть поэтому только более или менее вероятными, и именно поэтому не все логики готовы их признавать доказательствами в том же смысле, как дедуктивные. Но умозаключения, считающиеся индуктивно сильными, считаются индуктивными доказательствами. Приводя снова актуальный умозрительный пример, можно выстроить индуктивно сильное умозаключение следующего типа:

1) Жан-Клод Реньяр является убежденным противником ближневосточной эмиграции и контроля Евросоюза над Францией;

2) он голосовал в первом туре на региональных выборах 2015 г. в Кале;

3) 90 % избирателей с его взглядами в Кале отдали свои голоса «Национальному Фронту»;

4) следовательно, Жан-Клод Реньяр голосовал на этих выборах за «Национальный фронт».

Очевидно, что заключение из этого умозаключения относится к классу индуктивно сильных, но не аподиктических: Жан-Клод Реньяр мог отдать свой голос и «республиканцам», а то, совсем расслабившись духом, и социалистам.