Все пять доказательств Аквинского имеют некоторые спорные моменты в доводах аргументации, по причине которых большинство философов считают данные доказательства лишь гипотетическими. Так, например, великий Кант считал, что в первую очередь сложность достоверного вывода здесь заключается в том, что те суждения, которые положены в основание этих доказательств, не являются аподиктическими (необходимыми). Так как конструкция данных доказательств бытия Бога построена на проблематических и ассерторических суждениях (по трансцендентальной логике Канта), то становится возможным отрицание данных доказательств, построенных на тех же видах суждения. Отсюда – проблема антиномии (неразрешимого противоречия). Основные виды космологических антиномий можно найти в "критике чистого разума И. Канта.

С точки зрения формальной логики, данные доказательства Ф.Аквинского являются неправомерными, т.к. нарушают один из основных ее законов – закон достаточного основания. Те основания к доказательствам, которые приводит в своих рассуждениях Аквинат, не являются достаточными для того, чтобы из них выводить достоверные умозаключения о существовании Бога. Поэтому данные доказательства имеют право считаться лишь гипотетическими.

Но помимо трансцендентальной и формальной логик существует еще логика диалектическая. Очень часто то, что считается неправомерным для трансцендентальной и формальной логик, – не считается таковым для диалектической логики. Напомню, что Гегель, в отличие от Канта, принимал существующие доказательства бытия Бога 4 . Жизнь достаточно иррациональна, чтобы уместиться в объяснениях формальной и трансцендентальной логик. Поэтому появилась на свет диалектическая логика, которая оказалась более компетентной в метафизических вопросах, чем, указанные выше, две ее сестры. Силу диалектики почувствовали еще некоторые из философов Древней Греции (Гераклит, Платон). Гегель же довел их дело до совершенства.

Некоторые из современных философов (например, К. Поппер, В.А. Смирнов) утверждают невозможность построения диалектической логики. Основной их аргумент, как правило, сводится к следующему: недопустимо нарушение закона противоречия в наших рассуждениях, т.к. это ведет к тому, что из двух противоречивых мыслей следует все что угодно, т.е. совершенно произвольный вывод. Этот аргумент попытался доказать в своей небольшой работе "Что такое диалектика?" Карл Поппер. Подобные, притязания можно было бы признать за правомерные, если бы не одно "но". Предметом изучения диалектической логики является мышление в процессе развития. Формальная же логика данный аспект мышления оставляет в стороне, точнее она оказывается некомпетентной в данном вопросе. Таким образом, в компетентность диалектической логики входит то, что не является компетентностью формальной логики (например, апории, антиномии, парадоксы и т.д.) и наоборот, в компетентность формальной логики входит то, что не является компетентностью диалектической логики. Поппер приходит к якобы убедительным выводам только потому, что принципами формальной логики хочет объяснить то, что может быть объяснено только принципами диалектической логики. Если пользоваться аналогией, то Поппер решил полететь в небо на подводной лодке. Из нелепых действий получаются и нелепые последствия: Поппер в своих рассуждениях приводит к выводу, что "из двух противоречащих посылок можно вывести любое заключение" 5 . Правда, в одном месте он все же мельком оговаривается о том, что существует система логики дуальная интуиционистской, в которой из противоречащих друг другу высказываний не следует какое угодно высказывание. Но Поппер утверждает, что, по его мнению, "подобная система совершенно непригодна для вывода заключений" 6 . Возможно, это так и есть, точнее – это на самом деле так и есть, потому что есть случаи, когда мысль Человека, опирающегося на законы строгого формального рассуждения, приходит к безысходности, а порой и к абсурду. В подобных случаях (хотя и не единственно подобных) приходит на помощь диалектическая логика. Странно, что у такого авторитетного философа, как Поппер, не хватило силы ума, чтобы придти в своих логических изысканиях к подобному выводу. Еще более странным является то, что известный и видный мыслитель приходит к совершенно противоположному выводу: "считать диалектику частью логики почти столь же неуместно, как и считать частью логики, скажем, теорию эволюции" 7 . Правда, от диалектики как теоретического метода Поппер отказываться не собирается, хотя и предлагает им пользоваться лишь в исключительных случаях (например, когда компетентность теоретического метода проб и ошибок окажется исчерпана). Это, очевидно, происходит оттого, что целесообразность диалектики не может быть уничтожена, т.к. это быстро приведет к застою в научном познании действительности. Единственно, что я признаю за правомерное в статье Поппера – так это критику догматизма в современной диалектике. Сегодня мы достаточно хорошо убеждены в том, что возведение какой-либо одной теории в ранг религии науки чревато печальными последствиями. Это касается, в том числе, и диалектики.