| 姓 名 | 入学年份 | 毕业年份 | 毕业论文 | 毕业去向 |
|---|---|---|---|---|
| 王潇扬 | 2019 | 2023 | 格的时态逻辑及其扩张 | 北京师范大学哲学学院博士后 |
| 王 勋 | 2018 | 2022 | 一阶模态逻辑的∃□-打包片段研究：公理化及模型论 | 中央民族大学哲学与宗教学学院师资博士后 |
| 张 瑜 | 2018 | 2022 | 反“反事实怀疑主义” | 空军军医大学基础医学院讲师 |
| 魏 宇 | 2017 | 2021 | 关于理解的知识逻辑研究 | 华东师范大学哲学系晨晖学者 |
| 王 强 | 2017 | 2021 | 《墨经·小取》中的行为概念与逻辑 | 上海科技大学人文科学研究院教学助理教授 |
| 党学哲 | 2017 | 2021 | 证据逻辑研究 | 深圳中学 |
| 陈千千 | 2016 | 2021 | 条件句逻辑中的时间因素 | 西北工业大学马克思主义学院助理教授 |
| 胡兰双 | 2016 | 2020秋 | 真之符合论：支持与反对 | 南开大学哲学院助理研究员 |
| 徐 超 | 2016 | 2020 | 带场景约束的自然语言自动形式化研究 | 山东大学哲学系助理教授 |
| 刘佶鑫 | 2015 | 2019 | 弱聚合模态逻辑的模型论研究 | 四川大学公共管理学院哲学系师资博士后 |
| 郑 植 | 2015 | 2019 | 事件与动作的概念关系结构 | 呼和浩特市第二中学 |
| 高 珂 | 2015 | 2019 | 非标准语言和紧缩主义视角下的塔斯基真定义研究 | 浙商银行股份有限公司 |
| 王海若 | 2014 | 2019 | 不确定的模糊性--一种新证实主义探究 | |
| 赵晓玉 | 2014 | 2018秋 | 哥德尔不完全性定理的推广形式及其哲学影响 | 中国人民大学哲学院 |
| 李 楷 | 2014 | 2018 | 信念逻辑和概率逻辑的连接：基于洛克式信念的逻辑 | 中国政法大学人文学院哲学系师资博士后 |
| 朱 薇 | 2013 | 2018 | 信念悬置问题研究 | |
| 张文彦 | 2013 | 2017 | 事件-状态框架与英语时体时态的形式语义 | 首都师范大学中文系师资博士后 |
| 彭杉杉 | 2013 | 2017 | 虚构、假装与抽象对象 | 燕山大学人文学院 |
| 李延军 | 2012 | 2016 | 关于不确定规划的动态认知逻辑 | 出国攻读博士学位，现任南开大学哲学院讲师 |
| 高 坤 | 2012 | 2016 | 后蒯因自然主义数学哲学 | 山西大学科学技术哲学研究中心 |
| 张 力 | 2012 | 2014 | ————————————— | 出国瑞典 KTH 读博 |
| 李 熙 | 2011 | 2015 | 对通用智能模型AIXI的理论基础的研究 | 中南大学公共管理学院哲学系博士后 |
| 秦一男 | 2011 | 2015 | 一种英文句法结构解析的新方法 | 北京海淀精华培训学校 |
| 范 杰 | 2011 | 2015 | 非偶然算子的逻辑研究 | 北京师范大学哲学学院博士后，现任中国科学院大学讲师 |
| 陈星群 | 2010 | 2015 | 内涵逻辑与概称句链式推理 | 深圳大学人文学院哲学系 |
| 赵 震 | 2010 | 2014 | 说谎者悖论研究 | 安徽大学哲学系 |
| 刘靖贤 | 2009 | 2013 | 概括公理与新弗雷格主义 | 辽宁大学哲学与公共管理学院哲学系 |
| 许春梅 | 2009 | 2013 | 超模态逻辑理论的扩充 | 中国社会科学院宗教研究所博士后 |
| 徐召清 | 2009 | 2012 | 知识、证据与相关选择：从动态逻辑的角度研究 | 四川大学公共管理学院哲学系，现任副教授 |
| 马 丽 | 2008 | 2014 | 描述逻辑的概称句扩张 | 广西师范大学文学院语言学与跨文化教育系 |
| 杨睿之 | 2008 | 2012 | 集合实在论与哥德尔计划一个价值辩护 | 复旦大学哲学学院，现任副教授 |
| 郭顺利 | 2007 | 2012 | 条件句逻辑的非标准扩充 | 选调公务员 |
| 周龙生 | 2006 | 2016 | 包含不协调认知的逻辑 | 江西萍乡学院政法学院 |
| 傅庆芳 | 2006 | 2014 | 真值语义中个体词指称预设问题研究 | 浙江师范大学马克思主义学院 |
| 崔晓红 | 2006 | 2010 | 合作、行动和知识的推理 | 南京大学博士后 |
| 张闵敏 | 2006 | 2010 | 关于形容词的复合谓词逻辑 | 上海 |
| 琚凤魁 | 2005 | 2011 | 祈使句语义和逻辑 | 北京师范大学哲学与社会学学院，现任副教授 |
| 郭永盛 | 2005 | 2010 | 弗雷格的逻辑主义之路 | 自由职业 |
| 王 轶 | 2005 | 2009 | 混合语言下的二维空间逻辑 | 出国攻读博士学位，现任浙江大学人文学院副教授 |
| 裘江杰 | 2004 | 2007 | 模态逻辑中的初等逻辑类与典范逻辑类 | 浙江大学博士后，现任人民大学哲学学院副教授 |
| 冯 艳 | 2003 | 2006 | 自由摹状词理论研究 | 首都师范大学文学院 |
| 郭美云 | 2003 | 2006 | 带有群体知识的动态认知逻辑 | 西南大学政治与公共管理学院哲学系，现任教授 |
| 刘叶涛 | 2002 | 2005 | 克里普克名称理论研究 | 燕山大学文法学院哲学系，现任南开大学教授 |
| 张立英 | 2002 | 2005 | 概称句的语义分析及一种类型的概称句推理 | 中央财经大学文化与传媒学院，现任教授 |
| 张力锋 | 2001 | 2004 | 模态逻辑和本质主义 | 江苏警官学院管理系，现任南京大学教授 |
| 许涤非 | 2000 | 2003 | 双主体认知逻辑研究 | 中国人民大学哲学院，现任副教授 |
| 郝兆宽 | 1997 | 2000 | 带类型与不带类型的λ-演算及其与逻辑的关系 | 复旦大学哲学学院，现任教授 |
| 邢滔滔 | 1990 | 1993 | 当代数学哲学片断 | 北京大学哲学系，现任教授 |
| 周北海 | 1985 | 1989 | 现代模态逻辑从产生到关系语义学的建立 | 北京大学哲学系，现任教授 |
| 邓生庆 | 1984 | 1988 | 从古典归纳逻辑到现代归纳逻辑 | 四川大学公共管理学院哲学系，现任教授 |