研究项目（2019年至今）
近年来我所的研究热点主要集中在以下几个领域：
- 人工智能与逻辑推理
- 论证理论与形式化方法
- 逻辑哲学与形式系统研究
- 社会选择与群体决策模型
- 数学逻辑与模型论研究
这些研究方向反映了逻辑与认知研究所在当代逻辑学研究中的前沿地位，以及对社会需求的深刻回应。
| 课题名 | 立项号 | 项目类别 | 立项时间 | 负责人 |
|---|---|---|---|---|
| 社会互动与社会选择的逻辑研究 | 25JJD720004 | 教育部人文社会科学重点研究基地重大项目 | 2025-04-30 | 刘虎 |
| 科学通史课程的教学改革研究 | 粤教高函〔2024〕30号 | 地方政府部门其他人文社会科学研究项目 | 2024-12-19 | 朱一文 |
| 《因明大疏》集释与跨学科研究 | 24&ZD205 | 国家社会科学基金重大项目 | 2024-12-12 | 曾昭式 |
| 近现代湖湘学术人才群体研究 | 24WTA27 | 地方政府部门其他人文社会科学研究项目 | 2024-07-20 | 何杨 |
| 人工智能论辩语义研究 | 20240506 | 高校自立人文社科研究项目 | 2024-05-15 | 沈榆平 |
| 公理化群体论辩的可能性和防操纵性研究 | 2024A1515012540 | 省/直辖市自然科学基金/规划项目 | 2024-03-08 | 陈伟伟 |
| 西方语言哲学前沿问题研究 | 23&ZD240 | 国家社会科学基金重大项目 | 2023-12-28 | 熊卫 |
| 概念认知视域下的知识概念研究 | GD23YZX04 | 省/直辖市哲学社会科学基金/规划青年项目 | 2023-06-28 | 伍素 |
| 反推数学与一阶算术 | 2023A1515010892 | 省/直辖市自然科学基金/规划项目 | 2023-03-01 | 王玮 |
| 人工智能视阈下实践推理的逻辑与计算研究 | 22JJD520001 | 教育部人文社会科学重点研究基地重大项目 | 2023-01-19 | 文学锋 |
| 当代论证理论在社会文化维度的发展及其应用研究 | 22JJD720022 | 教育部人文社会科学重点研究基地重大项目 | 2023-01-19 | 谢耘 |
| 社会文化视域下的概念与推理研究 | 22JJD720021 | 教育部人文社会科学重点研究基地重大项目 | 2023-01-19 | 王文方 |
| 数学哲学与模型论 | 22JJD110002 | 教育部人文社会科学重点研究基地重大项目 | 2023-01-19 | 郝兆宽 |
| 选择方法的论辩聚合理论研究 | 22FZXB093 | 国家社会科学基金后期资助项目 | 2022-11-29 | 陈伟伟 |
| 人工智能背景下的论证形式化研究 | 22FZXB077 | 国家社会科学基金后期资助项目 | 2022-11-29 | 余喆 |
| 非塔斯基逻辑后承研究 | 22BZX129 | 国家社会科学基金一般项目 | 2022-09-30 | 文学锋 |
| 论证形式的结构与规范研究 | 22CZX064 | 国家社会科学基金青年项目 | 2022-09-30 | 廖彦霖 |
| 公理化群体论辩研究 | 22YJC72040001 | 教育部哲学社会科学研究青年基金项目 | 2022-09-22 | 陈伟伟 |
| 科学史与科学哲学融合教学的理论与实践 | 2022JGXM002 | 地方政府部门其他人文社会科学研究项目 | 2022-07-01 | 朱一文 |
| 汉译逻辑术语本土化与中国逻辑学话语体系建设研究 | 21&ZD065 | 国家社会科学基金重大项目 | 2021-12-06 | 鞠实儿 |
| 《数学九章》校勘与研究 | 21VJXG022 | 国家社会科学基金冷门“绝学”和国别史等研究专项 | 2021-11-02 | 朱一文 |
| 逻辑的规范性与形式性研究 | 21BZX103 | 国家社会科学基金一般项目 | 2021-09-24 | 任远 |
| 非传递逻辑研究 | 21YJA72040001 | 教育部哲学社会科学研究一般项目 | 2021-08-19 | 文学锋 |
| 权衡论证的逻辑研究 | 20BZX106 | 国家社会科学基金一般项目 | 2020-09-15 | 谢耘 |
| 社会选择方法下的群体论证聚合研究 | 20wkpy94 | 高校自立人文社科研究项目 | 2020-06-15 | 陈伟伟 |
| 大数据背景下基于论辩理论的法律论证刻画与推理研究 | 20wkpy104 | 高校自立人文社科研究项目 | 2020-06-15 | 余喆 |
| Empirical Investigation into the Argumentation Practices of the Bulgarian Orthodox Church | 20wkpy127 | 高校自立人文社科研究项目 | 2020-05-22 | Hristo Valchev |
| 博弈视域下抽象论证理论研究 | GD19CZX03 | 省/直辖市哲学社会科学基金/规划一般项目 | 2019-12-26 | 崔建英 |
| 语用逻辑的深度拓展与应用研究 | 19ZDA042 | 国家社会科学基金重大项目 | 2019-12-04 | 熊明辉 |
| 基于人工智能中论辩理论的自然语言论证形式化途径探究 | 2019M663353 | 中国博士后科学基金面上支持项目 | 2019-11-15 | 余喆 |
| 形式论辩中的双极论辩框架与分级论辩语义聚合研究 | 2019M663352 | 中国博士后科学基金面上支持项目 | 2019-11-15 | 陈伟伟 |
| 信息聚合的逻辑研究 | 19wkzd12 | 高校自立人文社科研究项目 | 2019-10-09 | 文学锋 |
| 面向数学可定义性的模型论与递归论研究 | 19JJD720002 | 教育部人文社会科学重点研究基地重大项目 | 2019-08-26 | 赵希顺 |
| 反推数学与可计算分析 | 11971501 | 国家自然科学基金面上项目 | 2019-08-21 | 王玮 |
| 法律论证学研究 | 19AZX017 | 国家社会科学基金重点项目 | 2019-07-12 | 熊明辉 |
| 理性、论证、非形式逻辑---拉尔夫.约翰逊论证理论研究 | 18JHQ27 | 教育部哲学社会科学研究项目后期资助一般项目 | 2019-01-03 | 谢耘 |
| 古代数学经典《九章算术》论证研究 | 19wkpy115 | 高校自立人文社科研究项目 | 2019-01-01 | 张一杰 |