近年科研项目（独立主持人）
1．国家哲学社会科学基金项目：哥德尔思想研究，98-2001，3.6万，已完成。
2. 国家哲学社会科学基金项目：哥德尔思想在数学、计算机和认知科学中的影响,2002-2005，6万，进行中。
3. 教育部人文社会科学规划项目：认知科学中的哲学问题，2003-2005，3万，进行中
。
4. 中山大学横向课题：逻辑与认知科学，2000-2003，0.5万，已完成。
5. 北京市科协科普创作基金项目：心灵-大脑-计算机2003-2005，3万，启动。
6．国家科技部软科学课题（袁贵仁、刘晓力主持）“集聚海外人才的软环境建设”2003-2005，进行中。
7．教育部科技司重点项目（袁贵仁主持，刘晓力负责研究）“中国科学技术发展的人文社会环境研究”，2004-2005，20万，进行中。
8．地方政府委托课题 云南省思茅市生态旅游文化战略研究（主持人之一），30万启动。
主要学术著作
专著：《理性的生命：哥德尔思想研究》，（独立）湖南教育出版社 2000年。
译著：《逻辑人生：哥德尔传》，（与叶闯合译）上海科技教育出版社2002年。
《超穷数论基础文稿》，（与陈杰合译）内蒙古大学出版社1995年。
《康托尔无穷的数学和哲学》，（与郑毓信合译）江苏教育出版社1987年。
《现代世界中的数学》齐民友主编，参加翻译1-4章，上海教育出版社，2004年。
近年论文（均为独立作者）：
1.《认知科学研究纲领的困境与走向》，《中国社会科学》2003-1
2．《计算主义质疑》，《哲学研究》2003-4
3.《一个理性主义者的精神历程》，《哲学研究》1998-3
4．《科学技术的价值审视适时而必要》，《哲学研究》，2003-12
5．《科学知识社会学的集体认识论》，《哲学研究》，2004-11
6．《人工智能的逻辑极限》《哲学动态》2001-9
7．《西方哥德尔研究》，《哲学动态》1998-5
8．《数学透视的文化纬度》《自然辩证法研究》2002-3
9．《丘奇-图灵论题与多奇原理》，《自然辩证法研究》2002逻辑增刊
10.《一份珍贵的史料，一段误读的历史》《自然辩证法研究》2000逻辑增刊
11.《哥德尔对心-脑-计算机问题的解》《自然辩证法研究》2000-1
12．《数学是不可完全的》《自然辩证法研究》98-4
13.《哥德尔与胡塞尔现象学》《自然辩证法通讯》2000-1
14．《哥德尔的完全性定理与早期数学哲学思想》《自然辩证法通讯》1998-6
15.《80年代以来国外哥德尔研究综述》《中山大学学报》2000-3.
16.《哥德尔定理及其哲学义蕴》《现代科学哲学争论》，北京大学出版社2003年7月
17．《哥德尔对卡尔纳普的批判》，《分析哲学》，四川教育出版社，2001年12月
18．《何以不接受认知科学中的计算主义》，《科学技术中的哲学问题》，清华大学出版社2004年。
19.《建构科学知识社会学的与境分析》《求是学刊》，2004-6
20.“Gödel’s Platonism in Mathematics”,The Proceedings of The Sixth Asian Logic Conference, May 1998. Beijing, China
.21.“Kurt Gödel and His Manuscripts in Science and Philosophy”,The Proceedings of The 9th International Conference on the History of Science in East Asia, 1999. 8. Singapore.
近年来获奖：
1.
教育部人文社会科学优秀成果奖
二等奖2002年9月
2.
第二届全国金岳霖学术基金奖
三等奖2000年3月
3. 全国逻辑学会首届优秀成果奖，2004年4月
4. 北京师范大学第三届哲学社会科学优秀成果奖2002年5月
5. 第六届内蒙古自治区哲学社会科学优秀成果奖 二等奖2000年6月
6. 全国自然辩证法研究会首届优秀著作奖
二等奖2003年10月
7． 内蒙古大学科技进步奖 一等奖 1998年9月
8． 北京大学优秀博士论文奖 二等奖1998年5月
9． 北京师范大学教学成果奖一等奖 2004年10月
10．北京市教学成果奖一等奖 2004年12月
11．北京师范大学优秀班主任
2003年
12．北京师范大学抗击非典先进个人 2003年