Vindicating Gödel's uniting logic, metaphysics and theology

Abstract

Данная статья – репрезентативный пример работы в рамках одного из развивающихся на Урале направлений научного исследования философской теологии, а именно, – аналитической теологии, систематически использующей понятия и методы современной дискретной математики и символической логики. Например, в данной работе обоснование вездесущности Бога осуществляется «вычислением» соответствующей композиции ценностных функций в двузначной алгебре метафизики как формальной аксиологии.

God’s omnipresence proved by computing compositions of evaluation-functions in two-valued algebra of metaphysics as formal axiology.