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

刘壮虎

 


个人简历


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

 


联系方式


liuzhh@pku.edu.cn
 


主要成果


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

复合谓词的逻辑,2000

主次条件句逻辑,2004

蕴涵和条件蕴涵,2006

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


近年项目


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

TOP