www.867.net

www.867.net

哲学人物谱 Character

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

www.867.net


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

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 Friedmanand 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

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

TeachingIntroduction to Logic, Symbolic Logic, First Order Logic


XML 地图 | Sitemap 地图