【原】逻辑学分支学科按基数序数法的排序

潘守鸿

（中冶南方工程技术有限公司，武汉，430223）

摘  要：把逻辑学的分支学科，用基数序数法的方法进行排序，是逻辑学、形式逻辑、哲学逻辑、数理逻辑、模态逻辑、动态逻辑至辩证逻辑10个基数序数过程，便于理解分支学科之间的联系，利于学习和研究。

关键词：基数序数； 逻辑学；分支学科；排序

中图分类号：N031 文献标识码：A

1、 逻辑学：逻辑学是研究思维的学科。在本质上都是朴素集合论或者公理集合论的特色化。以下不再赘述。

2、 形式逻辑：所谓“形式逻辑”就是指传统逻辑

3、 哲学逻辑：超越数理逻辑，是数理逻辑的扩展、修正。

4、 数理逻辑：是用数学方法研究逻辑或形式逻辑的学科。

5、 证明论：证明数学系统的协调性，以数学推理即证明为研究对象，故称为证明论，数理逻辑分支之一。

6、 模型论：是数理逻辑中研究形式语言和他的解释或模型之间联系的分支。

7、 递归论：递归函数论亦称可计算性理论，数理逻辑分支之一。

8、 模态逻辑：研究必然、可能及其相关概念的逻辑性质。

9、 动态逻辑：就是能够对程序的输入/输出行为进行形式化推理的多个逻辑系统的总称。

10、辩证逻辑：作为逻辑学的辩证法，研究反映客观世界的辩证发展过程的人类思维的形态，即关于辩证思维的形式、规律和方法的科学。

参考文献

[1] 中国人民大学哲学院逻辑学教研室，逻辑学，第4版，[M]，北京 : 中国人民大学出版社, 2022 .

[2] 何向东，逻辑学，（第二版）[M]，北京 : 高等教育出版社, 2018.

[3] 华东师范大学哲学系逻辑学教研室，形式逻辑，（第六版）[M]，上海 : 华东师范大学出版社, 2023，

[4] 刘虎，哲学逻辑导论，[M]，北京 : 科学出版社, 2022.

[5]  (美)戴尔·杰凯特 , 刘杰译，逻辑哲学(上、下) [M]，北京 : 北京师范大学出版社, 2015.

[6] 孙希文，数理逻辑，[M]，北京 : 高等教育出版社, 2019.

[7] 马明辉，结构证明论（第二版）[M]，北京：科学出版社，2023.

[8] 姚宁远，初等模型论，[M]，上海：复旦大学出版社，2018.

[9] 递归论，郝兆宽，[M]，上海：复旦大学出版社，2018.

[10] 文学锋, 模态逻辑教程, [M]，北京：科学出版社，2021.

[11] 张晓君，面向人工智能的命题动态逻辑及其扩展研究 [M]，杭州：浙江大学出版社，2022.

[12] 郝一江，基于一阶动态逻辑的Agent行为推理及其哲学反思 [M]，北京：科学出版社, 2023 .

[13]梁庆寅，辩证逻辑学[M]，广州：中山大学出版社，2020.