Zhuanghu Liu, Professor Emeritus
刘壮虎，教授 (退休)，博士生导师
主要研究方向：符号逻辑，数学哲学，语言哲学。
Beihai Zhou, Professor Emeritus
周北海，教授 (退休)，博士生导师
主要研究方向：符号逻辑，语言哲学，心灵哲学。近年来的研究主要集中在非单调推理，以及认知与逻辑、自然语言形式语义学等逻辑应用方面。
Taotao Xing, Professor
邢滔滔，教授，博士生导师
主要研究方向：符号逻辑，语言逻辑，数学哲学，语言哲学，心灵与认知科学哲学，宗教哲学。
Yanjing Wang, Professor (Homepage)
王彦晶，教授，博士生导师 (个人主页)
主要研究方向：模态逻辑的基础理论与应用(特别是一阶模态逻辑、非正规模态逻辑等)，非经典逻辑，形式化知识论，理论计算机及AI中的逻辑等。