题目

想深入研究逻辑学需要什么样的数学知识?
或者说,在已经有数理逻辑基础的条件下,想看懂四论（公理集合论,递归论,模型论,证明论）需要具备什么样的数学知识?
只学抽象代数足够么?

提问时间：2020-10-20

答案

肯定是远远不够的 逻辑学需要大量的数学根基 抽象代数是一方面
不但是数理逻辑 在传统的形式逻辑中 应该了解与离散量相关的知识
包括图论 群论 集合论等等,对二元关系和证明有一定了解,想要学好的话还要有环的相关知识和图类算法相关 甚至是概率论都应该有好的解释
罗素说：“数学==逻辑”
可见 数学和逻辑学识多么的息息相关.其实现在很多学校对逻辑学的讲课往往只局限于书本 而对传统的数学有所忽视.对于现代逻辑 ,更多的不仅仅是是学知识,而是需要你多方面的体悟了.
其实我们学校的逻辑学老师是计算机专业的,可见计算机、数学、逻辑学之间是有很大关系的