Liying Zhang
Institute of Philosophy, Chinese Academy of Sciences; 
School of Humanities, University of Chinese Academy of Sciences
Beijing, China
Email:zhangliying@ucas.ac.cn


Research Areas

​Logic


Education

Ph.D. in Symbolic Logic , Peking University,China, July, 2005

B.A. in Logic, Peking University,China, July, 2000


Experience

Professor, Apr 2022 - present

Institute of Philosophy, Chinese Academy of Sciences; 

School of Humanities, University of Chinese Academy of Sciences


Visiting Scholar,Aug 2010- Aug 2011

​Visiting Fellow, Spring Term 2019 

Center for Philosophy of Science, University of Pittsburg.


Vice President of Beijing Logic Society, China    Dec 2016 – present


Professor,Oct 2015 - Apr 2022

Modern Logic Institute, Central University of Finance and Economics (CUFE), Beijing, China.


Visiting Scholar, Sep 2010- Sep 2011

Institute for Logic, Language and Computation(ILLC), University of Amsterdam

Supported by HUYGENS CHINA PROGRAM


Associate professor,Jul 2007 - Oct 2015

Modern Logic Institute, CUFE, Beijing, China.


Instructor,Oct 2005 - Jul 2007

Modern Logic Institute, CUFE, Beijing, China.


Publications

Monograph:

A Study on Reasoning of Generic Sentences, Social Sciences Academic Press (China), Nov, 2013. (supported by The National social science fund of China)


Main Papers:

L. Zhang & J. Zhang,Two Different Approaches on Vagueness based on Modal-Precisificational Theory, Studies in Logic,2021,vol.2, pp68-87.

B. Zhou & L. Zhang,A Formal Characterization of vague classes with divergent exemplars,  Studies in Logic,2018,vol.1, pp23-34.

L. Zhang,Reasoning with generics and induction, Chinese Conference on Logic and Argumentation (CLAR 2016). (in English)

L. Zhang,Nonmonotonic Reasoning with Defeasible Argumentation, Philosophical Trend, No.5, 2017, pp.105-108.

L. Zhang,Formal Characterizations of Exclusive CP-law, Studies in Logic, 2015,vol.1,pp. 37-49.

L. Zhang,The Interpretations of Ceteris Paribus Laws and Their Origins from Economics, Journal of Central University of Finance & Economics, 2015((supplement)), pp.73-76.

L. Zhang,Studies on Vagueness and Sorties Paradox, Philosophical Trend, No.10, 2013, pp.21-24.

L. Zhang & X. Liu, The Propositional Syllogistic, Journal of southwest university (social science edition), 2013. Vol. 1. 27-31.

B. Zhou & L. Zhang, Vague Classes and a Resolution of the Bald Paradox, pp319-332. Johan van Benthem and Fenrong Liu, eds, Logic Across the University: Foundations and Application,Proceedings of the Tsinghua Logic Conference, Beijing, 14-16 October 2013. Volume 47: Studies in Logic. College Publications, London. (In English)

L. Zhang & B. Zhou, Logics for Getting Generics by Deduction, Studies in Logic, 2013,Vol.1,pp.13-26. (In English)

L. Zhang, Reasoning with generics and induction, PALMYR X (Paris-Amsterdam Logic Meetings of Young Researchers),Institute Jean Nicod, 2011.

L. Zhang, Comments on Natural Logic, Philosophical Trend, No.9.2009.

L. Zhang, The reasoning encoded generics and the Orders on premise set,Studies in Logic, Vol.2. No.2, 2009.

L. Zhang, The way to non-monotonic reasoning, Journal of Central University of Finance & Economics, 2008(supplement).

L. Zhang, Ariel Cohen's Study on Semantic Interpretation of Generic Sentences, Philosophical Trend, No.12.2007.

L. Zhang, A Preliminary Study on the Completeness of Conditional Logic, Journal of Hunan University of Science & Technology (Social Science Edition), Vol. 10, No.4.2007.

L. Zhang, The Completeness of the Logic System G0-G4 for Generics Inference, Beida Journal of Philosophy, Vol.7, No.1, 2006.

L. Zhang, A Comparison on the semantic interpretation and formalization of generic sentences, Philosophical Trend, No.8.2006.

L. Zhang, One kind of reasoning encoded generics, Philosophical Trend, 2005(supplement).

L. Zhang, A preliminary study on the thoughts of Jin Yuelin's On Tao, Philosophical Researches, 2005(supplement).


Translation:

Logicomix, Apostolos Doxiadis & Christos H. Papadimitriou

Chinese version is published by China Renmin University Press, China, 2018.


Is That a Fact? Mark Battersby, 

Chinese version is translated by  Liying Zhang; is published by Shanghai Education Press, China, 2017.


Defaults in Update Semantics, Frank Veltman, JPL, 1996. 

Chinese version is published in Classical literature studies on the Logic of Natural Language, China social sciences press, China, 2016.


Computation as Conversation, Johan van Benthem, 

Chinese version is published in Logic, Language and Cognition, Science Press, China, 2009.


Natural Logic:A View From the 1980s, Johan van Benthem,

Chinese version is published in Logic, Language and Cognition, Science Press, China, 2009.


A Beginner’s Guide to Mathematical Logic, Raymond M. Smullyan

Chinese version is a co-work, translated by Xinwen Liu, Yu Zhang,  Rong , Jialiang Yan ,  Liying Zhang; published by China Light Industry Press  , China, 2019.



Research Interests

Philosophical Logic, Reasoning with generics, Ceteris Paribus laws

Students

现指导学生

邓情辉  硕士研究生  010108-科学技术哲学  

邢译文  博士研究生  010104-逻辑学  

顾泽枫  硕士研究生  010104-逻辑学  

邓华萍  硕士研究生  010104-逻辑学  

Honors & Distinctions

·The 14th Philosophy & Social Science Outstanding Achievement Award of Beijing, 2017

 ·Basic course teaching award of CUFE, 2015

 ·Jin Yuelin Prize·Excellent Research Works (1st Prize), 2010

 ·Excellent Scientific Research Works of China Logic Association (3rd Prize), 2008

 ·Excellent Doctoral Dissertation of Peking University (2nd Prize), 2007

 ·Guanghua Scholarship, 2001

 ·Outstanding Academic Performance Award, 2001

 ·Student with Honor, 1997