数理逻辑

---

❶ 也叫“符号逻辑”、“现代形式逻辑”。一门以研究推理规律为核心内容并具有数学性质的工具性学科。一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学的工具和具体结果；另一方面则是由于现代逻辑的发展受到数学基础研究的推动，特别是受到深入研究证明的逻辑规律和数学基础研数学究中提出来的逻辑问题的推动，故名。
❷ 指纯逻辑演算。
❸ 除纯逻辑演算外，还包括已成为数学分支的集合论、证明论、模型论和递归论。
❹ 指一切应用特制人工符号语言和形式化方法研究演绎推理和逻辑问题的各种逻辑理论。