Объект исследования — фактически имевшая место в истории тесная связь теоретических систем (и одноименных учебных предметов), называвшихся «научный атеизм» и «научный коммунизм». Относительно объекта исследования существует следующая нетривиальная проблема: тесная связь атеизма и коммунизма — чисто случайное историческое событие или она вечный необходимо универсальный формально-аксиологический закон, инвариантный относительно любых исторических преобразований? Предмет изучения — собственно алгебраический аспект указанной пограничной научной проблемы. Задача и цель работы — дискретное математическое моделирование предмета изучения и дедуктивно обоснованный ответ на вышеупомянутый вопрос в двузначной собственно алгебраической системе естественной теологии как формальной аксиологии. Методы исследования — дискретное математическое моделирование и гипотетико-дедуктивный метод. Новизна результата исследования: впервые на стыке теоретических систем политической экономии и естественной теологии, строго дедуктивно (аккуратным «вычислением» композиций соответствующих ценностных функций) обоснована формально-аксиологическая эквивалентность ценностных функций «атеизм (чего, кого, чей) х» и «коммунизм (чего, кого, чей) х». Этим и другим обсуждаемым в статье ценностным функциям даны точные табличные определения. Любой заинтересованный читатель может самостоятельно перепроверить все публикуемые алгебраические уравнения, система которых образует дискретную математическую модель исследуемого предмета, так как в статье представлены все необходимые для этого средства. Ранее исследования на этом неожиданном пересечении естественной теологии, политической экономии и естественного права таким необычным методом никогда не проводились.
Предмет статьи – аналогия между алгебраической системой формальной логики и алгебраической системой формальной аксиологии. Цель – уточнение некоторых ранее опубликованных формулировок упомянутой системы и прояснение взаимоотношения между похожими, но различными понятиями «формально-логическое противоречие» и «формально-аксиологическое противоречие». Даны исправленные дефиниции ряда базовых терминов; установлена фундаментальная аналогия между алгебраической системой формальной логики и алгебраической системой метафизики как формальной аксиологии. Особое внимание уделено неожиданной аналогии между статусом самопротиворечия в алгебре формальной логики и статусом самоуничтожения (самоубийства) в алгебре формальной аксиологии: «самоубийство в ответ на то, что (по мнению самоубийцы) неприемлемо» есть формально-аксиологический аналог «формально-логического доказательства сведением противного к абсурду».