形式逻辑以思维形式及其规律和简单的逻辑方法为对象，虽然使用少量人工语言,但主要使用自然语言。

(日常语言) 。 形式逻辑是一般思维工具,比较一般化，只属于逻辑学。数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。