、语义学、 法律里，是研究人类思想推理的处理。在学习、推论统计学里，是研究最大可能的结论。主要是归纳推理、溯因推理。在电脑科学里， 是研究各种方法的性质，可能性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。从古文明开始（如印度、中国和希腊）都有对逻辑进行研究。在西方，亚里斯多德将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位子。
数学.数学是利用符号语言研究数量、结构、变化以及空间等概念的一门学科，从某种角度看属于形式科学的一种。数学透过抽象化