分类：教育/科学-学习帮助
问题：数理逻辑和普通逻辑有哪写区别 
回答：逻辑是一门古老的学科，应该有两千多年的历史了。分两大类：形式逻辑和辩证逻辑。数理逻辑是形式逻辑发展的一个重要分支，数理逻辑的发展又分出模态逻辑，多值逻辑，模糊逻辑等等分支。数理逻辑现已成为独立学科，但它仍是形式逻辑的一个分支，它不能代替形式逻辑。普通逻辑是相对于辩证逻辑而言的。在辩证逻辑体系创立之后，康德把以前的逻辑称为形式逻辑，您所说的普通逻辑实际上就是形式逻辑。形式逻辑（也就是您所说的普通逻辑)的奠基人是古希腊家亚里士多德，创立于两千多年前。辩证逻辑发展于十八世纪—十九世纪，黑格尔首次建立了唯心主义的辩证逻辑体系，对辩证逻辑的创建起了巨大作用。数理逻辑产生于近代，德国数学家和哲学家莱布尼茨首次把数学方法引入逻辑领域，成为数理逻辑的早期奠基人。后来，弗雷格等人对数理逻辑作了进一步研究，建立了数理逻辑这一学科。区别：形式逻辑是干，数理逻辑是支。形式逻辑的基本规律是同一律、矛盾律和排中律。数理逻辑是用数学方法研究推理、证明。它的主要内容是：命题演算、谓词演算、递归论、证明论、集合论和模型论等。形式逻辑表现形式较简单，数理逻辑在形式化方面比形式逻辑更丰富，更复杂。形式逻辑在符号使用上较简单，数理逻辑则大量的使用符号，它不仅变项用符号，而且逻辑概念也用符号表示。它运用符号把概念、命题（判断）抽象为公式，把命题间的推理抽象为公式间的关系，并使推理转化为公式的推演。因此它使用了较多的符号，所以数理逻辑有人也把它称为符号逻辑。