行研究。在西方，亚里斯多德将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位子。
数学.数学是利用符号语言研究数量、结构、变化以及空间等概念的一门学科，从某种角度看属于形式科学的一种。数学透过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察而产生。数学家们拓展这些概念，为了公式化新的猜想以及从选定的公理及定义中建立起严谨推导出的定理。
计算理论.为了对计算进行严谨的研究，电脑科学家会将计算以数学的方式抽象化，称为计算模型。Secti