The Formalization of Dialectics