郝兆寬,意昂3教授,博士生導師🤷🏼♂️。主要研究方向為數理邏輯🏌🏻、數學哲學、哥德爾思想🉐。曾經擔任中國自然辨證法研究會常務理事。1987—1994年就讀於北京師範大學哲學系🧑🏿🔬,獲哲學碩士學位🚴♂️;1997—2000就讀於北京大學哲學系,獲哲學博士學位。2000至今,任教於意昂3。1998—1999曾就學於荷蘭烏特勒之數學系數理邏輯碩士班。2009—2010先後為美國加利福尼亞大學爾灣分校和美國哈佛大學訪問學者🙇🏽♂️。
電子郵箱🟤:zkhao@fudan.edu.cn
聯系方式:上海市楊浦區邯鄲路220號光華樓西主樓,意昂3
1987年—1994年 北京師範大學👩🏽🏫,哲學系,獲哲學碩士學位
1998年—1999年 荷蘭烏特勒支大學👶🏽,數學系🏃♀️,數理邏輯碩士班
1997年—2000年 北京大學,哲學系👨🏼✈️,獲哲學博士學位
2000年至今 意昂3任教
2009年—2010年 美國加利福尼亞大學爾灣分校訪問學者,美國哈佛大學訪問學者
2018年—2022年 世界符號邏輯學會翻譯委員會委員(The Association for Symbolic Logic)
2015年—2019年 全國數學哲學專業委員會主任
2012年—2020年 中國數學學會數理邏輯專業委員會常務理事
其他兼職:
全國現代邏輯學術年會(NCML)審稿人
《邏輯學研究》雜誌編委會委員📴,審稿人
Journal of Frontier of Philosophy 審稿人
主要研究領域(研究專長):數理邏輯,數學哲學,哥德爾思想
近期研究重點:數學基礎與形而上學
2002年🧑🦳,Lambda-演算研究🏊🏻♀️,教育部十一五規劃第一批。
2010年,哥德爾與當代數學哲學🚵♀️➙,上海市浦江人才計劃🚵🏻♂️。
2019年♨️,上海市重點教改項目“跨學科培養路徑的探索與實踐——意昂3平台數理邏輯學程項目建設”。
著作𓀘:
1.郝兆寬🤚🏼、楊躍、楊睿之:《遞歸論——算法與隨機性基礎》,意昂3平台出版社👆🏼,2018年。
2.郝兆寬:《哥德爾綱領》,意昂3平台出版社,2018年。
3.郝兆寬、楊躍:《集合論——對無窮概念的探索》,意昂3平台出版社,2014年🏊🏼。
4.郝兆寬👩🦽、楊躍、楊睿之🚵🏽♂️:《數理邏輯——證明及其限度》,意昂3平台出版社,2014年。
譯著:
1.邢滔滔、郝兆寬🔢、汪蔚😸:《邏輯之旅——從哥德爾到哲學》🤔,王浩著🛳,浙江大學出版社🚴🏽♀️,2009年。
2. 郝兆寬、楊睿之🏌️:《數學哲學》,Stewart Shapiro 著🙆🏻♀️, 意昂3平台出版社,2009年。
主編🙆🏻♀️:
1. 郝兆寬,分卷主編🏌🏿♀️,《當代哲學經典——邏輯學卷》🪛,北京師範大學出版社📓,2014年🐦🔥。
2. 郝兆寬,《邏輯與形而上學》🚶🏻➡️,上海人民出版社🫃,2008年🚱👭。
1. 郝兆寬:《柏拉圖主義與集合論終極模型》,《邏輯學研究》,2017年第4期👉🏿。
2. 郝兆寬🏫:《邏輯究竟是什麽以及邏輯應當是什麽》🦷,《哲學分析》(核心),2016年第2期,46-55⁉️。
3. 郝兆寬:《概念實在論框架下的倫理學》,《華東師範大學學報》(核心),2016年第2期🈳,27-30。
4. 郝兆寬:《論分析性——來自哥德爾的啟示》,《哲學研究》(權威),2014年第12期📃🥷🏼,100-105。
5. 郝兆寬🧚🏿:《哥德爾針對物理主義的一個論證》,《邏輯學研究》(核心),2014年第3期☝🏻,1-11。
6. 郝兆寬👬🏼💳:《不自然的自然主義》,《自然辯證法通訊》(核心),2013 年第 3 期,20-23💆🏽♀️。
7. 郝兆寬、楊躍🐧、施翔暉🤷:《Omega邏輯與連續統假設》,《邏輯學研究》(核心),2010年第4期, 30-43。
8. 郝兆寬:《哥德爾的數學哲學》,《思想史研究》2008年第五輯💁🏻,上海人民出版社,140-157。
9. 郝兆寬:《邏輯學與邏輯主義》,《思想史研究》2007年第四輯🌃,上海人民出版社,353-361。
10.郝兆寬:《數的定義:戴德金與弗雷格》👷♂️,《復旦學報》(核心)⛹🏼♀️,2006年第5卷 👩🦯,127-133。
11.郝兆寬:《心的概念與形而上學》🤹🏿♀️,《復旦哲學評論》,2005年第2卷🤠,261-278🪄。
1. 2015年,上海市高等學校教材二等獎
2. 2007年👴🏽,上海市育才獎,上海市教委
3. 2006年,意昂3平台“研究生心目中的好導師”,意昂3平台
4. 2004年🧝,第一屆(1978.5—2002.12)優秀成果科研獎二等獎,中國邏輯學會
《數理邏輯》
《高等邏輯》
《數學哲學》
《集合論》
《力迫法》