На уровне двузначной алгебры метафизики как формальной аксиологии изучается дискретная математическая модель формально-аксиологического аспекта системы богословско-метафизических взглядов Спинозы. Таблично определяются ценностные функции «бытие… с…», «бытие… без…» и др. Даются определения понятий: «закон метафизики как формальной аксиологии (положительная-ценностная-функция-константа)», «формально-аксиологическое противоречие (отрицательная-ценностная-функция-константа)», «формально-аксиологическая эквивалентность ценностных функций». С помощью «вычисления» соответствующих ценностных таблиц в двузначной алгебре метафизики как формальной аксиологии генерируются списки формально-аксиологических уравнений сложных композиций элементарных ценностных функций. При переводе этих уравнений с искусственного языка на естественный оказывается, что эти уравнения — адекватная модель «математической» теологии Спинозы.

At the level of two-valued algebra of metaphysics as algebra of formal axiology, a discrete mathematical model of the system of Spinoza’s theological-metaphysical views is studied. The evaluation-functions “…’s-beingwith-…”; “…’s-being-without-…” et al are defi ned by tables. Defi nitions are given to the notions: “law of metaphysics-as-formal-axiology (positive-evaluative-constant-function)”; “formal-axiological contradiction (negative-evaluative-constant-function)”; “formal-axiological equivalence of evaluation-functions”. By means of “computing” relevant evaluation-tables in two-valued algebra of metaphysics-as-formal-axiology lists of formal-axiological equations of complicated compositions of elementary evaluation-functions are generated. By translation from the artifi cial into the natural language the equations expose their being an adequate model of Spinoza’s “mathematical” theology.

Рукопись поступила в редакцию 20 августа 2017 г.