mg4355手机版-mg4355娱乐哲学学院

哲学人物谱 Character

程勇
发布日期:2016-10-25 11:30:01 浏览次数:

 


 程勇,北京大学哲学系逻辑学专业哲学硕士(2008),新加坡国立大学数学系数理逻辑方向数学博士(2013),德国明斯特大学数学与计算机科学学院数理逻辑与基础研究研究所博士后(2013-2014)。mg4355手机版-mg4355娱乐哲学学院副教授(自2015年6月起),优秀青年学术骨干引进人才,mg4355手机版-mg4355娱乐珞珈青年学者(2016-2018)。研究领域:符号逻辑和分析哲学。本人已在国际一流符号逻辑核心SCI期刊(如The Journal of Symbolic Logic,Annals of Pure and Applied Logic,Mathematical Logic Quarterly, Archive of Mathematical Logic)上发表论文5篇。学术兼职:美国数学评论评论员;mg4355手机版-mg4355娱乐欧美宗教学问研究所研究员。

 Education and Employment

 From September 2000 to July 2004

 Bachelor in Management, Department of Management,

 Major: Information Management and Information System,

 South-Central University for Nationalities, China

 From September 2004 to July 2008

 Master in Philosophy, Department of Philosophy,

 Major: Logic, Peking University, China

 From August 2008 to March 2013

 PhD in Mathematics, Department of Mathematics,

 Major: Logic, National University of Singapore, Singapore

 From January 2013 to January 2015

 Postdoctoral, Institute for Mathematical Logic and Foundational Research, Department of Mathematics and Computer Science, University of Muenster, Germany

 From June 2015 to Present, Associate Professor, School of Philosophy, Wuhan University, China

 Academic Interests

 Symbolic Logic and Analytical Philosophy

 Papers in International Journals

 Harrington's principle in higer order arithmetic, Yong Cheng and Ralf Schindler, The Journal of Symbolic Logic / Volume 80 / Issue 02 / June 2015, pp 477-489,SCI

  Forcing a setmodel of Z_3 + Harrington’s Principle, Yong Cheng, Math.Log. Quart. 61, No. 4-5, 274-287 (2015), SCI

  The strong reflecting property and Harrington’s Principle, Yong Cheng,Math. Log. Quart. 61, No. 4-5, 329-340 (2015), SCI

  Large cardinals need not be large in HOD, Yong Cheng, Sy-David Friedman and Joel David Hamkins, Annals of Pure and Applied Logic, Volume 166, Issue 11, November 2015, Pages 1186-1198, SCI

  Indestructibility properties of remarkable cardinals, Yong Cheng and Victoria Gitman, Arch. Math. Logic (2015) 54:961-984, SCI

  Award Silver Medal of the 2014 Kurt Gödel Research Prize Fellowships Competition, Offered by The Kurt Gödel Society in Austria, August 2014.

  Teaching Introduction to Logic, Symbolic Logic, First Order Logic

 


XML 地图 | Sitemap 地图