Historical-Dialectical Formal Sciences view 3