-
郭美雲
（西南大學政治與公共管理學院教授）
鎖定
郭美雲個人簡歷
1996年9月-2000年7月 西南師範大學生命科學學院讀本科；
2000年9月-2003年7月 西南師範大學經濟政法學院攻讀邏輯學碩士學位；
2003年9月-2006年7月 北京大學哲學系攻讀邏輯學博士學位；
郭美雲講授課程
本科課程：邏輯學；形式邏輯。
研究生課程：數理邏輯2；模態邏輯2；非經典邏輯；現代邏輯與批判性思維
郭美雲論文目錄
1. 郭美雲、李章呂，《2007年教育部哲學學科教學指導委員會暨全國哲學系主任聯席會綜述：加強課程體系建設，促進“講壇哲學”發展》，《哲學動態》，2008年3月。
2. 郭美雲，《分佈式知識的研究進展》，《哲學動態》，2007年第11期（2008年2期人大複印資料《邏輯》轉載）.
3. 郭美雲，《帶有羣體知識的動態認知邏輯》，北京大學博士論文庫，2006年。
4. 郭美雲《從PAL看認知邏輯的動態轉換》，《自然辯證法研究》（2006年第1期）（2006年3期人大複印資料《邏輯》轉載）.
5. 郭美雲《一個帶一般羣體知識的多主體認知邏輯系統》，《哲學動態》，2005年邏輯學專刊.
6. 郭美雲，《辛提卡IF一階邏輯研究》，西南大學碩士論文庫，2003年.
7. 鄧輝文、郭美雲，《模糊集合隸屬函數確定中的哲學思考》《西南師範大學學報》人文社會科學版（2002年第5期）
8. 郭美雲，《老子認識論的邏輯探析》，《甘肅社會科學》（增刊）（2002 年第6期）.
郭美雲譯作
2. 約翰.範本特姆，《關於信念修正的動態邏輯》（郭美雲、蕭瑤譯），《邏輯之門－約翰.範本特姆著作卷Ⅰ：邏輯、信息和互動》，科學出版社，2008年6月.
3. 約翰.範本特姆，《作為進程模型的擴展博弈》（郭美雲、張木春譯），《邏輯之門－約翰.範本特姆著作卷Ⅰ：邏輯、信息和互動》，科學出版社，2008年6月.
4. 約翰.範本特姆，《如實反映：邏輯中的信息流動》（郭美雲、蔣軍利譯），《北京大學學報》（人文社科版），2008年6月.
5. 約翰.範本特姆，《自然語言的範疇良結構》（郭美雲、於宇譯），《邏輯之門－約翰.範本特姆著作卷Ⅱ：邏輯、語言和認知》，科學出版社，即出.
6. 約翰.範本特姆，《範疇語法和l-演算》（郭美雲、王磊譯），《邏輯之門－約翰.範本特姆著作卷Ⅱ：邏輯、語言和認知》，科學出版社，即出.
郭美雲參與課題
1、國家社科規劃基金資助課題《現代邏輯在人工智能中的應用研究》 項目編號：（04BZX046）；
2、教育部哲學社會科學研究重大課題攻關項目《語言邏輯在知識表達和推理中的應用》 項目編號：（04JZD0006）。
郭美雲主持課題
1、西南大學博士基金項目《動態認知邏輯在人工智能中的應用》，2006年－2008年；
2、重慶市重點文科基地項目《信念修正的動態邏輯研究》，2008年－2009.
3、教育部人文社科基金青年項目《動態認知邏輯的基本理論及應用研究》，項目編號08JC72040002：2008年－2010年。
4、國家社科基金青年項目《面向知識更新和信念修正的動態邏輯研究》，項目編號：09CZX033，2009年-2012年。
郭美雲學術活動
1. 報告：《Public announcement logic with conditional common knowledge and distributed knowledge》,“邏輯、理性與互動國際研討會(LORI)”,2007年8月5日－9日，北京師範大學。
2. 報告：《Dynamic epistemic logic with distributed knowledge》,“Workshop on modal logic”,2007年8月1號，中國人民大學,
3. 報告：《一個帶有羣體知識的公開宣告邏輯系統》，“第二屆海峽兩岸邏輯教學學術會議”，2006年10月28日－30日，南京大學。
5. 報告：《一個帶一般羣體知識的多主體認知邏輯》，“邏輯博士論壇第一期”，2005年11月25日，中央財經大學。
6. 報告：《公開宣告邏輯》 “全國現代邏輯學術研討會”，2005年7月25日－27日，北京昌平。
郭美雲獲獎
2. 2008年6月被評為西南大學畢業實習優秀指導教師。
3. 2009年6月被評為西南大學本科優秀論文指導教師（一等獎）。
4. 2014年6月被評為西南大學本科優秀論文指導教師（二等獎）。
5. 2016年6月被評為西南大學畢業實習優秀指導教師。
- 參考資料
-
- 1. 郭美雲[博導]-西南大學邏輯與智能研究中心 | 重慶市人文社科重點研究基地 ．西南大學邏輯與智能研究中心．2016-03-16[引用日期2021-09-15]
