Talk - A Place Nearby

March 2019, Is an alternative foundation of set theory possible, Wuhan University of Technology, The 9th International Conference on Computability Theory and Foundations of Mathematics
May 2018, Alternative set-theoretic foundations of mathematics, Qiannan Normal University for Nationalities, Duyun 都匀 2018 Chinese Mathematical Logic Conference
April 2018, Natural Reducts of the Models of Set Theory, Fudan University, Shanghai. Fudan Logic Seminar
Mar 2018, Some Reducts of the Models of Set Theory, Virginia Commonwealth University, Richmond. VCU Analysis, Logic and Physics Seminar
Dec 2017, On unary union, The City University of New York (Graduate Center), New York. CUNY Set Theory Seminar
Oct 2016, On Woodin’s program, Nanjing University, Nanjing. \(\Delta_4\) Logic Workshop
Dec 2015, Frege on mathematical definition, Fudan University, Shanghai. 2015 philosophy of mathematics colloquium and the second phenomenology and philosophy of mathematics colloquium
Dec 2015, How to be a Platonist in mathematics, Zhejiang University, Hangzhou. Xixi logic forum
Dec 2014, On the poverty of the methods of concept analysis, Renming University of China, Beijing. 2014 phenomenology and philosophy of mathematics colloquium
Aug 2014, Mathematical logic as an analytic philosophy, Southwest University of China, Chongqing. The 9th conference of analytic philosophy: language and logic
Apr 2014, Mathematical logic as a style of philosophy, Nankai University, Tianjin. 2014 Nankai mathematical logic colloquium
Dec 2013, On the relativity of mathematical truth, Peking University, Beijing. 2013 philosophy of mathematics colloquium
Sep 2013, On absoluteness of mathematical truth, Sun Yat-sen University, Guangzhou. The 13th Asian logic conference
Jun 2013, What about the next order?, Fudan University, Shanghai. Workshop on metamathematics and metaphysics
Nov 2012, Is second-order realism tenable?, East China University of Political Science 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
November 2009, An Introduction to Forcing, Fudan University, Shanghai. Philosophy Forum for PhD Students from FDU, SYSU, WHU, and PKU
April 2009, Extending Dynamic Logic of Inference, Tsinghua University, Beijing. Workshop in Dynamic Logic
December 2008, Ramified Type Theory and Constructible Sets, Peking University, Beijing. Graduate Seminar