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