Главная / Архив журналов / №1 (38) / Аналитическая теология: дедуктивное доказательство теоремы о неразрешимости в логически формализованной аксиоматической теории Сигма формулы [Dx], представляющей в релевантной теистической интерпретации утверждение о бытии Бога
Для цитирования: Лобовиков В.О. Аналитическая теология: дедуктивное доказательство теоремы о неразрешимости в логически формализованной аксиоматической теории Сигма формулы [Dx], представляющей в релевантной теистической интерпретации утверждение о бытии Бога // Научный журнал «Дискурс-Пи». 2020. № 1 (38). С. 165–181. doi: 10.24411/1817-9568-2020-10112
https://dx.doi.org/10.24411/1817-9568-2020-10112
Цель исследования – точная формулировка и решение проблемы доказуемости или недоказуемости утверждения о бытии Бога, а также доказуемости или недоказуемости отрицания этого утверждения в некой формальной аксиоматической системе философской эпистемологии и аксиологии (общей теории ценностей). Методы исследования – логическая формализация (эпистемологии и аксиологии), математическое моделирование (формальной аксиологии), в особенности, построение и изучение дискретной математической модели формальной аксиологии – двузначной алгебраической системы ценностных функций. Результаты исследования: осуществлена логическая формализация философской эпистемологии и аксиологии, а именно, построена некая формальная аксиоматическая теория Сигма. Сформулированы точные определения синтаксиса и семантики искусственного языка этой теории, и дедуктивно доказана теорема о ее логической непротиворечивости. Формальная теория Сигма использована в аналитической теологии для логического анализа и решения дискуссионной философскобогословской проблемы доказуемости утверждения о бытии Бога. Научная новизна полученных результатов состоит из следующих трех частей. Во-первых, в статье впервые доказана теорема о логической непротиворечивости формальной аксиоматической теории Сигма. Во-вторых, в статье впервые предложено дедуктивное доказательство недоказуемости в формальной теории Сигма формулы [Dx], представляющей в релевантной богословской интерпретации теории Сигма утверждение о существовании Бога. В-третьих, в статье впервые предложено дедуктивное доказательство недоказуемости в формальной теории Сигма отрицания формулы[Dx], представляющего в релевантной атеистической интерпретации теории Сигма отрицание утверждения о существовании Бога.
Ключевые слова: формальная-теория, непротиворечивость-теории, неразрешимость-формулыв-теории, недоказуемость-утверждения-о-существовании-Бога, недоказуемостьотрицания-утверждения-о-существовании-Бога.
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.
Скачать статью: PDF
