一門以研究推理規律為核心內容並具有數學性質的工具性學科，即現代形式邏輯，亦稱符號邏輯。最嚴格意義下的數理邏輯，指純邏輯演算。廣義的數理邏輯還包括已成為數學分支的集合論、證明論、模型論和遞迴論。最廣義的數理邏輯，把各種非經典邏輯也包括在自己的範圍之內。（見數理邏輯史、形式邏輯）