刘壮虎，现为北京大学哲学系教授，博士生导师，逻辑教研室主任。1954年出生于上海市。1978年考入北京大学数学系数学专业，1982年毕业后到北京大学哲学系任教，从事逻辑学教学和研究。现任中国逻辑学会副会长、学术组组长。

主要作品：

专著：

1. 《逻辑演算》，中国社会科学出版社1993年版。

2. 《素朴集合论》，北京大学出版社，2001年。

论文：

1. 等度和不等度的结构及在P-T度下集合的分离性质，《数学季刊》1989年3期。

2. 归纳支持逻辑的一个新系统，《哲学研究》1989年12期。

3. 基于多值逻辑的评价逻辑系统，《自然辩证法研究》1993年3期。

4. 自指性命题的逻辑构造，《哲学研究》1993年增刊。

5. 邻域语义学和模型完全性，《北京大学学报哲学社会科学版)》1995年5期。

6. 直觉主义逻辑的完全性和不完全性，《哲学研究》1995年增刊。

7. 相干逻辑的邻域语义学，《自然辩证法研究》1995年增刊。

8. Neighborhood Semantics of Modal Predicate Logic，《南京大学学报》1998年数学半年刊。

9. 集体认定的逻辑，《自然辩证法研究》1998年增刊。

10. 逻辑系统中的蕴涵，载《逻辑今探》，社会科学文献出版社，1999年。

11. 初基演算的邻域语义学，载《摹物求比—沈有鼎及其治学之路》，社会科学文献出版社，2000年。