Employment

2012-   Associate Professor, School of Philosophy, Fudan University, Shanghai.

2017-2018VisitingScholar,TheCityUniversityofNewYork,GraduateCenter,New York.

Education

2010–2011 Visiting Student, Harvard University, Boston.

2009-2016  Summer School in Logic, National University of Singapore, Singapore. 2008–2012 Ph. D. student, Philosophy, Logic, Peking University, Beijing.

Advisor: Liu Zhuanghu

2010–2011 Visiting PhD student, Harvard University, Boston.

funded by China Scholarship Council

2005–2008 Master of Philosophy, Logic, Fudan University, Shanghai.

Advisor: Hao Zhaokuan

2001–2005 Bachelor of Philosophy, Fudan University, Shanghai.

Experience

Recent teaching

Spring 2018 Set Theory II, Fudan University.

Forcing and some applications

http://logic.fudan.edu.cn/courses

Spring 2018 Modal Logic, Fudan University.

The meta-theory of modal logic, applications of modal logic

http://logic.fudan.edu.cn/courses

Spring 2016 Set Theory II, Fudan University.

Constructibleuniverse,ordinaldefinablesets,forcingargumentandsomeapplication

http://logic.fudan.edu.cn/courses

Fall 2015 Set Theory, Fudan University.

Axioms, ordinals, cardinals, large cardinals, definable sets of real numbers

http://logic.fudan.edu.cn/courses

Fall 2015 Computability theory, Fudan University.

Turing machine, reducibility and degrees, Post’s problem and his approach, priority method

Spring 2015 Mathematical Logic II, Fudan University.

Computability,structuresandtheoriesofarithmetic,Gödel’sincompletenesstheorems

Spring 2015 Proof Theory, Fudan University.

Gentzen’s natural deduction system, cut elimination, ordinal analysis

Fall 2014 Mathematical Logic I, Fudan University.

Formal language, deduction, semantics, and completeness

Fall 2014 Computability and Randomness, Fudan University.

Definabilityofsetsofnumbers,complexityofstringsofnumbers,Martin-Löfran- domness,martingales

Talks

May 2018Alternative set-theoretic foundations of mathematics, Qiannan Normal University for Nationalities, Duyun.

2018 Chinese MathematicalLogicConference            http://logic2018.sgmtu.edu.cn/

March 2018 Some Reducts of the Models of Set Theory, Virginia Commonwealth University, Richmond.

VCU Analysis, Logic and Physics Seminar

Dec2017Onunaryunion,TheCityUniversityofNewYork(GraduateCenter),New York.

CUNY Set Theory Seminar

Oct 2016 On Woodin’s program, Nanjing University, Nanjing.

∆₄LogicWorkshop      http://ims.nju.edu.cn/~yuliang/delta4/delta4.html

Dec 2015 Frege on mathematical definition, Fudan University, Shanghai.

2015philosophyofmathematicscolloquiumandthesecondphenomenologyand philosophy of mathematicscolloquium

http://logic.fudan.edu.cn/2015PhiMath

Dec2015HowtobeaPlatonistinmathematics,ZhejiangUniversity,Hangzhou.

Xixi logic forum

http://www.xixilogic.org/?p=1323

Dec2014 Onthepovertyofthemethodsofconceptanalysis,RenmingUniversity of China,Beijing.

2014 phenomenology and philosophy of mathematics colloquium

Aug2014Mathematicallogicasananalyticphilosophy,SouthwestUniversityof China,Chongqing.

The 9th conference of analytic philosophy: language and logic

Apr2014Mathematicallogicasastyleofphilosophy,NankaiUniversity,Tianjin.

2014 Nankai mathematical logic colloquium

Dec 2013 On the relativity of mathematical truth, Peking University, Beijing.

2013 philosophy of mathematics colloquium

Sep2013  On   absoluteness        of    mathematical        truth,     Sun Yat-sen  University, Guangzhou.

The 13th Asian logic conference

http://logic.sysu.edu.cn/alc2013/

Jun 2013 What about the next order?, Fudan University, Shanghai.

Workshop on metamathematics and metaphysics

http://logic.fudan.edu.cn/pastevents/2013/MetaMetaWorkshop

Nov2012 Issecond-orderrealismtenable?,EastChinaUniversityofPoliticalScience and Law,Shanghai.

The Fourth Shanghai Young Scholar Forum for Logic

Nov 2012 Is multiverse view illusory?, Fudan University, Shanghai.

2012 Modern Logic Conference of China

Jun 2012 Gödel’s work on constructivistic mathematics, Fudan University, Shanghai.

Workshop on the philosophy of Gödel’s and the philosophy of mathematics

Dec 2011 Set Theory Multiverse View, Beijing Normal University, Beijing.

2011 Frontier Forum for Social Sciences

Sep 2011 The Philosophy of Set Theory, Peking University, Beijing.

Graduate Seminar

May 2010 Frege’s Program, Hilbert’s Program, and Gödel’s Program, Beijing Normal University, Beijing.

PhD Forum of the History of Science and the Philosophy of Science

March 2010 Gödel’s Program and Large Cardinals, Peking University, Beijing.

Graduate Seminar

April 2009 Extending Dynamic Logic of Inference, Tsinghua University, Beijing. 

     Workshop in Dynamic Logic

Article

Paper (in Chinese)  YangRuiZhi. Quine’snaturalismandthe“delogic”processofanalyticphilosophy.

        Fudan Journal (Social Sciences Edition), 141-148, 2016(5)

Paper       Joel D. Hamkins and Ruizhi Yang. Satisfaction is not absolute. submitted

Paper (in Chinese) Yang Rui Zhi. Frege on mathematical definition. Thought and Culture, vol.17, 236-253, 2016

Paper (in Chinese) Yang Rui Zhi. On set theory multiverse view. Studies in Dialectics of Nature, 99-103, 2015(9)

Paper (in Chinese) YangRuiZhi. Mathematicallogicasastyleofanalyticphilosophy.StudiesinLogic, 15-29,2014(4)

Paper (in Chinese)YangRuiZhi. Gödel’sworkonconstructivemathematics.StudiesinLogic,12-30, 2014(3)

Paper      YangRuiZhi. A pragmatisticviewonphilosophyofmathematics.StudiesinLogic, 29-56,2012(1)

Paper (in Chinese) YangRuiZhi.KantandGödelontheobjectivityofmathematicaltruth.Philosophical Trends, 75-80,           July2009

Translation    SaharonShelah.LogicalDream.translatedbyYangRuiZhi,MiXiaofei,andZhang Yongzhi. Studies in         the History of Reflection, 5: 3-44,2008.

Book

Monograph (in Chinese) Ruizhi Yang. Mathematical Logic as Philosophy. Fudan Press, 2016.

Monograph (in Chinese) Zhaokuan Hao, Ruizhi Yang and Yue Yang. Mathematical Logic: Proof and its Limitation.           Fudan Press, 2014.

Translation      Stewart Shapiro. Thinking about Mathematics: the Philosophy of Mathematics.                                              translatedbyHaoZhaokuan,andYangRuiZhi.FudanPress,Chinesetranslation edition,2009.

2017 Youth Program, Inner model program and the contemporary philosophy of settheory(17CZX052),TheNationalSocialScienceFundofChina,20,000 CNY.

2013 Humanity and Social Science Youth foundation, The contemporary philosophyofsettheoryanditsimpactontheresearchofthefoundationof mathematics(13YJCZH226),MinistryofEducationofChina,80,000CNY.

2011LeoKoguanScholarship,TheLeoKoguanFoundation,theUnitedStates of America, 12,500CNY.