The paper submits a formal-axiological interpretation and discrete mathematical simulation of Plato’s metaphysics of love. Three forms of love - «love proper», «heavenly (ideal, infinite) one» and «common, vulgar, terrestrial (finite) one» are precisely defined and systematically studied as somewhat different evaluation-functions in the two-valued algebra of formal axiology. Specific conditions of a formal-axiological equivalence of all the three forms of love are precisely defined by a law of contraposition of the binary operation «love» in the two-valued algebra of formal ethics.
Статья посвящена формально-аксиологической интерпретации и дискретной математической модели метафизики любви Платона, точнее, его учения о двух Афродитах и двух Эротах. Три ценностные формы любви - «любовь (настоящая, истинная)», «любовь небесная (идеальная, бесконечная)» и «любовь земная (конечная)» точно определяются и систематически рассматриваются как в чем-то различные ценностные функции от двух ценностных переменных в двузначной алгебре формальной аксиологии. На уровне математической модели устанавливается, что в формально-аксиологическом отношении первые две из рассматриваемых ценностных функций тождественны друг другу и отличны от третьей. Но это отличие не является противоположностью в указанном отношении: при некоторых точно определенных специфических условиях в этом отношении все три ценностные формы любви эквивалентны. Условия формально-аксиологического тождества всех трех форм любви точно определяются в статье законом контрапозиции бинарной операции «любовь» в двузначной алгебре формальной этики. Это дает возможность по-новому взглянуть на соответствующие места в диалогах «Пир» и «Федр».