图谋:科学网圕人堂专题中,有人提了个问题:中国图书分类中,为什么把数理逻辑和普通逻辑分为不同的类,一个放在数学,一个放在哲学?我不了解。如有知道的成员,请赐教。Lee:科普知识也分社科与自科,类比。也许。没必要纠结。hanna:学科不一样,O14研究数学问题,命题演算、谓词演算、类演算、证明论、递归论;B812研究哲学问题,形式逻辑基本规律,同一律、矛盾律、排中律、充足理由律,B813数理逻辑宜入O14。
以下格式等价,请按需引用或修改后使用:
[1]圕人堂QQ群知识库.中图法中关于数理逻辑和普通逻辑的分类[EB/OL].(2017-02-17)[2025-04-03].http://tuan.pub/server/detail.php?id=6987.
[2]图谋,Lee,hanna.中图法中关于数理逻辑和普通逻辑的分类[DB/OL].圕人堂周讯,2017(145):4.
[3]图谋,Lee,hanna.中图法中关于数理逻辑和普通逻辑的分类[DB/OL].(2017-02-17)[2025-04-03].http://tuan.pub/server/detail.php?id=6987.