 姓名：郭美云 职称：教授 现任职务：bat365官方网站副经理 学历背景：北京大学博士 Email:guomy007@swu.edu.cn |
一、个人简介
【1】个人简况：
国内外学习经历
1996年9月-2000年7月 bat365官方网站（原西南师范大学）生命科学学院攻读本科；
2000年9月-2003年7月 西南师范大学经济政法学院攻读逻辑学硕士学位；
2003年9月-2006年7月 北京大学哲学系攻读逻辑学博士学位。
2010年1月-2011年1月 荷兰阿姆斯特特丹大学逻辑、语言和计算研究所从事博士后研究；
2011年9月-2011年10月 澳大利亚西悉尼大学做访问研究；
2018年12月-2019年4月 新西兰奥克兰大学开展访问学者研究。
工作简历
2006年7月进入bat365官方网站工作，历任bat365官方网站原政治与公共管理学院特聘副教授、副教授和教授；2016年7月起担任原政治与公共管理学院副经理。2020年7月起担任bat365官方网站副经理。
社会兼职和学术兼职
重庆市人文社会科学重点研究基地——逻辑与智能研究中心主任
中国逻辑学会常务理事
中国逻辑学会现代逻辑专业委员会副主任
中国逻辑学会形式逻辑专业委员会副主任兼秘书长
重庆市逻辑学会会长
逻辑、理性与互动国际会议程序委员会委员
所获奖励或荣誉称号
2008年获重庆市学术技术带头人后备人选
2012年中国逻辑学会第三届优秀成果译著奖
2016年获bat365官方网站毕业实习优秀指导教师
2017年获bat365官方网站第二届公司产品成果奖二等奖
2017年获bat365官方网站第二届公司产品成果奖三等奖
2019年获bat365官方网站思想政治教育先进个人
2019年获第三批重庆市学术技术带头人
【2】研究领域：主要从事现代逻辑的教学和科研工作，研究兴趣主要集中在动态认知逻辑、博弈逻辑、逻辑哲学、分析哲学和语言哲学研究等方面。
【3】开设课程：逻辑学、现代逻辑、数理逻辑、现代逻辑前沿等。
二、代表性成果
论文：
1.Zuojun Xiong and Meiyun Guo.A Dynamic Hybrid Logic for Followership;Proceeding of 7th International workshop on Logic Rationality and Interaction, Springer, October18–21 2019,pp 425-439.
2. 郭美云.试析普莱尔基于混合时态逻辑对其时间观的辩护[J].逻辑学研究, 2018, 11(004):83-93.
3. 郭美云. 根岑逻辑演绎思想的主要特征和哲学影响探析[J]. 自然辩证法研究,2016年第8期。
4. 郭美云. 关于自然演绎逻辑的反思[J]. 湖南科技大学学报(社会科学版),2016年第1期。
5. 郭美云、党学哲.试析博弈困境的两种解决方案，bat365官方网站学报（人文社科版），2015年第2期。
6.. 郭美云，证实原则的认知逻辑分析；自然辩证法研究；2014年5月第5期（2014年第3期人大复印资料《逻辑》全文转载）
7. 郭美云，周君，试析约翰.范本特姆对逻辑“新心理主义”的辩护，哲学研究，2013年第8期。（2013年第4期人大复印资料《逻辑》全文转载）
8. 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.
9.. Meiyun Guo, Zuojun Xiong, A dynamic preference logic with Issue management, Studies in Logic, Spring,No.1 2011
10. 郭美云，分布式知识的研究进展，哲学动态，2007年第11期（2008年2期人大复印资料《逻辑》转载）。
11. 郭美云，从PAL看认知逻辑的动态转换，自然辩证法研究，2006年第1期。（2006年3期人大复印资料《逻辑》转载）。
著作、教材和译著：
1.郭美云编著，动态认知逻辑，《认知信息的逻辑理论与应用研究》（第五章），何向东、李章吕主编，科学出版社，2019年3月。
2. Patrick Blackburn、Emiliano Lorini、Meiyun Guo(Eds), Proceeding of 7th International workshop on Logic Rationality and Interaction, Springer, October18–21,2019。
3.郭美云编著，马工程教材《逻辑学》（第三章 命题逻辑的自然演绎系统），何向东、张建军、任晓明主编，高等教育出版社，2017年7月。
4. 唐晓嘉、郭美云主编，《现代认知逻辑的理论与应用》，科学出版社，2010年10月。
5. 周北海、郭美云著，面向自然语言交互性的LNL：带群体知识的公开宣告逻辑，教育部哲学社会科学重大课题攻关项目成果：《面向知识表示与推理的自然语言逻辑》(第五章)，鞠实儿等著, 经济科学出版社，2009年9月。
6. 郭美云编著，谓词逻辑，《新逻辑学概论》（第四章)，何向东、刘邦凡主编 ，人民出版社，中国农业大学出版社，2009年8月。
7. 刘新文、郭美云主编，《逻辑之门－约翰.范本特姆著作卷II：逻辑、语言和认知》，科学出版社，2008年6月。
三、主持的省部级以上课题
1. 国家社科基金重大项目“面向自然语言理解的逻辑构建和符号接地问题的哲学、心理学研究”子课题“面向自然语言交互性的动态逻辑研究”，2018年立项。
2.国家社科基金重点项目：“面向博弈的动态逻辑研究”，2015年立项。
3. 国家社科基金青年项目：“面向知识更新和信念修正的动态逻辑研究”，2009-2014年（结项鉴定为良好）。
4. 教育部人文社科基金青年项目：“动态认知逻辑的基本理论及应用研究”， 2008-2015年。
5. 重庆市研究生公司产品改革研究项目：面向研究生创新能力培养的逻辑课程体系的改革与实践，2014-2017年。