更好地比较辩证逻辑与形式逻辑