Home» People» Members

教师简介

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

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

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