由网友(草莓味百分百)分享简介：郝兆严，男，一九六八年九月出熟于山东济南。前后便读于北京师范大教、北大哲教系，荷兰Utrecht大教数教系，二零零零年于北大获哲教专士教位。现任中国逻辑教会古代逻辑业余委员会理事，上海市逻辑教会理事。人物履历一九八七年进北京师范大教哲教系，一九九一年获哲教教士教位。异年免试入进北师大哲教系攻读逻辑教业余硕士研究...

郝兆宽，男，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）优秀成果科研奖二等奖。在本次评奖中，一等奖空缺。在获得二等奖的三部作品中，这是唯一的论文。其余两部为专著。