Education:

Bachelor of Philosophy, Yunnan University, 2005;

Master of Philosophy, Fudan University, 2008;

Doctor of Philosophy, Fudan University, 2011.

 

Work:

From July in 2011 to June in 2013, School of Mathematical Sciences, Nankai University, Postdoctoral work station;

From June in 2013 until now, School of Philosophy and Sociology, Lanzhou University.

 

Position: Associate Professor

 

Research area: Mathematical Logic, Philosophy of Mathematics

 

Doctoral Dissertation:

1. Consistency and Interpretability in Neo-Fregean Arithmetic, School of Philosophy, Fudan University, Doctoral Dissertation, 2011, written in Chinese.

2. Models of Combinatorial Principles at Subcompact Cardinals, School of Mathematical Sciences, Nankai University, Postdoctoral Outbound Report, 2013, written in English.

 

Journal Articles:

1. Vorwort aus Grundgesetze der Arithmetik, Translation Article, World Philosophy, No. 3, 2014, the 3rd author.

2. Understanding Proper Name from a Logical Point of View, Thought & Culture, No. 17, 2015.

3. Modality and Ontology in Structuralism, Science·Economy·Society, No. 3, 2017.

4. Mathematical Instrumentalist’s Epistemological Analysis of Frege’s Problem, Studies in Dialectics of Nature, Vol. 36, No. 3, 2020.

5. Mathematical Instrumentalist’s Epistemological Analysis of Induction Problems, Studies in Philosophy of Science and Technology, Vol. 38, No. 1, 2021.

6. Mathematical Instrumentalist’s Epistemological Analysis of Dilution Problem, Studies in Philosophy and Technology, Vol. 39, No. 1, 2022.

7. Abstractionist Set Theory Based on Restricted Basic Law V, Journal of Dialectics of Nature, Vol. 44, No. 7, 2022.

8. The Modal Argument on Mind, Machine and Truth, Studies in Logic, Vol.16, No. 1, 2023.

 

Book Articles:

1. Frege’s Identifiability Thesis, collected in Fangtong Liu: The Frontiers of Western Philosophy, Shanghai: Shanghai People’s Publishing House, 2015.

2. Fictionalism in Philosophy of Mathematics, Survey Article, collected in Bo Chen: The Significant Thesis in Philosophy of Logic, Beijing: The Commercial Press, to appear.

3. Structuralism in Philosophy of Mathematics, Survey Article, collected in Bo Chen: The Significant Thesis in Philosophy of Logic, Beijing: The Commercial Press, to appear.

 

Books:

1. A Course on Modern Philosophy of Mathematics, Shanghai: Shanghai People’s Publishing House, Vol. 1, 2020.

2. Abstractionist Set Theory, Shanghai: Shanghai People’s Publishing House, Vol. 1, 2021.

3. Abstractionist Set Theory, Shanghai: Shanghai People’s Publishing House, Vol. 2, to appear.

 

Teaching Courses:

1. Introduction to Mathematical Logic I, undergraduate course, autumn semester, every year, using Thomas Q. Sibley: Foundations of Mathematics, 2009; Daniel W Cunningham: A Logical Introduction to Proof, 2012.

2. Introduction to Mathematical Logic II, undergraduate course, one semester, every year, using Herbert B. Enderton: A Mathematical Introduction to Logic, 2001; Elliott Mendelson: Introduction to Mathematical Logic, 2015.

3. Modal Logic, undergraduate course, one semester, every year, using G. E. Hughes, M. J. Cresswell: A New Introduction to Modal Logic, 1996; Brian F. Chellas: Modal Logic, 1980.

4. Philosophy of Mathematics, undergraduate course, one semester, also graduate course, every year, using Stewart Shapiro: Thinking about Mathematics, 2000; Jean van Heijenoort: From Frege to Gödel, 1967; Paul Benacerraf, Hilary Putnam: Philosophy of Mathematics, 1983.

5. Artificial Intelligence, undergraduate course, one semester, every year, focusing on the history, logic and philosophy of artificial intelligence, using Stuart Russell, Peter Norvig: Artificial Intelligence, 2010.

 

Funds:

1. Set Theory and Its Applications to Frege Arithmetic, National Social Science Funds of China, 200,000 RMB, 2016—2021.

2. The Realist Interpretation of Arithmetic and Set, National Social Science Funds of China, 200,000 RMB, 2022—2027.

 

Academic Services:

1. A Reviewer of Studies in Logic.

2. An Editor of Science·Economy·Society.

3. A Member of Chinese Logic Society.

4. A Member of Professional Committee of Mathematical Logic, Chinese Mathematical Society.

5. A Member of Professional Committee of Philosophy of Mathematics, Chinese Society of Dialectics of Nature.