Изложение формализованной версии доказательства существования Бога



Дата11.07.2014
Размер30.1 Kb.
ТипДокументы

Краткое изложение формализованной версии доказательства существования Бога


Тем, кому знакома формальная логика, мы представляем более формальное пошаговое изложение нашего доказательства. Начнем с ясного заявления того, что мы пытаемся доказать.

Искомый результат. Существует уникальная несоставная сущность G, которая является всеобщей причиной. Говоря, что G является всеобщей причиной, подразумеваем в точности, что для каждого существующего феномена А верно G А.
Шаг первый, определение глобального феномена V.

Определение V. V является вселенной (сочетанием) всех существующих вещей. Таким образом, каждая сущность А является компонентом V, А V.

Комментарий определения V. Поскольку V есть собрание всех элементов, значит для того, чтобы быть объектом, следует быть компонентом V. Иными словами, быть объектом означает быть компонентом V.

Таким образом, V представляет собой совокупность всех компонентов всех существующих систем. Поэтому все компоненты А любой системы В являются компонентами V. Но это означает, что каждый составной феномен В является подсистемой системы V, В V. Тогда каждый феномен В будет являться либо сущностью (и тем самым компонентом V, В V), либо подсистемой V, В V. При этом справедливо, что V V, то есть V является подсистемой самой себя (хотя, конечно, не является своим компонентом). Тогда V будет представлять собой пример составной системы, не являющейся сущностью.


Шаг второй: каков статус V по отношению к причинности?
Теорема 1. V не самообусловлен. (V не является причиной самого себя.)

Доказательство.

Зададимся вопросом: Может ли V быть самообусловленным, т. е. V V?

Доказывая от противного, предположим, что может, т. е. пусть V V. Тогда по принципу потенциальности имеем V А, где А есть некоторый произвольный компонент V. Но это противоречит принципу ограничения, который утверждает, что никакой составной феномен не может быть причиной никакой из своих компонентов.

Но откуда мы знаем, что V действительно имеет компоненты, т. е. является составным? Давайте теперь предположим, что у V нет компонентов. Но тогда не будут существовать объекты и поэтому не будет непустых систем, поскольку все компоненты систем, по определению, являются объектами. Но из прямого наблюдения мы знаем, что непустые системы действительно существуют (примером такой системы может служить лист бумаги, который вы имеете сейчас перед собой). Таким образом, V не самообусловлен.


Следствие из теоремы 1.

Принцип достаточной причины утверждает, что каждый феномен должен быть либо самообусловен, либо обусловлен извне. Поскольку V не является самообусловленным, то он должен быть обусловлен некоторым феноменом G, G V. Но выше мы уже убедились в том, что каждый феноменявляется либо компонентом, либо подсистемой V.

Поэтому сам G является либо подсистемой, либо компонентом V, G V, G V. Тогда G является самообусловленным и поэтому не может быть составным в соответствии с доказательством, которое было приведено выше для того, чтобы показать, что V является составным и, следовательно, несамообусловденным.

Таким образом, G есть несоставной феномен и поэтому является объектом. Далее, поскольку каждый существующий феномен В является либо компонентом, либо подсистемой V, то по принципу потенциальности опять получаем, что G B. Тогда G является несоставной самообусловленной универсальной причиной. Теперь осталось только доказать, что G единственен.

Предположим, что существует другая универсальная причина G’. Тогда G G’, поскольку G есть универсальная причина. Но G’ тоже является универсальной причиной и поэтому самообусловленной причиной. Таким образом, G’ не может быть обусловленным извне (по принципу достаточной причины). Тогда G, являющееся причиной G’, обязано быть самим G’. Что и требовалось доказать. (В действительности мы доказали, что G является единственным существующим самообусловленным феноменом.)


Заключительные замечания.

Заметим, что в нашем доказательстве был использован каждый из трех сформулированных выше логических принципов. Единственный использованный здесь принцип, не являющийся чисто логическим, состоит в том, что мы исходили из факта существования чего-либо. Тем самым мы фактически доказали, что если что-либо существует, то Бог (универсальная необусловленная причина) тоже существует.

Похожие:

Изложение формализованной версии доказательства существования Бога iconДоказательства существования бога
Если Бог существует, следовательно, существует разум, определяющий существование Бога
Изложение формализованной версии доказательства существования Бога icon"Доказательства" бытия Бога
Фома Аквинский подразделяет истины откровения на два рода: истины, доступные разуму, и истины, выходящие за пределы его познавательных...
Изложение формализованной версии доказательства существования Бога iconЛекция Основные доказательства бытия Бога
Пивоваров Д. В. Философия религии. Курс лекций. Часть первая. Лекция Основные доказательства бытия Бога
Изложение формализованной версии доказательства существования Бога iconОнтологическое доказательство бога в XVII веке
Проблема философского и религиозного доказательства бога в системе воззрений спинозы и лейбница 30
Изложение формализованной версии доказательства существования Бога iconДоказательства бытия Бога Ансельма и Фомы: за и против
Онтологический аргумент Ансельма. Можно ли представить Бога несуществующим? Возражения Гаунило и ответ Ансельма
Изложение формализованной версии доказательства существования Бога iconВ. К. Финн Своевременные замечания о дсм-методе автоматического порождения гипотез §1 Строение дсм-метода Подробное изложение
Целью дсм-метода является извлечение причинно-следственных зависимостей из базы фактов (БФ) с использованием базы знаний (БЗ) посредством...
Изложение формализованной версии доказательства существования Бога iconЭволюция управленческой мысли. Основные подходы к развитию теории и практики управления
Ы сведения о коммерческих сделках и законах древней Шумерии, являя собой, четкое доказательство существования там практики управления...
Изложение формализованной версии доказательства существования Бога iconВопросы для подготовки к экзамену по математической логике (2 семестр)
Доказательства и теоремы ив, равносильность линейного доказательства и доказательства в виде дерева
Изложение формализованной версии доказательства существования Бога iconБог Существование Бога
Все это, несомненно, находит отражение в жизни человека, который называет себя атеистом. В связи с этим, становится понятно, почему...
Изложение формализованной версии доказательства существования Бога iconХудиев С. Л. Бритва Оккама: о благоразумном обращении с холодным оружием
В нашем случае это описание комнаты без упоминания невидимой феи. Таким образом, может сказать атеист, моё отрицание существования...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org