个人简历

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

联系方式

liuzhh@pku.edu.cn
 

主要成果

邻域语义学和模型完全性，1995

复合谓词的逻辑，2000

主次条件句逻辑，2004

蕴涵和条件蕴涵，2006

有限全序语义和广义皮尔斯律，2008
 

近年项目

20世纪西方逻辑哲学和数学哲学，教育部重大项目