数理逻辑，形式逻辑是研究某个形式语言的有效推论。主要是演绎推理。 在辩证法中也会学习到逻辑。数理逻辑是研究抽象逻辑关系和数学基本的问题。在心理、脑科学、语义学、法律里，是研究人类思想推理的处理。在学习、推论统计学里，是研究最大可能的结论。主要是归纳推理、溯因推理。在电脑科学里， 是研究各种方法的性质，可能性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。从古文明开始（如古印度、古中国和古希腊）都有对逻辑进行研究。在西方，亚里斯多德将逻辑建立成一门正式的学科，并在哲学中给予它