劉壯虎

劉壯虎，教授，博士生導師。男，1954年12月生，上海人。1982年畢業於北京大學數學系，現任系學術委員會委員。

基本介紹

• 中文名：劉壯虎
• 畢業院校：北京大學
• 學位/學歷：本科
• 專業方向：哲學
• 職務：系學術委員會委員

研究領域

研究領域涉及邏輯學的多個分支，最重要的工作是建立了適合各種邏輯的鄰域語義學，並進行深入研究。另外，在認知邏輯、語言邏輯、非經典邏輯等方面也有一些有影響的研究成果。最近的研究集中在與認知、語言有關的分支。

劉壯虎認為，數理邏輯為現在邏輯研究提供了基本和重要的思想和方法，是任何邏輯分支研究的基礎。在研究方法上強調邏輯技術的重要性。

劉壯虎可以開設多門邏輯課程，近年開設的課程有《集合論》、《數學結構》、《鄰域語義學》、《邏輯與批判性思維》、《直覺主義邏輯》等。

主要成果目錄

鄰域語義學和模型完全性，1995

複合謂詞的邏輯，2000

主次條件句邏輯，2004

蘊涵和條件蘊涵，2006

有限全序語義和廣義皮爾斯律，2008。

近年科研項目

20世紀西方邏輯哲學和數學哲學，教育部重大項目。