个人简介 zkhao@fudan.edu.cn

---

个人简介：逻辑学教授
学习经历：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 年增刊。?
主要讲授课程：数理逻辑、高等逻辑、数学哲学、集合论、力迫法

---

荣誉称号及所获奖励

---

CURRICULUM VITAE
Hao Zhaokuan
Contact Information
Office: Guanghua West Building 2502
Office hours: Tuesday 8:00m-11:30m
Office phone: **
Email: zkhao@fudan.edu.cn
Personal:
Education: Ph.D in Logic, Peiking University, 2000
Teaching Positions: Fudan University, since 2000
Research Interests: Mathematical Logic, Philosophy of Mathematics，Godel Study
Publications：
Books: 2014 Set Theory, an investigation of infinity
2014Mathematical Logic: proof and its limit
Edit
.2008 Logic and Metatphysics, Shanghai Renmin Press, 2008.
.2014 Classics in Contemporary Philosophy, Loigc, Beijing Normal University Press
Translation ?
.2009 Thinking about Mathematics, by Stewart Shapiro, Fundan University Press, 2009 ?
.2009 Loigcal Journey, by Hao Wang, Zhejiang University Press
2003 A New Survey of the Needham Question, by Liu Dun, in Studies of Needham, Science Press
Academic Papers:
2014 On Analyticity，Philosophical Studies
2014 Naturalism is Unnatural, Loigcal Studies
2014 G?del’s Argument Against Phisicalism, Logical Studies
2008 G?del’s Philosophy of Matheamtics,Study of the History of Thoughts, vol.5
2007 Logic and Logicism, Study of the History of Thoughts, vol.4
2006 The Definition of Number: Frege and Dedekind, Fudan Journal (Philosophy and Social Sciences,vol.5)
2005 The Concept of Mind and Metaphysics, Fudan Philosophical Review, vol.3?2001 Lambda-Calculus and the Perpendicular Lemma, Philosophical Trends, Special Issue in Logic?
2000 On the Confluence of TRS, Studies in Dialectics of Nature, Special Issue in Logic
1994 The Concept of Truth in Mathematical Logic, Philosophical Trends, Special Issue in Logic

Courses Mathematical Logic，Advanced Logic，Philosophy of Mathematics，Set Theory，Forcing

services