Zhuanghu Liu, Professor Emeritus

刘壮虎，教授 (退休)，博士生导师

• 主要研究方向：符号逻辑，数学哲学，语言哲学。
• 学术成果

Beihai Zhou, Professor Emeritus

周北海，教授 (退休)，博士生导师

• 主要研究方向：符号逻辑，语言哲学，心灵哲学。近年来的研究主要集中在非单调推理，以及认知与逻辑、自然语言形式语义学等逻辑应用方面。
• 学术成果

Taotao Xing, Professor

邢滔滔，教授，博士生导师

• 主要研究方向：符号逻辑，语言逻辑，数学哲学，语言哲学，心灵与认知科学哲学，宗教哲学。
• 学术成果

Yanjing Wang, Professor, Homepage 

王彦晶，教授，博士生导师 个人主页

• 主要研究方向：模态逻辑的基础理论与应用(特别是一阶模态逻辑、非正规模态逻辑等)，非经典逻辑、形式化知识论、理论计算机及AI中的逻辑等。
• 学术成果

Shengyang Zhong, Assistant Professor, Homepage

钟盛阳，助理教授 个人主页

• 主要研究方向：非经典逻辑（主要是量子逻辑）、模态逻辑等
• 学术成果

Yifeng Ding, Assistant Professor, Homepage

丁一峰，助理教授 个人主页

• 主要研究方向：模态逻辑，以及决策论和社会选择理论
• 学术成果

Bokai Yao, Assistant Professor, Homepage

姚博凯，助理教授 个人主页

• 主要研究方向：集合论、数学哲学、形而上学
• 学术成果