Предположение 2. Если Всемогущество (Бог) есть.

Храбров И.Н. Формально-логическое обоснование невозможности доказательства бытия и небытия Бога. 15.03.2016

Предположения в форме аксиом бытия Бога (Всемогущества) и небытия Бога (Всемогущества).

Согласно Википедии гипо́теза (др.-греч. ὑπόθεσις — предположение^[1]; от ὑπό — снизу, под + θέσις — тезис) — предположение^[2] или догадка; утверждение, предполагающее доказательство, в отличие от аксиом, постулатов, не требующих доказательств. Поскольку мы собираемся говорить об области, которая не предполагает наличие проверки, то мы будем использовать метод таких предположений, который называется аксиомой.

2. Самоочевидное определение: всемогущество – это возможность осуществить всё без исключения.

Предположение 1. Если Всемогущества (Бог)а нет.

2.1.1. Большая посылка: Всемогущество то возможность осуществить всё, если оно есть.

2.1.2. Малая посылка: Спрятать себя это часть всего, что может всемогущество, однако мы предположили что его нет.

2.1.3. Вывод: исходя из нашего предположения всемогущество не может спрятать себя, несмотря на то, что оно может всё, потому что его нет.

Предположение 2. Если Всемогущество (Бог) есть.

2.2.1. Большая посылка: Всемогущество – это возможность осуществить всё, если оно есть.

2.2.2. Малая посылка: Спрятать себя это часть всего, что может всемогущество, и мы предполагаем что оно есть.

2.2.3. Вывод: Если всемогущество есть, оно может спрятать себя так, чтобы его никто никогда не нашёл, так как возможность спрятать себя это часть всего, что может всемогущество.

2.3. Формализация силлогизма:

2.3.1 Средний термин вывода и малой посылки: «спрятать себя это часть всего».

2.3.2. Простой категорический силлогизм выглядит: если А есть Б, а Б есть С, то А есть С.

2.3.3. А – возможность всемогущества осуществить всё;

Б – спрятать себя это часть всего;

С – всемогущество может спрятать себя, потому что спрятать себя это часть всего.

В данном умозаключении А есть Б, потому что Б часть А, Б есть С, потому что Б это часть С, А есть С, потому что С содержит и А и Б. Это вывод в форме простого категорического силлогизма, который является основой формальной логики.

Главный вывод.