潘守鸿姐妹花 porn

（中冶南边工程期间有限公司，武汉，430223）

摘  要：把逻辑学的分支学科，用基数序数法的步履进行排序，是逻辑学、神情逻辑、玄学逻辑、数理逻辑、模态逻辑、动态逻辑至辩证逻辑10个基数序数经过，便于认识分支学科之间的商量，利于学习和商量。

重要词：基数序数； 逻辑学；分支学科；排序

中图分类号：N031 文件标志码：A

1、 逻辑学：逻辑学是商量想维的学科。在本色上王人是朴素积攒论或者公理积攒论的特点化。以下不再赘述。

2、 神情逻辑：所谓“神情逻辑”等于指传统逻辑

3、 玄学逻辑：越过数理逻辑，是数理逻辑的扩张、修正。

4、 数理逻辑：是用数学步履商量逻辑或神情逻辑的学科。

5、 评释论：评释数学系统的协作性，以数学推理即评释为商量对象，故称为评释论姐妹花 porn，数理逻辑分支之一。

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]，广州：中山大学出书社姐妹花 porn，2020.