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