个人简历

个人简介：逻辑学教授
学习经历：2000年，毕业于北京大学哲学系，哲学博士
工作经历：2000年任教复旦大学，至今
近期研究重点：数学基础与形而上学
科研成果及代表作
著作：2014《集合论——对无穷概念的探索》,与杨跃合作,复旦大学出版社
2014《数理逻辑——证明及其限度》,与杨睿之、杨跃 合作, 复旦大学出版社
主编 2014《当代哲学经典——逻辑学卷》,北京师范大学出版社
2008《逻辑与形而上学》, 上海人民出版社
译著 2009《逻辑之旅——从哥德尔到哲学》,王浩著,浙江大学出版社。与邢滔滔、汪蔚合译 。
2009《数学哲学》, Stewart Shapiro 著, 复旦大学出版社, 2009 ,上海。与杨睿之合译 。
主要讲授课程：数理逻辑、高等逻辑、数学哲学、集合论、力迫法

研究领域

"数理逻辑、数学哲学、哥德尔思想"

近期论文

2014《论分析性——来自哥德尔的启示》,《哲学研究》,2014 年 第 12 期。
2014《哥德尔针对物理主义的一个论证》,《逻辑学研究》,2014 年第三期。
2013《不自然的自然主义》,《自然辩证法通讯》,2013 年第 3 期。
2010 《连续统问题与 Omega 逻辑》,《逻辑学研究》2010 第 4 期.

2009 《民族与个人之自由与独立》,《思想史研究》第六辑,上海人民出版社.
2008 《哥德尔的数学哲学》,《思想史研究》第五辑,上海人民出版社.

2007 《逻辑学与逻辑主义》,《思想史研究》第四辑,上海人民出版社.

2006 《数的定义:戴德金与弗雷格》,《复旦学报》2006,第 5 卷.

2005 《心的概念与形而上学》,《复旦哲学评论》,第 2 卷.

2001 《Lambda-演算与垂直线定理》,哲学动态,2001 年增刊

2000 《论 TRS 的交汇性》,自然辩证法研究,2000 年增刊。