逻辑学教研室 主任: 邢滔滔

刘壮虎


个人简历:
刘壮虎,教授,博士生导师。男,1954年12月生,上海人。1982年毕业于北京大学数学系,现任系学术委员会委员。
研究领域涉及逻辑学的多个分支,最重要的工作是建立了适合各种逻辑的邻域语义学,并进行深入研究。另外,在认知逻辑、语言逻辑、非经典逻辑等方面也有一些有影响的研究成果。最近的研究集中在与认知、语言有关的分支。
刘壮虎认为,数理逻辑为现在逻辑研究提供了基本和重要的思想和方法,是任何逻辑分支研究的基础。在研究方法上强调逻辑技术的重要性。
刘壮虎可以开设多门逻辑课程,近年开设的课程有《集合论》、《数学结构》、《邻域语义学》、《逻辑与批判性思维》、《直觉主义逻辑》等。
Email:liuzhh@pku.edu.cn

主要成果目录:
邻域语义学和模型完全性,1995
复合谓词的逻辑,2000
主次条件句逻辑,2004
蕴涵和条件蕴涵,2006
有限全序语义和广义皮尔斯律,2008

近年科研项目:
20世纪西方逻辑哲学和数学哲学,教育部重大项目
 
TOP