形式逻辑与数理逻辑都是研究推理的规律,形式逻辑是比较古老的理论,数理逻辑是近代发展起来的理论,更精确更先进些.它们的关系,有点类似初等数学与高等数学.
逻辑学还分为：
形式逻辑（普通逻辑）、数理逻辑、哲学逻辑、模糊逻辑、非形式逻辑、辩证逻辑等.
参看：
逻辑学是什么
作者:陈波
页数:280
出版社:北京大学出版社
定价:18.00