The Logic of Historical Dialectics