Faculty

People

Zhaokuan Hao
Professor
Logic Philosophy of Science
E-mail：
zkhao@fudan.edu.cn
Contact information：
Research Areas
Rewards
2/32015 Second Prize of Shanghai Higher Education Textbook
2007 Shanghai Education Talent Award, Shanghai Municipal Education Bureau.
2006 Fudan University Graduatestudents ”The Best Tutor in My Mind” title, Fudan Uni
versity.
2004 Second Prize of the First (1978.5-2002.12) Excellent Achievement Research Award,
Chinese Logic Society
Funding
2019 Shanghai Key Educational Reform Project ”Exploration and Practice of Interdisci
plinary Training Paths-Project Construction of Mathematical Logic Program of Fudan
University. RMB 50000
2010 Gödel and Contemporary Philosophy of Mathematics, Shanghai Pujiang Program.
RMB 100000
2002 Lambda-calculus research, the first batch of the 11th Five-Year Plan of the Ministry
of Education. RMB 30000
Reviewer
2016- Reviewer of the National Conference on Modern Logic (NCML)
2018-2023 Member of the editorial board and reviewer of Study of Logic


Research Areas
Publications (All in Chinese)
Book
2018b Gödel’s Program, Fudan University Press , Shanghai
Text Books
2020 Mathematical Logic, Proof and its Limits, second edition, with Ruizhi Yang & Yue
Yang, Fudan University Press, Shanghai
2018a Recursion Theory, elements of Algorithm and Randomness, with Ruizhi Yang & Yue
Yang, Fudan University Press , Shanghai
2014a Set Theory, the Investigation to the Concept of Infinity, with Yue Yang, Fudan Uni
versity Press , Shanghai
1/32014b Mathematical Logic, Proof and its Limits, with Ruizhi Yang & Yue Yang, Fudan
University Press, Shanghai
Articles
2023 The Motivation of Frege’s Grundlagen, Social Science Front, vol.11
2021 Reexamination of Gödel’s Thought, Science Economy Society, vol.2
2017 Platonism and the Ultimate Model of Set Theory, Study of Logic, vol.4
2016a What are and What should the Logic Be? Philosophical Analysis, vol.2, pp. 46-55
2016b Ethics under the Frame of Conceptual Realism, Journal of East China Normal Uni
versity(Humanities and Social Sciences , vol.2, pp. 27-30
2014a On Analyticity, Philosophical Study, vol.12, pp. 100-105
2014b Gödel’s Argument against Physicism, Study of Logic, vol.3, pp. 1-11
2013 Naturalism is Unnatural, Journal of Dialectics of Nature, vol.3, pp. 20-23
2008 Ω-logic and the Continuum Hypothesis, with Xianghui Shi & Yue Yang,Study of Logic,
vol.4, pp. 30-43
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
1998 A Logic of Infinite Values, Studies in Dialectics of Nature, Special Issue in Logic
1998a Nietzsche, in Qiuling Li, ed.
The Biography of Great Philosophor , China Renshi
Press
1995 Logic of Question, in Baishun Yang, ed. A Dictionary of Morden Logic, China Youth
Press
1994 The Concept of Truth in Mathematical Logic, Philosophical Trends, Special Issue in
Logic
Edit
2014 Contemporary Philosophical Classics, Volume of Logic, Beijing Normal University
Press, 2014
2008 Logic and Metatphysics, Shanghai Renmin Press, 2008
Translation
2009 A Logical Journey, by Hao Wang, with Taotao Xing & Wei Wang, Zhejiang University
Press, 2009
2009 Thinking about Mathematics, by Stewart Shapiro, with Ruizhi Yang, Fundan Univer
sity Press, 2009
2003 A New Survey of the ”Needham Question”, by Liu Dun, in Studies of Needham,
Science Press


Research Areas
Rewards
2/32015 Second Prize of Shanghai Higher Education Textbook
2007 Shanghai Education Talent Award, Shanghai Municipal Education Bureau.
2006 Fudan University Graduatestudents ”The Best Tutor in My Mind” title, Fudan Uni
versity.
2004 Second Prize of the First (1978.5-2002.12) Excellent Achievement Research Award,
Chinese Logic Society
Funding
2019 Shanghai Key Educational Reform Project ”Exploration and Practice of Interdisci
plinary Training Paths-Project Construction of Mathematical Logic Program of Fudan
University. RMB 50000
2010 Gödel and Contemporary Philosophy of Mathematics, Shanghai Pujiang Program.
RMB 100000
2002 Lambda-calculus research, the first batch of the 11th Five-Year Plan of the Ministry
of Education. RMB 30000
Reviewer
2016- Reviewer of the National Conference on Modern Logic (NCML)
2018-2023 Member of the editorial board and reviewer of Study of Logic