Dialectical dynamics within formal logics