形式逻辑和数理逻辑是探究思维的两门学科。前者的理论基础主要是由古希腊学者亚里士多德建立，所以是传统的逻辑,当然后来也有发展，一般也可简称为逻辑学。现在一些专业要求思维更加缜密，于是结合专业的实际来教学逻辑，也就是专业逻辑课程。应用形式逻辑进行思维时主要用语言文字表达，由于语言文字的多义性，容易产生歧义。数理逻辑是用数学的方法研究思维，它是数学的一个分支学科。数理逻辑的理论主要是用确定的符号来表达的，它也更严密，更抽象。
其他的××逻辑就不是一门学科。而是上面两门学科的一些应用，考查（如法律逻辑、MBA逻辑）或指代。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024