Кант выдвинул троякую классификацию доказательств бытия Бога, которая надолго стала основной и влияние которой, на мой взгляд, было далеко не благотворным на последующие дискуссии по этому вопросу. Он писал:
Возможны только три способа доказательства бытия Бога, исходя из спекулятивного разума. Все пути, по которым можно следовать с этой целью, или начинаются с определенного опыта и познанной им особой природы нашего чувственно воспринимаемого мира, восходя от нее по законам причинности до высшей причины, находящейся вне мира, или эмпирически полагают в основу лишь неопределенный опыт, т. е. какое-нибудь существование [вообще], или, наконец, отвлекаются от всякого опыта и исходя из одних лишь понятий приходят совершенно a priori к существованию высшей причины. Первое доказательство называется физикотеологическим, второе – космологическим, а третье – онтологическим. Других доказательств нет и не может быть10.
Различия здесь проведены на уровне природы посылок. Если вы начнете с некоей абстрактной истины – получите онтологическое доказательство; начнете с «существования вообще» – получите космологическое доказательство; начнете с подробностей того, что Кант называет «определенным опытом» существования вещей в мире – получите физико-теологическое доказательство.
Причина, по которой я утверждаю, что влияние кантовского учения было далеко не благотворным на дискуссии по этому вопросу, состоит в том, что Кант предполагал, что может быть только одно доказательство каждого типа, тогда как совершенно очевидно, что в каждой рубрике может быть много разных доказательств, причем настолько отличных друг от друга, что назвать их формами одного и того же доказательства было бы совершенно неправильно. Например, нет оснований полагать, что все доказательства существования Бога, в которых посылки в некотором смысле являются абстрактными истинами, обязательно должны сводиться к онтологическому доказательству в его традиционной форме. Более того, нет оснований полагать, что все доказательства от опыта существования вещей в мире обязательно должны иметь форму того доказательства, которое Кант называл «физикотеологическим», а другие называют «телеологическим» доказательством. Последнее доказательство может иметь много форм. Например, оно может