Изучаются логические следствия гипотезы о том, что, в сущности, метафизика есть формальная аксиология, в частности формальная этика. В двузначной алгебре метафизики как формальной аксиологии дается точное табличное определение алетических модальностей как морально-правовых ценностных функций от двух ценностных переменных. В исследуемой алгебраической системе строго определяется отношение эквивалентности и генерируется список уравнений. Особое внимание уделяется алетической необходимости. Впервые точно формулируется и обосновывается (вычислением соответствующих ценностных таблиц) формально-аксиологический закон контрапозиции бинарной операции «необходимо» в двузначной алгебре метафизики.