Workshop on Logic, Language and CognitionOctober 25, 2008, Beijing
A long-term translation project was started in October 2006, funded by the University of Amsterdam. The aim was to translate van Benthem's classic works into Chinese, making his work accessible to a wide variety of Chinese readers in various disciplines. Volume I entitled "Logic, Information and Interaction" was published with Science Press in June 2008.
The Second Volume "Logic, Language and Cognition" is now in the process of being published. The translators are a group of young Chinese logicians: Fu Qingfang (Peking University), Gao Dongping (Beijing Institute of Technology, Guo Meiyun (SouthWest University, Ju Fengkui (Peking University and Amsterdam University), Liu Xinwen (Chinese Academy of Social Sciences), Ma Minghui (Tsinghua University), Wang Lei (Southwest University), Wang Yi (Peking University), Xia Sumin (Chinese Academy of Social Sciences), Yu Yu (Southwest University), Zhang Liying (Central University of Finance and Economics). For more information on the translation project, please visit our translation website.
The Third Volume "Correspondence Theory" translated by Professor Zhang Qingyu is also in the process of being published.
The goal of this Workshop is to bring together the author and the translators of Volume Two, discuss further research questions emanating from the papers, evaluate the translation experience as such, and seek common interests for future research.
Date: The workshop will be held on October 25, 2008.
Location: Xinzhai ROOM 353, Tsinghua University.
The workshop is open to all interested.
Organizers: Liu Xinwen(Chinese Academy of Social Sciences); Guo Meiyun(South-West University).
Coordinator: Liu Fenrong (Tsinghua University)
Workshop Sponsors: The Chinese Association of Logic and University of Amsterdam.
9:30-10:30   Logical Structure in Natural Language: Semantics, Natural Reasoning, and Communication
Johan van Benthem, University of Amsterdam and Stanford University
10:30-10:40   Tea break
10:40-11:20   Chinese Unknown Word Recognition Based on Functional Applications of Type Theory
Gao Dongping(Beijing Institute of Technology) and Guo Jiahong(Beijing Normal University)
11:20-12:00   A Method for Solving Nash Equilibrium of the Game based on PAL
Cui Jianying, Southwest University
12:00-13:30   Lunch break
13:30-14:10   The intensional logic of Montague's PTQ system
Yu Yu, Southwest University
14:10-14:50   Several Logics for Generics
Zhang Liying, Central University of Finance and Economics
14:50-15:00   Tea break
15:00-15:40   The Modal Logic of Cardinalities
Ma Minghui, Tsinghua University
15:40-16:20   Progress on translating "Logic, Language and Meaning"
Li Kesheng, Chinese Academy of Social Sciences
16:20-16:30   Tea break
16:30-17:30 (Special Session)   Dialogue between the author and translators: Interview with Johan van Benthem
Website copyright, 2008, Fenrong Liu.