个人简历

个人简介：
我的全部研究动机在于理解什么是真，尤其什么是数学真，我们是在什么意义上说一个命题是真的，以及我们如何判定它的真假。我认为在研究中不应在方法上给自己任何限制。但无疑当代数理逻辑提供了目前看来最为可靠且无可替代的框架，让我们至少可以较清晰地陈述那些问题。在我看来做数理逻辑就是做哲学，并且是以一种漂亮方式做哲学。
学习经历：
2010-2011 哈佛大学，国家留学基金委联合培养博士生项目（联系导师：Peter Koellner）；
2009-2014 新加坡国立大学数学科学研究所，逻辑学暑期学校
2008-2012 北京大学哲学系，符号逻辑方向博士研究生（导师：刘壮虎）
2005-2008 复旦大学哲学学院，逻辑学硕士研究生（导师：郝兆宽）
2001-2005 复旦大学哲学系，哲学专业本科生
工作经历：
2012至今，复旦大学哲学学院，讲师
近期研究重点：
集合论多宇宙观，当代数学基础研究对数学实在论的挑战，可计算性理论、随机性理论、反推数学以及它们的哲学意义。
科研成果及代表作
著作：N/A
主要讲授课程
数理逻辑、集合论、递归论、证明论
荣誉称号及所获奖励：无

研究领域

"数理逻辑、数学哲学"

近期论文

弗雷格论数学定义，即将发表.
集合论多宇宙观述评. 《自然辨证法研究》，2015年第9期，P.99-103.
作为一种分析哲学的数理逻辑：以相对可计算性与随机性概念研究为例. 《逻辑学研究》，2014年12月，P.15-35.
哥德尔在构造主义数学方面的工作. 《逻辑学研究》，2014年9月，P.12-29.
一种实用主义的数学哲学观. 《逻辑学研究》（英文）, 2012年3月, p. 29-56.