符号逻辑（symbotic logic），即数理逻辑，也称现代形式逻辑，是一门以研究推理规律为核心内容并具有数学性质的工具性学科。
最严格意义下的数理逻辑，指纯逻辑演算。广义的数理逻辑还包括已成为数学分支的集合论、证明论、模型论和递归论。最广义的数理逻辑，把各种非经典逻辑也包括在自己的范围之内。
相关汉字解释：
