客观世界的关系很复杂，有些符合形式逻辑的规则，有些不符合。这些关系是客观真实存在的，但是因为很复杂，所以我们无法准确认识，无法进行逻辑推导和预测，无法得到我们想要的结论。要想进行逻辑推导和预测，就必须对这些真实的关系进行简化，简化之后才能对观察、测量、化验的现象进行归纳、计算、统计和预测，这样就有了形式逻辑。所以形式逻辑的特征是简单有用但不客观真实。

我们每天都需要使用同一律、排中律、不矛盾律，每天都用形式逻辑推导出很多简单有用但不真实的结论。因为每天使用，习以为常，于是就不注意了，似乎没有做过任何简化，似乎所有的推理都是客观真实准确的。哲学家的主要任务就是发现这些被人忽视的东西。

对复杂内容进行简化早已变成了我们的思维定式，变成了先验的东西，似乎这种思维定式不需要检验。任何思想产品都需要在实践中检验，看它是否真的有价值。把真实具体的东西简单化的过程，不是我们的认识符合客观世界，而是让客观世界符合我们的认识，这就是康德所说的哥白尼式的革命。但康德没有用这种革命理论说明形式逻辑的本质。

黑格尔反对形式逻辑，他说：“不要把同一单纯认作抽象的同一，认作排斥一切差别的同一。”[1]黑格尔看到形式逻辑不客观，但他不懂得形式逻辑的价值。实际的客观事物之间包含矛盾，不符合形式逻辑。所以辩证逻辑否定了形式逻辑的规则，让语句之间包含矛盾，以便符合客观事物的特点。所以说，形式逻辑是语句之间不包含矛盾的理性关系规则。辩证逻辑是语句之间包含矛盾的理性关系规则。

参考文献：

[1]黑格尔.小逻辑[M].北京：商务印书馆，1980第2版：249.