Tsinghua Logic

Workshop: A Door to Logic, A Meeting on Logic, Language and Translation


Background of the Door to Logic Project

In October 2006, a team of professors and students have started to translate key papers and monographs by professor van Benthem into Chinese, to make his contributions and views of logic and its modern role accessible to a wide variety of Chinese readers in various disciplines. The total project covers both pure logic and links to other fields. For general information on the project, please check the following web page:

A Door to Logic: Selected Works by Johan van Benthem

So far, the four volumes have appeared with the Science Press in Beijing, they are:

Due to their positive influence, the translated volumes have been awarded the Excellent Translation Prize by the Association for Logic in China in 2012. Around these volumes, book reviews and interviews are written and published in Chinese top journals. This has brought very useful impact to the Chinese logic community. Here is a list:

Previous Workshops

We have organized workshops, to bring together the author and the translators, discuss research questions emanating from the translation, evaluate the translation experience as such, and seek common interests for further research. These workshops have been very successful:

The Concluding Workshop, 19 October 2013

To celebrate the successful conclusion of a Translations Project, we have organized a workshop “A Door to Logic, A Meeting on Logic, Language and Translation” on 19 October 2013 in Beijing. All participants of the translation projects of the four volumes are invited. As usual, while paying special attention to this Translation Project, the aims of the Workshop are broader. In particular, the lectures address the current interdisciplinary position of logic in China and discuss the interface of logic and philosophy today. In addition, the workshop includes working sessions on major research themes by mostly younger researchers, with a view to sharing results and brainstorming about future collaborations, inside China and internationally.

Workshop organizers: Xinwen Liu (Insitute of Philosophy, Chinese Academy of Social Sciences); Fenrong Liu (Tsinghua University)

Time: 19 October, 2013
Venue: Jiasuo Meeting Room No.2 (甲所2号会议室), Tsinghua University


9:15-9:30   Opening

Session 1 (Chair: Meiyun Guo 郭美云)
9:30-10:00   Dag Westerstahl (Stockholm University): Compositionality solves Carnap’s problem
10:00-10:30   Chongli Zou 邹崇理(Academy of Social Sciences): Some thought on the interdisciplinary studies of logic, language and computation

10:30-11:00   Tea Break + Photo Session

Session 2 (Chair: Jiahong Guo 郭佳宏)
11:00-11:30   Sonja Smets (University of Amsterdam): Playing for knowledge
11:30-12:00   Johan van Benthem (University of Amsterdam and Stanford University): Logical dynamics, mathematics, and natural language

12:00– 2:00   Lunch

2:00-4:40  5 Slides Presentations (Chair: Liying Zhang 张立英)
Yi Wang 王轶 (Zhejiang University): Epistemic logic of agent update
Qing Jia 贾青 (Chinese Academy of Social Sciences): The Formalization of cooperative principle
Fengkui Ju 琚凤魁 (Beijing Normal University): Concatenation, Intersection and union of action chains
Jianying Cui 崔建英 (Sun Yat-sen University): Rationality in the algorithm of backward induction and DEMO
Jiahong Guo 郭佳宏 (Beijing Normal University): A rough description of knowing sets in the framework of first order epistemic logic
Meiyun Guo 郭美云(Southwest University): Some problems in characterizing NE in strategic games

4:40-5:00   Tea Break

5:00-6:00   Exchanging translation experiences (Chair: Johan van Benthem)

Welcome to Tsinghua Logic