83 В результате для скептиков резко зауживаются область возможного маневра – чтобы не быть голословными, они должны обратиться к конкретному обсуждению шести указанных аксиом-допущений, убедительными. Вот что пишет об этом сам Хэтчер: «Здесь необходимо подчеркнуть исключительно важную позитивную роль такого формализованного доказательства: его логика абсолютно безупречна. Любой человек, принимающий правильность самой логики, но возражающий против финального вывода, имеет единственный выход: отвергнуть одну из шести аксиом S.1-S.3 и P.1-P.3. Или, если сформулировать это предложение в позитивном смысле, для всех людей, принимающих истинность логики, дебаты о существовании Бога можно свести к обсуждению наших шести аксиом. Таким образом, можно сказать, что наше формальное доказательство «локализует» обсуждения существования Бога»14. Расширение логического доказательства У.Хэтчера на его область допущений Совершенство логического доказательства Хэтчера не вызывает сомнений. Однако при этом его нельзя назвать полным. В этом доказательстве область допущений Хэтчером максимально заужена (до шести аксиом, представляющихся весьма убедительными), но ведь все-таки остается. И сколько ни пытайся «заполнить» эту область исключительно в рамках непротиворечивой логики, окончательно это не удастся. Теорема Гёделя не позволит. Последовательные приближения к полноте доказательства (трансляции) на последнем шаге должны заканчиваться решающим сверхлогичным, парадоксальным скачком (трансформацией), однако в логическом доказательстве Хэтчера отсутствие парадоксальности (краевой логической противоречивости) как раз и закладывается в аксиомах. В частности, уже при анализе ДББ Аристотеля Хэтчером не допускается наличие противоречивости, связанной с нарушением принципа причинности: «…Немедленно мы предполагаем существование принципа причинности: «Всякий объект a либо обусловлен, либо не обусловлен, и не может быть тем и другим одновременно». Вместе с этим Хэтчер полагает необходимость отсутствия замкнутых цепей обусловленности: «Принципы причинности и транзитивности в совокупности означают, что не бывает замкнутых цепей обусловленности между различающимися объектами». Четко выражается неприятие краевой логической противоречивости и на завершающем этапе логического доказательства Хэтчера – при математической формализации доказательства Авиценны. которые, однако, представляются достаточно 14 У.Хэтчер. О доказательстве бытия Бога. Причинность, составные объекты и возникновение Вселенной. http://www.chupin.ru/library/Hatcher2causality.htm
84 Publizr Home