郝兆宽 副教授

个人简介:

--------------------------------------------------------------------------------

1968年9月出生于山东济南。先后就读于北京师范大学、北京大学哲学系，荷兰Utrecht大学数学系，2000年于北京大学获哲学博士学位。现任中国逻辑学会现代逻辑专业委员会理事，上海市逻辑学会理事。

1987年入北京师范大学哲学系，1991年获哲学学士学位。同年免试进入北师大哲学系攻读逻辑学专业硕士研究生，导师为陈银科教授。1994年4月，因成绩优异，提前完成论文，被准予提前半年毕业。硕士论文《数理逻辑中的真概念》发表于同年出版的《哲学动态（增刊）》上。

1997年8月考入北京大学哲学系，攻读逻辑学专业博士研究生，导师为刘壮虎教授。1998年至1999年，受世界著名逻辑学家Dirk van Dalen 教授的推荐，至荷兰数学研究所（MRI）进修，在荷兰Utrecht大学数学系学习。2000年7月毕业于北京大学哲学系，获哲学博士学位。博士论文《带类型和不带类型的Lambda-演算》的一部分发表于2001年《哲学动态（增刊）》。

2000年8月至今，在复旦大学哲学系任教，先后为哲学系人文学院本科生开设了《逻辑导论》课程，为哲学系研究生开设了《一阶逻辑》、《模态逻辑》、《集合论》、《模型论》等课程。

2002年，研究项目《Lambda-演算研究》获得教育部人文社会科学九五规划青年项目资助。

2004年，论文《Lambda-演算与垂直线定理》荣获中国逻辑学会第一届（1978.5-2002.12）优秀成果科研奖二等奖。在本次评奖中，一等奖空缺。在获得二等奖的三部作品中，这是唯一的论文。其余两部为专著。