什么是形式逻辑和辩证逻辑

形式逻辑是一种逻辑学的分支，研究基于形式规则的推理方式，它主要关注推理的形式结构，注重逻辑推理的形式正确性，以形式证明和演算为主要方法，以公理、定义、规则为基础，通过表格、符号的方式来表示逻辑结论的正确性。

而辩证逻辑则是以辩证法为基础的逻辑思维方式，它强调事物的矛盾性和发展性，注重推理的实际意义和意义合理性，以研究事物的发展规律和矛盾的解决方法为主要目的，以矛盾分析、过程论证和推理为主要方法，以多元化、相互依存、和谐统一的思维方式来分析问题。辩证逻辑与形式逻辑相比，更加注重问题的实质、深层结构和多面性，具有更强的创造性和应用性。

“形式逻辑——研究思维形式的结构及其规律的科学。它从形式结构方面研究词项（概念）、命题（判断）、和推理及其正确联系的规律。基本规律有同一律、矛盾律和排中律。它告诉人们如何正确地使用概念、判断和推理，才会使思维具有确定性、一贯性和论证性，从而帮助人们正确地认识对象和表达思想。形式逻辑从许多具体的、个别的思维形式中抽取出一般的逻辑形式和规律、规则。这些逻辑形式和规律、规则都是客观现实的反映。”

辩证逻辑——研究反映客观世界的辩证发展过程的人类思维的形态，亦即关于辩证思维的形式及其规律的科学。是人类思维的历史发展到自觉的辩证思维阶段的产物。中国古代和古希腊的思想家对辩证思维已有初步的研究。19世纪初德国哲学家黑格尔首次建立了一个唯心主义的辩证逻辑体系，但不乏合理的因素。19世纪40年代马克思主义哲学产生后，逐步形成了科学的辩证逻辑。唯物辩证法的根本规律——对立统一规律，也是辩证逻辑的根本规律。（《辞海》）