一、个人信息
郭美云，男，汉族，1976年12月生，江西吉安人，哲学博士，教授，博士生导师。现任西南大学逻辑与智能研究中心主任、西南大学国家治理学院副院长、中希文明互鉴中心特聘专家，兼任中国逻辑学会副会长，重庆市逻辑学会会长，中国逻辑学会形式逻辑专业委员会副主任兼秘书长，逻辑、理性与互动国际研讨会程序委员会委员等。2006年于北京大学获得逻辑学博士学位，曾于2010-2011年间前往荷兰阿姆斯特特丹大学逻辑、语言和计算研究所从事博士后研究。主要从事动态认知逻辑、人工智能逻辑、中外逻辑比较、逻辑哲学、分析哲学和语言哲学研究。在 Synthese、《哲学研究》、《自然辩证法研究》、《哲学动态》等国内外权威刊物和国际顶级会议论文集上发表中英文等论文30余篇，共同主编、参著和合译著作4本。主持包含国家社科重大项目子课题在内的国家社科基金项目5项、其中国家社科基金重点项目2项。获得重庆市学科带头人称号和中国逻辑学会第三届优秀成果译著奖。
二、主要学术经历
1996年9月-2000年7月 西南师范大学生命科学学院，攻读本科；
2000年9月-2003年7月 西南师范大学经济政法学院，攻读逻辑学硕士学位；
2003年9月-2006年7月 北京大学哲学系，攻读逻辑学博士学位；
2006年7月-今 西南大学政治与公共管理学院副教授、教授；
其间：
2010年1月-2011年1月 在荷兰阿姆斯特特丹大学逻辑、语言和计算研究所从事博士后研究；
2011年9月-2011年10月 在澳大利亚西悉尼大学做访问研究。
三、科研成果
论文：
1. 郭美云. 根岑逻辑演绎思想的主要特征和哲学影响探析[J]. 自然辩证法研究,2016年第8期。
2. 郭美云. 关于自然演绎逻辑的反思[J]. 湖南科技大学学报(社会科学版),2016年第1期。
3. 郭美云、党学哲.试析博弈困境的两种解决方案，西南大学学报（人文社科版），2015年第2期。
4. 郭美云，证实原则的认知逻辑分析；自然辩证法研究；2014年5月第5期（2014年第3期人大复印资料《逻辑》全文转载）
5. 郭美云，周君，试析约翰.范本特姆对逻辑“新心理主义”的辩护，哲学研究，2013年第8期。（2013年第4期人大复印资料《逻辑》全文转载）
6. Meiyun Guo and Jeremy Seligman. The logic of a priori and a posteriori rationality in strategic game；Proceeding of 4th International workshop on Logic Rationality and Interaction（ISSN:0302-9743）,Springer,October 2013,pp 218-227.
7. Meiyun Guo, Jianying Cui, Comments on Bicchieri Levon and Chavez; Proceeding of the Tsinghua Logic Conference, Beijing 2013 College Publications, pp.368-371
8. Meiyun Guo, Zuojun Xiong, A dynamic preference logic with Issue management, Studies in Logic, Spring,No.1 2011.
9. 郭美云，从动态认知逻辑的角度看偏好；逻辑学研究，2011年6月第2期。
10. Meiyun Guo and Jeremy Seligman.Making Rational Choice in Social situation, Institute of Logic language and computation 2011 Yearbook,University of Amsterdam.
11. 郭美云、李章吕，加强课程体系建设，促进“讲坛哲学”发展，哲学动态，2008年3月。
12. 郭美云，分布式知识的研究进展，哲学动态，2007年第11期（2008年2期人大复印资料《逻辑》转载）。
13. 郭美云，从PAL看认知逻辑的动态转换，自然辩证法研究，2006年第1期。（2006年3期人大复印资料《逻辑》转载）。
14. 郭美云、张存建，逻辑学研究综述；重庆社会科学年鉴2009年卷，2010年12月。
15. 郭美云、黄海林，逻辑学研究综述；重庆社会科学年鉴2011年卷，2012年12月。
16. 郭美云，一个带一般群体知识的多主体认知逻辑系统，哲学动态（2005年逻辑学专刊）。
17. Minghui Ma and Meiyun Guo. Logics of Belief over Weighted Structures，Proceeding of the third international workshop on Logic, Rationality and Interaction(LORI-III)(Eds. H, van Ditmarsch and J. Lang), Springer,2011.10.
18. J. Cui, M. Guo and X. Tang, Characterizations for Iterative Admissibility Based on PEGL, Proceeding of the second international workshop on Logic, Rationality and Interaction(LORI-II)(Eds. He, Horty and Pacuit), Springer, 2009.10.
19. 刘新文、郭美云，关于逻辑、语言和认知的对话，哲学动态，2010年3期。
20. 高东平、刘新文、郭美云，范本特姆《逻辑、语言和认知》书介，逻辑学研究，2009年01期。
21. 邓辉文、郭美云，模糊集合隶属函数确定中的哲学思考，西南师范大学学报（人文社会科学版），2002年第5期。
著作：
1. 唐晓嘉、郭美云主编，《现代认知逻辑的理论与应用》，科学出版社，2010年10月。
2. 周北海、郭美云著，面向自然语言交互性的LNL：带群体知识的公开宣告逻辑，教育部哲学社会科学重大课题攻关项目成果：《面向知识表示与推理的自然语言逻辑》(第五章)，鞠实儿等著, 经济科学出版社，2009年9月。
3. 郭美云编著，谓词逻辑，《新逻辑学概论》（第四章)，何向东、刘邦凡主编 ，人民出版社，中国农业大学出版社，2009年8月。
4. 刘新文、郭美云主编，《逻辑之门－约翰.范本特姆著作卷II：逻辑、语言和认知》，科学出版社，2008年6月。
译作：
1. 约翰.范本特姆，《人的存在并非孤立的：逻辑与交流》（郭美云、崔建英译），《逻辑之门－约翰.范本特姆著作卷Ⅰ：逻辑、信息和互动》，科学出版社，2008年6月。
2. 约翰.范本特姆，《关于信念修正的动态逻辑》（郭美云、萧瑶译），《逻辑之门－约翰.范本特姆著作卷Ⅰ：逻辑、信息和互动》，科学出版社，2008年6月。
3. 约翰.范本特姆，《作为进程模型的扩展博弈》（郭美云、张木春译），《逻辑之门－约翰.范本特姆著作卷Ⅰ：逻辑、信息和互动》，科学出版社，2008年6月。
4. 约翰.范本特姆，《如实反映：逻辑中的信息流动》（郭美云、蒋军利译），《北京大学学报》（人文社科版），2008年6月。
5. 约翰.范本特姆，《自然语言的范畴良结构》（郭美云、于宇译），《逻辑之门－约翰.范本特姆著作卷Ⅱ：逻辑、语言和认知》，科学出版社，2009年10月。
6. 约翰.范本特姆，《范畴语法和l-演算》（郭美云、王磊译），《逻辑之门－约翰.范本特姆著作卷Ⅱ：逻辑、语言和认知》，科学出版社，2009年10月。
四、承担课题
主持的在研课题：
1. 国家社科基金重点项目：面向博弈的动态逻辑研究，2015年6月立项。
2. 重庆市研究生教育教学改革研究项目：面向研究生创新能力培养的逻辑课程体系的改革与实践，项目编号：yjg143035，2014年立项。
3. 中央高校基本科研业务费专项资金团队项目重点项目“社会理性背景下诚信形成机制的哲学研究”，项目编号：2362015xk02，2015年立项。
4. 中央高校基本科研业务费专项资金重点项目“博弈中互动认知的认知逻辑研究”，项目编号：SWU1309380，2013年立项。
5. 重庆市人文社会科学重点研究基地重点项目“博弈的逻辑与认知基础研究”，2014年立项。
主持的已结项课题：
1. 国家社科基金青年项目“面向知识更新和信念修正的动态逻辑研究”，项目编号：09CZX033，2009年-2014年（结项鉴定为良好）。
2. 教育部人文社科基金青年项目“动态认知逻辑的基本理论及应用研究”，项目编号：08JC72040002，2015年6月结项。
3. 西南大学基本科研业务费专项资金资助重点项目“面向智能主体的认知逻辑研究”，项目编号：SWU0909512，2009年-2012年。
4. 重庆市文科重点研究基地项目重点项目“动态认知逻辑的拓展研究”，项目编号：11SKB16，2011年- 2014年5月。
5. 重庆市文科重点研究基地项目重点项目“信念修正的动态逻辑研究”，项目编号：07SK225，2007年－2009年。
6. 西南大学博士基金项目“动态认知逻辑在人工智能中的应用”，2006年－2008年。
五、学术报告
1. 博弈困境的两种解决方案，2014年中国逻辑学会全国学术大会，湘潭大学，2014年11月7日-8日。
2. 证实原则的认知逻辑分析，全国现代逻辑学术讨论会，北京师范大学，2014年10月24- 26日。
3. 博弈困境及其解决，2014年重庆逻辑学会学术研讨会，重庆大学，2014年3月29日。
4. Some variants of Iterated Regret Minimization Algorithms, A Door to Logic, A Meeting on Logic, Language and Translation, Tsinghua University, 19 Oct. 2013, Beijing.
5. From dynamic epistemic logic to social network logic, The First Chongqing Workshop on Pure and Applied Logic, Southwest University,19th,June,2014.
6. Commentator: Logic across the University: Foundations and Applications, Tsinghua University , 14-16 October, 2013.
7. Reasoning about Free Preference with Uncertainty, Chongqing Workshop on Logic, Language and Information, Southwest University, 22nd, June,2013.
8. Knowledge, preference and freedom in social-decision making，北大哲学系百年系庆逻辑系友学术报告会，北京大学，2012年10月28日。
9. 策略式博弈均衡解的动态认知逻辑刻画（大会发言），全国现代逻辑学术讨论会，复旦大学，2012年10月。
10. Logics of Belief over Weighted Structures, The 3rd international Workshop on Logic, Rationality and Interaction, Guangzhou, China, 10-13 Oct, 2011.
11. 动态偏好逻辑与事务管理, 全国现代逻辑学术研讨会，武汉大学，2011年4月23-24日。
12. Commentator: Workshop on History of Logic in China, Amsterdam, the Netherlands, 24-26 November 2010.
13. 分布式知识的研究进展（大会发言），第八届中国逻辑大会，天津商业大学，2008年11月1日-2日。
14. 分布式知识，北京逻辑学会青年学者论坛，北京大学，2008年10月28日。
15. 和积之谜的动态认知逻辑分析，全国现代逻辑学术研讨会，燕山大学，2007年10月20-21。
16. Public announcement logic with conditional common knowledge and distributed knowledge, “The 1st international Workshop on Logic, Rationality and interaction (LORI)”, 5- 9, Aug, 2007, Beijing Normal University of China.
17. Dynamic epistemic logic with distributed knowledge, “Workshop on modal logic”, 1, Aug, 2007, Renmin University of China.
18. 带有群体知识的公开宣告逻辑，第五届海峡两岸逻辑研究与教学会议，南京大学，2006年10月28-30.
19. 一个带一般群体知识的认知逻辑系统，北京市逻辑学会2005 学术前沿论坛逻辑分论坛，北京师范大学，2005年12月18日。
20. 一个带一般群体知识的多主体认知逻辑，北京市逻辑学会逻辑博士论坛第一期，2005年11月25日，中央财经大学。
21. 公开宣告逻辑，全国现代逻辑学术研讨会，北京昌平，2005年7月25日—27日。
六、获奖
1. 2012年9月获得中国逻辑学会第三届优秀成果译著奖。
2. 2008年6月被评为西南大学毕业实习优秀指导教师。
3. 2009年6月被评为西南大学本科优秀论文指导教师（一等奖）。
4. 2014年6月被评为西南大学本科优秀论文指导教师（二等奖）。
5. 2016年6月被评为西南大学毕业实习优秀指导教师。
For English version, please click here.
