Natural Legal Law as Mathematics of Freedom (Four Mathematically Different Moral-Legal- Value-Functions “Freedom” and Four Ones “Slavery” Defined Precisely in Two-Valued Algebra of Formal Axiology of Ethics and Jurisprudence)

The article is aimed at extracting and investigating proper algebraic aspect of the natural legal law system. The metaphorical meaning of the sentence “Law is mathematics of freedom” is transformed into literal one of exact language of rational philosophy of natural legal law. The word “freedom” is recognized as a homonym having exactly four formal-axiological meanings which are nothing but moral-legal-valuefunctions determined by one moral-legal-value-argument (in the proper mathematical meaning of the words “function” and “argument”). The four functions called “freedom” and the corresponding four functions called “slavery” are precisely defined by tables. Lists of formal-axiological equations of two-valued algebra of natural law-and-morals are generated. The lists make up a discrete mathematical model of the system of natural morals-and-law concerning “freedom” and “slavery”. Within the framework of submitted two-valued algebra of natural law-and-morals, interconnections between natural legal law and natural theology are addressed in general and the nontrivial question “Is God’s slave a slave?” is explicated and answered especially. 

Keywords: two-valued-algebra-of-formal-axiology; moral-legal-value-function; formalaxiological-equivalence; formal-axiological-contradiction; ethics; freedom; slavery; natural-law; natural-theology; formal-axiological-law