Home» About» About CLLC

About

北京大学逻辑、语言与认知研究中心简介

(English follows Chinese)

　　

       北京大学逻辑、语言与认知研究中心是挂靠于北京大学哲学系的虚体研究机构，于2004年6月7日成立。


　　中心的主要工作是进行逻辑理论和应用研究，促进国内合作，开展国际交流，推动逻辑学研究和教学的发展。中心致力于联合各方学术力量，整合多重资源，建成一个以逻辑学为基础、兼顾相关学科的交叉科学研究共同体。中心既强调基础理论研究，又重视应用研究，还将在人才培养方面开展各项工作，为相关领域的学者和研究生提供宽广的学术研究基地。

　　中心与2012年6月联合校内多家单位成立了“北京大学语言、逻辑、认知与计算跨学科论坛”（LLCC论坛），致力于开展哲学、逻辑、语言、心理与脑科学以及计算机科学的跨学科交流活动。

　　中心设四个研究方向：

　　1. 逻辑（数理逻辑，哲学逻辑）；

　　2. 逻辑应用（逻辑与语言学，逻辑与认知科学，逻辑与计算机科学，逻辑与社会科学）；

　　3. 逻辑与哲学（逻辑哲学，数学哲学，分析哲学）；

　　4. 逻辑与素质教育。


目前中心成员在逻辑极其应用的主要研究方向为:

  • - 模态逻辑，特别是量化模态逻辑（一阶及二阶，及其片段）、多元模态逻辑、非正规模态逻辑，以及它们在哲学、理论计算机科学和人工智能中的应用。

  • - 非经典逻辑，特别是量子逻辑（广义上的）、直觉主义逻辑和中间逻辑。

  • - 集合论和数学基础/哲学，特别是无素集合论。

  • - 社会科学中的逻辑，特别是投票机制。


中心成员：刘壮虎 (荣休)，周北海 (荣休)，邢滔滔，叶闯 (荣休)，李麒麟，王彦晶，钟盛阳，丁一峰, 姚博凯

主任：王彦晶　　秘书：钟盛阳


The Center for Logic, Language, and Cognition (CLLC) at Peking University is a research institution affiliated with the Department of Philosophy at Peking University. It was established on June 7, 2004.


CLLC aims to conduct theoretical and applied research in logic, promote domestic cooperation, engage in international exchanges, and advance the development of logic research and teaching. The Center is dedicated to uniting various academic forces, integrating multiple resources, and building a cross-disciplinary scientific research community based on logic while considering related disciplines. The Center emphasizes both basic theoretical research and applied research and will also carry out various activities in talent cultivation, providing a broad academic research base for scholars and graduate students in related fields.


The current strengths of the research of CLLC include:

  • - Modal Logic, in particular, quantified modal logic (and its fragments), polyadic modal logic, non-normal modal logic and their applications in philosophy, TCS, and AI. 

  • - Non-classical Logic, in particular, Quantum Logic (broadly considered), Intuitionistic, and intermediate logics.

  • - Set theory and foundation/philosophy of math, in particular, set theory with urelements 

  • - Logic for social sciences, in particular, voting mechanisms 


In June 2012, the Center jointly established the "Peking University Interdisciplinary Forum on Language, Logic, Cognition and Computation" (LLCC Forum) with multiple units within the university dedicated to conducting interdisciplinary exchange activities in philosophy, logic, language, psychology, and neuroscience, and computer science.


The Center has four general research directions:

  1. - Logic (Philosophical Logic & Mathematical Logic);

  2. - Applications of Logic (Logic and Linguistics, Logic and Cognitive Science, Logic and Computer Science, Logic and Social Sciences);

  3. - Logic and Philosophy (Philosophy of Logic, Philosophy of Mathematics, Analytic Philosophy);

  4. - Logic and Education.


Center members: Liu Zhuanghu (emeritus), Zhou Beihai (emeritus), Taotao Xing, Chuan Ye (emeritus), Qilin Li, Yanjing Wang, Shengyang Zhong, Yifeng Ding, Bokai Yao

Director: Yanjing Wang    Secretary: Shengyang Zhong