Historical-Dialectical Formal Sciences view 1