逻辑矛盾和辨证矛盾怎样的区别

逻辑矛盾指的是形式逻辑， 1. 三段论逻辑是形式逻辑最早的分支，它研究的是A、E、I、O 4种形式的命题。20世纪以来已为它设计出多种公理基础。2. 模态逻辑是用来表达包含模态概念(“必然”、“可能”、“不可能”、“偶然”、“严格蕴涵”等)的那些法则的逻辑。构造这种逻辑的最直截了当的方法，是向某些标准的非模态系统中加进表示模态概念的新的初始算子。现已构造出大量的模态逻辑系统。模态逻辑中有效性的定义大多用到“可能世界”概念。3. 集合论是一种关于类的逻辑。它可以通过向某种形式的LPC中加进各种特殊的公理而被推导出来。集合论对于数学基础有重要意义。4. 关于数学的逻辑基础，有可能不依靠集合论而以一种逻辑系统的形式来建立算术。现在已经有了自然数算术的一个很适宜的公理系统。但是自然数算术却既不是可判定的，又不是可完备地公理化的。5. 广义地说，应用逻辑就是把逻辑原理应用于检验实际推理的有效性。为此有必要列举各种形式的常见的非有效的推理(逻辑谬误)。专门意义上的应用逻辑是指这样的逻辑系统，它把某个相对局限的思想或议论领域中的可靠的推理形式系统化。这类系统包括∶(1)道义逻辑(讨论“务须”、“允许”之类的道德概念)；(2)相对价值逻辑(讨论“较优于”)；(3)认知逻辑(知道逻辑和相信逻辑)；(4)时间关系逻辑(讨论“现在”、“将来”、“过去”、“永远”等)；(5)关于不能用蕴涵关系来分析的条件命题(如因果命题和反事实条件命题)的形式逻辑；(6)关于人们议论中各种非命题因素(如问题、命令、告诫、意向表示等)的形式逻辑。而辩证矛盾属于辩证逻辑，广义上指的是辩证法。形式逻辑只讲对立，不讲统一。如，A就是A，B就是B。而辩证逻辑的矛盾是指两者的对立统一，即A是A，但B中包含A，反过来也一样，强调两者的对立之外，还存在着相互依存、相互转化的倾向。