專著：《哥德爾思想研究》， 2000；《認知科學前沿種種的哲學問題》2014；主編《心靈-機器交響曲-認知科學的跨學科對話》2014。

譯著：《邏輯人生——哥德爾傳》，2002。

2000年以來論文：

1. Gödel’s philosophical program and Husserl’s phenomenology Synthese Vol.175. 2010-7. Springer Netherlands. 

2.哥德爾對心-腦-計算機問題的解《自然辯證法研究》2000-1

3.人工智能的邏輯極限《哲學動態(tài)》2001-9

4.認知科學研究綱領(lǐng)的困境與走向，《中國社會科學》2003-1

5.計算主義質(zhì)疑《哲學研究》2003-4

6.科學技術(shù)的價值審視《哲學研究》，2003-12

7.科學知識社會學的集體認識論《哲學研究》2005-11

8.建構(gòu)科學知識社會學的與境分析《求是學刊》2004-6

9.交互隱喻與涉身哲學——認知科學進路的哲學基礎(chǔ)《哲學研究》，2006-10

10.哥德爾哲學規(guī)劃與胡塞爾現(xiàn)象學《哲學研究》2006-11

11.交互認知建構(gòu)及其現(xiàn)象學哲學基礎(chǔ)《中國人民大學學報》2009-6

12.延展認知與延展心靈論《中國社會科學》2010-1。13.進化-涉身認知框架下的作為行動指南的表征理論《哲學研究》，2010-11。

13.重審心智的計算主義，《科學文化評論》2012-12

14.薩迦德如何面對認知科學的挑戰(zhàn)，《光明日報》，2013-7-3。

15.數(shù)學哲學與數(shù)學文化研討會，《哲學動態(tài)》2014-2

16.當代哲學如何面對認知科學的意識難題，《中國社會科學》2014-6。

劉曉力，1954年生，出生于內(nèi)蒙古，哲學院教授、博士生導(dǎo)師。1977年內(nèi)蒙古大學數(shù)學系畢業(yè)。1997年獲北京大學科學技術(shù)哲學專業(yè)博士學位。1980-2000年在內(nèi)蒙古大學哲學系任教，曾任教授、系主任、碩士生導(dǎo)師。2000年調(diào)入北京師范大學哲學系任教授，曾任哲學系副主任、科學史與科學哲學研究所所長、北京師范大學科學與人文研究中心主任、哲學學院學術(shù)委員會委員、教學指導(dǎo)委員會副主任、擔任科學技術(shù)哲學、西方哲學、科學思想史專業(yè)博士生導(dǎo)師。2006年9月調(diào)入中國人民大學哲學院任教授，任現(xiàn)代邏輯與科學哲學研究所所長、分別擔任邏輯學和科學技術(shù)哲學專業(yè)博士生導(dǎo)師。研究方向：邏輯哲學、分析哲學、哥德爾思想研究、科學哲學、心靈哲學與認知科學哲學。出版專著《哥德爾思想研究》、譯著《超窮數(shù)論基礎(chǔ)文稿》等多部，在國際期刊Synthese和《中國社會科學》、《哲學研究》和《自然辯證法研究》等期刊發(fā)表論文30余篇。承擔多項國家哲學社會科學規(guī)劃項目、教育部人文社會科學重點基地重大項目、教育部一般項目、中國人民大學重大基礎(chǔ)研究項目等。

獲獎：

1.教育部人文社會科學優(yōu)秀成果邏輯學二等獎

2.金岳霖學術(shù)基金獎三等獎

3.北京市教學成果獎一等獎

4.寶鋼優(yōu)秀教師獎

5.第六屆內(nèi)蒙古自治區(qū)哲學社會科學優(yōu)秀成果獎二等獎

6.全國邏輯學會首屆優(yōu)秀成果獎

7.北京大學優(yōu)秀博士論文獎二等獎

9.北京師范大學教學成果獎一等獎

10.全國自然辯證法研究會首屆優(yōu)秀著作獎二等獎

學術(shù)兼職：現(xiàn)任中國邏輯學會副會長、中國自然辯證法研究會常務(wù)理事、科學哲學專業(yè)委員會理事長、數(shù)學哲學專業(yè)委員會主任、外國哲學分析哲學專業(yè)委員會委員。擔任Frontiers of Philosophy in China 、《自然辯證法研究》、《自然辯證法通訊》《科學技術(shù)哲學研究》雜志編委。