刘叶涛（燕山大学文法学院逻辑学和哲学教授）

科研项目

1.主持：燕山大学博士基金项目“克里普克名称理论研究”。已结题。

2.参与：教育部哲学社会科学重大课题攻关项目“现代归纳逻辑的创新功能与应用及其认知基础研究”（05JZD0008）之子课题“归纳逻辑在人工智能及认知科学中的应用研究”。已结题。

3.参与：国家社科基金项目“当代西方逻辑哲学最新成就研究”（03BZX043）。已结题。

4.参与：“十一五”国家级规划教材建设项目“模态逻辑导论”。已结题。

5.主持：河北省教育科学研究“十一五”规划2008年度（资助经费青年专项）课题“河北省高等院校批判性思维教育举措研究”（课题编号08020111）已结题。

6.主持：教育部人文社会科学研究青年基金项目“可能世界视域下的意义与真理理论研究”（项目批准号08JC720014）。已结题。

7.主持：2009年度河北省社会科学发展研究课题“辩证哲学核心范畴——“矛盾”理论研究”（青年课题、课题编号：200904001）。已结题

8.主持：河北省社会科学基金项目：“当代西方名称理论的重大问题与最新进展”（批准号HB2011QR79）。已结题。

9.主持：国家社会科学基金（后期资助）项目：“意义、真理与可能世界”（批准号11FZX024）。已结题。

10.主持：2011年度教育部人文社会科学重点研究基地重大项目：“对克里普克语言哲学的系统性质疑和对一种新理论的建构”之子课题——“克里普克的认识论理论”（批准号11JJD720001）。已结题。

11.参与：国家社会科学基金2012年重点项目：“描述论和直接指称论之争——回顾、批判与建构”（批准号：12AZX008）。

12.主持：河北省高校百名优秀创新人才支持计划”（2013-2016）人选，项目编号：BR2-253。

13.主持：河北省高等教育学会2013年度高等教育科学研究课题（重点课题）：“河北省高等院校本科生逻辑素质教育的理论与实践”（项目编号：GJXHZ2013-6）。^[1]

个人荣誉

1.《克里普克名称理论研究》，中国逻辑学会第二届优秀成果奖科研奖三等奖（2008）（一等奖空缺）。

2.霍英东教育基金会第十二届高等院校青年教师奖三等奖（2010年）。

3.“当代西方名称理论的重大问题与最新进展”，河北省社会科学基金项目优秀成果奖三等奖（2013年）。

4.河北省新世纪“三三三人才工程”三层次人选（2013年）。

5.燕山大学首批“新锐工程人才支持计划”人选（2014年）。^[1]