Аннотация доклада профессора Лобовикова В.О. «Алгебра формальной этики и математические принципы естественной философии права»

The report presents novel nontrivial results of discrete mathematical modeling the natural ethics-and-jurisprudence known since antiquity. The investigation subject-matter is the proper algebraic aspect of the system of natural moral-legal laws as formal-axiological ones. In two-valued algebra of moral-legal actions, moral-legal-forms of complex actions are considered as moral-legal-value-functions, in the mathematical meaning of “function”. Moral-legal-forms of elementary actions are considered as moral-legal-value-arguments (of the functions). The functions and arguments take their moral-legal-values from the set {g (good}, b (bad)}. A precise algorithmic definition is given for the hitherto unclear concept “natural moral-legal law”, or which is the same, “formal-axiological law of algebra of natural morals and natural jurisprudence”. This strict definition presents an effective procedure by means of which for any moral-legal-action-form it is possible to decide whether it is a natural law or not. Effectiveness of this formal criterion is exemplified by computational demonstrating that the famous positive constitutional laws of separation of powers are formal-axiological laws of two-valued algebra of moral-legal actions which algebra is a discrete mathematical model of the natural jurisprudence-and-ethics in question. Also, effectiveness of the formal criterion is exemplified by computational demonstrating that annihilation of private property is equivalent to annihilation of society.